Coverity - Coverity
Modelo | Público |
---|---|
Indústria | Teste de segurança , análise estática de programa , desenvolvimento de software |
Fundado | Novembro de 2002 |
Destino | Adquirida pela Synopsys em 2014 |
Quartel general | São Francisco, CA |
Pessoas chave |
Andy Chou (cofundador) Andreas Kuehlmann (vice-presidente sênior e gerente geral) |
Produtos | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
Número de empregados |
250+ |
Pai | Synopsys, Inc. |
Local na rede Internet | synopsys |
Coverity é uma ferramenta proprietária de análise de código estático da Synopsys . Este produto permite que engenheiros e equipes de segurança encontrem e corrijam defeitos de software.
Antes de sua aquisição pela Synopsys , a Coverity era uma organização fundada no Computer Systems Laboratory da Stanford University em Palo Alto, Califórnia, e com sede em San Francisco . Em junho de 2008, a Coverity adquiriu a Solidware Technologies. E em fevereiro de 2014, a Coverity anunciou um acordo a ser adquirido pela Synopsys , uma empresa de automação de design eletrônico , por US $ 350 milhões líquidos de caixa em caixa.
Produtos
Coverity é uma ferramenta de análise de código estático para C , C ++ , C # , Java , JavaScript , PHP , Python , .NET , ASP.NET , Objective-C , Go , JSP, Ruby , Swift , Fortran , Scala , VB.NET , ioS , and Typescript. Ele também oferece suporte a mais de 70 estruturas diferentes para Java, JavaScript, C # e outras linguagens.
Coverity Scan é um serviço gratuito baseado em nuvem de análise estática para a comunidade de código aberto .
Formulários
Sob um contrato do Departamento de Segurança Interna dos Estados Unidos em 2006, a ferramenta foi usada para examinar mais de 150 aplicativos de código aberto em busca de bugs; 6.000 bugs encontrados pela varredura foram corrigidos em 53 projetos.
A Administração Nacional de Segurança do Tráfego Rodoviário usou a ferramenta em sua investigação de 2010-2011 sobre relatos de aceleração repentina não intencional em veículos Toyota. A ferramenta foi utilizada por CERN no software empregado no Large Hadron Collider e na NASA Jet Propulsion Laboratory, durante o desenvolvimento do software de vôo Mars rover Curiosity .