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