Symbiotic is a tool for finding bugs in computer programs based on instr...
Whole Program LLVM: wllvm ported to go
RVT is a collection of tools/libraries to support both static and dynami...
Seeding fuzzers with symbolic execution
Fuzzing tutorial with easy-to-learn labs 🚀
A set of programs used for benchmarking the strength of obfuscation
Lazy python wrapper of KLEE for solving CTF challenges