Dynamic Slicing of WebAssembly Binaries

Onderzoeksoutput: Conference paper


The recently introduced WebAssembly standard aims to form a portable compilation target, enabling the cross-platform distribution of programs written in a variety of languages. In this paper, we propose and investigate the first dynamic slicing approaches for WebAssembly. Given a program and a location in that program, a program slice is a reduced version of the program that preserves the behavior at the given location. Slicing has numerous applications in software maintenance and evolution, including reverse engineering, code comprehension, and quality assurance.
Our dynamic approaches are built on Observational-Based Slicing (ORBS). We explore the design space for instantiating ORBS for WebAssembly: for example, it can be applied to the whole program or to only the function containing the slicing criterion, and it can be applied before compilation to WebAssembly or afterwards. We evaluate the slices produced quantitatively and qualitatively, and compare them to those obtained by a state-of-the-art static slicer for WebAssembly. Our evaluation reveals that dynamic slicing at the level of a function from a WebAssembly binary finds a sweet spot in terms of slice time and slice size.
Originele taal-2English
TitelProceedings of the 39th IEEE International Conference on Software Maintenance and Evolution (ICSME 2023)
Aantal pagina's13
ISBN van elektronische versie979-8-3503-2783-0
StatusAccepted/In press - 2023
Evenement39th IEEE International Conference on Software Maintenance and Evolution - Bogota, Colombia
Duur: 1 okt 20236 okt 2023
Congresnummer: 39

Publicatie series

NaamProceedings - 2023 IEEE International Conference on Software Maintenance and Evolution, ICSME 2023


Conference39th IEEE International Conference on Software Maintenance and Evolution
Verkorte titelICSME 2023

Bibliografische nota

Publisher Copyright:
© 2023 IEEE.


Duik in de onderzoeksthema's van 'Dynamic Slicing of WebAssembly Binaries'. Samen vormen ze een unieke vingerafdruk.

Citeer dit