Wappler: Sound Reachability Analysis for WebAssembly (artifacts)

This dataset contains the software and benchmarks accompanying the paper "Wappler: Sound Reachability Analysis for WebAssembly" (published at the 2024 IEEE 37th Computer Security Foundations Symposium (CSF)).

wappler-src.zip contains the sources for our prototype reachability analyzer Wappler (./wappler), and its dependencies (./horst, ./wparser). Additionally, it contains the test specifications for the code examples mentioned in the paper (./files) and a script to convert existing tests from the official WebAssembly specification [1] to Wappler's format (./scripts). The flake files (flake.nix, flake.lock) contain code to build the different components separately or bundle them in a Docker container. README.md contains exact build/reproduction instructions.

docker-image-wappler.tar.gz is a Docker container image that realizes the sources in wappler-src.zip.

[1] https://github.com/WebAssembly/spec