Pinned Loading

1. phasar phasar Public

   A LLVM-based static analysis framework.

   C++ 1k 154

2. DroidBench DroidBench Public

   A micro-benchmark suite to assess the stability of taint-analysis tools for Android

   Java 299 115

3. FlowDroid FlowDroid Public

   FlowDroid Static Data Flow Tracker

   Java 1.2k 317

4. SuSi SuSi Public

   SuSi - our tool to automatically discover sources and sinks in the Android framework

   Java 151 69

5. Boomerang Boomerang Public

   Demand-Driven Pointer Analysis

   CSS 14 7