代码审计工具Fortify基本使用

news2024/10/7 11:32:59

最近接触到一款代码审计的工具 — Fortify SCA and Applications 22.2.0,现就其基本使用做一简单介绍!

Fortify是一个应用安全测试软件,是Micro Focus旗下AST(应用程序安全测试)产品。
Fortify能够提供静态和动态应用程序安全测试技术,以及运行时应用程序监控和保护功能,包括静态代码分析器(SAST)、动态应用安全测试软件(DAST)、软件安全中心(SSC)和实时应用程序自我保护(RASP)。
Fortify具有以下特点:

  • 源代码安全分析,精准定位漏洞产生的路径。
  • 具有1分钟1万行的扫描速度。
  • 启发式扫描,探索应用程序中的潜在风险。
  • 云端支持,提供更加智能的代码分析服务。

工具安装与简单配置

工具在Windows系统上安装非常简单,不停的点击“下一步”即可完成。安装完成后,创建的程序组包括4个快捷方式,如下图所示:

程序组

  • Audit Workbench:审计工作台
  • Custom Rules Editor:自定义规则编辑器
  • Fortify Software Documentation:在线文档
  • Scan Wizard:扫描向导

升级中文规则库

打开Audit Workbench,点击菜单“Options–>Options…”,

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-2VmqGd5C-1689080012777)(https://cdn.staticaly.com/gh/soft1314/picx-images-hosting@master/20230711/中文规则.2le2isgqopu0.webp)]

1.点击“Security Content Management”,在“Update Security Content from Server”区的Locale中选择“Simplified Chinese”,点击“Update”按钮,完成后如下图所示:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Fmusl3AF-1689080012778)(https://cdn.staticaly.com/gh/soft1314/picx-images-hosting@master/20230711/中文规则1.4xfa0fy556k0.webp)]

如果受license限制,无法升级到最新的规则库,那么可行的方法就是通过其他渠道获取一个最新的中文规则库,手工对 ExternalMetadata 及 rules 两个文件夹的文件进行替换。
目录位置:

C:\Program Files\Fortify\Fortify_SCA_and_Apps_22.2.0\Core\config

代码扫描

Fortify支持很多语言扫描,其中对Java支持最好,操作简单。

  • 启动 Audit Workbench

扫描

  • 点击“Scan Java Project…”,选定Java项目文件夹,

JDK版本

  • 选定JDK版本

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-pqu6jZqe-1689080012780)(https://cdn.staticaly.com/gh/soft1314/picx-images-hosting@master/20230711/scan.2h1bcpfhmqw0.webp)]

  • 确定扫描参数,点击“Scan”开始代码扫描。

审计结果

扫描结束后,结果自动导入到 Audit Workbench,扫描出的问题分为4个等级:

  • Critical:严重
  • Hign:高
  • Medium:中
  • Low:低

对于每一个问题,可以在Audit区域进行审计操作,Analysis分为:

  • Not an Issue:误报
  • Reliability Issue:可靠性问题
  • Bad Practice:不良行为
  • Suspicious:可疑的
  • Exploitable:可利用的

可以查看问题的详细说明以及处理建议,也可以导出PDF或XML格式的报告。如下图所示:

结果审计


以上就是代码审计工具Fortify的基本用法。

本文到此结束,感谢您的观看!!!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/742513.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Acwing 853.有边数限制的最短路

Acwing 853.有边数限制的最短路 链接:853. 有边数限制的最短路 - AcWing题库 /* 题解:bellman_ford算法 可以算是一种暴力的算法了 他可以解决有复权边的单源最短路径 也可以解决图是否存在负环的问题 还可以求出 不超过k条边的最短路径问题 但是效率低下 时间复杂度为o(nk)n…

超有趣的linux命令2

超有趣的linux命令2 此次实验命令均在Ubuntu16.04版本上测试 注意有些命令需要在图形化界面才能显示效果 温馨提示:可能有人是第一次接触Ubuntu,所以下面详细写了如何配置源和网络,以及安装命令的方式 1. 首先配置软件源 以命令行方式配置…

Comate代码助手推出,现场生成了贪吃蛇游戏,我们距离AI自动编程还有多远?

Comate代码助手推出,现场生成了贪吃蛇游戏,我们距离AI自动编程还有多远? 百度智能云推出“Comate”代码助手,并正式开放邀测,不算很意外。 毕竟让AI写代码,跑一跑贪吃蛇,算是传统艺能。 不过你…

MongoDB 简介及安装(windows环境下)

一、MongoDB 简介 1、MongoDB 是什么 MongoDB 是一个开源的、基于分布式的、面向文档存储的非关系型数据库。是非关系型数据库当中功能最丰富、最像关系数据库的。 MongoDB 将数据存储为一个文档,数据结构由键值(key>value)对组成。MongoDB 文档类似于 JSON 对…

API全场景零码测试机器人——ATGen带来“超自动化”测试模式

HDC期间可参与新手入驻华为云Testplan抽奖活动,活动链接在文末 众所周知,软件服务及组件之间的交互主要依赖大量的API接口。以华为云300多个商用云服务为例,平均每个服务含500接口,接口总数高达10万,接口调用上下文业务…

[GWCTF 2019]babyvm 题解

虚拟机 这是一个虚拟机的题目 上图是虚拟机的执行流程,Dispatcher(分发器)读取Opcode(虚拟机操作码) 然后根据操作码进行跳转执行 所以做这道虚拟机的题,我们就要找到操作码 并且明白操作码对应的含义 然后对操作码进行一句一…

MySQL整合篇(SQL语句执行流程-->索引篇-->事务篇-->锁篇)

MySQL 基础篇 1.1 执行一条SQL语句会发生什么 1. MySQL架构一共分为两层 server 和 存储引擎层(一般为Innodb引擎) 主要执行流程都在server层:连接器,查询缓存,解析SQL(解析器),执行…

MySQL存储函数和存储过程习题

创建表并插入数据 字段名 数据类型 主键 外键 非空 唯一 自增id INT 是 否 是 是 否name VARCHAR(50) 否 否 是 否 否glass VARCHAR(50) 否 否 是 否 否sch 表内容id name glass1 xiaommg glass 12 xiaojun glass 21、创建一个可以统计…

零代码编程:用ChatGPT批量识别图片PDF中的文字

有些PDF页面是图片格式,要怎么批量把图片中的文字识别出来?借助ChatGPT可以轻松完成这个任务。 首先要安装一些相关的软件和Python库。 安装tesseract-ocr(OCR)软件,最新版的是tesseract-ocr-w64-setup-v5.3.0.20221…

BP神经网络数据分类——语音特征信号分类(Matlab代码实现)

目录 💥1 概述 📚2 运行结果 🎉3 参考文献 👨‍💻4 Matlab代码 💥1 概述 BP神经网络是一种常见的人工神经网络,用于数据分类和回归等任务。在语音特征信号分类中,BP神经网络可…

ANSI转义码sehll演示脚本

ANSI转义码是我在修改文字颜色的时候了解的,以下是我翻译的一个shell小程序的画面 原文在此 他使用c写的,我调整了一下,用shell改写了一个 这是上传的脚本文件,设置的是免费的,可以下载看看玩玩 (3条消息) 【免费】A…

Android Java代码与JNI交互基础数据类型转换(三)

🔥 Android Studio 版本 🔥 🔥 基础类型数据的转换 🔥 定义传递基础数据类型到JNI的函数 package com.cmake.ndk1.jni;public class JNIBasicType{static{System.loadLibrary("native-lib");}public native int callNativeInt(int num);public native byte …

javascript-正则表达式匹配出URL地址,批量添加a标签

一开始接到这个需求觉得简单,结果越搞越复杂,反复了很多次,没有特别好的解决方案 最近接到一个需求,客服输入框需要将发送出去的消息中含有url地址匹配出来添加上a标签,但是由于输入框是富文本,所以输入框内…

优秀的 RocketMQ 可视化管理工具 GUI 客户端

优秀的 RocketMQ 可视化管理工具 GUI 客户端 官网地址:http://www.redisant.cn/rocketmq 快速查看所有 RocketMQ 集群,包括Brokers、Topics和Consumers查看消费者订阅了哪些主题,以及消息队列被分配给了哪些消费者;当出现消息积…

插入排序和希尔排序:用C语言打造高效的排序算法

插入排序 插入排序的思路就像是你在整理一堆扑克牌。你先拿起第一张牌,然后拿起第二张牌,把它插入到合适的位置,使得你手上的两张牌是有序的。接着,你再拿起第三张牌,也把它插入到合适的位置,使得你手上的…

安装pycharm安装激活教程,不想只使用一个月,也不想花钱?

前言 本文方法可以安装使用截止当前2023.1.3最新版本Pycharm,过程非常简单,按照下面的步骤来一分钟即可搞定。 1.下载安装 已经安装过的可以跳过该步骤! 下载 到官网地址下载正版安装包JetBrains Pycharm官网下载地址 安装 开始安装 选择安…

vertical-align详细介绍

1.定义: vertical-align是一个CSS属性,用于指定行内元素或表格单元格中内容的垂直对齐方式。它可以应用于行内元素、表格单元格或表格单元格中的内容。 该属性可以接受多个值,包括关键字(如top、middle、bottom),长度…

Autosar诊断实战系列11-UDS 0x27加解密服务配置开发介绍

本文框架 前言1. DcmDsd 0x27服务添加1.1 DcmDsdSubServices中添加子服务2. DcmDsp中DcmDspSecurity实战配置2.1 DcmDspSecurity实战配置2.2 尝试次数及DelayTime进一步理解前言 在本系列笔者将结合工作中对诊断实战部分的应用经验进一步介绍常用UDS服务的进一步探讨及开发中注…

Python3+requests搭建接口自动化测试框架

目录 一、接口自动化的意义(为什么做这个框架) 二、准备工作 三、框架流程及逻辑 四、各模块介绍 五、具体使用 一、接口自动化的意义(为什么做这个框架) 新版本上线时之前版本的功能需要进行回归测试,导致大量的…

对文件中的数据进行排序

#include<stdio.h> #include<stdlib.h> #include<time.h> int main()//生成1000个随机数据 {srand((size_t)time(NULL));FILE* fpfopen("d:/data.txt","w");if(!fp) return -1;for(int i0;i<1000;i)fprintf(fp,"%d\n",ran…