Douglas Gregor Sibylle Schupp STLlint: lifting static checking from languages to libraries. 225-254 2006 36 Softw., Pract. Exper. 3 http://dx.doi.org/10.1002/spe.683 db/journals/spe/spe36.html#GregorS06