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

摘要：

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

关键词：静态分析、安全漏洞、故障模式、静态检测工具

所属期刊栏目：34

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2006AA01Z184

在线出版日期：2007-08-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：9-12