Released Software

GATOR: Program Analysis Toolkit For Android (version 3.2 released on 3/10/2017)

LeakDroid: Systematic Testing for Resource Leaks in Android Applications

Demand-Driven Context-Sensitive Alias Analysis for Java

LeakChaser: A Java Memory Leak Detection Tool

Inspector/Executor Compiler (joint work with Prof. Sadayappan's group)

Polyhedral Compilation (joint work with Prof. Sadayappan's group)

DDGVec: Dynamic Analysis of Vectorization Potential (joint work with Prof. Sadayappan's group)

AJANA: A Framework for Source-code-level Analysis of AspectJ Software

TACLE: Type Analysis and Call Graph Construction for Eclipse