
源代码审计工具fortify服务商-苏州华克斯
Fortify软件强化静态代码分析器使软件更快地生产语义本分析仪在程序级别检测功能和API的潜在危险用途。基本上是一个聪明的GREP。配置此分析器在应用程序的部署配置文件中搜索错误,弱点和策略违规。缓冲区此分析仪检测缓冲区溢出漏洞,涉及写入或读取比缓冲区容纳的更多数据。分享这个于十二月二十四日十二时十七分感谢你非常有用的信息。你知道这些分析仪在内部工作吗?如果您提供一些细节,我将非常感谢。-新手十二月2712at4:221有一个很好的,但干燥的书的主题:amazon.com/Secure-Programming-Static-Analysis-Brian/dp/...-LaJmOnNov812at16:09现在还有一个内容分析器,尽管这与配置分析器类似,源代码扫描工具fortify服务商,除非在非配置文件中搜索问题(例如查找HTML,源代码审计工具fortify服务商,JSPforXPath匹配)-lavamunky11月28日13日11:38@LaJmOn有一个非常好的,但在完全不同的抽象层次,我可以用另一种方式回答这个问题:您的源代码被转换为中间模型,该模型针对SCA的分析进行了优化。某些类型的代码需要多个阶段的翻译。例如,需要先将C#文件编译成一个debug.DLL或.EXE文件,然后将该.NET二进制文件通过.NETSDK实用程序ildasm.exe反汇编成MicrosoftIntermediateLanguage(MSIL)。而像其他文件(如Java文件或ASP文件)由相应的FortifySCA翻译器一次翻译成该语言。SCA将模型加载到内存中并加载分析器。每个分析器以协调的方式加载规则并将这些角色应用于程序模型中的功能。匹配被写入FPR文件,漏洞匹配信息,安全建议,源代码检测工具fortify服务商,源代码,源交叉引用和代码导航信息,用户过滤规范,任何自定义规则和数字签名都压缩到包中。FortifySoftware的目标:避免企业所使用的软件中存在安全漏洞FortifySoftware的方法:提高软件自身的安全防御能力FortifySoftware的解决方案:解决软件开发过程中,软件开发人员、安全评审人员和项目管理人员的通力配合的难题。FortifySoftware的安全产品中包括:Fortify的源代码分析工具集Fortify软件安全管理qiFortify应用防卫管理qiFortify安全测试跟踪qiFortify软件强化静态代码分析器使软件更快地生产“将FINDBUGSXML转换为HPFORTIFYSCAFPR|MAIN|CA特权身份管理员安全研究白皮书?强化针对JSSEAPI的SCA自定义规则滥用我们的贡献:强制性的SCA规则为了检测上述不安全的用法,我们在HPFortifySCA的12个自定义规则中对以下检查进行了编码。这些规则确定了依赖于JSSE和ApacheHTTPClient的代码中的问题,因为它们是厚客户端和Android应用程序的广泛使用的库。超许可主机名验证器:当代码声明一个HostnameVerifier时,该规则被触发,并且它总是返回true。函数f:f.name是“verify”和f.enclosingClass.supers包含[Class:name==“javax.net.ssl.HostnameVerifier”]和f.parameters[0].type.name是“java.lang.String”和f.parameters[1].type.name是“javax.net.ssl.SSLSession”和f.returnType.name是“boolean”,f包含[ReturnStatementr:r.expression.ctantValuematches“true”]]]>过度允许的信任管理器:当代码声明一个TrustManager并且它不会抛出一个CertificateException时触发该规则。抛出异常是API管理意外状况的方式。函数f:f.name是“checkServerTrusted”和f.parameters[0].type.name是“java.security.cert.X509Certificate”和f.parameters[1].type.name是“java.lang.String”和f.returnType.name是“void”而不是f包含[ThrowStatementt:t.expression.type.definition.supers包含[Class:name==“(javax.security.cert.CertificateException|java.security.cert.CertificateException)”]]]>缺少主机名验证:当代码使用低级SSLSocketAPI并且未设置HostnameVerifier时,将触发该规则。经常被误用:自定义HostnameVerifier:当代码使用HttpsURLConnectionAPI并且它设置自定义主机名验证器时,fortify服务商,该规则被触发。经常被误用:自定义SSLSocketFactory:当代码使用HttpsURLConnectionAPI并且它设置自定义SSLSocketFactory时,该规则被触发。我们决定启动“经常被滥用”的规则,因为应用程序正在使用API,并且应该手动审查这些方法的重写。规则包可在Github上获得。这些检查应始终在源代码分析期间执行,以确保代码不会引入不安全的SSL/TLS使用。https://github.com/GDSSecurity/JSSE_Fortify_SCA_RulesAuthorAndreaScaduto|评论关闭|分享文章分享文章标签TagCustom规则,CategoryApplication安全性中的TagSDL,CategoryCustom规则源代码审计工具fortify服务商-苏州华克斯由苏州华克斯信息科技有限公司提供。苏州华克斯信息科技有限公司位于苏州工业园区新平街388号。在市场经济的浪潮中拼博和发展,目前华克斯在行业软件中享有良好的声誉。华克斯取得全网商盟认证,标志着我们的服务和管理水平达到了一个新的高度。华克斯全体员工愿与各界有识之士共同发展,共创美好未来。)