Manticore (https://github.com/trailofbits/manticore) is a symbolic execution engine written in Python that can symbolically evaluate WebAssembly functions. That means that it can call a WebAssembly function with a symbolic value and determine all the possible outputs of that function, including deriving the concrete inputs that produce each output.
mbasso
commented
4 years ago
Manticore (https://github.com/trailofbits/manticore) is a symbolic execution engine written in Python that can symbolically evaluate WebAssembly functions. That means that it can call a WebAssembly function with a symbolic value and determine all the possible outputs of that function, including deriving the concrete inputs that produce each output.
I've written a blog post with more information about WASM support in Manticore here: https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/