基于静态插装和约束求解的整数漏洞检测

• 作者: 张帆 张聪 徐明迪 杨捷
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 整数漏洞 符号执行 约束求解 程序插装 漏洞检测
• 年，卷（期）: 2014,（11）
• 页码范围: 86-90
• 页数: 5页
• 分类号: TP309
• 语种: 中文
• DOI: 10.13245/j.hust.141116

摘要

以C源码为研究对象，提出了一种基于静态插装和约束求解的整数漏洞检测方法。首先在C源码中可能的整数漏洞点前面插装检测代码，同时定位可能导致整数漏洞的输入源，并将其标记为符号变量。之后将静态插装后的源码编译成可执行代码，并进行（符号和具体执行的）混合执行。在动态执行的过程中，通过对插装代码对应的符号约束进行求解，可以检测整数漏洞是否存在，以及获得当整数漏洞存在时符号变量相应的具体取值。进一步地，通过对从程序入口点到整数漏洞点所经过路径上的所有条件跳转约束进行求解，获得引导程序到达整数漏洞点时符号变量相应的具体取值。结合两者可以辅助生成触发漏洞的输入用例。基于CVE （通用漏洞披露）通告的实验表明本系统能够成功检测到相应漏洞。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张帆	杭州电子科技大学通信工程学院	19	112	7.0	10.0
2	杨捷	华南理工大学软件学院	8	15	2.0	3.0
3	徐明迪	武汉数字工程研究所系统软件部	21	141	7.0	11.0
4	张聪	武汉轻工大学数学与计算机学院	9	9	2.0	3.0