GitHub repository: lewyu/Angora
Primary language: C++
Description: Angora is a mutation-based fuzzer.  The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.