@misc{58926,
  author = {Vadim Okun and Paul Black and Aurelien Delaitre},
  title = {The Second Static Analysis Tool Exposition (SATE) 2009},
  year = {2010},
  month = {2010-07-02},
  publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=905879},
  language = {en},
}