Popular repositories Loading

1. sootexamples sootexamples Public

   Towards creating ready-to-run examples from "A Survivor's Guide to Java Program Analysis with Soot" and Vallee-Rai's Master's thesis

   Java 5 6

2. trip-counter trip-counter Public

   LLVM loop trip count calculation tester

   C++ 1

3. branch-probability branch-probability Public

   Example usage of BranchProbabilityInfo function pass.

   C++ 1

4. cfg-example cfg-example Public

   Soot Jimple intraprocedural CFG traversal example

   Java 1 1

5. bug-checker-passes bug-checker-passes Public

   LLVM passes to analyze C programs to detect violations of secure coding guideline

   C++ 1

6. lvi-example lvi-example Public

   LLVM LazyValueInfo test

   C++