klee topic
List
klee repositories
kleefl
197
Stars
25
Forks
Watchers
Seeding fuzzers with symbolic execution
gllvm
286
Stars
34
Forks
Watchers
Whole Program LLVM: wllvm ported to go
symbiotic
300
Stars
55
Forks
Watchers
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
rust-verification-tools
274
Stars
37
Forks
Watchers
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Fuzzing
151
Stars
16
Forks
Watchers
Fuzzing tutorial with easy-to-learn labs 🚀
LazyKLEE
66
Stars
9
Forks
Watchers
Lazy python wrapper of KLEE for solving CTF challenges
obfuscation-benchmarks
81
Stars
21
Forks
Watchers
A set of programs used for benchmarking the strength of obfuscation