Finding application errors and security flaws using PQL: a program query language
Compilers: Principles, Techniques, and Tools