| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| AngoraFuzzer/Angora | 867 | 0 | 0 | over 3 years ago | 0 | 39 | apache-2.0 | C++ | ||
| Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution. | ||||||||||
| shellphish/driller | 734 | 0 | 0 | about 4 years ago | 0 | 30 | bsd-2-clause | Python | ||
| Driller: augmenting AFL with symbolic execution! | ||||||||||
| eurecom-s3/symcc | 724 | 0 | 0 | over 2 years ago | 0 | 47 | gpl-3.0 | C++ | ||
| SymCC: efficient compiler-based symbolic execution | ||||||||||
| eth-sri/ilf | 123 | 0 | 0 | over 2 years ago | 0 | 1 | apache-2.0 | Python | ||
| AI based fuzzer based on imitation learning | ||||||||||
| kaled-alshmrany/FuSeBMC | 37 | 0 | 0 | over 2 years ago | 0 | 1 | mit | C | ||
| FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs. | ||||||||||
| vorpal-research/kex | 24 | 0 | 0 | about 2 years ago | 0 | 6 | apache-2.0 | Kotlin | ||
| A platform for analysis of Java bytecode | ||||||||||
