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}, }