dvar-track
Emacs Lisp tool for tracking dynamic variable dependencies with eldoc support.
Emacs Lisp tool for static analysis of dynamic variable (defvar) dependencies in Elisp and C sources. Provides dependency graphs, reporting, eldoc integration for on-the-fly documentation, and docstring annotations. Includes C analysis patches targeting Emacs internals.
Code Analysis
- Technical
- Source code: Lab Github
- Last commit: 2025-10-20
We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel. We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems.
This page was last edited on 2026-03-03.
This page was last edited on 2026-03-03.