Andrew Santosa's repositories
sootexamples
Towards creating ready-to-run examples from "A Survivor's Guide to Java Program Analysis with Soot" and Vallee-Rai's Master's thesis
branch-probability
Example usage of BranchProbabilityInfo function pass.
bug-checker-passes
LLVM passes to analyze C programs to detect violations of secure coding guideline
cfg-example
Soot Jimple intraprocedural CFG traversal example
trip-counter
LLVM loop trip count calculation tester
gep-expr-example
Example in reading operands of constant expression GEP
kivy-basics
Kivy App deployment example using non-Linux host, Docker, and Buildozer
lvi-example
LLVM LazyValueInfo test
sarathi
A CLI coding assistant
Language:PythonMIT000