That'sa Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly

D Lehmann, M Thalakottur, F Tip, M Pradel - Proceedings of the 32nd …, 2023 - dl.acm.org
WebAssembly is a low-level bytecode format that powers applications and libraries running
in browsers, on the server side, and in standalone runtimes. Call graphs are at the core of …

Wasabi: A framework for dynamically analyzing webassembly

D Lehmann, M Pradel - Proceedings of the Twenty-Fourth International …, 2019 - dl.acm.org
WebAssembly is the new low-level language for the web and has now been implemented in
all major browsers since over a year. To ensure the security, performance, and correctness …

WasmView: visual testing for WebAssembly applications

A Romano, W Wang - 2020 IEEE/ACM 42nd International …, 2020 - ieeexplore.ieee.org
WebAssembly is the newest language to arrive on the web. It features a binary code format
to serve as a compilation target for native languages such as C, C++, and Rust and allows …

When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance

A Romano, W Wang - Proceedings of the 31st ACM Joint European …, 2023 - dl.acm.org
The WebAssembly standard defines a bytecode format serving as a compilation target for
languages such as C, C++, and Rust. WebAssembly compilers are built on top of existing …

Frankenstein: fast and lightweight call graph generation for software builds

M Keshani, G Gousios, S Proksch - Empirical Software Engineering, 2024 - Springer
Call Graphs are a rich data source and form the foundation for advanced static analyses that
can, for example, detect security vulnerabilities or dead code. This information is invaluable …

Automated WebAssembly Function Purpose Identification With Semantics-Aware Analysis

A Romano, W Wang - Proceedings of the ACM Web Conference 2023, 2023 - dl.acm.org
WebAssembly is a recent web standard built for better performance in web applications. The
standard defines a binary code format to use as a compilation target for a variety of …

Wasma: A static webassembly analysis framework for everyone

F Breitfelder, T Roth, L Baumgärtner… - … on Software Analysis …, 2023 - ieeexplore.ieee.org
The usage of WebAssembly (Wasm) is not only increasing in the web browser, but also as a
backend technology on servers. Since Wasm introduces several security issues, like the …

Call graph construction for java libraries

M Reif, M Eichberg, B Hermann, J Lerch… - Proceedings of the 2016 …, 2016 - dl.acm.org
Today, every application uses software libraries. Yet, while a lot of research exists wrt
analyzing applications, research that targets the analysis of libraries independent of any …

WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation

S Cao, N He, X She, Y Zhang, M Zhang… - arXiv preprint arXiv …, 2023 - arxiv.org
Wasm runtime is a fundamental component in the Wasm ecosystem, as it directly impacts
whether Wasm applications can be executed as expected. Bugs in Wasm runtime bugs are …

Automatic root cause quantification for missing edges in JavaScript call graphs (extended version)

M Chakraborty, R Olivares, M Sridharan… - arXiv preprint arXiv …, 2022 - arxiv.org
Building sound and precise static call graphs for real-world JavaScript applications poses an
enormous challenge, due to many hard-to-analyze language features. Further, the relative …