Créée par essaimage du Computer Science Laboratory de l'université de Stanford (Californie), la société Coverity est spécialisée dans les outils de test de la sécurité et de la qualité des logiciels. Ses produits permettent de tester de manière automatique le code source d'un logiciel pour en détecter les défauts qui pourraient conduire à des défaillances de produits, à des comportements erratiques, à des brèches de sécurité ou à des pannes catastrophiques. La société Coverity a été acquise par Synopsys en mars 2014 pour 334 millions de dollars.