SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
by facebookC++
Commit activity
Last 12 weeks · 6 commits
Community health
4 of 6 standards met
75
✓README✓License✓Contributing✓Code of Conduct○Issue Template○PR Template
Recent PRs & issues
Active · 1 in progress · Last activity 1mo ago
See all on GitHub →Recent fixes
Summary Upgrade GitHub Actions to their latest versions to ensure compatibility with Node 24, as Node 20 will reach end-of-life in April 2026. Changes Context Per GitHub's announcement, Node 20 is being deprecated and runners will begin using Node 24 by default starting March 4th, 2026. Why this matters Node 20 EOL: April 2026 Node 24 default: March 4th, 2026 Action**: Update to latest action versions that support Node 24 Security Note Actions that were previously pinned to commit SHAs remain pinned to SHAs (updated to the latest release SHA) to maintain the security benefits of immutable references. Testing These changes only affect CI/CD workflow configurations and should not impact application functionality. The workflows should be tested by running them on a branch before merging.
Structured data for AI agents
Repository: facebook/SPARTA. Description: SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation. Stars: 666, Forks: 55. Primary language: C++. Languages: C++ (79.2%), Rust (19.9%), CMake (0.8%), Shell (0.1%). License: MIT. Open PRs: 1, open issues: 2. Last activity: 1mo ago. Community health: 75%. Top contributors: arthaud, yuxuanchen1997, NTillmann, ssj933, agampe, arnaudvenet, int3, zertosh, thezhangwei, skkeem and others.