Skip to content

/ pyre-check

Performant type-checking for python.

pyre-check.org/
MIT License
3.4k stars 195 forks
Star
Watch
Branch: master
Go to file
Code

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Latest commit

@grievejia @facebook-github-bot
grievejia authored and facebook-github-bot committed 328a5d4 Jul 10, 2020
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment` 
Reviewed By: pradeep90

Differential Revision: D22483001

fbshipit-source-id: 8d7cfff5a6a7f0823b4525efc7487ad095b0cc15

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.circleci
Add CircleCI configuration
May 12, 2018
analysis
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment`
Jul 10, 2020
api
fix tests on master
Jun 17, 2020
ast
expression_contains_any should error about Any in nested types.
Jul 10, 2020
client
Bug fix for duplicate import statements for infer stub generation
Jul 10, 2020
command
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment`
Jul 10, 2020
docs
Fix typos in Pysa Basics documentation
Jul 7, 2020
domains
Upgrade `dune` to 2.6.0
Jun 22, 2020
examples/pytorch
Fixed Pytorch examples
Jun 15, 2020
external
add `specialCallResolution` module
Jul 8, 2020
hack_parallel
Upgrade `dune` to 2.6.0
Jun 22, 2020
ide_plugins/vscode
better distincion between ide plugins and pyre plugins
Jun 21, 2018
interprocedural
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment`
Jul 10, 2020
interprocedural_analyses
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment`
Jul 10, 2020
lsp_adapter
Don't set up logging for null servers
Jul 8, 2020
new_server
Set up a basic server infrastructure
Jul 7, 2020
parser
Correctly parse `x[y] = z,` and `x[y] = y`
Jul 10, 2020
pyre_extensions
Update pyre version to include LSP fixes
Jun 17, 2020
pysa_tutorial
Various nitpicks for Pysa tutorials
Apr 8, 2020
scripts
Providing interface to call server_integration_test from python
Jul 9, 2020
server
No longer keep a pointer to `module_tracker` and `ast_environment` in…
Jul 10, 2020
service
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment`
Jul 10, 2020
stubs
Add SSTI category in FBCode
Jun 29, 2020
test
Remove `ast_environmnet` in `Test.ScratchProject.BuiltEnvironment`
Jul 10, 2020
tools
Bump websocket-extensions from 0.1.3 to 0.1.4 in /tools/sapp/ui/front…
Jul 9, 2020
website
Uniformly refer to Pysa as Python Static Analysis
Jun 17, 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
Purge `Configuration.Analysis.set_global` and `Configuration.Analysis…
Jul 9, 2020
configuration.mli
Purge `Configuration.Analysis.set_global` and `Configuration.Analysis…
Jul 9, 2020
dune-project
Upgrade `dune` to 2.6.0
Jun 22, 2020
dune.in
add `specialCallResolution` module
Jul 8, 2020
file.ml
Print more detailed cannot open file error in env building
Jun 20, 2020
file.mli
Print more detailed cannot open file error in env building
Jun 20, 2020
hack_parallel.opam
Added sqlite3 dependency to opam file (#168)
May 10, 2019
log.ml
Reifies global states in `Log`
Jul 10, 2020
log.mli
Reifies global states in `Log`
Jul 10, 2020
logo.txt
Ascii art logo
Aug 16, 2018
main.ml
Set up OCaml entry point for new server
Jul 1, 2020
opam
base64 encode keys being computed via `compute_hashes_to_keys()`
Mar 8, 2019
profiling.ml
Reifies global states in `Profiling`
Jul 10, 2020
profiling.mli
Reifies global states in `Profiling`
Jul 10, 2020
pyre.ml
Format existing pyre codebase with `ocamlformat`, attempt III
May 25, 2019
pyrePath.ml
Purge polymorphic compares, yet again
Jun 19, 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
Reifies global states in `Statistics`
Jul 10, 2020
statistics.mli
Reifies global states in `Statistics`
Jul 10, 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.

About

Performant type-checking for python.

pyre-check.org/

Topics

python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis

Resources

Readme

License

MIT License

Releases 48

v0.0.38 Latest
Dec 19, 2019
+ 47 releases

Contributors 76

+ 65 contributors

Languages

You can’t perform that action at this time.