基于静态检测的程序安全漏洞测试

• 作者: 孙茜 宫云战 杨朝红
• 来源期刊: 北京化工大学学报（自然科学版）
• 学科: 工学
• 关键词: 静态分析 安全漏洞 故障模式 静态检测工具
• 年，卷（期）: 2007,（z1）
• 所属期刊栏目: 综述
• 页码范围: 9-12
• 页数: 4页
• 分类号: TP311.5
• 字数: 4230字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-4628.2007.z1.003

摘要

静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞.和其他程序分析方法相比,该方法具有自动化程度高和检测速度快的优点.本文介绍了Java语言的安全漏洞的故障模式,说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法,最后介绍了几种常用的静态代码安全检测工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨朝红	北京邮电大学计算机科学与技术学院	30	449	11.0	20.0
3	宫云战	北京邮电大学计算机科学与技术学院	50	577	15.0	23.0
4	孙茜	北京邮电大学信息工程学院	2	8	1.0	2.0