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
OCaml Python Standard ML C Java JavaScript Other
  1. OCaml 74.5%
  2. Python 20.5%
  3. Standard ML 2.1%
  4. C 1.6%
  5. Java 1.0%
  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

Latest commit

@gbleaney @facebook-github-bot
gbleaney and facebook-github-bot Back out "Open source aiofiles stubs, and add taint annotations" 
Differential Revision: D21609809

fbshipit-source-id: 569a245d1d04435ad78f25ea34e522b405161535
Latest commit cd5fb51 May 18, 2020

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.circleci Add CircleCI configuration May 12, 2018
analysis Check for unbound names in class toplevel and class base list May 16, 2020
api Add some helpful debug logging May 4, 2020
ast Move class toplevel define creation API from `Define.t` to `Class.t` May 16, 2020
client Update messaging about unnannoted functions May 18, 2020
command Return `Any` instead of `Top` when signature selection fails May 15, 2020
docs Fix Watchman link in pyre docs. Apr 30, 2020
domains Getting rid of most usage of Pervasives.compare/eq Mar 27, 2020
examples/pytorch PyTorch example Sep 20, 2019
external Make projectSpecificPreprocessing stateless Mar 27, 2020
hack_parallel Raise proper exception instead of `Failure` when calling into worker Jan 29, 2020
ide_plugins/vscode better distincion between ide plugins and pyre plugins Jun 21, 2018
interprocedural start supporting local variable callables May 6, 2020
interprocedural_analyses Remove `Location.synthetic`. May 16, 2020
lsp_adapter Upgrade pyre local version May 12, 2020
parser Add `top_level_unbound_names` field to `Class.t` May 16, 2020
pyre_extensions Re-surfacing tests from pyre-extensions Apr 24, 2020
pysa_tutorial Various nitpicks for Pysa tutorials Apr 8, 2020
scripts Surfacing saved state size from incremental test runner Apr 30, 2020
server Remove `UndefinedName` error May 15, 2020
service Import `typing`, `typing_extensiosn`, `pyre_extensions`, etc. in inte… May 14, 2020
stubs Back out "Open source aiofiles stubs, and add taint annotations" May 18, 2020
test Add an `unbound_names` field to AST for defines May 14, 2020
tools use argparse to reparse arguments when no subcommand is provided May 15, 2020
website Add cname field to config (#248) Apr 2, 2020
.buck_definitions Initial commit May 7, 2018
.buckconfig Initial commit May 7, 2018
.flake8 disable mypy linter Aug 16, 2018
.gitignore Ignore hack_parallel.install Apr 26, 2019
.ocamlformat Upgrade ocamlformat to v0.12.0 Nov 14, 2019
.ocamlformat-ignore Turn on warnings on detached or ambiguous docstring May 23, 2019
.ocp-indent Initial commit May 7, 2018
.python3 simple script to log adoption in fbcode Sep 13, 2018
.travis.yml Unbreak sapp CI build (#225) Jan 6, 2020
CODE_OF_CONDUCT.md Adopt Contributor Covenant Aug 30, 2019
CONTRIBUTING.es.md Fix contribution docs Aug 15, 2019
CONTRIBUTING.md Add development tips and tricks to CONTRIBUTING.md Aug 15, 2019
INSTALL.es.md Updated README.es.md, And Translated INSTALL.md, CONTRIBUTING.md (#88) Aug 21, 2018
INSTALL.md Updated README.es.md, And Translated INSTALL.md, CONTRIBUTING.md (#88) Aug 21, 2018
LICENSE Initial commit May 7, 2018
Makefile Grab binary version from published hash Jan 29, 2020
README.es.md Add build status button to readme Apr 11, 2019
README.md Update README for Python migration warning Dec 20, 2019
ROADMAP.md fill out ROADMAP.md with 2020 Pysa goals Dec 30, 2019
__init__.py Add fourth exercise of Pysa tutorial Jan 3, 2020
configuration.ml Add adapter socket Apr 14, 2020
configuration.mli Add adapter socket Apr 14, 2020
dune-project Upgrade `dune` to 1.11.4 Oct 25, 2019
dune.in fill out missing license headers Jan 22, 2020
file.ml Upgrade ocamlformat to v0.12.0 Nov 14, 2019
file.mli Purge `File.Handle` from codebase Aug 8, 2019
hack_parallel.opam Added sqlite3 dependency to opam file (#168) May 10, 2019
log.ml Upgrade dune to 1.10.0 and core to 0.12.3 Jul 22, 2019
log.mli Format existing pyre codebase with `ocamlformat`, attempt III May 25, 2019
logo.txt Ascii art logo Aug 16, 2018
main.ml Remove unused query command (4/n) Feb 12, 2020
opam base64 encode keys being computed via `compute_hashes_to_keys()` Mar 8, 2019
profiling.ml Log triggered dependencies set size Feb 7, 2020
profiling.mli Log triggered dependencies set size Feb 7, 2020
pyre.ml Format existing pyre codebase with `ocamlformat`, attempt III May 25, 2019
pyrePath.ml generalize model paths Feb 6, 2020
pyrePath.mli generalize model paths Feb 6, 2020
pyrelib.opam remove sedlex dependency Aug 27, 2018
searchPath.ml Fix ghost errors in nonexistent scratch paths Sep 9, 2019
searchPath.mli Fix ghost errors in nonexistent scratch paths Sep 9, 2019
statistics.ml Protect logger cache with a mutex to prevent crashing Mar 26, 2020
statistics.mli Remove old coverage code Feb 13, 2020
timer.ml Log profiling results in microseconds Nov 5, 2019
timer.mli Log profiling results in microseconds Nov 5, 2019
version.mli Format existing pyre codebase with `ocamlformat`, attempt III May 25, 2019

README.md

Pyre

Pyre is a performant type checker for python.

Read this in other languages: Español

Build Status

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.
⚠️ NOTE: The minimum Python version will be switched to 3.6 around January-February 2020.
  • 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.