https://miscreants.github.io/blog.trailofbits.com/authors/douglas-gastonguay/Recent content in Douglas Gastonguay on The Trail of Bits BlogHugoen-usMon, 15 May 2017 07:50:05 -0400https://miscreants.github.io/blog.trailofbits.com/2017/05/15/magic-with-manticore/Mon, 15 May 2017 07:50:05 -0400https://miscreants.github.io/blog.trailofbits.com/2017/05/15/magic-with-manticore/Manticore is a next-generation binary analysis tool with a simple yet powerful API for symbolic execution, taint analysis, and instrumentation. Using Manticore one can identify ‘interesting’ code locations and deduce inputs that reach them. This can generate inputs for improved test coverage, or quickly lead execution to a vulnerability. I used Manticore’s power to solve Magic, a challenge […]