A sound static analyzer for WebAssembly based on HoRSt


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.

We are currently preparing a version of the tool for release. If you can’t wait, you can find a preliminary version here.