Skip to content
Symbolically Executing WebAssembly in Manticore
blog.trailofbits.com | blog | #binary-analysis | #blockchain | #trail-of-bits | #program-analysis | #symbolic-execution | #webassembly | #manticore | #ewasm | #wasm
Summary
Manticore 0.3.3 adds symbolic execution for WebAssembly binaries, exploring all reachable states and deriving concrete inputs, laying groundwork for security analysis of WASM and ewasm code.
- Published
- Collected