Visualizing Abstract Abstract Machines

on YouTube ↗28m

" summary

An interactive web visualizer called analysis vis Gilray dotnet renders AAM-derived static analyses as nested graphs, implements a segmentation algorithm that collapses all calls to a lambda into nested per-function CFGs, and distinguishes 0-CFA vs 1-CFA behavior (showing spurious loops and duplicated states). It exports/imports results as JSON import/export, runs live analyses on small programs (tens of nodes), and currently hits UI performance limits on larger graphs.

AI-written summary · about

" chapters (6)

1. 0:00Introduction and setup
2. 2:01Understanding abstract machines
3. 5:15Tuning analysis precision
4. 9:32Visualizing CFG structures
5. 14:55Visualizer demonstration
6. 22:26Q&A and future directions

" related talks

• 16mVisual statical analysis toolPeter van der Zee · JSConf US 2011
• 19mmayAI? Exploring Graphical Tools for Model Visualization & Enh.S. Kurnevich, S. Ilie · GeeCON 2024
• 38mCan we visualize software complexity?Rafał Studnicki · ElixirConf EU Virtual 2020
• 29mBuilding a Graph User-Interface for Malware-AnalysisStefan Hausotte · DevOps Gathering 2020
• 21mLinked Visualisations via Galois DependenciesTomas Petricek, Meng Wang, Roly Perera, Minh Nguyen · POPL 2022
• 37mVisualizing Persistent Data StructuresDann Toliver · Strange Loop 2014
• 29mVisualizing Why Nondeterministic Finite-State Automa RejectMarco T. Morazán, Oliwia Kempinski · Scheme 2023
• 44mNow You See Me Too: Visual Tooling for Advanced System AnalysisSuchakrapani Sharma · LISA17