Manticore: Symbolic execution for humans
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/ [blog.trailofbits.com]
2017-04-27 19:26
Earlier this week, we open-sourced a tool we rely on for dynamic binary analysis: Manticore! Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries.