driller

Driller is a fuzzer augmentation tool that enhances the American Fuzzy Lop (AFL) framework by utilizing symbolic execution through the angr library to explore untraced paths when AFL encounters stagnation. It selectively traces inputs generated by AFL to synthesize new test cases for basic block transitions that have not been covered, thereby facilitating the discovery of exploitable vulnerabilities. Key features include a multi-machine operation mode, a monitoring process that manages Driller's invocation, and compatibility primarily with DECREE binaries, along with support for other formats, albeit with potential errors.