While I am in Calgary, I will also present a talk titled "Expltools: Two years of LaTeX3 static analysis". I will cover the new developments in expltools from the past year and touch on AI coding tools and how they can complement static analysis in the development and debugging of expl3 code.
Abstract: https://www.tug.org/tug2026/abstracts/starynovotny-expl3tools.txt
Five new flow-analysis issue types have been added in https://github.com/Witiko/expltools/pull/188 over the past two days:
1. E500 (Multiply defined function)
2. W501 (Multiply defined function variant)
3. E504 (Function variant for an undefined function)
4. E506 (Indirect function definition from an undefined function)
5. W507 (Setting a function before definition)
These will be included in explcheck v0.19.0, planned for release by the end of the month.
The v0.18.2 release of explcheck https://github.com/Witiko/expltools/releases/tag/2026-03-13 speeds up the flow analysis by another order of magnitude, reducing runtimes on corner-case examples from months in v0.18.0 to a little over an hour.
There are still plenty of optimization opportunities for a motivated master's student https://github.com/Witiko/expltools/issues/156 but nothing that can't wait until after v1.0.0. 🚀
witiko
