fortify -fortify-华克斯

fortify sast 新增语言支持

提供27种以上的主要语言及其框架的准确支持和敏捷更新。之后将添加更多新的语言版本，从---上改进、简化工作方式。以下语言更新已添加到 fortify static 代码分析器：

.net

增加对 .net 5.0、c# 9、asp.net blazor 语言和框架的支持。

msbuild support update

增加对16.8和16.9版本的支持。

go

增加对1.15和1.16版本的支持；增加对 goproxy 环境变量的支持。

java

更新 jsp 翻译以减少---；改进字节码分析。

javasc ript

增加对 typesc ript 4.1及angular 10、11语言和框架的支持。

kotlin

增加对 kotlin 1.4.20版本的支持。

php

增加对 php 7.2、7.3、7.4及8.0版本的支持。

python

增加对python 3.9、django 3.1语言和框架的支持。

swift/obj-c

增加对 xcode 12.4版本的支持。

operating systems (linux)

增加对以下 linux 服务器的支持：1. suse linux enterprise server 15

2. red hat enterprise linux 8.2

3. centos linux 7.6-1810&8.2-2004

4. ubuntu 20.04.1 lts

micro focus visual cobol (technology preview)

增加对 micro focus visual cobol 6.0.版本的支持。

c/c++ (technology preview)

使用新的基于 clang 的翻译改进对 c++11 结构的支持。

fortify相比codeql的优势在于：

商用工具，fortify使用教程，拥有许多预设规则，比较成熟。规则开发模式比较局限，但是对于某些特定场景的规则开发相对简单。适合---规则的扫描。

fortify是一款商业级的源码扫描工具，其工作原理和codeql类似，甚至一些规则编写的语法都很相似。

hp fortify sca采用的x-tier数据流程分析技术，完整分析各种程序语言之执行流程、数据输入/输出及程序语法，即使同一个应用系统中包含了不同语言的源代码，fortify，也可以完整分析及串接。透过hp fortify sca持续更新的检查规则（rulepack），fortify ，让蕞新的弱点可以被发现并修补，使用者也可以自行定义审计规则，针对特殊程序编写规则或要求进行检查。