就在Facebook收购Whatsapp的同一天，Synopsys以3.75亿美金收购了代码分析测试公司Coverity。
Coverity是软件开发测试领域的领导者，好奇号火星车飞行和着落功能软件（200多万行代码）即由Coverity测试。全世界有超过1100家组织提供服务使用Coverity开发测试套装产品，自动测试源代码查找软件缺陷，这些缺陷可能导致产品出现崩溃、意外行为、安全漏洞或灾难性故障等情况。
Coverity 的核心技术是“静态分析”（static analysis）。静态分析技术是指在不运行程序的情况下，经过对代码的分析，自动的找到程序里面可能出现的问题。Coverity的技术主要针对C、C++、Java等语言。因为Coverity在该领域掌握了世界上最先进的一些技术，所以虽然是一家只有200多人的小公司，却让很多人离不开它。这家小公司的忠实客户，包括了一系列巨头：美国宇航局， 波音， 洛克希德马丁，雷神（Raytheon），BAE Systems，丰田，欧洲原子能中心（CERN）…… 事实上，Coverity的客户包括：
- 世界排名前10位的7家国际品牌
- 航空航天和国防领域全球排名前10位的公司
- 全球消费性电子产品排名前10位的公司
- 顶级电信公司排名前10家的8家公司
- 排名前10位软件公司中的前7家
Synopsys公司（Nasdaq: SNPS）是全球领先的电子设计自动化（EDA）软件工具领导厂商，为全球电子市场提供技术先进的集成电路（IC）设计与验证平台，致力于复杂的芯片上系 统（SoCs）的开发。Synopsys公司总部 设在美国加利福尼亚州Mountain View，有超过60家分公司分布在北美、欧洲、日本与亚洲。
