Skip to main content

A performant type checker for Python

Project description

Pyre

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

pyre-check-0.0.51.tar.gz (14.9 MB view details)

Uploaded Source

Built Distributions

pyre_check-0.0.51-py3-none-macosx_10_11_x86_64.whl (15.7 MB view details)

Uploaded Python 3 macOS 10.11+ x86-64

File details

Details for the file pyre-check-0.0.51.tar.gz.

File metadata

  • Download URL: pyre-check-0.0.51.tar.gz
  • Upload date:
  • Size: 14.9 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.4.2 requests/2.24.1+fb1 setuptools/46.0.0 requests-toolbelt/0.8.0 tqdm/4.43.0 CPython/3.7.5+

File hashes

Hashes for pyre-check-0.0.51.tar.gz
Algorithm Hash digest
SHA256 6563bb13bb004273d153296e8c3909dfe5deaac4d9079881cbc7b87f7d4209d2
MD5 317a3112ca17829adde4b068f2db4605
BLAKE2b-256 2c38b6a561d2557bc5e09f3dee289f187886f044e98016fa464abc9878cc30a8

See more details on using hashes here.

Provenance

File details

Details for the file pyre_check-0.0.51-py3-none-manylinux1_x86_64.whl.

File metadata

  • Download URL: pyre_check-0.0.51-py3-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 22.9 MB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.4.2 requests/2.24.1+fb1 setuptools/46.0.0 requests-toolbelt/0.8.0 tqdm/4.43.0 CPython/3.7.5+

File hashes

Hashes for pyre_check-0.0.51-py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 65870c096a6451494d416fa4cec5894130e125ee54920e0485235801ce871bee
MD5 7e7a906f2677c149a3a22deee44b4aad
BLAKE2b-256 12ccb314fd2682a6f652bb40d636d454030e314486b6b021ec47532e1825c1b6

See more details on using hashes here.

Provenance

File details

Details for the file pyre_check-0.0.51-py3-none-macosx_10_11_x86_64.whl.

File metadata

  • Download URL: pyre_check-0.0.51-py3-none-macosx_10_11_x86_64.whl
  • Upload date:
  • Size: 15.7 MB
  • Tags: Python 3, macOS 10.11+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.4.2 requests/2.24.1+fb1 setuptools/46.0.0 requests-toolbelt/0.8.0 tqdm/4.43.0 CPython/3.7.5+

File hashes

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

See more details on using hashes here.

Provenance

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page