Cobertura - Coverity
| Tipo | Público |
|---|---|
| Industria | Pruebas de seguridad , análisis de programas estáticos , desarrollo de software |
| Fundado | Noviembre de 2002 |
| Destino | Adquirido por Synopsys en 2014 |
| Sede | San Francisco, CA |
Gente clave |
Andy Chou (cofundador) Andreas Kuehlmann (vicepresidente senior y gerente general) |
| Productos | Asesor de códigos de Coverity, Asesor de códigos de Coverity a pedido, Coverity Scan, Asesor de pruebas de Coverity, Buscador |
Número de empleados |
250+ |
| Padre | Synopsys, Inc. |
| Sitio web | synopsys |
Coverity es una herramienta de análisis de código estático patentada de Synopsys . Este producto permite a los ingenieros y equipos de seguridad encontrar y corregir defectos de software.
Antes de su adquisición por Synopsys , Coverity era una organización fundada en el Laboratorio de Sistemas Informáticos de la Universidad de Stanford en Palo Alto, California y con sede en San Francisco . En junio de 2008, Coverity adquirió Solidware Technologies. Y en febrero de 2014, Coverity anunció un acuerdo que adquirirá Synopsys , una empresa de automatización de diseño electrónico , por 350 millones de dólares netos de efectivo disponible.
Productos
Coverity es una herramienta de análisis 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 y mecanografiado. También es compatible con más de 70 marcos diferentes para Java, JavaScript, C # y otros lenguajes.
Coverity Scan es un servicio gratuito basado en la nube de análisis estático para la comunidad de código abierto .
Aplicaciones
En virtud de un contrato del Departamento de Seguridad Nacional de los Estados Unidos en 2006, la herramienta se utilizó para examinar más de 150 aplicaciones de código abierto en busca de errores; Se corrigieron 6000 errores encontrados por el escaneo en 53 proyectos.
La Administración Nacional de Seguridad del Tráfico en las Carreteras utilizó la herramienta en su investigación de 2010-2011 sobre informes de aceleración repentina no intencional en vehículos Toyota. La herramienta fue utilizada por el CERN en el software empleado en el Gran Colisionador de Hadrones y en el Laboratorio de Propulsión a Chorro de la NASA durante el desarrollo del software de vuelo del rover de Marte Curiosity .