Static analysis of expl3 programs (6): A flurry of releases, CSTUG talk, and what's next
Two weeks ago, I announced the first public release of expltools, a bundle that includes explcheck, a static analysis tool for the expl3 programming language.
Since then, the project has sparked a lively discussion in the project repository, engaging early adopters, contributors, and enthusiasts. This feedback loop has already resulted in two new releases within the past two weeks, and another update is planned for next Monday (December 23).
On December 14, I also had the opportunity to present explcheck during a talk at the general assembly of the Czechoslovak TeX Users Group (CSTUG). Although the talk was delivered in Czech, the presentation slides are in English and should provide a clear overview of the topics discussed.
Looking ahead to January, once the initial wave of feedback from the first release has been addressed, I plan to start implementing the next major processing step for explcheck: lexical analysis. This step involves converting the expl3 parts identified during preprocessing into TeX tokens, paving the way for deeper program analysis.
Stay tuned for more updates, and feel free to contribute or provide feedback via the project repository.