yuhshin-oss

Pinned Repositories

mariana-trench
A security focused static analysis tool for Android and Java applications.
Language:C++1.1k 35 95138
pyre-check
Performant type-checking for python.
Language:OCaml6.9k 115 423438
redex
A bytecode optimizer for Android apps
Language:C++6k 223 561653
sapp
Post Processor for Facebook Static Analysis Tools.
Language:Python135 29 1638
SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Language:C++638 26 548
sapp
Post Processor for Facebook Static Analysis Tools.
Language:Python00

yuhshin-oss/sapp
Post Processor for Facebook Static Analysis Tools.
Language:Python00