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