SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
facebook/SPARTA has 671 GitHub stars.
It currently ranks #16586 daily, #17476 weekly, #20472 monthly by momentum on Trending Repos; its best-ever rank is #5713.