Building Call Graph of WebAssembly Programs via Abstract Semantics

Mattia Paccamiccio, Franco Raimondi, Michele Loreti

WebAssembly is a binary format for code that is gaining popularity thanks to its focus on portability and performance. Currently, the most common use case for WebAssembly is execut…