Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
| 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 | 9 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 | 3 months ago | 6 | apache-2.0 | Kotlin | |||||
| A platform for analysis of Java bytecode | ||||||||||
Alternatives To AngoraSelect To Compare
Alternative Project Comparisons
Popular Fuzzer Projects
Popular Symbolic Execution Projects
Popular Software Quality Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Security
Fuzzer
Symbolic Execution
Taint Analysis