Source Code Analysis: A Road Map
Finding application errors and security flaws using PQL: a program query language