TY - RPRT TI - The second static analysis tool exposition (SATE) 2009 AU - Okun, vadim AU - Delaitre, Aurelien AU - Black, Paul E PY - 2010 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST SP 500-287 DO - 10.6028/NIST.SP.500-287 ER -