←
Back to Open Source
🐙 GitHub Detail
S
facebook/SPARTA
By facebook
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
GitHub
C++
MIT License
Updated 24 Apr 2026
Live Snapshot
⭐
Stars
668
🍴
Forks
55
📄
License
MIT License
🧩
Type
C++
📘
About this open-source project
Live information fetched from GitHub.
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
🌿
Default Branch
main
🐞
Open Issues
3
👀
Watchers
668