DSE for Webassembly

Building a dynamic symbolic execution engine for webassembly based on the Wasabi framework