Skip to content

/pyre-check

Performant type-checking for python.
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis
  1. OCaml 79.8%
  2. Python 16.3%
  3. C 2.8%
  4. Standard ML 0.4%
  5. Shell 0.4%
  6. JavaScript 0.2%
  7. Other 0.1%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@sinancepel @facebook-github-bot
sinancepel and facebook-github-bot eliminate all spaces in (!+) shorthand 
Summary: My regexes weren't strong enough..

Reviewed By: grievejia

Differential Revision: D14588121

fbshipit-source-id: 004d03965b08e4dde95ac7e6db0c40f5eaaae2af
Latest commit 60496ab Mar 23, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.circleci
analysis eliminate all spaces in (!+) shorthand Mar 23, 2019
ast eliminate all spaces in (!+) shorthand Mar 23, 2019
client mock ProjectfilesMonitor in tests Mar 22, 2019
command eliminate all spaces in (!+) shorthand Mar 23, 2019
docs Change help message to match docs on pyre website Mar 6, 2019
external Fix broken external/decorators.ml Mar 22, 2019
hack_parallel
ide_plugins/vscode better distincion between ide plugins and pyre plugins Jun 21, 2018
interprocedural
parser use (!+) as shorthand for Access.create in generatorTest Mar 23, 2019
plugin
python_ast
sapp
scripts
server Show more information for class discrepancies Mar 23, 2019
service normalize keys in the dependency handler Mar 23, 2019
taint fix index breadcrumb Mar 21, 2019
test normalize keys in the dependency handler Mar 23, 2019
website
.buck_definitions Initial commit May 7, 2018
.buckconfig Initial commit May 7, 2018
.flake8
.gitignore
.ocp-indent Initial commit May 7, 2018
.pyre_configuration.local Upgrade tools/pyre Jan 24, 2019
.python3 simple script to log adoption in fbcode Sep 13, 2018
.travis.yml Add Travis configuration (#130) Jan 10, 2019
CODE_OF_CONDUCT.md Fix code of conduct link. Aug 7, 2018
CONTRIBUTING.es.md
CONTRIBUTING.md Updated README.es.md, And Translated INSTALL.md, CONTRIBUTING.md (#88) Aug 21, 2018
INSTALL.es.md
INSTALL.md
LICENSE
Makefile Do not invoke `make` in facebook mode when `setup.sh` is set to run i… Mar 20, 2019
README.es.md
README.md
configuration.ml add separate socket to server for json Mar 1, 2019
configuration.mli
dune-project
dune.in
file.ml allow subdirectories of root to be added to search path Dec 5, 2018
file.mli create a mechanism to dynamically restore paths from handles Oct 8, 2018
log.ml Move and rename CallGraph module Nov 6, 2018
log.mli
logo.txt Ascii art logo Aug 16, 2018
main.ml
opam
pyre.ml
pyrePath.ml
pyrePath.mli Add breadcrumbs for first field and index Mar 13, 2019
pyrelib.opam remove sedlex dependency Aug 27, 2018
statistics.ml
statistics.mli introduce sampling to coverage logs Mar 21, 2019
timer.ml
timer.mli
version.mli

README.md

Pyre

Pyre is a performant type checker for python.

Read this in other languages: Español

Getting Started

To install Pyre on your system run pip install pyre-check and you should be good to go! Run it on your project with pyre --source-directory . check.

For more detailed documentation, see https://pyre-check.org.

Supported platforms

  • Python: you need Python 3.5 or later to run Pyre.
  • Operating System:
    • a recent version of Linux (we tested on Ubuntu 16.04 LTS and CentOS 7);
    • OSX 10.11 or newer;
    • please note: Windows is not supported.

Installation

See INSTALL.md for details on installing Pyre from a packaged version or from source.

Join the Pyre community

See CONTRIBUTING.md for how to help out.

License

Pyre is licensed under the MIT license.

You can’t perform that action at this time.