#ocaml #abstract_interpretation #code_quality #control_flow_analysis #program_analysis #python #security #static_analysis #taint_analysis #type_check #typechecker
https://github.com/facebook/pyre-check
https://github.com/facebook/pyre-check
GitHub
GitHub - facebook/pyre-check: Performant type-checking for python.
Performant type-checking for python. Contribute to facebook/pyre-check development by creating an account on GitHub.