Boa: Ultra-Large-Scale Software Repository and Source-Code Mining
Finding application errors and security flaws using PQL: a program query language