Docker image of Fedora + KLEE + AFL + Radamsa + other fuzzing tools
Please note the Dockerfile is a prime counter example for secure, reproducable Dockerfile builds. The only thing missing is curl -s http://some thing | bash
KLEE is a tool to perform symbolic execution of inputs for a program.
AFL is a tool that instruments source code at compile time to improve fuzzer code coverage.
Radamsa is a tool to fuzz inputs and generate output data for feeding into the program, and is designed for easy scripting (ie, no wizz-ba ng features like running the program and doing crash analysis.
zzuf is a transparent application input fuzzer which intercepts file and network operations.
Ideally, all of the above would be installable via RPM, perhaps done via copr.fedoraproject.org. I lack the interest in doing this, however..
Doctor Who Universe reference, chosen due to the "robo-fuzz" reference.