TY - GEN AU - Okun, Vadim AU - Delaitre, Aurelien AU - Black, Paul E C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 2011-01-01 05:01:00 DO - https://doi.org/10.6028/NIST.SP.500-283 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 2011 TI - Report on the third static analysis tool exposition (SATE 2010): ER -