| 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. |
| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| 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 |
| BinaryAnalysisPlatform/bap |
1,926 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
OCaml |
| Binary Analysis Platform |
| fkie-cad/cwe_checker |
996 |
|
0 |
0 |
over 2 years ago |
0 |
|
10 |
lgpl-3.0 |
Rust |
| cwe_checker finds vulnerable patterns in binary executables |
| semgrep/semgrep-rules |
673 |
|
0 |
0 |
about 2 years ago |
0 |
|
60 |
other |
Solidity |
| Semgrep rules registry |
| GaloisInc/MATE |
120 |
|
0 |
0 |
over 3 years ago |
0 |
|
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. |
| enkomio/Sojobo |
113 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
other |
F# |
| A binary analysis framework |
