| x64dbg/x64dbg |
42,376 |
|
0 |
0 |
over 2 years ago |
0 |
|
573 |
other |
C++ |
| An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis. |
| facebook/pyre-check |
6,606 |
|
23 |
31 |
about 2 years ago |
77 |
October 19, 2023 |
146 |
mit |
OCaml |
| Performant type-checking for python. |
| MattPD/cpplinks |
3,862 |
|
0 |
0 |
about 2 years ago |
0 |
|
0 |
|
|
| A categorized list of C++ resources. |
| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| 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. |
| rizinorg/rizin |
2,290 |
|
0 |
0 |
about 2 years ago |
0 |
|
418 |
lgpl-3.0 |
C |
| UNIX-like reverse engineering framework and command-line toolset. |
| python-security/pyt |
2,005 |
|
11 |
1 |
over 5 years ago |
15 |
November 01, 2018 |
20 |
gpl-2.0 |
Python |
| A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications |
| horsicq/DIE-engine |
1,975 |
|
0 |
0 |
about 2 years ago |
0 |
|
18 |
mit |
C++ |
| DIE engine |
| NASA-SW-VnV/ikos |
1,935 |
|
0 |
0 |
about 2 years ago |
0 |
|
38 |
other |
C++ |
| Static analyzer for C/C++ based on the theory of Abstract Interpretation. |
| BinaryAnalysisPlatform/bap |
1,926 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
OCaml |
| Binary Analysis Platform |
