Manticore: Symbolic execution for humansMark MossbergApril 27, 2017dynamic-analysis, manticore, program-analysis, symbolic-executionManticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries.
