Andrew Santosa domainexpert

Popular repositories

1. 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

   Java 2 2

2. cfg-example

   Soot Jimple intraprocedural CFG traversal example

   Java 1

3. bug-checker-passes

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

   C++ 1

4. klee-examples

   Forked from tracer-x/klee-examples

   Examples for Tracer-X KLEE

   C

5. whole-program-llvm

   Forked from travitch/whole-program-llvm

   A wrapper script to build whole-program LLVM bitcode files

   Python

6. fp-examples

   Forked from ApproxSymate/fp-examples

   C