yuhshin-oss

Pinned Repositories

mariana-trench
A security focused static analysis tool for Android and Java applications.
Language:C++1.1k 33 91139
pyre-check
Performant type-checking for python.
Language:OCaml6.8k 111 415437
redex
A bytecode optimizer for Android apps
Language:C++6k 223 561653
sapp
Post Processor for Facebook Static Analysis Tools.
Language:Python130 28 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++623 26 450
sapp
Post Processor for Facebook Static Analysis Tools.
Language:Python00

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