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...

詳細記述

書誌詳細
主要な著者: Ding, Sun, Tan, Hee Beng Kuan, Liu, Kaiping, Chandramohan, Mahinthan, Zhang, Hongyu
その他の著者: School of Electrical and Electronic Engineering
フォーマット: Conference Paper
言語:English
出版事項: 2013
主題:
オンライン・アクセス:https://hdl.handle.net/10356/99418
http://hdl.handle.net/10220/13011