Automated WebAssembly Function Purpose Identification With Semantics-Aware Analysis
Alan Romano, Weihang Wang
Abstract
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 languages, such as C, C++, and Rust. The standard also defines a text representation for readability, although, WebAssembly modules are difficult to interpret by human readers, regardless of their experience level. This makes it difficult to understand and maintain any existing WebAssembly code. As a result, third-party WebAssembly modules need to be implicitly trusted by developers as verifying the functionality themselves may not be feasible.
Topics & Concepts
Computer scienceProgramming languageIdentification (biology)ReadabilityRust (programming language)Semantics (computer science)Code (set theory)Function (biology)Representation (politics)BotanyEvolutionary biologyLawPoliticsSet (abstract data type)BiologyPolitical scienceSoftware Engineering ResearchSoftware Testing and Debugging TechniquesSecurity and Verification in Computing