| rshipp/awesome-malware-analysis |
10,368 |
|
0 |
0 |
over 2 years ago |
0 |
|
32 |
other |
|
| Defund the Police. |
| soot-oss/soot |
2,713 |
|
4 |
7 |
about 2 years ago |
4 |
March 02, 2020 |
415 |
lgpl-2.1 |
Java |
| Soot - A Java optimization framework |
| goblint/analyzer |
143 |
|
0 |
0 |
about 2 years ago |
0 |
|
180 |
mit |
OCaml |
| Static analysis framework for C |
| themaplelab/swan |
141 |
|
0 |
0 |
over 2 years ago |
0 |
|
3 |
apache-2.0 |
Scala |
| Swift Static Analysis Framework |
| arguslab/Argus-SAF |
130 |
|
2 |
2 |
over 4 years ago |
19 |
April 06, 2017 |
33 |
apache-2.0 |
Scala |
| Argus static analysis framework |
| LLVM-but-worse/maple-ir |
69 |
|
0 |
0 |
about 3 years ago |
0 |
|
2 |
gpl-3.0 |
Java |
| Industrial IR-based static analysis framework for Java bytecode |
| acieroid/scala-am |
32 |
|
0 |
0 |
about 5 years ago |
0 |
|
9 |
|
Scheme |
| (Abstract) Abstract Machine Experiments using Scala |
| crytic/slither-vscode |
22 |
|
0 |
0 |
about 3 years ago |
0 |
|
17 |
agpl-3.0 |
TypeScript |
| Visual Studio Code integration for Slither, a Solidity static analysis framework |
| edgardozoppi/analysis-net |
16 |
|
0 |
0 |
almost 6 years ago |
0 |
|
27 |
mit |
C# |
| Static analysis framework for .NET programs. |
| UnitTestBot/jacodb |
14 |
|
0 |
0 |
over 2 years ago |
0 |
|
17 |
apache-2.0 |
Kotlin |
| fast and effective way to access and analyze java bytecode |
