执行路径建模进程化代码分析

• 作者: 林锦滨 蒋凡
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 符号执行 静态分析 C代码 漏洞检测
• 年，卷（期）: 2010,（9）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 68-69,72
• 分类号: TP309.2
• 字数: 3909字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.09.023

摘要

针对符号执行分析方法路径资源消耗过大的问题,提出执行路径建模进程化的过程内分析优化方法.结合基于惰性初始化的对象建模方法,以Phoenix编译器中间表示层的代码作为直接分析对象,实现一个检测C代码漏洞的工具原型.使用该工具验证了Openssl和Apache软件的已知漏洞代码,并在wget的1.11.4版本中发现一个"拒绝服务"漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡	中国科学技术大学计算机科学与技术学院	97	867	16.0	25.0
2	林锦滨	中国科学技术大学计算机科学与技术学院	3	3	1.0	1.0