@misc{41456,
  author = {Vadim Okun and Paul Black and Aurelien Delaitre},
  title = {Report on the Third Static Analysis Tool Exposition (SATE 2010)},
  year = {2011},
  month = {2011-10-27},
  publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.SP.500-283},
  language = {en},
}