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 (slides). 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.