Continued thread
New month, new explcheck update! 
This release introduces the first stage of semantic analysis. expl3 function definitions are now analyzed in depth, allowing explcheck to catch more issues inside user-defined code—not just at the top level.
I also report on bugs found in TeX Live packages and how maintainers are responding.
Details in the latest blog post:
https://witiko.github.io/Expl3-Linter-8.5/
witiko.github.ioStatic analysis of expl3 programs (8½): First stages of semantic analysis and working with the communityToday, I’m excited to announce another update to expltools, the bundle that includes the static analysis tool explcheck for the expl3 programming language. This update introduces initial support for semantic analysis. In this post, I’ll explain what this means for expl3 programmers, what’s still missing, and where we’re headed next.
In a previous post, I introduced a public website listing issues in current TeX Live packages detected by explcheck. This time, I’ll also talk about how I’ve been using that resource to collaborate with package authors and help fix real-world issues.
![Dear Acting Commissioner Faulkender,
I really like that the IRS is building and expanding its Direct File program. A service as fundamental as tax filing should be provided free of charge by the IRS.
However, there is unfortunately, a missing freedom at present: Software Freedom. Software paid for by the tax payer should be licensed in such a manner as to protect the Software Freedoms of the users; indeed, every interaction that users have with their governments should be transparent, sustainable, and protective of their Software Freedoms. Such freedoms promote an environment of civic participation (users can directly file bug reports, contribute features and fixes, and work as stakeholders in the software development process), enable widespread auditing capabilities (each user can inspect the code for vulnerabilities and other undesirable behaviours), and ensure that code bases remain stable from administration to administration (each user can download the code and share it).
I request that the IRS adopt a Free Software license for its code — including Javascript code on websites — such as the GNU Affero General Public License (AGPLv3). This is a strong license that ensures Software Freedom for the users of the IRS’ software. At present, users of the IRS’ digital tools are, unfortunately, denied their Software Freedom. Licensing code under such a strong license would remedy that situation.
[truncate last "learn more" paragraph]
In Solidarity,
Preston M. Maness
IRS User](https://cdn.tenforward.social/media_attachments/files/114/391/862/410/683/848/original/2c99d77f7d75ce8d.png "Dear Acting Commissioner Faulkender,
I really like that the IRS is building and expanding its Direct File program. A service as fundamental as tax filing should be provided free of charge by the IRS.
However, there is unfortunately, a missing freedom at present: Software Freedom. Software paid for by the tax payer should be licensed in such a manner as to protect the Software Freedoms of the users; indeed, every interaction that users have with their governments should be transparent, sustainable, and protective of their Software Freedoms. Such freedoms promote an environment of civic participation (users can directly file bug reports, contribute features and fixes, and work as stakeholders in the software development process), enable widespread auditing capabilities (each user can inspect the code for vulnerabilities and other undesirable behaviours), and ensure that code bases remain stable from administration to administration (each user can download the code and share it).
I request that the IRS adopt a Free Software license for its code — including Javascript code on websites — such as the GNU Affero General Public License (AGPLv3). This is a strong license that ensures Software Freedom for the users of the IRS’ software. At present, users of the IRS’ digital tools are, unfortunately, denied their Software Freedom. Licensing code under such a strong license would remedy that situation.
[truncate last \"learn more\" paragraph]
In Solidarity,
Preston M. Maness
IRS User")
