| BinaryAnalysisPlatform/bap |
1,926 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
OCaml |
| Binary Analysis Platform |
| 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. |
| PLSysSec/sys |
182 |
|
0 |
0 |
about 4 years ago |
0 |
|
17 |
gpl-2.0 |
LLVM |
| Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code |
| HarvardPL/formulog |
137 |
|
0 |
0 |
over 2 years ago |
0 |
|
7 |
apache-2.0 |
Java |
| Datalog with support for SMT queries and first-order functional programming |
| 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. |
| UnitTestBot/UTBotCpp |
105 |
|
0 |
0 |
about 2 years ago |
0 |
|
112 |
apache-2.0 |
C++ |
| Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage |
| Colton1skees/Dna |
68 |
|
0 |
0 |
almost 3 years ago |
0 |
|
0 |
|
C# |
| Static analysis & deobfuscation framework for x86/x64 |
| sslab-gatech/apisan |
52 |
|
0 |
0 |
over 4 years ago |
0 |
|
6 |
other |
C++ |
| APISan: Sanitizing API Usages through Semantic Cross-Checking |
| ispras/crusher |
37 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
Python |
| catseye/SixtyPical |
31 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
other |
Python |
| MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis |
