Statically detecting likely buffer overflow vulnerabilities

@inproceedings{citeulike:3212239, abstract = {Buffer overflow attacks may be today's single most important security threat. This paper presents a new approach to mitigating buffer overflow vulnerabilities by detecting likely vulnerabilities through an analysis of the program source code. Our approach exploits information provided in semantic comments and uses lightweight and efficient static analyses. This paper describes an implementation of our approach that extends the LCLint annotation-assisted static checking tool. Our tool is as fast as a compiler and nearly as easy to use. We present experience using our approach to detect buffer overflow vulnerabilities in two security-sensitive programs.}, address = {Berkeley, CA, USA}, author = {Larochelle, David and Evans, David }, booktitle = {SSYM'01: Proceedings of the 10th conference on USENIX Security Symposium}, citeulike-article-id = {3212239}, keywords = {linear\_restrictions, splint, static\_analysis, tools}, location = {Washington, D.C.}, pages = {14}, posted-at = {2008-09-10 14:09:12}, priority = {0}, publisher = {USENIX Association}, title = {Statically detecting likely buffer overflow vulnerabilities}, url = {http://portal.acm.org/citation.cfm?id=1251341}, year = {2001} }

TY - CONF ID - citeulike:3212239 L3 - citeulike-article-id:3212239 N2 - Buffer overflow attacks may be today's single most important security threat. This paper presents a new approach to mitigating buffer overflow vulnerabilities by detecting likely vulnerabilities through an analysis of the program source code. Our approach exploits information provided in semantic comments and uses lightweight and efficient static analyses. This paper describes an implementation of our approach that extends the LCLint annotation-assisted static checking tool. Our tool is as fast as a compiler and nearly as easy to use. We present experience using our approach to detect buffer overflow vulnerabilities in two security-sensitive programs. CY - Washington, D.C. AD - Berkeley, CA, USA EP - 14 TI - Statically detecting likely buffer overflow vulnerabilities PB - USENIX Association T2 - SSYM'01: Proceedings of the 10th conference on USENIX Security Symposium SP - 14 KW - linear_restrictions KW - splint KW - static_analysis KW - tools AU - Larochelle, David AU - Evans, David PY - 2001/// UR - http://portal.acm.org/citation.cfm?id=1251341 ER -