Fortify软件强化静态代码分析器使软件更快地生产“将FINDBUGSXML转换为HPFORTIFYSCAFPR|MAIN|CA特权身份管理员安全研究白皮书?强化针对JSSEAPI的SCA自定义规则滥用允许所有的行动应用程序不检查服务器发送的数字证书是否发送到客户端正在连接的URL。Java安全套接字扩展（JSSE）提供两组API来建立安全通信，一个HttpsURLConnectionAPI和一个低级SSLSocketAPI。HttpsURLConnectionAPI默认执行主机名验证，再次可以通过覆盖相应的HostnameVerifier类中的verify（）方法来禁用（在GitHub上搜索以下代码时，大约有12，800个结果）。HostnameVerifierallHostsValid=newHostnameVerifier（）{publicbooleanverify（Stringhostname，SSLSessionsession）{返回真}};SSLSocketAPI不开箱即可执行主机名验证。以下代码是Java8片段，仅当端点标识算法与空字符串或NULL值不同时才执行主机名验证。privatevoidcheckTrusted（X509Certificate[]chain，StringauthType，SSLEngineengine，booleanisClient）throwsCertificateException{...StringidentityAlg=engine.getSSLParameters（）。getEndpointIdentificationAlgorithm（）;if（identityAlg！=null&&identityAlg.length（）！=0）{checkIdentity（session，chain[0]，identityAlg，源代码检测工具fortify扫描，isClient，getRequestedServerNames（发动机））;}...}当SSL/TLS客户端使用原始的SSLSocketFactory而不是HttpsURLConnection包装器时，识别算法设置为NULL，因此主机名验证被默认跳过。因此，如果攻击者在客户端连接到“domain.com”时在网络上具有MITM位置，则应用程序还将接受为“some-evil-domain.com”颁发的有效的服务器证书。这种记录的行为被掩埋在JSSE参考指南中：“当使用原始SSLSocket和SSLEngine类时，您应该始终在发送任何数据之前检查对等体的凭据。SSLSocket和SSLEngine类不会自动验证URL中的主机名与对等体凭FortifySCA产品组件及功能SourceCodeAnalysisEngine（源代码分析引擎）数据流分析引擎-----跟踪，记录并分析程序中的数据传递过程的安全问题语义分析引擎-----分析程序中不安全的函数，方法的使用的安全问题结构分析引擎-----分析程序上下文环境，结构中的安全问题控制流分析引擎-----分析程序特定时间，状态下执行操作指令的安全问题配置分析引擎-----分析项目配置文件中的敏感信息和配置缺失的安全问题特有的X-Tier?跟踪qi-----跨跃项目的上下层次，贯穿程序来综合分析问题SecureCodingRulepacks?（安全编码规则包）AuditWorkbench（审查工作台）CustomRuleEditor&CustomRuleWizard(规则自定义编辑器和向导)DeveloperDesktop(IDE插件）FortifySCA分析安全漏洞的标准OWASPtop2004/2007/2010/2013/2014(开放式Web应用程序安全项目)2.PCI1.1/1.2/2.0/3.0(国际信用ka资料安全技术PCI标准)3.WASC24+2(Web应用安全联合威胁分类)4.NISTSP800-53Rev.4(美国与技术研究院)5.FISMA(联邦信息安全管理法案)6.SANSTop252009/2010/2011(IT安全与研究组织)7.CWE(MITRE公司安全漏洞词典)Fortify软件强化静态代码分析器使软件更快地生产HPFortify静态代码分析器注意：HP-UX，IBM?AIX?，Oracle?Solaris?和FreeBSD不支持审核工作台和安全编码插件。注意：WindowsVista或更高版本不支持MicrosoftVisualStudio2003的安全编码包。国际平台与架构HPFortifySCA在以下平台上安装时支持双字节和国际字符集：操作系统版本架构LinuxRedHat?ES5，NovellSUSE10FedoraCore7x86：32位Windows?2003SP12008年Vista业务VistaUltimatex86：32位OracleSolaris10x86对于非英语平台，不支持以下内容：操作系统：Windows2000，HP-UX，IBMAIX，MacintoshOSX，OracleSolarisSPARC和所有64位架构应用服务器：Jrun，jBoss，BEAWeblogic10数据库：DB2注意：本版本中不包含本地化文档。语言HPFortifySCA支持以下编程语言：语言版本ASP.NET，VB.NET，C＃（.NET）1.1，2.0，3.0，3.5C/C++请参见“编译器”经典ASP（带VBScript）2/3COBOLIBMEnterpriseCobolforz/OS3.4.1与IMS，DB2，CICS，MQCFML5，7，8HTML2Java1.3，1.4，1.5，1.6的JavaScript/AJAX1.7JSPJSP1.2/2.1PHP5PL/SQL8.1.6Python2.6中T-SQLSQLServer2005VisualBasic6VBScript2.0/5.0ActionScript/MXML3和4XML1.0ABAP/4构建工具版本Ant1.5.x，1.6.x，1.7.xMaven2.0.9或更高版本编译器HPFortifySCA支持以下编译器：编译器操作系统GNUgcc2.9-4AIX，Linux，HP-UX，MacOS，Solaris，WindowsGNUg++3-4AIX，Linux，HP-UX，MacOS，Solaris，WindowsIBMjavac1.3-1.6AIX英特尔icc8.0LinuxMicrosoftcl12.x-13.xWindowsMicrosoftcsc7.1-8.xWindowsOraclecc5.5SolarisOraclejavac1.3-1.6Linux，HP-UX，MacOS，Solaris，Windows综合开发环境适用于Eclipse的HPFortify软件安全中心插件和用于VisualStudio的HPFortifySoftwareSecurityCenter软件包在以下平台上受支持：操作系统IDELinuxEclipse3.2，3.3，3.4，3.5，3.6RAD7，7.5RSA7，7.5JBuilder2008R2JDeveloper10.1.3，11.1.1WindowsEclipse3.2，3.3，3.4，3.5VisualStudio2003，2005，2008，fortify扫描，2010RAD6，7，源代码扫描工具fortify扫描，7.5RSA7，7.5JBuilder2008R2JDeveloper10.1.3，11.1.1MacOSXEclipse3.2，3.3，源代码审计工具fortify扫描，3.4，3.5，3.6JBuilder2008R2JDeveloper10.1.3，11.1.1注意：HPFortifySoftwareSecurityCenter不支持在64位JRE上运行的Eclipse3.4+。但是，HPFortify软件安全中心确实支持在64位平台上在32位JRE上运行的32位Eclipse。第三方整合HPFortifyAuditWorkbench和SecureCodePlug-ins（SCP）支持以下服务集成：服务应用版本支持的工具Bug创建Bugzilla3.0审核工作台，VisualStudioSCP，EclipseSCP惠普质量中心9.2，10.0审核工作台，EclipseSCP的MicrosoftTeamFoundationServer2005，2008，2010VisualStudioSCP注意：HPQualityCenter集成要求您在Windows平台上安装用于Eclipse的AuditWorkbench和/或SecureCodePlug-in。注意：HPQualityCenter集成需要您安装HPQC客户端加载项软件。注意：TeamFoundationServer集成需要您安装VisualStudioTeamExplorer软件。源代码检测工具fortify扫描-华克斯-fortify扫描由苏州华克斯信息科技有限公司提供。行路致远，砥砺前行。苏州华克斯信息科技有限公司致力成为与您共赢、共生、共同前行的战略伙伴，更矢志成为行业软件具有竞争力的企业，与您一起飞跃，共同成功!)