The Sparrow Static Analyzer - View it on GitHub