代码审计--16--Fortify SCA详细(上)

代码审计--16--Fortify SCA详细(上)

本文链接:https://blog.csdn.net/wutianxu123/article/details/82949770

1.1 Fortify SCA概述

1、Source Code Analysis 阶段概述

Audit Workbench 会启动 Fortify SCA“Scanning(扫描)”向导来扫描和分析源代码。该向导整合了以下几个分析阶段:

转换:使用源代码创建中间文件,源代码与一个 Build ID相关联,Build ID通常就是项目名称。
扫描与分析:扫描中间文件,分析代码,并将结果写入一个Fortify Project Results(FPR)文件。
校验:确保所有源文件均包含在扫描过程中,使用的是正确的规则包,且没有报告重大错误。

2、安全编码规则包概述

安全编码规则包是 Fortify Software 安全研究小组多年软件安全经验的体现,并且经过其不断努力改进而成。这些规则是通过对编码理论和常用编码实践的研究,而取得的软件安全知识的巨大积累,并且在 Fortify Software 安全研究小组的努力下不断扩展和改进。每个安全编码规则包均包含大量的规则,每个规则定义了一个被 source code analysis 检测出的特定异常行为。

一旦检测出安全问题,安全编码规则包会提供有关问题的信息,让开发人员能够计划并实施修复工作,这样比研究问题的安全细节更为有效。这些信息包括关于问题类别的具体信息、该问题会如何被攻击者利用,以及开发人员如何确保代码不受此漏洞的威胁。

安全编码规则包支持多种编程语言,也支持各种经过扩展的第三方库和配置文件。
有关当前安全编码规则包的信息,请参见《安全编码规则包参考》。

3、开始页面概述

开始页面包含以下几个区域:

Start New Project(启动新项目):启动源代码扫描向导。
Custom Rules Editor(自定义规则编辑器):启动用于创建和检查安全规则或编码实践规则的工具,这些规则可针对您的源代码进行自定义。
Open Project(打开项目):单击某一项目名称可打开最近的项目;或使用“Open Project(打开项目)”链接可定位到某一项目。

fortify\bin\AuditWorkbench.cmd 开始页面:
代码审计--16--Fortify SCA详细(上)_第1张图片

4、审计界面概述

下图显示了“Auditing(审计)”界面中的 Webgoat FPR 文件示例。

Audit Workbench 界面:

代码审计--16--Fortify SCA详细(上)_第2张图片

Audit Workbench 界面由以下几个面板组成:

“Issues(问题)”面板
“Analysis Trace(分析跟踪)”面板
“Project Summary(项目摘要)”面板
“Source Code Viewer(源代码查看器)”面板
“Function(函数)”面板
“Issue Auditing(问题审计)”面板

“Issues(问题)”面板

使用 Issues(问题)面板,您可以对希望审计的问题进行分组和选择。该面板由下列元素组成:

“Filter Set(过滤器组)”下拉列表
“Folders(文件夹)”选项卡
Group by(分组方式)
“Search(搜索)”框

问题面板:

代码审计--16--Fortify SCA详细(上)_第3张图片

“Filter Set(过滤器组)”下拉列表

过滤器组控制着“Issue(问题)”面板的设置和显示属性。过滤器组是项目配置的一部分。您可以为每个项目自定义不同的过滤器组。每个项目均可具有唯一的过滤器组。

“Filter Set(过滤器组)”部分包含以下设置:

文件夹的名称和颜色。要进行配置,请选择 Tools(工具)- Project Configuration(项目配置)- Folder Settings(文件夹设置)。
问题列出的位置,以及是否列出。要进行配置,请选择 Options(选项)- Show View(显示视图)- Filters(过滤器)。

注意:“Audit Guide Visibility Filters(审计指南可见性过滤器)”配置适用于整个项目。

Fortify Software 提供了默认过滤器组:Broad(广泛)、Medium(普通)、Targeted(特定)和 Developer(开发人员)。“Filter Sets(过滤器组)”将问题按严重性归类于“Hot(严重)”、“Warning(警告)”和“Info(信息)”文件夹中。 所有过滤器组都具有相同的文件夹过滤器。

不同“Filter Sets(过滤器组)”中会显示和隐藏不同的问题:

Broad(广泛):使用最全面的规则组显示问题。应使用该过滤器组来发现要审计的一组广泛的安全问题。
Medium(普通):显示了在产生结果(详述潜在问题)和产生预期可能的漏洞组之间打破平衡的问题。
Targeted(特定):显示在多种行业内及各种环境下经证实的具有高优先级的问题类别。应使用这些过滤器组来发现一组有限的众所周知的关键安全问题。
Developer(开发人员):显示开发人员尤为关注的问题,如高准确性 bug。

“Folders(文件夹)”选项卡:

“Issues(问题)”面板上的选项卡称为“文件夹”。使用“Project Configuration(项目配置)”,您可以自定义文件夹及其设置。因此,不同过滤器组和项目之间的文件夹数目、名称、颜色和问题列表各不相同。

文件夹过滤器将问题归类于各种文件夹中。如果某个问题与任何文件夹过滤器都不匹配,该问题将被列在默认文件夹中。可见性过滤器决定了某个问题是否显示在列表中。

