"Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation." -- README.md
Why do I want Manticore?
You have binaries you want to analyze
You want to hack on cool dynamic binary analysis things