Dylan J. Wolff's repositories
competition-fuzzer
Template repository for the Fuzzing Competition
sched_ext
sched_ext kernel development repository. See https://github.com/sched-ext/scx.
cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
nomad
Exploring Nomad as Orchestrator
mosh
Mobile Shell
nano
Mirror of git://git.sv.gnu.org/nano.git
round-robin-afl
a really stupid way of feeding mutliple files to AFL
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
aflchurnbench
fuzzbench and aflchurn
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.
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.
eAFL
american fuzzy lop - a security-oriented fuzzer
old.dylanjwolff.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
klee-uclibc
KLEE's version of uClibc
rust-survey
A survey on Rust works: empirical studies, verification tools, analysis tools, etc
line2addr
Provide addresses given a binary and source file
SIF
Solidity code instrumentation and analysis framework.
SuperMarioBros-C
An attempt to translate the original Super Mario Bros. for the NES to readable C/C++