A framework for dynamic analysis of WebAssembly programs, developed in the Software Lab at TU Darmstadt.