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

DriverBuddy is an IDA Python script to assist with the reverse engineering of Windows kernel drivers.