软件安全漏洞的静态检测技术

• 作者: 张林 曾庆凯
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件安全漏洞 静态分析 程序验证
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 157-159
• 页数: 3页
• 分类号: TP309
• 字数: 4530字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.12.055

摘要

软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法.该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆凯	南京大学计算机软件新技术国家重点实验室	58	555	13.0	21.0
5	张林	南京大学计算机软件新技术国家重点实验室	13	183	6.0	13.0