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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …