Pyre : Performant Type-Checking For Python

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code. It ships with Pysa, a security focused static analysis tool we’ve built on top of Pyre that reasons about data flows in …