Symbolically Executing WebAssembly in Manticore (blog.trailofbits.com) 12 points by ehennenfent 6y ago ↗ HN
[–] tyoma 6y ago ↗ I am very excited this had finally landed in master. To my knowledge there were no other symbolic execution tools that worked on WASM.
[–] ehennenfent 6y ago ↗ Author here, happy to answer any questions about working with Manticore or my experience implementing the WASM spec.
2 comments
[ 1.9 ms ] story [ 13.4 ms ] thread