基于静态分析的软件安全检测技术研究

摘要：

本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限性,最后介绍了当前静态分析的实现工具及其发展趋势.

关键词： 静态分析 抽象解释 模型检验 数据流分析

作者: 江雷 朱建平

作者单位: 公安部信息安全等级保护评估中心 北京 100036

会议类型: 国内会议

会议名称: 第24次全国计算机安全学术交流会

会议地点: 云南丽江

会议语种:中文

页码: 266-269

在线出版日期: 2009-09-04（万方平台首次上网日期，不代表论文的发表时间）