Fortify软件

强化静态代码分析器

使软件更快地生产

Fortify软件如何工作？

Fortify是用于查找软件代码中的安全漏洞的SCA。我只是好奇这个软件在内部工作。我知道你需要配置一组代码将被运行的规则。但是如何才能在代码中找到漏洞。

有人有什么想法吗？

提前致谢。

强化

任何想法如何适用于iOS应用程序？ Fortify是否有任何Mac软件通过我们可以扫描iOS代码Objective-C / Swift代码？ - 

HP Fortify SCA有6个分析器：数据流，控制流，语义，结构，配置和缓冲。每个分析器都会发现不同类型的漏洞。

数据流量此分析仪检测潜在的漏洞，这些漏洞涉及受到潜在危险使用的污染数据（用户控制输入）。如果您希望定期安排动态扫描，WebInspectEnterprise可以做到这一点。数据流分析器使用全局的，程序间的污染传播分析来检测源（用户输入站点）和信宿（危险函数调用或操作）之间的数据流。例如，数据流分析器检测用户控制的***长度的输入字符串是否被***到静态大小的缓冲区中，并检测用户控制的字符串是否用于构造SQL查询文本。

控制流程此分析仪检测潜在的危险操作序列。·jing确地跟踪业务操作的先后顺序，发现因代码构造不合理而带来的软件安全隐患。通过分析程序中的控制流程，控制流程分析器确定一组操作是否以一定顺序执行。例如，控制流程分析器检测使用时间的检查/时间问题和未初始化的变量，并检查在使用之前是否正确配置了诸如XML读取器之类的实用程序。

结构这可以检测程序的结构或定义中潜在的危险缺陷。例如，结构分析器检测对Java servlet中成员变量的分配，识别未声明为static final的记录器的使用，以及由于总是为false的谓词将永远不会执行的死代码的实例。

HP Fortify静态代码分析器

HP Fortify SCA通过可用的***全mian的安全编码规则提供根本原因的漏洞检测，并支持***广泛的语言，平台，构建环境（集成开发环境或IDE）和软件组件API。

进行静态分析，以确定源代码中的安全漏洞的根本原因

检测超过480种类型的软件安全漏洞，涵盖20种开发语言 - 业界***。

根据风险严重程度排序优先级结果，并指导如何修复代码行详细信息中的漏洞

确保符合应用程序安全性要求

硬件要求

HP Fortify Software建议您在具有至少1 GB RAM的***处理器上安装HP Fortify静态代码分析器（SCA）。

平台和架构

HP Fortify SCA支持以下平台和架构：

操作系统架构版本

Linux x86：32位和64位Fedora Core 7

红帽ES 4，ES5

Novell SUSE 10

Oracle EL 5.2

Windows?x86：32位和64位7 SP1

2017年

win10

Vista业务

Vista Ultimate

Windows 7的

Windows?x86：32位2000

Mac OS x86 10.5，10.6

Oracle Solaris SPARC 8,9,10

86 10

HP-UX PA-RISC 11.11

AIX 5.2 PPC

FreeBSD x86：32位6.3,7.0

Fortify SCA 5.0设置了一个全mian的新酒吧

Fortify SCA 5.0通过分析360技术增强了行业领xian的分析仪功能，可以处理安全开发面临的***da问题，以及新的不断发展的攻击。FortifySCA系统集成和可扩展性·可以支持和QC、Bugzilla等主流的质量管理系统集成。通过分析360，Fortify SCA减少了错误的否定，以确保没有错过，同时***da限度地减少误报，所以开发侧重于关键的代码问题。使用Fortify SCA 5.0，已经添加或增强了分析功能，以提高精度，包括：

    - ***多维色彩传播 - 此功能有助于

      找到远程可利用的错误，这对于查找特别有用

      隐私管理故障和其他与PCI有关的错误。

    - 基于约束的漏洞排名 - 提取一组布尔值

      来自代码的约束方程，并使用约束求解器进行排序

      错误的编码实践可能被利用的可能性的。

    - 过程间数据流分析 - 使用有限状态自动机

      通过代码模拟可能的执行路径。

    - 关联故障诊断 - 允许用户消除整个

      通过将跟随相同的结果相关联的假阳性类

      代码模式。

   Fortify SCA 5.0增加了对四种新编程语言的支持

    - 经典ASP - 今天，成千上万的遗留应用程序写入

      经典的ASP需要针对普通的，***的

      漏洞，如SQL注入和跨站点脚本。

    - COBOL - 几十年前发明 - 在应用程序安全性之前很久

      COBOL的重要性随着企业曝光而重新浮出水面

      系统通过面向服务架构（SOA）的举措。

    - JavaScript - 今天，JavaScript可能是增长***快的编程

      语言 - 其安全问题已经有很好的记录 - 包括

      Fortify发现JavaScript劫持。

    - PHP - ***近的扬基集团报告“Web 2.0安全列车残骸”

      （Andrew Jaquith，2017年10月），引用“几个流行应用程序”

      基于PHP框架，如phpBB，具有惊人的安全性

      跟踪记录，“补充说，”PHP开发人员往往是“scripters”

      没有正式的安全培训。“强化SCA 5.0给了大的和

      越来越多的PHP开发人员自动清理系统代码。

要了解有关Fortify SCA 5.0的更多信息，请于11月13日上午11点至12点举行Fortify网络研讨会“强化SCA 5.0：无边界应用安全”。 Pacific，华克斯。

关于Fortify Software，Inc.

Fortify?软件产品可以保护企业免受关键业务软件应用程序安全漏洞所带来的威胁。NET应用程序上的Runtime产品（以前称为RTA），并且可以在运行时执行各种各样的事情（记录/停止攻击等）-1@Keshi现在他们为Jenkins提供插件，并且可以与JIRA集成。其软件安全产品 - Fortify SCA，Fortify Manager，Fortify Tracer和Fortify Defender - 通过自动化开发和部署安全应用程序的关键流程降低成本和安全风险。 Fortify Software的客户包括***机构和财富500强企业，如金融服务，医liao保健，电子商务，电信，出版，保险，系统集成和信息管理。该公司得到世界ji软件安全***和合作伙伴的支持。更多信息，