Cobertura
 | |
| Tipo de empresa | Público |
|---|---|
| Industria | Pruebas de seguridad , análisis de programas estáticos , desarrollo de software |
| Fundado | Noviembre de 2002 ( 2002-11 ) |
| Destino | Adquirida por Synopsys en 2014 |
| Sede | Anteriormente San Francisco, California |
Personas clave | Jason Schmitt (actual gerente general) |
| Productos | Asesor de códigos de Coverity, Asesor de códigos de Coverity a pedido, Escaneo de Coverity, Asesor de pruebas de Coverity, Buscador |
Número de empleados | 250+ |
| Padre | Sinopsis, Inc. |
| Sitio web | synopsys.com/software-integrity.html |
Coverity es una herramienta de análisis de código estático patentada por Synopsys . Este producto permite a los ingenieros y equipos de seguridad encontrar y solucionar defectos de software.
Coverity comenzó como una empresa de software independiente en 2002 en el Laboratorio de Sistemas Informáticos de la Universidad de Stanford en Palo Alto, California. Fue fundada por Benjamin Chelf, Andy Chou, David Park y Seth Hallem con el profesor de Stanford Dawson Engler como asesor técnico. La sede se trasladó a San Francisco . En junio de 2008, Coverity adquirió Solidware Technologies. [1] En febrero de 2014, Coverity anunció un acuerdo para ser adquirida por Synopsys , una empresa de automatización de diseño electrónico , por 375 millones de dólares en efectivo. [2]
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 y TypeScript . También es compatible con más de 70 marcos diferentes para Java, JavaScript, C# y otros lenguajes. [3]
Coverity Scan es un servicio gratuito de análisis estático basado en la nube 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; los 6000 errores encontrados durante el análisis se solucionaron en 53 proyectos. [4]
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 intencionada en vehículos Toyota. [5] [6] La herramienta fue utilizada por el CERN en el software empleado en el Gran Colisionador de Hadrones [7] [8] y en el Laboratorio de Propulsión a Chorro de la NASA durante el desarrollo del software de vuelo del rover Curiosity en Marte . [9]
Referencias
- ^ Krill, Paul (30 de junio de 2008). "Coverity compra Solidware para impulsar el análisis de código". Infoworld.com. Archivado desde el original el 10 de octubre de 2008. Consultado el 29 de enero de 2011 .
- ^ "Synopsys entra en el mercado de la seguridad y la calidad del software con la adquisición de Coverity". PR Newswire. 19 de febrero de 2014. Consultado el 20 de febrero de 2014 .
- ^ "Hoja de datos de análisis estático de Coverity" (PDF) . Synopsys.com . Consultado el 15 de julio de 2019 .
- ^ [ "LAMP ilumina el camino en seguridad de código abierto : Noticias : Seguridad - ZDNet Asia". Archivado desde el original el 14 de junio de 2009 . Consultado el 4 de mayo de 2006 .“LAMP ilumina el camino en seguridad de código abierto” – ZDNet
- ^ "Estados Unidos utilizó herramientas clave para examinar el software relacionado con la aceleración de Toyota" Archivado el 26 de mayo de 2013 en Wayback Machine.
- ^ "Apoyo técnico a la Administración Nacional de Seguridad del Tráfico en las Carreteras en relación con la investigación sobre aceleración involuntaria denunciada por Toyota Motor Corporation" Archivado el 13 de febrero de 2011 en Wayback Machine.
- ^ "El CERN elige a Coverity para garantizar la precisión del software del Gran Colisionador de Hadrones"
- ^ "Mejorando la investigación científica: el CERN y el análisis estático de Coverity"
- ^ "Coverity: Los 'médicos espaciales' del explorador marciano Curiosity buscan insectos en el espacio"
