Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Angora | 867 | 2 years ago | 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. | ||||||||||
Driller | 734 | 2 years ago | 30 | bsd-2-clause | Python | |||||
Driller: augmenting AFL with symbolic execution! | ||||||||||
Symcc | 724 | 3 months ago | 47 | gpl-3.0 | C++ | |||||
SymCC: efficient compiler-based symbolic execution | ||||||||||
Ilf | 123 | 8 months ago | 1 | apache-2.0 | Python | |||||
AI based fuzzer based on imitation learning | ||||||||||
Fusebmc | 37 | 3 months ago | 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. | ||||||||||
Kex | 24 | 2 months ago | 6 | apache-2.0 | Kotlin | |||||
A platform for analysis of Java bytecode |