注意:选择 Option(选项)- Show Suppressed(显示已废除项)、Show Hidden(显示隐藏项)(显示与可见性过滤器匹配的项目),以及 Show Removed(显示删除项)可显示所有项目。

Group by(分组方式):

“Group by(分组方式)”选项用于将问题列表归类到各个子文件夹中。选定的选项会应用于所有可见文件夹。使用 选项,可列出文件夹中的所有项目而不进行任何分组。

使用 Audit Workbench,通过更改对分组进行归类所依据的属性、添加或删除属性以创建子分组,以及添加您自己的分组选项,您可以对现有分组进行自定义。

“Group by(分组方式)”设置适用于 Audit Workbench 实例。您可以将分组方式选项应用于任何利用 Audit Workbench 实例打开的项目。

“Search(搜索)”框:

使用 Search(搜索)字段,您可以限制文件夹中显示的问题和搜索特定的问题。有关搜索功能的信息,请参见使用搜索。

“Analysis Trace(分析跟踪)”面板:

当您选择某个问题后,Analysis Trace(分析跟踪)面板会显示相关的 trace output。通常情况下,这是一系列进程点,显示了分析器是如何找到该问题的。对于数据流和控制流问题,这一系列点会以执行顺序显示。
例如,如果您选择某个与可能被感染数据流相关的问题,Analysis Trace(分析跟踪)面板会显示这段源代码中数据流的移动方向。

分析跟踪面板

代码审计--16--Fortify SCA详细(上)_第4张图片

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

表 1:分析跟踪图标

代码审计--16--Fortify SCA详细(上)_第5张图片

“Project Summary(项目摘要)”面板:

“Project Summary(项目摘要)”面板提供了关于扫描的详细信息。

“Summary(摘要)”选项卡
“Certification(认证)”选项卡
“Build Information(Build 信息)”选项卡
“Analysis Information(分析信息)”选项卡

项目摘要面板

代码审计--16--Fortify SCA详细(上)_第6张图片

“Summary(摘要)”选项卡:

“Summary(摘要)”选项卡显示了关于本项目的高级信息。

“Certification(认证)”选项卡:

“Certification(认证)”选项卡显示了结果认证状态。结果认证用于检查 FPR 文件是否与 Fortify SCA 所生成的文件一致。

“Build Information(Build 信息)”选项卡:

“Build Information(Build 信息)”选项卡显示了以下 Fortify SCA 扫描信息:

Build 详细信息,如 Build ID、扫描的文件数、扫描日期,可能会与文件的转换日期不相同
扫描的文件列表,包括文件大小和时间戳
Java 类路径

“Analysis Information(分析信息)”选项卡:

“Analysis Information(分析信息)”选项卡显示了 Fortify SCA 的版本、计算机详细信息以及执行扫描的用户。
“Analysis Information(分析信息)”子选项卡包含以下信息:

规则包:列出了用于扫描源代码的规则包,包括每个规则包的名称、ID 和版本号。
属性:显示 Fortify SCA 属性文件的设置
命令行参数:显示用来分析项目的命令行选项
警告:列出了分析期间发生的所有错误和警告

“Source Code Viewer(源代码查看器)”面板:

“Source Code Viewer(源代码查看器)”面板显示了与在“Issues(问题)”面板中选择的问题相关联的代码段。如果“Analysis Trace(分析跟踪)”面板中的多个节点代表一个问题,则“Source Code Viewer(源代码查看器)”面板会显示与所选节点相关联的代码。

在“Source Code Viewer(源代码查看器)”面板中,您可以使用代码辅助功能创建自定义规则和新问题,如下所示:

要为某个函数创建规则,请将光标放在该函数中,单击鼠标右键,然后选择 Write Rule for This Function(为此函数编写规则)。
要创建新问题,请将光标放在该函数中,单击鼠标右键,然后选择 Create New Issue(创建新问题)。

“Function(函数)”面板:

Function(函数)面板显示了项目中的函数/方法列表。使用“Function(函数)”面板可找出该函数在源代码中的位置,了解函数是否应用和匹配某个规则,以及编写和验证自定义规则。

“Function(函数)”面板具有以下选项:

Show(显示):确定显示在该列表中的函数。
Group by(分组方式):将函数归类到各个包和类中,显示层次结构或直接显示所有函数而不进行分组。
Include unused functions(包括未使用的函数):显示源代码中的每个函数。默认情况下,列表中不会包含未使用的函数。
Legend(图例):显示一个用于解释各个列表图标的窗口。函数旁边的图标颜色指明该函数是否应用了规则,如下所示:
--------红色:未应用任何规则
--------蓝色:可以应用规则,但没有匹配的规则
--------绿色:可以应用规则,并且有匹配的规则
Search(搜索):仅限于显示那些包含您输入的字符串的函数。该字段不区分大小写,如果该字段为空,将显示所选组中的所有函数。

函数面板

代码审计--16--Fortify SCA详细(上)_第7张图片

右键单击某个函数可显示以下选项:

