3 ms·
Symbolically Executing WebAssembly in Manticore
- tyoma 7y agoI am very excited this had finally landed in master. To my knowledge there were no other symbolic execution tools that worked on WASM.
- ehennenfent 7y agoAuthor here, happy to answer any questions about working with Manticore or my experience implementing the WASM spec.