SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries

Ningyu He, Zhehao Zhao, Hanqin Guan +6

WebAssembly (Wasm), as a compact, fast, and isolation-guaranteed binary format, can be compiled from more than 40 high-level programming languages. However, vulnerabilities in Wasm…