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

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