软件安全静态检测技术与工具  

Static analysis of software security techniques and tools

作　　者：杨洪路[1,2] 宫云战[2] 高文龄[1] 白哥乐[2] 

机构地区：[1]北京装甲兵工程学院,北京100072 [2]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《信息化纵横》2009年第9期70-72,共3页

基　　金：国家863计划(2007AA010302)

摘　　要：提出了一种软件安全漏洞的检测方法,重点介绍了静态测试。对当前基于源码分析的软件安全测试工具进行了分类并加以分析。Put forward the detection method of security vulnerabilities, putting emphasis on static testing. Lastly, some software security testing tools based on source-code analysis are introduced and classified into several categories.

关 键 词：软件安全 漏洞 安全测试 静态分析 测试工具 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]