| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| cea-sec/miasm |
3,253 |
|
0 |
0 |
about 2 years ago |
0 |
|
157 |
gpl-2.0 |
Python |
| Reverse engineering framework in Python |
| JonathanSalwan/Triton |
3,157 |
|
0 |
1 |
over 2 years ago |
3 |
December 23, 2022 |
16 |
apache-2.0 |
C++ |
| Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. |
| klee/klee |
2,399 |
|
0 |
0 |
about 2 years ago |
0 |
|
88 |
other |
C++ |
| KLEE Symbolic Execution Engine |
| BinaryAnalysisPlatform/bap |
1,926 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
OCaml |
| Binary Analysis Platform |
| david942j/one_gadget |
1,897 |
|
20 |
1 |
over 2 years ago |
27 |
March 25, 2022 |
3 |
mit |
Ruby |
| The best tool for finding one gadget RCE in libc.so.6 |
| illera88/Ponce |
1,619 |
|
0 |
0 |
10 months ago |
0 |
|
2 |
other |
C++ |
| IDA 2016 plugin contest winner! Symbolic Execution just one-click away! |
| pschanely/CrossHair |
924 |
|
0 |
1 |
about 2 years ago |
45 |
November 10, 2023 |
50 |
other |
Python |
| An analysis tool for Python that blurs the line between testing and type systems. |
| wisk/medusa |
910 |
|
0 |
0 |
over 6 years ago |
0 |
|
28 |
other |
C++ |
| An open source interactive disassembler |
| JonathanSalwan/Tigress_protection |
880 |
|
0 |
0 |
over 2 years ago |
0 |
|
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. |
