Synopsys Software质量和安全解决方案

Coverity可使用高级源码分析技术在非常复杂的C、C++、Java、Objective-C、Javascript及C#码库中 发现最严重的质量缺陷和安全漏洞,并且利用专利技术深入分析并准确检测问题。
APPCHECK 可对应用程序和固件进行扫描,并列出所含代码和库文件相关的软件许可及对应的已知 漏洞。APPCHECK不仅能揭示开源的和私有的第三方代码和库文件,还能够枚举出对应的CVE(Common Vulnerabilities and Exposures)标识符以及相关的软件许可证。
Seeker 是交互式应用安全测试( IAST )领域的技术开创者,研发了一套完全区别于其他产品的解决方案。 Seeker 特有的技术能够在更好地理解脆弱性的背景下分析代码和数据,提供高度精确的网络安全漏洞检测。
Codenomicon DEFENSICS 健全性和安全性测试平台基于协议的健全性和安全性测试,面向IP, Wireless 和多媒体数据,旨在消灭软件安全漏洞,帮助客户发掘、管理和削弱未知漏洞威胁。