Detection of buffer overflow vulnerabilities in C/C++ with pattern based limited symbolic evaluation
Buffer overflow vulnerability is one of the major security threats for applications written in C/C++. Among the existing approaches for detecting buffer overflow vulnerability, though flow sensitive based approaches offer higher precision but they are limited by heavy overhead and the fact that many...
主要な著者: | , , , , |
---|---|
その他の著者: | |
フォーマット: | Conference Paper |
言語: | English |
出版事項: |
2013
|
主題: | |
オンライン・アクセス: | https://hdl.handle.net/10356/99418 http://hdl.handle.net/10220/13011 |