前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >第37篇:fortify代码审计工具的使用技巧(1)-审计java代码过程

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

作者头像
ABC_123
发布2023-02-24 19:38:16
3.9K0
发布2023-02-24 19:38:16
举报
文章被收录于专栏:网络安全abc123网络安全abc123

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等代码审计工具的使用教程,敬请期待。

本文参与 腾讯云自媒体分享计划,分享自微信公众号。
原始发表:2022-12-19,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 希潭实验室 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • Part1 前言
  • Part2 具体使用过程
相关产品与服务
代码审计
代码审计(Code Audit,CA)提供通过自动化分析工具和人工审查的组合审计方式,对程序源代码逐条进行检查、分析,发现其中的错误信息、安全隐患和规范性缺陷问题,以及由这些问题引发的安全漏洞,提供代码修订措施和建议。支持脚本类语言源码以及有内存控制类源码。
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档