facebookincubator/SPARTA

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

127 best points · 11 comments · 1 Hacker News post · 675 GitHub stars · View on GitHub

Hacker News discussions

• Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation (127 points, 11 comments, by ingve, 2019-02-20)