Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers
WebAssembly (Wasm) VMs are increasingly used on microcontroller units (MCUs), enabling multiple programming languages to run on resource-constrained devices. However, debugging and testing MCU applications remains challenging, particularly due to concurrency bugs caused by interrupts and message interleavings. Existing tools are often limited to native C/C++ programs, operate only at the bytecode level, or are too slow for practical debugging or testing.
In this demo, we present Wasmito, a framework for building lightweight dynamic tools for Wasm applications running on the WARDuino MCU VM. Wasmito allows developers to register callbacks for runtime events such as function calls, interrupts, and memory accesses, while executing analysis logic on a desktop machine. We demonstrate Wasmito with two tools: a record-and-replay debugger and an automated detector for interrupt-related concurrency bugs.
Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 30mTalk | How Developers Perceive Differential Debugging: an Exploratory Survey DEBT Rémi Dufloer Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Steven Costiou INRIA Lille, Anne Etien University of Lille, Lille, France | ||
11:30 20mTalk | On-the-fly Abstract Debugging for Frama-C/Eva DEBT Jules Massart Independent Researcher, Michele Alberti Université Paris-Saclay, CEA, List, David Bühler Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List Pre-print File Attached | ||
11:50 20mTalk | Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers DEBT Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||