源代码安全检测工具是一种广泛应用于软件安全领域的工具,用于检测和发现软件代码中的各种安全问题和质量问题。包括Fortify源码审计、Seay源代码审计系统等。这些工具使用的是静态代码分析技术,能够检测代码中的错误和漏洞,并给出详细的修复建议。使用源代码安全检测工具可以有效地保障软件质量和安全性,降低代码的风险和漏洞,提高应用程序的可靠性。
2023-09-17 15:54:40 549.01MB 软件/插件
1
Micro Focus旗下AST (应用程序安全测试)产品
2023-08-19 09:40:26 396.54MB 安全测试 Fortify
1
本节课程是为后续Java代码审计课程的铺垫课程,本节课程中详细介绍了什么是Java安全代码审计、Java代码审计需要的前置知识等介绍性的内容,同时也给大家介绍了一款专门用于Java代码审计的扫描工具Fortify,该工具在我们进行代码审计过程中能极大的帮助我们发现代码漏洞所在点,精准的定位和全面的扫描极大的减轻了我们在海量代码审计的工作。
2023-04-20 01:03:50 2.35MB java 安全 信息安全 代码审计 漏洞 工作
1
强化 FortiPY是Fortify FPR文件浏览器库。 使用范例 基本上有两种打开FPR(FVDL文件)的方法: import fortipy with fortipy.FPR("filename.fpr") as f: print f.get_types_of_vulns() 或者您可以使用标准的打开/关闭: import fortipy f = fortipy.FPR("filename.fpr") print f.get_types_of_vulns() f.close() # by default if you open an .fpr file close() will clean the temp files but you can override this: # f.close(clean=False) 打开后,该对象将以Python结构包含FPR文件中
2022-12-27 16:10:37 4KB Python
1
Fortify 详细安装使用可参考我的文章 [ 代码审计篇 ] Fortify安装及使用详解(一)Fortify安装并设置语言为中文导出中文报告 Fortify 是一个静态的、白盒的软件源代码安全测试工具。它通过内置的五大主要分析引擎:数据流、语义、结构、控制流、配置流等对应用软件的源代码进行静态的分析,通过与软件安全漏洞规则集进行匹配、查找,从而将源代码中存在的安全漏洞扫描出来,并可导出报告。扫描的结果中包括详细的安全漏洞信息、相关的安全知识、修复意见。 Fortify首先通过调用语言的编译器或者解释器把前端的语言代码(如JAVA,C/C++源代码)转换成一种中间媒体文件NST(Normal Syntax Tree),将其源代码之间的调用关系,执行环境,上下文等分析清楚。 通过分析不同类型问题的静态分析引擎分析NST文件,同时匹配所有规则库中的漏洞特征,将漏洞抓取出来,然后形成包含详细漏洞信息的FPR结果文件,用AWB打开查看。
1
2022年Fortify中文规则库-rules版本2022.1.1.0007,替换安装目录\Core\config下的rules和ExternalMetadata文件夹。真实可用
2022-12-25 15:00:25 11.72MB Fortify 安全
1
fortify.lisence 已包含在压缩文件中 安装时选择解压文件中的fortify.lisence就行, 亲测可用,安装完成之后点击更新规则文件即可。
2022-09-23 11:51:49 972.6MB 源码软件 fortifysca 代码评审
1
2022年fortify最新rules.zip,里面添加了几条最新规则。
2022-07-15 19:00:11 9.77MB fortify 代码审计
1
Fortify SCA、Covertity、CodeSec三款静态分析工具进行对比的文件。包括误报率、漏报率、检测效率、对第三方组件检测支持能力、支持CI能力、编译环境等
2022-06-25 14:00:18 20KB CodeSec指标 Fortify指标 Coverity指标
这是2021年Cobot与其它工具的对比资料
2022-06-21 09:00:11 1.87MB 库博 Fortify Checkmarx