@misc{1196226,
  author = {Vadim Okun and Aurelien Delaitre and Paul E Black},
  title = {The second static analysis tool exposition (SATE) 2009:},
  year = {2010},
  month = {2010-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.SP.500-287},
  language = {en},
}