Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Binkit | 110 | 3 months ago | 2 | mit | Shell | |||||
Binary Code Similarity Analysis (BCSA) Benchmark | ||||||||||
Rel | 31 | 6 months ago | 3 | lgpl-2.1 | OCaml | |||||
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level. | ||||||||||
Taint Evaluator | 11 | 2 years ago | Shell | |||||||
A suite of experiments for evaluating open-source binary taint trackers. | ||||||||||
Sydr Benchmark | 8 | 2 years ago | C++ | |||||||
Sydr benchmark applications |