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 |