TY - GEN AU - Vadim Okun AU - Aurelien Delaitre AU - Paul Black C2 - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD DA - 2013-02-04 DO - https://doi.org/10.6028/NIST.SP.500-297 LA - en PB - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD PY - 2013 TI - Report on the Static Analysis Tool Exposition (SATE) IV ER -