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

来源 :第24次全国计算机安全学术交流会 | 被引量 : 0次 | 上传用户:woxia012
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限性,最后介绍了当前静态分析的实现工具及其发展趋势.
其他文献
值此《液压气动与密封》杂志四十周年之际,我们向为杂志创立、成长付出辛勤劳动的作者、编委、支持单位表示诚挚的感谢!向长期以来对杂志给予关心、信赖和厚爱的广大读者表示
期刊