https://miscreants.github.io/blog.trailofbits.com/authors/eric-hennenfent/Recent content in Eric Hennenfent on The Trail of Bits BlogHugoen-usFri, 31 Jan 2020 09:00:26 -0500https://miscreants.github.io/blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/Fri, 31 Jan 2020 09:00:26 -0500https://miscreants.github.io/blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/With the release of Manticore 0.3.3, we’re proud to announce support for symbolically executing WebAssembly (WASM) binaries. WASM is a newly standardized programming language that allows web developers to run code with near-native performance directly within the browser. Manticore 0.3.3 can explore all reachable states in a WASM program, and derive the concrete inputs that […]https://miscreants.github.io/blog.trailofbits.com/2019/06/07/announcing-manticore-0-3-0/Fri, 07 Jun 2019 06:50:57 -0400https://miscreants.github.io/blog.trailofbits.com/2019/06/07/announcing-manticore-0-3-0/Earlier this week, Manticore leapt forward to version 0.3.0. Advances for our symbolic execution engine now include: “fast forwarding” through concrete execution that you don’t care about, support for Linux binaries statically compiled for AArch64, and an interface for selectively solving for interesting test cases. We’ve been working really hard on these and other features […]https://miscreants.github.io/blog.trailofbits.com/2019/04/08/user-friendly-fuzzing-with-sienna-locomotive/Mon, 08 Apr 2019 07:50:13 -0400https://miscreants.github.io/blog.trailofbits.com/2019/04/08/user-friendly-fuzzing-with-sienna-locomotive/Fuzzing is a great way to find bugs in software, but many developers don’t use it. We hope to change that today with the release of Sienna Locomotive, a new open-source fuzzer for Windows that emphasizes usability. Sienna Locomotive aims to make fuzzing accessible to developers with limited security expertise. Its user-oriented features make it […]