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

作者：王伟光; 曾庆凯; 孙浩

来源：软件学报, 2016, 27(05): 1230-1245.

DOI：10.13328/j.cnki.jos.005027

• 危险操作
• 动态符号执行
• 污点分析
• 路径选择
• 缺陷检测

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学