Out of the Loop No More: Online Abstract Debugging with Loop Stepping
This paper proposes online abstract debugging, which performs abstract interpretation on demand as the developer steps through the program, and instantiate this model for WebAssembly and presents a prototype implementation, demonstrating that developers can effectively draw sound conclusions about complex, potentially non-terminating looping programs.
J. Alvim, Maarten Steevens, Christophe Scholliers et al.
· 0 citations