CSCI 7135 Spring 2016: Principles and Practice of Program Analysis
Incremental Taint Analysis for Java