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

来源：软件学报杂志2016年第5期北京时间：

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

单位：王伟光，计算机软件新技术国家重点实验室(南京大学), 江苏南京 210046;南京大学计算机科学与技术系, 江苏南京 21004611,曾庆凯，计算机软件新技术国家重点实验室(南京大学), 江苏南京 210046;南京大学计算机科学与技术系, 江苏南京 21004602,孙浩，计算机软件新技术国家重点实验室(南京大学), 江苏南京 210046;南京大学计算机科学与技术系, 江苏南京 21004603

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

关键词：危险操作;动态符号执行;污点分析;路径选择;缺陷检测

基金资助：国家自然科学基金(61170070,61572248,61431008,61321491);国家科技支撑计划(2012BAK26B01)