Fortify SCA 4.5用户指南:Java代码翻译与安全分析详解

4星 · 超过85%的资源 21 下载量 133 浏览量 更新于2024-07-27 收藏 1.24MB PDF 举报
《Fortify SCA用户手册》是一份详细的指南,专为Fortify®SourceCodeAnalyzer(Fortify源代码分析器)的用户设计,特别是针对版本4.5,发布于2007年9月。这份文档由Fortify Software, Inc.所有,旨在帮助用户理解和操作这款工具,确保软件开发过程中的安全性。 一、简介与功能 1. Fortify SourceCodeAnalyzer:这是Fortify提供的关键组件,用于静态代码分析,通过扫描源代码,检测潜在的安全漏洞和编码缺陷,帮助开发者在软件开发早期就发现并修复这些问题。 2. 益处:使用Fortify SCA,开发团队能够提升代码质量,降低安全风险,提高软件的可维护性和可靠性。它有助于遵循最佳实践,减少由于安全漏洞导致的法律和商业风险。 3. 分析阶段:分析阶段是整个过程中至关重要的一步,它涉及到运行Fortify工具对代码进行深入检查,以识别可能的安全隐患。用户需要了解如何正确地配置和执行分析命令,例如提供代码路径、设置参数等。 4. 内存管理:手册强调了内存管理的重要性,因为高效的内存使用可以防止性能问题和潜在的安全漏洞。用户需要了解如何在分析过程中合理控制内存使用。 5. 转换与分析流程:手册指导用户如何进行代码转换,将源代码格式适配到Fortify分析器的要求,接着进行分析,检查结果并根据需要进行相应的修复。 二、入门指南 1. PerUse Fortify SCA Edition:此版本可能是针对特定场景或试用用户的,可能具有一定的功能限制。用户手册解释了如何管理个人门户账户,包括设置密码、增加授权的行数等。 2. 账户管理:手册详细介绍了如何管理用户账户,包括基本的登录验证以及如何根据项目需求调整权限和资源分配。 3. 网络部署:针对有无互联网连接的环境,手册提供了两种传输行数的方法,确保用户能够在不同的网络条件下正常进行工作。 三、Java代码翻译 Java命令行语法:手册重点讲解了针对Java语言的命令行接口,包括命令的结构、参数解析以及如何针对Java源代码执行安全分析。这对于Java开发者来说尤为重要,因为它提供了编写自动化脚本进行批量分析的指南。 《Fortify SCA用户手册》是一部实用的工具参考,涵盖了从安装、配置到日常使用的各个环节,帮助用户充分利用Fortify SourceCodeAnalyzer的功能,提高软件安全性和开发效率。通过阅读和遵循手册,开发者可以更好地融入安全编码流程,降低潜在的安全威胁。
2019-09-06 上传
fortify扫描工具的说明手册,对实际工作有指导作用,讲的比较清晰。 Fortify SCA分析原理 Front-End 3rd party IDE Java Pug-In C/C++ MicrOsoL NET IBM.eclipse Audit workbench PLSQL XML Analysis Engine Semantic fdi/ fpr Gobal Data flow N Control Flow Configuration Structural Fortify Manager NST Rules builder Custom Pre-Packaged FORTIFY Fortify SCA分析过程 SCA Engine Intermediate Scan phase fles Using Analyzers Tt transation (NST) .Rules Analysis Result File -b build id 阶段一:转换阶段( Translation) 阶段二:分析阶段(Scan o sourceanalyzer-b <build-id>-clean o sourceanalyzer -b <build-id> sourceanalyzer-b <build-id> -Xmx1250m-scan-f results fpr FORTIFY Fortify SCA扫描的工作 Visual studio Eclipse, IBM RAD 面 Audit Workbench Java,. Net Fortify Global Build Tool C, C/C++ Analysis JSP Touchless Build Fortify PL/SQL IDE Intermediate FPR TSOL Model Cold Command Line Interface Fusion 运己 Fortify I m Manager Secure Coding Rules Fortify Customized Rules Rules FORTIFY Fortify SCA扫描的五种方式 插件方式: Plug-In(Eclipse, vs WsAd,rad) 命令行方式 Command line ●扫描目录方式: Audit workbench scan Folder 与其他工具集成: Scan with ANt, Makefile ●编译监控器方式: Fortify SCA Build Monitor FORTIFY Fortify SCA扫描的四个步骤 Fortify SCA扫描总共可以分为四个步骤: ●1. Clean:清除阶段: sourceanalyzer -b proName -clean 2. Translation:转换阶段 3.ShoW-fe:查看阶段 sourceanalyzer -b proName -show-files 4.scan:扫描阶段 sourceanalyzer-b proName -Xmx1250m -scan -f proName. fpr FORTIFY Fortify SCA命令行参数说明 查看SCA扫描命令及参数→> sourceanalyzer ca\ C:\VIRDoS\syste32\cd. exe 川 icrosoft Windows XP[版不5.1268g Kc版权所有1985-2 061 Microsoft Gorp :Documents and settings anming >sourceanalyzer --he lp Fortify Source Code Analyze4..日.回153 Copyright (c>2003-2006 Fortify Software Usage Bu⊥1d Java: sourceanalyzer -b <buildid> <files> sourceanalyzer -b <buildid> javac <compiler opts> <files> G/C++: sourceanalyzer -b <buildid> <compiler> <compiler opts> <files> NET: sourceanalyzer -b <buildin> <exe file> scan〓 sourceanalyzer -b <buildid> -scan -f results. fpr Output opt ions -format <fmt> Controls the output format. Valid options are auto, fpr. fvdl, and text. Default is auto for which type will be determined automatically based on file extension 一£<fi1e> The file to which results are written Default is stdout build-pro ject <name> The name of the project being scanned. Will be inc luded in the output bu⊥1d-1abe1<labe1> The1abe1 of the project being scanned.W主工1 be inc luded in the output build-version <version> The version of the project being scanned. wil1RTIFY. e uale OFTWARE Fortify SCA转换源代码 转换Java代码 Java程序命令行语法 JaVa命令行语法例子 转换J2EE应用程序 使用 Find bugs 转换NET源代码 o. NET Versions 1.1 and 2.0 Visual studio. net version 2003 o Visual studio.net version 2005 转换CC++代码 ●转换 PL/SQLITSQL FORTIFY SCA转换JAVA源代码命令 sourceanalyzer -b <build-id> -cp <classpath> <file-list> ●附注参数:-Xmx;- encoding-jdk;- appserver- appserver- veron -appserver-home Table 1: File specifiers File specifier Description darna盈e All files found under the named directory or any subdirectories dx己盈e/古古 Any file named Example. java found under the named Example java directory or any subdirectories dx22盈e/,ava Any file with the extension. j ava found in the named directory dxna盈e吉/古,java Any file wth the extension j ava found under the named directory or any subdirectories d工22a盈e/方/吉 All files found under the named directory or ary subdirectories (same as dirname FORTIFY