| 面向危险操作的动态符号执行方法 |
| |
| 作者姓名： | 王伟光 曾庆凯 孙浩 |
| |
| 作者单位： | 计算机软件新技术国家重点实验室(南京大学), 江苏南京 210046;南京大学计算机科学与技术系, 江苏南京 210046,计算机软件新技术国家重点实验室(南京大学), 江苏南京 210046;南京大学计算机科学与技术系, 江苏南京 210046,计算机软件新技术国家重点实验室(南京大学), 江苏南京 210046;南京大学计算机科学与技术系, 江苏南京 210046 |
| |
| 基金项目： | 国家自然科学基金(61170070,61572248,61431008,61321491);国家科技支撑计划(2012BAK26B01) |
| |
| 摘 要： | 
针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.
缺陷检测成为定位待测程序内危险操作以及对危险操作相关路径进行检测的过程.实现了面向Linux平台二进制可执行程序的原型系统CrashFinder,实验结果表明,该方法能够更快地发现更多缺陷.
|
| 关 键 词： | 危险操作 动态符号执行 污点分析 路径选择 缺陷检测 |
| 收稿时间： | 2015-07-29 |
| 修稿时间： | 2015-12-22 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
