Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Miasm | 3,253 | 3 months ago | 157 | gpl-2.0 | Python | |||||
Reverse engineering framework in Python | ||||||||||
Klee | 2,399 | 3 months ago | 88 | other | C++ | |||||
KLEE Symbolic Execution Engine | ||||||||||
Tigress_protection | 776 | 5 months ago | 4 | LLVM | ||||||
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM. | ||||||||||
Alive2 | 634 | 3 months ago | 56 | mit | C++ | |||||
Automatic verification of LLVM optimizations | ||||||||||
Haybale | 458 | 1 | 6 months ago | 20 | October 27, 2023 | 3 | mit | Rust | ||
Symbolic execution of LLVM IR with an engine written in Rust | ||||||||||
Symbiotic | 282 | 5 months ago | 56 | mit | Python | |||||
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE | ||||||||||
Sys | 182 | 2 years ago | 17 | gpl-2.0 | LLVM | |||||
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code | ||||||||||
Mate | 120 | a year ago | 32 | bsd-3-clause | Python | |||||
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. | ||||||||||
Fuzzing | 77 | 2 years ago | mit | C++ | ||||||
Fuzzing tutorial with easy to learn labs 🚀 | ||||||||||
Dna | 68 | a year ago | C# | |||||||
Static analysis & deobfuscation framework for x86/x64 |