Mark Mossberg

Summary: Trail of Bits published a blog post by Mark Mossberg on April 27, 2017 describing Manticore, a tool for symbolic execution, taint analysis, and instrumentation of binaries. The post states Manticore helps the firm quickly apply these techniques to analyze binaries.
What's compelling: The post offers no findings, numbers, or incidents - it is a tool announcement, so a security leader gets a capability description rather than evidence of what symbolic execution found in any real binary.

Read the original at Trail of Bits Blog ↗