TY - GEN AU - Okun, Vadim AU - Delaitre, Aurelien AU - Black, Paul 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 -