Pinned Repositories
aflchurnbench
fuzzbench and aflchurn
cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
competition-fuzzer
Template repository for the Fuzzing Competition
dotfiles
dylanjwolff.github.io
genetic-primer
green-place
Find green places
RFF
rusty-ssg
A dead simple static site generator in Rust
rv-sc
runtime verification of smart contracts
dylanjwolff's Repositories
dylanjwolff/competition-fuzzer
Template repository for the Fuzzing Competition
dylanjwolff/RFF
dylanjwolff/genetic-primer
dylanjwolff/rusty-ssg
A dead simple static site generator in Rust
dylanjwolff/rv-sc
runtime verification of smart contracts
dylanjwolff/aflchurnbench
fuzzbench and aflchurn
dylanjwolff/cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
dylanjwolff/dotfiles
dylanjwolff/dylanjwolff.github.io
dylanjwolff/program-analysis-project
dylanjwolff/challenge-004-nginx-cp
dylanjwolff/challenge-004-nginx-source
dylanjwolff/e-libfuzzer
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
dylanjwolff/eAFL
american fuzzy lop - a security-oriented fuzzer
dylanjwolff/finance
dylanjwolff/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
dylanjwolff/hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
dylanjwolff/k3s-config
dylanjwolff/klee-uclibc
KLEE's version of uClibc
dylanjwolff/line2addr
Provide addresses given a binary and source file
dylanjwolff/mosh
Mobile Shell
dylanjwolff/nano
Mirror of git://git.sv.gnu.org/nano.git
dylanjwolff/nomad
Exploring Nomad as Orchestrator
dylanjwolff/old.dylanjwolff.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
dylanjwolff/round-robin-afl
a really stupid way of feeding mutliple files to AFL
dylanjwolff/rust-survey
A survey on Rust works: empirical studies, verification tools, analysis tools, etc
dylanjwolff/sched_ext
sched_ext kernel development repository. See https://github.com/sched-ext/scx.
dylanjwolff/shuttle
Shuttle is a library for testing concurrent Rust code
dylanjwolff/SIF
Solidity code instrumentation and analysis framework.
dylanjwolff/test