Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

Axel Simon. Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities. Springer, 2008.

@book{springer:2008Simon,
  title = {Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities},
  author = {Axel Simon},
  year = {2008},
  tags = {program analysis, analysis, C++},
  researchr = {https://researchr.org/publication/springer%3A2008Simon},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {978-1-84800-016-2},
}