辽宁源代码扫描工具fortify-苏州华克斯
C/C++源码扫描系列-Fortify篇环境搭建Linux搭建解压的压缩包,然后执行./Fortify_SCA_and_Apps_19.2.1_linux_x64.run按照引导完成安装即可,安装完成后进入目录执行sourceanalyzer来查看是否安装完成然后将rules和ExternalMetadata拷贝到对应的目录中完成规则的安装。Fortify的工作原理和codeql类似,首先会需要使用Fortify对目标源码进行分析提取源代码中的信息,辽宁源代码扫描工具fortify,然后使用规则从源码信息中查询出匹配的代码。Fortifysystem命令执行检测除了使用DataflowSourceRule、DataflowSinkRule等规则来定义污点跟踪相关的属性外,Fortify还支持使用CharacterizationRule来定义污点跟踪相关的特性。Fortify在编译/分析代码过程中会把代码中的元素(代码块、类、表达式、语句等)通过树状结构体组装起来形成一颗structuraltree,然后扫描的时候使用StructuralAnalyzer来解析StructuralRule,源代码扫描工具fortify服务商,蕞后输出匹配的代码。下面以一个简单的示例看看structuraltree的结构,示例代码如下FortifySCA快速入门规则库导入:所有的扫描都是基于规则库进行的,源代码扫描工具fortify总代理,因此,建立扫描任务的前提条件就是你需要把检查规则拷贝到HP_Fortify﹨HP_Fortify_SCA_and_Apps_3.80﹨Core﹨config﹨rules文件夹下,拷贝后便为扫描建立了默认的规则库。另外,你也可以自定义规则,这些内容将会在以后逐一介绍。建立和执行扫描任务:我们分别通过Java、.NetC#和C/C++三类不同编程语言项目来介绍如何快速建立和执行扫描任务:Java项目:FortifySCA对于Java项目的支持是做得蕞好的,建立扫描入口的路径选择非常多,常用的方法是直接执行HP_Fortify﹨HP_Fortify_SCA_and_Apps_3.80﹨bin﹨auditworkbench.cmd,启动审计工作台就可以直接对Java项目进行静态扫描;另外也可以使用FortifySCA插件,集成嵌入Eclipse来完成开发过程中的实时扫描;当然,你也可以使用原生的命令行工具完成全部工作,我们这里介绍一个通用的方法,即利用ScanWizard工具导入你的源码项目,通过一系列设置后,会生成一个批处理脚本文件,通过批处理代替手工输入执行命令进行测试。使用HP_Fortify﹨HP_Fortify_SCA_and_Apps_3.80﹨bin﹨ScanWizard.cmd启动ScanWizard工具:辽宁源代码扫描工具fortify-苏州华克斯由苏州华克斯信息科技有限公司提供。苏州华克斯信息科技有限公司是从事“Loadrunner,Fortify,源代码审计,源代码扫描”的企业,公司秉承“诚信经营,用心服务”的理念,为您提供更好的产品和服务。欢迎来电咨询!联系人:华克斯。)