Fortify SCA 分析代码漏洞全解

上次介绍了用FindBugs辅助分析代码漏洞，这次换了一个工具：Fortify SCA Demo 4.0.0。Fortify是一个在安全方面挺出名的公司，这里就不多说了。先介绍一下主角：Fortify SCA Demo 4.0.0，虽然现在不知道Fortify SCA的版本是多少，但可以肯定的是，Fortify SCA Demo 4.0.0是一个比较旧的Fortify SCA分析器了，并且还是Demo版的，所以无论是界面还是功能上都是比较简陋的。由于Fortify SCA不是开源的工具，这里就不提供下载了，大家可以上Fortify主页申请:>。

　　这次演示的是用Fortify SCA静态分析Java代码，和FindBugs不同的是Fortify SCA还可以静态分析C/C++，.NET和PL/SQL等代码。

一.Fortify SCA静态分析原理

　　由于我不是写这个东东的人，并且接触这个工具时间也有限，所以对它的工作原理认知比较浅，很多是通过它的说明文档得来的。

　　Fortify SCA静态分析分两个阶段：

　　1.Translation:

　　　　把各种语言的源代码转为一种统一的中间语言代码。

　　2.Analysis:

　　　　根据中间代码分析代码漏洞，并得出报告。

　　Fortify有很多个语言转换器，但核心的静态分析引擎只有一套。

二.Fortify SCA的使用

　　先看看Fortify SCA Demo 4.0.0的目录：