File > Angora
A mutation-based coverage guided fuzzer that increases branch coverage by solving path constraints without symbolic execution.
A mutation-based coverage guided fuzzer that increases branch coverage by solving path constraints without symbolic execution.