@article{1294511,
  author = {Paul Black},
  title = {Static Analyzers: Seat Belts for Your Code},
  year = {2012},
  month = {2012-01-10 05:01:00},
  publisher = {IEEE Security & Privacy},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=910409},
  language = {en},
}