华中fortify哪里有卖-华克斯

C/C++源码扫描系列- Fortify 篇

环境搭建

Linux搭建

解压的压缩包，然后执行 ./Fortify_SCA_and_Apps_19.2.n 按照引导完成安装即可，安装完成后进入目录执行sourceanalyzer来查看是否安装完成

然后将 rules 和 ExternalMetadata 拷贝到对应的目录中完成规则的安装。

Fortify的工作原理和codeql类似，首先会需要使用Fortify对目标源码进行分析提取源代码中的信息，然后使用规则从源码信息中查询出匹配的代码。

Foritfy SCA主要包含的五大分析引擎：

数据流引擎：跟踪，源代码扫描工具fortify哪里有卖，记录并分析程序中的数据传递过程所产生的安全问题。

语义引擎：分析程序中不安全的函数，方法的使用的安全问题。

结构引擎：分析程序上下文环境，源代码审计工具fortify哪里有卖，结构中的安全问题。

控制流引擎：分析程序特定时间，源代码检测工具fortify哪里有卖，状态下执行操作指令的安全问题。

配置引擎：分析项目配置文件中的敏感信息和配置缺失的安全问题。

特有的X-Tier?：跨跃项目的上下层次，贯穿程序来综合分析问题。

当您选择某个问题后，Analysis Trace（分析跟踪）面板会显示相关的 trace output。通常情况下，这是一系列进程点，显示了分析器是如何找到该问题的。对于数据流和控制流问题，华中fortify哪里有卖，这一系列点会以执行顺序显示。

例如，如果您选择某个与可能被数据流相关的问题，Analysis Trace（分析跟踪）面板会显示这段源代码中数据流的移动方向。

“Analysis Trace（分析跟踪）”面板使用以下图标来显示本段源代码中数据流的移动方式：

表 1：分析跟踪图标