Finding application errors and security flaws using PQL: a program query language.

Michael C. Martin, V. Benjamin Livshits, Monica S. Lam

Browse the full OOPSLA paper archive.