Open Declaration(打开声明):显示该函数在源代码中声明的位置。
Find Usages(查找用法):创建函数所应用于的文件位置的列表。会在“Audit(审计)”面板中会打开“Search(搜索)”选项卡,其中显示它所在的文件名称。
Generate Rule for Function(为此函数生成规则):启动“Custom Rules(自定义规则)”向导来编写将应用于该函数的规则。
Show Matched Rule(显示匹配的规则):列出了与该函数相匹配的所有规则所属规则包的规则 ID 和文件名。

“Issue Auditing(问题审计)”面板:

“Issue Auditing(问题审计)”面板在以下一组选项卡中提供了有关各问题的详细信息:

Summary(摘要)
Details(详细信息)
Recommendations(建议)
History(历史记录)
Diagram(图示)
Filter(过滤器)

注意:使用 Options(选项)- Show View(显示视图)菜单可显示或隐藏“Issue Auditing(问题审计)”面板中的选项卡。

Summary(摘要):

Summary(摘要)选项卡显示了关于当前所选问题的以下信息:

问题审计面板中的摘要选项卡

代码审计--16--Fortify SCA详细(上)_第8张图片

下表描述了“Summary(摘要)”面板中的各个选项:

元素 描述
问题 显示问题的位置,包括文件名和行号
Custom Tags  
(自定义标签) 区域 显示审计员可以作为问题属性添加的值的下拉列表。例如,默认情况下,“Analysis(分析)”标签提供了以下值:
- Not an issue(不是问题) 
- Reliability issue(可靠性问题)
- Unknown(未知)
- Suspicious(可疑)
注意:自定义标签即项目设置,可选择“Tools(工具)- Project Configuration(项目配置)”来更改标签值。
Suppress Issue(废除问题) 更改严重级别以废除和删除导航树中的问题。
File Bug(报告 bug) 提供访问 bug 跟踪系统(如 Bugzilla)的途径。
Comments(注释) 向注释字段中追加有关问题的其他信息。
规则信息 显示用于描述问题的信息,如所属类别和领域。
更多信息 打开 Details(详细信息)选项卡。
Recommendations(建议) 打开 Recommendations(建议)选项卡。

Details(详细信息):

Details(详细信息)选项卡提供了有关所选问题的详细说明,并提供了用于解决该问题的指导方针。每项说明均包括下表中所述的部分或全部栏目。

元素 描述
Abstract(概要) 对问题的概要描述
Explanation(解释) 关于会在哪些情况下发生此类问题的描述,同时还包括该漏洞的讨论、通常与该漏洞相关联的代码结构、该漏洞的利用方式,以及潜在的衍生攻击类型
实例 ID 问题的唯一识别符
规则 ID 标识用于发现问题的主要规则
SCA Confidence(SCA 可信度) 一个由 Fortify SCA 生成的衡量指标
+ 最大化选项卡

Recommendations(建议)

“Recommendations(建议)”选项卡包含有关如何避免引发该漏洞或修改该漏洞方法的建议与示例。

元素 描述
Recommendations(建议) 关于如何解决问题的信息
Tips(提示) 提供普通或者难以审计的情况的示例,给出了有关如何识别特定问题的提示
References(参考信息) 参考相关信息
+ 最大化选项卡

History(历史记录)

显示完整的审计操作列表,其中包括以下详细信息:日期和时间、执行审计的计算机以及修正该问题的用户名称。

Diagram(图示)

“Diagram(图示)”选项卡形象地说明了在“Issues(问题)”面板上所选问题的节点执行顺序、调用深度以及表达式类型。

SQL Injection 问题数据流图示示例

代码审计--16--Fortify SCA详细(上)_第9张图片

“Diagram(图示)”选项卡显示了与规则类型相关的信息,如下所示:

数据流规则:纵轴显示执行顺序。跟踪会从顶部第一个调用感染源的函数开始,然后追踪对该 source(蓝色节点)的调用情况,并在 sink(红色节点)处结束跟踪。在图示中,也会标记 source (src) 和 sink 结点。纵轴上的红 X 表示这个被调用的函数已结束执行。

横轴显示调用深度。用一条线显示控制权的传递方向。如果控制权传递时携带有被感染数据的变量,该线条是为红色;如果没有被感染数据,则该线条为黑色。

对于其他所有规则:纵轴显示执行顺序。

每个节点的表达式类型用以下图标之一表示:

代码审计--16--Fortify SCA详细(上)_第10张图片

Filter(过滤器)

“Filter(过滤器)”选项卡显示了所选过滤器组中的所有过滤器。

过滤器选项卡中的选项

元素 描述
Filter 显示所选过滤器组中所配置的可见性过滤器和文件夹过滤器的列表。 
右键单击某个过滤器可显示与该过滤器匹配的问题,也可启用或禁用该过滤器。
If 显示过滤器条件。 
第一个下拉列表显示了问题属性的列表,第二个下拉列表指定了属性的匹配方式,而第三个列表是过滤器所匹配的值。
Then 指示过滤器的类型,其中,“hide” 表示可见性过滤器,“folder” 表示文件夹过滤器。

你可能感兴趣的:(测试,fortity,代码审计,测试)