Built from the ground up to support gradual typing and deliver responsive incremental checks. Performant on large codebases with millions of lines of Python. Designed to help improve code quality and development speed by flagging type errors interactively in your terminal or live in your favorite editor. Follows the typing standards introduced in PEPs 484, 526, 612, and is being actively developed and constantly improved. Pyre ships with Pysa, a security focused static analysis tool we've built to reason about data flows in Python applications at scale. 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. Pyre ships with Pysa, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our documentation to get started with our security analysis.
Features
- Fast, integrated and fully featured
- Built for security
- To get started, you need Python 3.6 or later and watchman working on your system
- Tested on Ubuntu 18.04.5 LTS, CentOS 7, as well as OSX 10.11
- Pyre is licensed under the MIT license
- Pyre ships with Pysa