Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/
Symbolically Executing WebAssembly in Manticore