基于符号执行和数据挖掘的路径可达性检测研究

• 作者: 范彧
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 符号执行 数据挖掘 程序路径 可达性 不可到达路径
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 数据库与数据挖掘
• 页码范围: 74-77
• 页数: 4页
• 分类号: TP311.53
• 字数: 4462字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2013.03.019

摘要

要把静态分析技术真正应用于软件工程的实践中,程序中的不可到达路径依旧是一个巨大的障碍.在缺乏不可到达路径信息的情况下,数据流信息只能以一种非常保守的方式被利用,因而使进一步的工作,例如测试数据生成或者软件缺陷检测变得更加困难和低效.本文提出一种融合符号执行以及数据挖掘的混合型方法来检测程序中的不可到达路径,充分利用符号执行的精确性以及数据挖掘的高效性,这种方法被证明是有效并且实用的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范彧	上海交通大学软件学院	1	1	1.0	1.0