Vadim Okun William F. Guthrie Romain Gaucher Paul E. Black Effect of static analysis tools on software security: preliminary investigation. 1-5 2007 QoP http://doi.acm.org/10.1145/1314257.1314260 conf/ccs/2007qop db/conf/ccs/qop2007.html#OkunGGB07