Finding security errors in Java programs with static analysis (2005)

by V B Livshits, M S Lam
Venue:In Proceedings of the 14th Usenix Security Symposium