查看原文
其他

第37篇:fortify代码审计工具的使用技巧(1)-审计java代码过程

abc123info ABC123安全研究实验室 2023-02-12

 Part1 前言 

在正式文章之前,插播一下:恭喜梅西圆梦,获得世界杯冠军,加冕球王,一场精彩绝伦的球赛。开心之后,还是要静下心学习的,我们也要继续努力。

Fortify全名叫Fortify SCA,是惠普公司HP的出品的一款源代码安全测试工具,这家公司也出品过另一款很厉害的Web漏洞扫描器叫Webinspect。美国的Fortify、美国的Coverity、美国的Codesecure、美国的IBM AppScan Source以色列的Checkmarx、加拿大的Klockwork是现在国际上比较出名的几款代码审计工具,今天就讲一下fortify的使用吧,其它工具的使用后续再介绍。

Fortify对于新手是可以快速上手的,但是它绝不是一款傻瓜工具,它有很多的自定义操作,还有命令行操作,还可以自己编写规则库,这些都需要大家仔细阅读Fortify的说明书,再次强调一遍,仔细阅读说明书,后续ABC_123会抽时间慢慢讲。

求助:哪位朋友有Codesecure、IBM Security AppScan Source的破解版或者是试用版,方便的话发我试用一下,保证不用于商业目的,Thanks♪(・ω・)ノ


 Part2 具体使用过程 

  • Fortify的安装过程

安装过程比较简单,我就挑关键步骤讲解了。下载安装包之后,一直点击“下一步”就行,这里需要选择一个license文件foritfy.license。


接下来按照默认,一直点击“下一步”即可。


软件打开如下所示:


  • 升级中文规则库

接下来重点看一下如何升级中文规则库。打开Audit Workbench快捷方式,在弹出的gui界面,点击Options选项,点开Security Content Management选项,点击Update Security Content - zh_CN选项可以升级Fortify的中文规则库。


出现以下弹窗,说明中文规则库升级成功。


如果受license限制,无法升级到最新的规则库,那么可以跟有商业版的朋友要一个最新版的中文规则库,手工对ExternalMetadatarules两个文件夹的文件进行替换。


C:\Program Files\Fortify\Fortify_SCA_and_Apps_20.1.1\Core\config目录下,将以下文件进行替换。


再看一下Security Content Management配置,发现规则库已经不是2019年的,已经是2022年的。


  • 审计Java代码过程

如果是java项目,可以直接点击“Scan Java Project”选项。


这里java version,可以选择web应用的java代码的所在环境的java版本,这里我们选择1.8。


如果扫描对象是Java web代码,就选择“Yes”,如果不是Java web,就选择No,其它的选项保持默认即可。


接下来点击“Scan”,Fortify就开始对代码进行代码审计了。


这时候发现,对于webgoat源代码Fortify只扫描出了36个高危漏洞,为啥最基本的sql注入漏洞没扫描出来呢?重新理一下思路,Fortify扫描源代码漏洞前,是需要对源码编译的,没有jar包有些类肯定是编译不成功的


  • 加载jar包重新扫描

接下来打开pom.xml查看web应用需要依赖哪些jar包,将所有需要jar包放到webgoat目录下即可,Fortify会自动识别和加载.jar文件。如果web应用所依赖的jar包太多,手工找起来太麻烦,可以直接解压编译后的.war文件或者springboot的.jar文件获取所有jar包文件。


重新运行fortify扫描一下,加载jar包后扫描出了81个高危漏洞,这样的扫描结果看起来还算是正常。


Fortify扫描结果展示界面如下:


  • 代码审计结果

Fortify的Diagram功能非常强大,以图表形式展示源代码中漏洞触发点的从开始到触发的所有过程,我们可以借助此功能,分析是否有过滤函数对漏洞触发的特殊字符进行了过滤。


这个界面给出了中文的漏洞修补建议。


点击“Group By”按钮,可以以不同漏洞分类标准对漏洞进行不同的分类展示。


如果遇到误报,可以选择“Hide in AWB”,对该漏洞结果进行隐藏。


最后是生成报告功能,这个功能我一般不用,只是作为参考,一般都是自己写代码审计报告。


  • 中文乱码解决

Fortify默认的编码不是UTF-8,导致部分中文的Java代码会出现乱码问题。如果是单文件乱码,可以使用Edit选项卡下的Set Encoding进行设置,鼠标光标在右侧代码框内点击一下,否则此项功能不能用,但是这种方法只适用于单个文件的乱码解决。


如下所示,可以选择不同的文本编码,中文可选择UTF-8编码:


如下图所示,乱码问题成功解决。


如果想一劳永逸解决乱码问题,只能在Fortify的配置文件中指定Java文件的编码了

C:\Program Files\Fortify\Fortify_SCA_and_Apps_20.1.1\Core\private-bin\awb\productlaunch.cmd在命令行最后添加-Dfile.encoding=utf-8。


 Part3 总结 

1.  后续还会继续分享Fortify代码审计工具的使用教程,也会分享Checkmarx、Coverity等代码审计工具的使用教程,敬请期待。


专注于网络安全技术分享,包括红队攻防、蓝队分析、渗透测试、代码审计等

每周一篇,99%原创,敬请关注

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存