–  hpe fortify sca

分析的流程

运用三步走的方法来执行源代码安全风险评估：

u  确定源代码安全风险评估的---目标

u  使用fortify执行初步扫描并分析安全问题结果

u  ---应用程序的架构所特有的代码安全问题

在第yi步中，我们使用威胁建模（如果可用）的结果以及对用于构建该应用的架构和技术的理解，其目标就是寻求一系列的安全漏洞的风险表现形式。在初步检查过程中，我们将结合静态分析和轻量级的人工---来确定代码中关键点-很可能包含了更多漏洞的地方，初始扫描使我们能够优先考虑风险gao的区域。这次旅程是与安全合作关系的---团队胜利，文化转变为灵活的思维方式，为未来创造---，可持续的过程。

 在---主要代码过程中，我们的源代码安全分析人员对代码进行------来寻找常见安全问题，比如大家熟悉的缓冲区溢出、跨站点---，sql注入等。终---用于调查本应用程序架构所特有的问题，一般表现为威胁建模或安全特征中出现的威胁，如自定义身份验证或授权程序等。linkedin上的hpesecurityfacebook上的hpe软件与同行和---一起讨论如何使hpe软件为您工作。

fortify软件

强化静态代码分析器

使软件更快地生产

fortify软件如何工作？

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

有人有什么想法吗？

提前致谢。

强化

任何想法如何适用于ios应用程序？ fortify是否有任何mac软件通过我们可以扫描ios代码objective-c / swift代码？ - 

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

数据流量此分析仪检测潜在的漏洞，这些漏洞涉及受到潜在危险使用的污染数据（用户控制输入）。数据流分析器使用全局的，程序间的污染传播分析来检测源（用户输入站点）和信宿（危险函数调用或操作）之间的数据流。sca识别软件安全漏洞的---原因，并通过代码修复指导提供准确的，风险---的结果，使您的团队能够轻松解决---问题。例如，数据流分析器检测用户控制的---长度的输入字符串是否被---到静态大小的缓冲区中，并检测用户控制的字符串是否用于构造sql查询文本。

控制流程此分析仪检测潜在的危险操作序列。通过分析程序中的控制流程，控制流程分析器确定一组操作是否以一定顺序执行。fortify软件强化静态代码分析器fortify静态代码分析器在软件开发生命周期早期识别源代码中的安全漏洞，并提供jia实践，使开发人员可以更---编码。例如，控制流程分析器检测使用时间的检查/时间问题和未初始化的变量，并检查在使用之前是否正确配置了诸如xml读取器之类的实用程序。

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

“将findbugs xml转换为hp fortify sca fpr | main | ca---身份管理员安全研究---?

强化针对jsse api的sca自定义规则---

日期：2017年6月8日上午7:00

在提供gds安全sdlc服务的同时，我们经常开发一系列定制安全检查和静态分析规则，以检测我们在源代码安全评估中发现的不安全的编码模式。这些模式可以代表特定于正在评估的应用程序，其架构/设计，使用的组件或甚至开发团队本身的常见安全漏洞或---的安全弱点。fortify软件强化静态代码分析器使软件更快地生产阅读强力手册安全开发开发人员编写代码时，尽可能早地---修复。这些自定义规则经常被开发以针对特定语言，并且可以根据---使用的或者---的方式在特定的静态分析工具中实现 - 以前的例子包括findbugs，pmd，visual studio以及fortify sca。

使用findbugs审核不安全代码的scala

为spring mvc构建fortify自定义规则

用pmd保护发展

在本博客文章中，我将---于开发fortify sca的poc规则，以针对基于java的应用程序，然而，相同的概念可以轻松扩展到其他工具和/或开发语言。

影响duo mobile的近漏洞证实了georgiev等人的分析，他们展示了各种非浏览器软件，库和中间件中ssl / tls---验证不正确的---安全漏洞。

具体来说，在这篇文章中，我们---于如何识别java中ssl / tls api的不安全使用，这可能导致中间人或欺---性攻击，从而允许---主机模拟受---的攻击。将hp fortify sca集成到sdlc中可以使应用程序定期有效地扫描漏洞。·对企业中多个项目的多次测试结果进行统一管理，能够按项目或项目开发语言等多种方式查看测试结果的发展趋势，帮助管理人员定制安全策略。我们发现，由于ssl api---而导致的问题并未通过开箱即用的规则集确定，因此我们为fortify开发了一个全mian的12个自定义规则包。

允许所有的行动

应用程序不检查服务器发送的数字---是否发送到---正在连接的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，因此主机名验证被默认跳过。因此，如果攻击者在---连接到“domain.com”时在网络上具有mitm位置，则应用程序还将接受为“some-evil-domain.com”颁发的有效的服务器---。数据流分析器使用全局的，程序间的污染传播分析来检测源（用户输入站点）和信宿（危险函数调用或操作）之间的数据流。

这种记录的行为被掩埋在jsse参考指南中：

“当使用原始sslsocket和sslengine类时，您应该始终在发送任何数据之前检查对等体的凭据。 sslsocket和sslengine类不会自动验证url中的主机名与对等体凭