Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation

Lucas Berg, Gonzague Yernaux, Mikel Vandeloise, Wim Vanhoof

2025

Abstract

In this paper, we introduce Manim-DFA, an extension of the Manim library for generating video visualisations to teach data flow analysis and abstract interpretation. Despite the importance of data flow analysis in static program analysis, educational visualisation tools remain scarce. Manim-DFA addresses this gap by enabling educators to animate control flow graphs and lattice structures, illustrating their transformation during program analysis. Currently, the tool supports automated animation of the worklist algorithm, as well as lattice visu-alisation. Designed with established pedagogical principles, Manim-DFA promotes active learning, reduces cognitive load, and enhances conceptual understanding. Preliminary evaluations suggest that it effectively complements traditional resources and supports autonomous learning.

Paper Citation

in Harvard Style

Berg L., Yernaux G., Vandeloise M. and Vanhoof W. (2025). Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation. In Proceedings of the 17th International Conference on Computer Supported Education - Volume 1: CSEDU; ISBN 978-989-758-746-7, SciTePress, pages 604-611. DOI: 10.5220/0013472000003932

in Bibtex Style

@conference{csedu25,
author={Lucas Berg and Gonzague Yernaux and Mikel Vandeloise and Wim Vanhoof},
title={Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation},
booktitle={Proceedings of the 17th International Conference on Computer Supported Education - Volume 1: CSEDU},
year={2025},
pages={604-611},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013472000003932},
isbn={978-989-758-746-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Computer Supported Education - Volume 1: CSEDU
TI - Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation
SN - 978-989-758-746-7
AU - Berg L.
AU - Yernaux G.
AU - Vandeloise M.
AU - Vanhoof W.
PY - 2025
SP - 604
EP - 611
DO - 10.5220/0013472000003932
PB - SciTePress