66COMMUNI CATI ONSOFTHEACM| FEBRUARY2010| VOL. 53| NO. 2 contributed articles IN2002, COVERITYcommercialized 3 a research static bug-finding tool. 6,9 Not surprisingly,…