Wappler: Sound Reachability Analysis for WebAssembly. - Scherer, Markus; Blaabjerg, Jeppe Fredsgaard; Sjösten, Alexander; Solitro, Magdalena; Maffei, Matteo (2024)