Pysa: An open source static analysis tool
Pysa is a security-focused tool built on top of our type checker for Python, Pyre. It’s used to look at code and analyze how data flows through it. Analyzing data flows is useful because many security and privacy issues can be modeled as data flowing into a place it shouldn’t.
Source: Pysa: Open Source static analysis for Python code, an article by Graham Bleaney, and Sinan Cepel.