Seth Hallem Benjamin Chelf Yichen Xie Dawson R. Engler A System and Language for Building System-Specific, Static Analyses. 69-82 2002 conf/pldi/2002 PLDI http://doi.acm.org/10.1145/512529.512539 db/conf/pldi/pldi2002.html#HallemCXE02