Angora Fuzzer

https://angorafuzzer.github.io/

China Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.