一种针对C程序缓冲区溢出的检测方法

• 作者: 何炎祥 刘健博 吴伟 徐超 胡明昊 陈勇
• 来源期刊: 计算机应用研究
• 关键词: CCured BLAST 模型检测 缓冲区溢出 安全属性
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 软件技术研究
• 页码范围: 617-620
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.02.057

摘要

为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法.首先利用CCured对C语言源程序进行运行时检测的代码插桩；然后用BLAST提供的自定义安全属性语言对这些插桩代码进行相关约束描述；最后让BLAST根据约束描述文件对代码插桩后的程序进行模型检测,就可以尽可能地找出C语言程序中潜在的缓冲区溢出漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何炎祥	武汉大学计算机学院	179	1866	22.0	35.0
5	徐超	武汉大学计算机学院	27	75	5.0	7.0
9	陈勇	武汉大学计算机学院	58	540	11.0	21.0
10	吴伟	武汉大学计算机学院	30	81	5.0	7.0
11	刘健博	武汉大学计算机学院	10	98	5.0	9.0
12	胡明昊	武汉大学计算机学院	1	2	1.0	1.0