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

作者：孙茜; 宫云战; 杨朝红静态分析安全漏洞故障模式静态检测工具

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社