5 projects
pyre-check-nightly
A performant type checker for Python
pyre-extensions
Type system extensions for use with the pyre type checker
pyre-check
A performant type checker for Python
fb-sapp
Static Analysis Post-Processor for processing taint analysis results.
mariana-trench
A security focused static analysis platform targeting Android.