fortify静态代码分析-fortify-华克斯

fortify扫描qt项目

fortify对于c++类型的代码扫描需要结合编译指令实现，但fortify支持的c++指令并不多，所以有些类似使用qt工具开发的项目就需要做一定调整来适配foritfy的扫描。使用gcc或者cl级别的命令来实现会很麻烦，因为需要对于qt的qmake工具运行逻辑有一定深入分析，熟知其生成的makefile以来的环境和make工具，难度较大，所以更建议以visual studio的fortify插件为入口，先将qt项目转成visual studio项目，再使用插件扫描，这样就会容易很多。

我们简单介绍一---程:

1、在visual studio中安装qt visual studio tools插件和fortify插件。

2、在qt插件的qt opt选项中配置编译套件，该套件位置可以在qt对应版本下面，比如qt﹨qt5.12.8﹨5.12.8﹨msvc2017。

3、使用qt插件的open qt project file (.pro)...打开对应的qt项目，并使用插件的convert custom build steps to qt/msbuild选项，将项目转成vs项目，并生成对应的.vcsproj文件。

测试能成功运行后，就可以使用fortify进行扫描了。步骤类似与上面的android项目，即可生成对应的fpr文件。另外，如果想要使用命令来自动化的进行项目扫描，但不知道一个类型的项目如何进行适配，可以解压使用插件生成的fpr文件。查看其中audit.fvdl文件中的sun.java.command属性内容，里面包含了该项目生成扫描中间文件的指令参数，可以参考了解如何配置自动化的扫描平台。

fortify sca产品特性：

1．从多方面分析软件源代码，查找软件安全漏洞，是目前采用分析技术的，检查代码安全问题，其检查方式分别为：数据流、控制流、语义、配置流和代码结构

2．是目前能跨越软件不同层次和不同语言边界的静态分析技术，能安全漏洞引入的过程。

3．安全代码规则面，安全漏洞检查。目前包括150多种类别的安全漏洞，fortify价格，其安全代码规则多达50000多条。规则内容涉及asp.net， c/c++， c#， coldfusion，java， jsp， pl/sql， t-sql， xml，vb.net&other .net等多种语言

4．支持多种国际软件安全的标准：owasp、payment card industry (pci) compliance、federal informati0n security management act（fisma）common weakness enumeration（cwe）….。

5. 支持混合语言的分析，包括 asp.net， c/c++， c#， java?， jsp， pl/sql，t-sql， vb.net， xml&other .net languages. fortify sca 支持 windows， solaris，应用程序安全测试工具， linux， aix，and mac os ….等多种操作系统

6. 支持自定义软件安全代码规则。

7．集成软件开发环境（microsoft visual studio， ibm rad，&eclipse.）和自动产品构建过程。

8． 基于web接口，能对企业多个项目进行集中的安全统计、分析和管理