Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretationgithub.com/facebookincubator127 pointsingve7 years ago