Pysa is a security-focused tool built on top of Pyre, Facebook’s performant type checker for Python. “Pysa tracks flows of data through a program. The user defines sources (places where important data ...