可执行程序缺陷函数的静态检测方法

• 作者: 刘强 戴一奇 王春雷 赵刚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 静态分析 函数签名 漏洞检测
• 年，卷（期）: 2009,（26）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 81-84,97
• 页数: 5页
• 分类号: TP312
• 字数: 5437字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.26.024

摘要

可执行程序的缺陷函数检测是软件漏洞发现的重要技术手段之一.从二进制代码指令流的角度出发,研究了缺陷函数的签名机制,提出了一种基于可执行程序静态分析的缺陷函数检测方法.该方法通过静态分析应用程序的可执行代码,建立进程运行过程中可能的函数调用序列集合.以该集合为基础,通过对比分析缺陷函数签名,可以准确检测该程序调用的缺陷函数集合,以及分析可能导致的脆弱性.通过实验分析,验证了该方法对于缺陷函数检测的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵刚	清华大学计算机科学与技术系	52	597	13.0	23.0
3	戴一奇	清华大学计算机科学与技术系	99	1118	19.0	29.0
4	王春雷	清华大学计算机科学与技术系	5	64	3.0	5.0
8	刘强	北京系统工程研究所网络研究室	4	7	2.0	2.0