A performant type checker for Python
Project description
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.
Read this in other languages: Español
Requirements
You need a working Python 3.6 or later environment to run Pyre. We highly recommend that you install watchman to get the most out of Pyre but it's not strictly necessary. On MacOS you can get everything with homebrew:
$ brew install python3 watchman
In Ubuntu, Mint and Debian you can install Python 3 like this:
$ sudo apt-get install python3 python3-pip watchman
We tested Pyre on Ubuntu 16.04 LTS, CentOS 7, as well as OSX 10.11 and later.
Getting Started
These instructions assume you're working with a virtual environment set up inside of your project directory as follows.
$ cd your_project
$ python3 -m venv venv
(venv) $ pip install pyre-check
We now need to tell Pyre what to check by running
(venv) $ pyre init
By default, this command will set up a configuration for Pyre (.pyre_configuration
) as well as watchman (.watchmanconfig
) in your project's directory.
Note that if you do have your virtual environment inside your project directory you will want to tell Pyre not to check the contents of it by adding the following line to your .pyre_configuration
file:
"ignore_all_errors": [
"<absolute path to the virtual environment>"
],
If you're using watchman, you need to make sure we have watchman listening to file changes in your project directory:
(venv) $ touch .watchmanconfig
We are now ready to start Pyre:
(venv) $ echo "i: int = 'string'" > test.py
(venv) $ pyre
ƛ Found 1 type error!
test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.
Note that the first invocation initializes Pyre's server that handles incremental updates and will be slower than subsequent invocations – you can easily see this by invoking pyre
again and observe the same result instantaneously.
For more detailed documentation, see https://pyre-check.org.
Join the Pyre community
See CONTRIBUTING.md for how to help out.
License
Pyre is licensed under the MIT license.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distributions
Hashes for pyre_check-0.0.51-py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 65870c096a6451494d416fa4cec5894130e125ee54920e0485235801ce871bee |
|
MD5 | 7e7a906f2677c149a3a22deee44b4aad |
|
BLAKE2b-256 | 12ccb314fd2682a6f652bb40d636d454030e314486b6b021ec47532e1825c1b6 |
Hashes for pyre_check-0.0.51-py3-none-macosx_10_11_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b5c1c0ab40a1e6f27683f5ff3ba14bb2cbb5df75b7759cb5e704268577188659 |
|
MD5 | b56fa49f80d968bd7400d2f820f8374f |
|
BLAKE2b-256 | f45aac4e11ea52edfc177689e57fd868cbb88f776e3c17a138b7e3d0e7627fe9 |