静态检测缓冲区溢出漏洞

• 作者: 刘坚 李建平
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: 缓冲区溢出 安全漏洞 静态分析 静态检测 注解 Splint
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 软件技术
• 页码范围: 99-101
• 页数: 3页
• 分类号: TP309
• 字数: 3378字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2004.06.032

摘要

缓冲区溢出漏洞是目前惟一最重要最常见的安全威胁.文中分析了防止缓冲区溢出攻击的运行时方法的不足.介绍了一种静态检测缓冲区溢出漏洞的方法及工具.给源代码添加注解,用注解辅助静态分析,用这种方法能够在软件交付使用前,检测出程序中潜在的安全漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘坚	西安电子科技大学软件工程研究所	28	264	10.0	15.0
2	李建平	西安电子科技大学软件工程研究所	2	11	1.0	2.0