Mark Mossberg on The Trail of Bits Bloghttps://miscreants.github.io/blog.trailofbits.com/authors/mark-mossberg/Recent content in Mark Mossberg on The Trail of Bits BlogHugoen-usThu, 27 Apr 2017 00:00:00 -0400Manticore: Symbolic execution for humanshttps://miscreants.github.io/blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/Thu, 27 Apr 2017 00:00:00 -0400https://miscreants.github.io/blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries.