源代码审计工具fortify-华克斯

FortifySCA服务可交付材料

源代码安全风险评估的目标文档描述了这些内容：

l  针对对黑ke感兴趣的资产、代码实现上的错误，这些错误将危及这些资产的安全，以及在使用的技术和编程语言中常见错误；

l  针对每一个已经识别漏洞的报告，包括所发现漏洞的概述、影响和严重性以及再现该漏洞的步骤和可用于修复该漏洞缺限的补救措施建议；

l  终源代码安全风险评估报告详细说明本次风险评估结果、成果和整体印象、审查期间发现的问题、进行额外审查的建议，以及针对已确定漏洞进行补救的建议。

Fortify SCA 简介

Fortify SCA 是一个静态的、白盒的软件源代码安全测试工具。 它通过内置的五大主要分析引擎：数据流、语义、结构、控制流、配 置流等对应用软件的源代码进行静态的分析，分析的过程中与它特有 的软件安全漏洞规则集进行全mian地匹配、查找，从而将源代码中存在

的安全漏洞扫描出来，源代码审计工具fortify，并给予整理报告。扫描的结果中不但包括详细 的安全漏洞的信息，还会有相关的安全知识的说明，源代码审计工具fortify价格表，以及修复意见的 提供。

1．Fortify

SCA 扫描引擎介绍：

Foritfy   SCA

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

z   数据流引擎：跟踪，源代码审计工具fortify采购，记录并分析程序中的数据传递过程所产生

的安全问题。

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

z 结构引擎：分析程序上下文环境，结构中的安全问题。

z   控制流引擎：分析程序特定时间，状态下执行操作指令的安全 问题。

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

问题。

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

Fortify SCA支持系统平台，能扫描的语言种类是的。

Fortify SCA能全mian地（五个层面）分析源代码中存在的问题。

Fortify SCA能够扫描出来350多种漏洞，拥有目前业界权wei的安全规则库，与世界同步。

Fortify SCA的测试扫描速度快，约1分钟1万行。

Fortify SCA提供了强大的审计平台和详细的漏洞信息。

Fortify SCA提供了漏洞的详细中文说明和相应的修复建议。

Fortify SCA操作简单，使用方便，易用，源代码审计工具fortify版本，界面设计人性化。

Fortify SCA获得多项国际大奖，目前市场占有率第yi。

Fortify SCA是唯yi一个被国内多家安全测评机构所认可并使用的代码安全测试产品。

Fortify SCA 在600多家客户，在国内也有30多家客户，丰富的实施经验，国内拥有的服务团队和售后支持团队。