> Manticore: Symbolic execution for humans

[SOURCE] Trail of Bits [DATE: 27/04/2017 04:00] [LANGUAGE: EN]

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries.