leonbett's repositories
aflnet
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
Language:CApache-2.0000
Language:Python000
debuggingbook
Project page for "The Debugging Book"
Language:PythonNOASSERTION000
driller
Driller: augmenting AFL with symbolic execution!
Language:PythonBSD-2-Clause000
Language:Kotlin000
droidmate-monitor
Module to build the API monitor used by DroidMate
Language:Java000
droidmate-with-saigenlib
DroidMate-2: A Platform for Android Test Generation
Language:KotlinGPL-3.0000
fuzzingbook
Project page for "The Fuzzing Book"
Language:Jupyter NotebookNOASSERTION000
Language:SwiftApache-2.0000
llvm-project
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.
000
savior-source
source code for savior fuzzer
Language:LLVMApache-2.0000
Language:PythonGPL-3.0000
symcc
SymCC: efficient compiler-based symbolic execution
GPL-3.0000