论文部分内容阅读
本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限性,最后介绍了当前静态分析的实现工具及其发展趋势.
基于静态分析的软件安全检测技术研究
【摘 要】
：
本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限
【机 构】
：
公安部信息安全等级保护评估中心 北京 100036
【出 处】
：
第24次全国计算机安全学术交流会
【发表日期】
：
2009年期
其他文献
值此《液压气动与密封》杂志四十周年之际,我们向为杂志创立、成长付出辛勤劳动的作者、编委、支持单位表示诚挚的感谢!向长期以来对杂志给予关心、信赖和厚爱的广大读者表示
期刊