Finding application errors and security flaws using PQL: a program query language (2005)

by M Martin, B Livshits, M S Lam
Venue:In Proceedings of OOPSLA ’05