Jif: Java information flow. http://www.cs.cornell.edu/jif (2001)

by Andrew C Myers, Stephen Chong, Nathaniel Nystrom, Lantian Zheng, Steve Zdancewic