Wappler
A sound static analyzer for WebAssembly based on HoRSt
Publication
The paper describing Wappler (WebAssembly Proven Program Logic Encoding Reachability) was published at CSF 2024. The technical report including extended appendices and some fixes is available here.
Tool
The tool is available as sources (including build instructions) or as docker container.
For a further documentation, consider the README
in the sources.