The Python Static Analyzer (pysa) is a feature of Meta's Pyre type checker to find potential security issues.
