源代码扫描工具fortify服务商-华克斯

Fortify软件

强化静态代码分析器

使软件更快地生产

能见度

Fortify软件安全中心是一个集中管理存储库，为您的整个appsec测试程序提供可见性和报告。仪表板突出了您的应用程序的风险，并有助于审查，管理和跟踪您的安全测试活动，优行修复工作并控制您的软件组合。

“Fortify在上市之前帮助我们找到并修复了Vital Images医liao影像软件的安全漏洞。它直接负责改进我们软件的安全状态。“

 - Tim Dawson，源代码扫描工具fortify服务商，

Vital Image软件工程总监

“Fortify通过分析我们的软件安全架构和应用程序代码，帮助我们建立安全的开发实践。我们将继续使用Fortify软件在其整个生命周期内测试我们所有的软件，以确保其始终保持安全。

- 卢克·波隆，银行应用项目经理，

Parkeon

“在整个业务中的执行支持和购买对我们的成功至关重要。发展与安全共同努力，确保我们为客户做正确的事情，fortify服务商，我们的业务是关键。在开发过程中发现漏洞，并教育开发人员在交付工作时思考“安全”，源代码审计工具fortify服务商，正在改变我们的工作和交付方式。这次旅程是与安全合作关系的巨大团队胜利，文化转变为灵活的思维方式，为未来创造更好，可持续的过程。“

 - CISO的Jennifer Cole，

ServiceMaster

Fortify软件

强化静态代码分析器

使软件更快地生产

语义本分析仪在程序级别检测功能和API的潜在危险用途。基本上是一个聪明的GREP。

配置此分析器在应用程序的部署配置文件中搜索错误，源代码扫描工具fortify服务商，弱点和策略违规。

缓冲区此分析仪检测缓冲区溢出漏洞，涉及写入或读取比缓冲区容纳的更多数据。

分享这个

于十二月二十四日十二时十七分

感谢你非常有用的信息。你知道这些分析仪在内部工作吗？如果您提供一些细节，我将非常感谢。 - 新手十二月27"12 at 4:22

1

有一个很好的，但干燥的书的主题：amazon.com/Secure-Programming-Static-Analysis-Brian/dp/... - LaJmOn Nov 8 "12 at 16:09

现在还有一个内容分析器，尽管这与配置分析器类似，除非在非配置文件中搜索问题（例如查找HTML，JSP for XPath匹配） - lavamunky 11月28日13日11:38

@LaJmOn有一个非常好的，但在完全不同的抽象层次，我可以用另一种方式回答这个问题：

您的源代码被转换为中间模型，该模型针对SCA的分析进行了优化。

某些类型的代码需要多个阶段的翻译。例如，需要先将C＃文件编译成一个debug.DLL或.EXE文件，然后将该.NET二进制文件通过.NET SDK实用程序ildasm.exe反汇编成Microsoft Intermediate Language（MSIL）。而像其他文件（如Java文件或ASP文件）由相应的Fortify SCA翻译器一次翻译成该语言。

SCA将模型加载到内存中并加载分析器。每个分析器以协调的方式加载规则并将这些角色应用于程序模型中的功能。

匹配被写入FPR文件，漏洞匹配信息，安全建议，源代码，源交叉引用和代码导航信息，用户过滤规范，任何自定义规则和数字签名都压缩到包中。

Fortify SCA 领xian的市场份额全世界da的银行的9家、大型IT基建供应商、大型独立软体公司支持市场上流xing、duo样化的编程語言领xian解決方案获奖产品。支持整个开发周期超过150项庞da的安全编码规则包的安装部署与Fortune100 企业及大型ISVs

开发出來的jia做法由世界顶jian安全鉴定。

成功案例：中国海关、北京信息安全测评中心、国家信息技术安全研究中心、中国建设银行、中国银联、中国邮政储蓄银行

、浦东发展银行、中国民生银行、北京银行、中国平安、中信银行、上海银行、安利集团、中华英才网、、海南航空……