Surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
| 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 | 773 | 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 | ||||||||||
Alternatives To SurveyorSelect To Compare
Alternative Project Comparisons
Popular Llvm Projects
Popular Symbolic Execution Projects
Popular Compilers Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Llvm
Symbolic Execution
Program Analysis