Fortify SCA产品组件及功能
Source
Code
Analysis
Engine(源代码分析引擎)
数据流分析引擎-----跟踪,记录并分析程序中的数据传递过程的安全问题
语义分析引擎-----分析程序中不安全的函数,方法的使用的安全问题
结构分析引擎-----分析程序上下文环境,结构中的安全问题
控制流分析引擎-----分析程序特定时间,状态下执行操作指令的安全问题
配置分析引擎
-----分析项目配置文件中的敏感信息和配置缺失的安全问题
特有的X-Tier?跟踪qi-----跨跃项目的上下层次,贯穿程序来综合分析问题
Secure
Coding
Rulepacks
?(安全编码规则包)
Audit
Workbench(审查工作台)
Custom
Rule
Editor
&
RuleWizard(规则自定义编辑器和向导)
DeveloperDesktop
(IDE
插件)
Fortify SCA 分析安全漏洞的标准
OWASP top 2004/2007/2010/2013/2014(开放式Web应用程序安全项目)
2. PCI1.1/1.2/2.0/3.0(国际信用ka资料安全
技术PCI标准)
3. WASC24+2(Web应用安全联合威胁分类)
4. NIST SP800-53Rev.4(美国***与技术研究院)
5. FISMA(联邦信息安全管理法案)
6. SANS Top25 2009/2010/2011(IT安全与研究组织)
7. CWE(MITRE公司安全漏洞词典)
Fortify软件
强化产品包括静态应用程序安全测试[11]和动态应用程序安全测试[12]产品,以及在软件应用程序生命周期内支持软件安全保障或可重复和可审计的安全行为的产品和服务。 13]
2011年2月,Fortify还宣布了Fortify OnDemand,一个静态和动态的应用程序测试服务。[14]
静态代码分析工具列表
HP WebInspect
惠普新闻稿:“惠普完成Fortify软件的收购,加速应用程序生命周期安全”2010年9月22日。
跳转软件搜索安全漏洞(英文),PCWorld.com,2004年4月5日
2004年4月5日,跳起来加强软件的新方法
跳起来^桑德,保罗;贝克,莉安娜B.(08-09-08)。 “惠普企业与Micro Focus软件资产交易达88亿美元。”路透社。已取消2010-09-13
跳起来^“开源社区的质量和解决方案”于2016年3月4日在Wayback机上归档。
跳起来^“软件安全错误”归档2012年11月27日,在Wayback机。
跳起来“JavaScript劫持”于2015年6月23日在Wayback机上存档。
跳起来^“通过交叉构建注入攻击构建”
跳起来“看你所写的:通过观察节目输出来防止跨站脚本”
跳起来^“动态污染传播”
跳起来强化SCA
跳起来^ Fortify Runtime
惠普强化治理
跳高^ SD Times,“惠普建立了安全即服务”2011年2月15日。
强化静态代码分析器
使软件更快地生产
“将FINDBUGS XML转换为HP FORTIFY SCA FPR | MAIN | CA特权身份管理员安全研究白皮书?
强化针对JSSE API的SCA自定义规则滥用
允许所有的行动
应用程序不检查服务器发送的数字证书是否发送到客户端正在连接的URL。
Java安全套接字扩展(JSSE)提供两组API来建立安全通信,一个***HttpsURLConnection API和一个低级SSLSocket API。
HttpsURLConnection API默认执行主机名验证,再次可以通过覆盖相应的HostnameVerifier类中的verify()方法来禁用(在GitHub上搜索以下代码时,大约有12,800个结果)。
HostnameVerifier allHostsValid = new HostnameVerifier(){
public boolean verify(String hostname,SSLSession session){
返回真
}
};
SSLSocket API不开箱即可执行主机名验证。以下代码是Java 8片段,仅当端点标识算法与空字符串或NULL值不同时才执行主机名验证。
private void checkTrusted(X509Certificate [] chain,String authType,SSLEngine engine,boolean isClient)
throws CertificateException {
...
String identityAlg = engine.getSSLParameters()。
getEndpointIdentificationAlgorithm();
if(identityAlg!= null && identityAlg.length()!= 0){
checkIdentity(session,chain [0],identityAlg,isClient,
getRequestedServerNames(发动机));
当SSL / TLS客户端使用原始的SSLSocketFactory而不是HttpsURLConnection包装器时,识别算法设置为NULL,因此主机名验证被默认跳过。FortifySCA领xian的市场份额全世界***da的***银行的9家、大型IT基建供应商、大型独立软体公司支持市场上***流xing、***duo样化的编程語言领xian解決方案获奖产品。因此,如果攻击者在客户端连接到“domain.com”时在网络上具有MITM位置,则应用程序还将接受为“some-evil-domain.com”颁发的有效的服务器证书。
这种记录的行为被掩埋在JSSE参考指南中:
“当使用原始SSLSocket和SSLEngine类时,您应该始终在发送任何数据之前检查对等体的凭据。 SSLSocket和SSLEngine类不会自动验证URL中的主机名与对等体凭
HP Fortify静态代码分析器
Fortify SCA 5.0提供从未在应用程序安全性中提供的功能,涵盖企业需要加速安全开发的三个关键领域:
- 定制 - 绝大多数今天的企业都有自定义的
应用程序,安全过程和反映他们的编码风格
***竞争力。任何成功的应用安全实现
必须适应各企业发展需要的***性。
Fortify SCA 5.0使企业能够为其创建自定义规则
他们的任务关键应用程序,以及给安全人员
和其他非开发团队成员有能力创建规则
分钟,而不是几天,而不需要先前的编码
经验。
- 协作 - 安全审核员的扩展团队,合规性
***,发展主管和管理软件
发展跨度时区和组织图。强化SCA 5.0
使开发人员和审计人员能够在代码审查,安全性方面进行协作
错误分类和审核作为一个复杂的开发项目的团队。
- 全mian
- Fortify帮助企业部署全mian的
保护过去,现在和未来应用的安全策略。如
不断变化的黑ke带来了新的漏洞类
景观和新技术,如Web 2.0。并且继续使用漏洞
要发展,安全和发展团队必须采取一切可能的步骤
确保他们的软件。通过PHP和JavaScript支持,Fortify SCA
5.0帮助开发团队面向未来的应用程序。为了遗产
应用程序,Fortify SCA 5.0将支持COBOL和Classic ASP
保护旧的任务关键型应用程序 - 特别是它们
由SOA部署暴露。
“选择应用程序安全测试技术时,企业应该将这些产品集成到流xing的开发和测试工作室(如Eclipse或Visual Studio)中,分析编程语言的数量以及测试能力的速度和规模,”Joseph说费曼,Gartner副总裁兼Gartner研究员。通过分析程序中的控制流程,控制流程分析器确定一组操作是否以一定顺序执行。
“存托信托结算公司通过其子公司为股piao,公司和市政***,货币市场工具,***和***担bao证券以及非处fang衍生工具提供***,结算和信息服务,我们是共同基jin和保险交易的领xian处理商,将基jin和运营商与其分销网络联系起来,安全性对我们的业务至关重要,“DTCC***信息安全官员Jim Routh说。FortifySCA提供增量扫描,可提供更快的扫描时间和结果,提高生产力,从而实现更多扫描,并通过更快地发布应用程序来保持竞争力。 “像许多企业一样,我们的软件基础设施是传统应用程序和新应用程序的结合,因此我们需要一种解决方案,可以处理我们环境中的技术多样性,并将其轻松集成到我们的开发环境中。这样有效“。
Fortify公司的Barmak Meftah补充说:“Fortify一直是广泛覆盖语言,平台和IDE(集成开发环境)的***,随着这一发布,我们将领导层扩展到四种新语言并支持RSA IDE。FortifySCA系统集成和可扩展性·可以支持和QC、Bugzilla等主流的质量管理系统集成。产品与服务***副总裁。 “Fortify SCA 5.0为我们的客户提供了更深层次的控制,分析和协作,以保护他们免受许多***流xing和快速发展的Web 2.0编程语言和技术(包括JavaScript和PHP)中的威胁。
版权所有©2024 天助网