G github.com Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation 127 points ingve 7 years ago 11 comments
