#php #security_analysis #static_analysis #taint_analysis #type_inference
https://github.com/vimeo/psalm
https://github.com/vimeo/psalm
GitHub
GitHub - vimeo/psalm: A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications - vimeo/psalm
#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.