SPARTA
facebook/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
668stars
Forks
55
Open issues
3
Watchers
668
Size
0.7 MB
C++MIT License
Created: May 3, 2018
Updated: Apr 24, 2026
Last push: Apr 15, 2026