| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| google/bindiff | JavaC++Shell | 1.4k | +137 | 67 | +4 |
| rizinorg/rizin | CC++Meson | 2.1k | +8 | 284 | +1 |
| facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 458 | +3 |
| returntocorp/semgrep-rules | SolidityHCLJava | 617 | +2 | 336 | -1 |
| github/codeql-go | 460 | 0 | 161 | 0 | |
| JonathanSalwan/VMProtect-devirtualization | RoffCHTML | 979 | 0 | 167 | 0 |
| x64dbg/x64dbg | C++CQMake | 41.7k | 0 | 2.2k | 0 |
| goblint/analyzer | OCamlCPerl | 135 | 0 | 61 | 0 |
| NASA-SW-VnV/ikos | C++LLVMPython | 1.9k | 0 | 174 | 0 |
| pascal-lab/Tai-e-assignments | JavaKotlin | 890 | 0 | 183 | 0 |
| JonathanSalwan/Triton | C++PythonC | 3k | 0 | 520 | 0 |
| horsicq/Detect-It-Easy | JavaScript | 5.6k | 0 | 625 | 0 |
| BinaryAnalysisPlatform/bap | OCamlCommon LispC++ | 1.9k | -1 | 275 | 0 |