pyre-check 0.0.52

A performant type checker for Python

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.