An easy-to-learn/use static analysis framework for Java

Tai-e assignments for static program analysis

NullPath: A static analysis tool for detecting NullPointerException (NPE) issues in Java code, built on the Tai-e framework.

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

UBCBench contains all benchmarks we designed for confirming our hypothesized findings while analyzing the three well-known static taint analysis tools, FlowDroid, Amandroid, and DroidSafe.

Benchmark apps for static analyzing inter-component data leakage problem of Android apps.

A collection of all android.jar files for the different platform versions.