6 projects
pyre-check
A performant type checker for Python
pyre-extensions
Type system extensions for use with the pyre type checker
fb-sapp
Static Analysis Post-Processor for processing taint analysis results.
mariana-trench
A security focused static analysis platform targeting Android.
git-dumper
A tool to dump a git repository from a website
formatstring
Format string exploitation helper
