Karl Chen David Wagner Large-scale analysis of format string vulnerabilities in Debian Linux. 75-84 2007 PLAS http://doi.acm.org/10.1145/1255329.1255344 conf/pldi/2007plas db/conf/pldi/plas2007.html#ChenW07