What is it about?

WebAssembly defines a compact binary standard that improves the speed of web applications, but the language itself is difficult to manually inspect. To aid developers, we develop WASPur, a tool to automatically label the purposes that WebAssembly functions fulfill. We do this by proposing an intermediate representation that captures the high-level changes on WebAssembly modules. A classifier takes in traces of this IR for a given function and outputs a label of a semantically-similar function. Our classifier obtains an accuracy of 88%.

Featured Image

Why is it important?

We hope that our tool helps develops to understand any external WebAssembly modules used in their projects. As many WebAssembly modules come from third-party sources, it is important that developers can verify that the functionality performed by modules matches with their intended purpose.

Read the Original

This page is a summary of: Automated WebAssembly Function Purpose Identification With Semantics-Aware Analysis, April 2023, ACM (Association for Computing Machinery),
DOI: 10.1145/3543507.3583235.
You can read the full text:

Read

Contributors

The following have contributed to this page