面向危险操作的动态符号执行方法

• 作者: 孙浩 曾庆凯 王伟光
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 危险操作 动态符号执行 污点分析 路径选择 缺陷检测
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1230-1245
• 页数: 16页
• 分类号: TP311
• 字数: 18001字
• 语种: 中文

摘要

针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.缺陷检测成为定位待测程序内危险操作以及对危险操作相关路径进行检测的过程.实现了面向Linux平台二进制可执行程序的原型系统CrashFinder,实验结果表明,该方法能够更快地发现更多缺陷.