返回
Detecting buffer overflow via automatic test input data generation
DOI:10.1016/j.cor.2007.01.013.png)
摘要
En 中文
Buffer overflows cause serious problems in various categories of software systems. In critical systems, such as health-care, nuclear or aerospace software applications, a buffer overflow may cause severe threats to humans or severe economic losses. If they occur in network or security applications, they can be exploited to gain administrator privileges, perform system attacks, access unauthorized data, or misuse the system. This paper proposes a combination of genetic algorithms, linear programming, evolutionary testing, and static and dynamic information to detect buffer overflows. The newly proposed test input generation process avoids the need for human intervention to define and tune genetic algorithm weights and therefore it becomes completely automated. The process that guides the genetic search towards the detection of buffer overflow relies on a fitness function that takes into account static and dynamic information. Reported results of our case studies, consisting of two sets of open-source programs show that the new process and fitness function outperform previously published approaches. (C) 2007 Elsevier Ltd. All rights reserved.
Keyword:
buffer overflow detection
test data generation
evolutionary testing
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
4.3
论文数:
6.5K
被引数:
1.8W
机构
引用论文
Dietary Protein Sources Affect Internal Quality of Raw and Cooked Shell Eggs under Refrigerated Conditions膳食蛋白质来源影响冷藏条件下生熟鸡蛋的内部品质
Distal chromosome 1q aberrations and initial response to ibrutinib in central nervous system relapsed mantle cell lymphoma染色体1q远端异常与中枢神经系统复发套细胞淋巴瘤对伊布替尼的初始反应
Effects of Supplementing Laying Hens with Purified Amino Acid Prepared from Animal Blood补充来自动物血液的纯化氨基酸对产蛋鸡的影响
BERT based Transformers lead the way in Extraction of Health Information from Social Media基于BERT的Transformer在社交媒体健康信息提取方面处于领先地位。

