Prototype semantic visual debugger developed at the Faculty of Information Technology, Czech Technical University in Prague.
Aili builds on abstraction to separate the debuggee from the visuals presented to the user. At its core, a stylesheet provided by the user specifies how each part of the debuggee should be represented graphically.
The stylesheets are loosely based on CSS. They are intentionally similar in some syntactic constructs, which may help introduce a user who is familiar with CSS, but they also differ in many aspects. See the stylesheet authors' manual for more information.
| Language + Module | Description |
|---|---|
| 🟨 Debugger | Demo application that showcases the whole debugger pipeline. |
| 🟨 Demo | Demo application that showcases Vis and Translate modules. |
| 🦀 GDBState | Implementation of the Program State model for C that uses the GNU Project Debugger. |
| 🟨 Hooligan | Hooking and logging utilities. |
| 🟨🦀 JSAPI | Bindings between modules written in Rust and Javascript. |
| 🦀 Model | Definitions of Program State and Visualization models. |
| 🦀 Parser | Parser for stylesheets of the Style module. |
| 🦀 Style | Stylesheets that assign properties to State entities. |
| 🦀 Translate | Translator for converting between Program state and Visualization models based on a stylesheet that describes the mapping. |
| 🟨 Vis | Browser-based renderer of Visualization model, written in Typescript. |
[Companion paper of version 0.1.0]
Čajan Tomáš. Interactive debugger with semantic visualization. Bachelor’s thesis. Czech Technical University in Prague, Faculty of Information Technology, 2025. URL: http://hdl.handle.net/10467/123265.
This software was developed with the support of the Faculty of Information Technology, Czech Technical University in Prague, fit.cvut.cz
