Coverity Prevent es una de las herramientas de medición de la calidad del producto basadas en análisis estático del código líder en el mercado actual. Entre los usuarios de esta herramienta se encuentran importantes organizaciones como IBM, Oracle o la NASA, además de proyectos relacionados con el software libre como el anteriormente comentado “Bug Hunting”. Coverity Prevent realiza el análisis de los defectos del código utilizando la combinación de dos técnicas, el análisis inter-procedural del flujo de datos y el análisis estadístico. Para ello sigue un proceso que se compone de tres fases:
- Emisión: Una vez configurado, el compilador genera una representación binaria interna del código del proyecto y lo almacena en lo que se denomina el Repositorio de Emisión (Emit Repository).
- Análisis: Primero el motor de inferencia analiza el repositorio mediante las dos técnicas comentadas anteriormente y después almacena los resultados en una base de datos. Después, el motor de análisis busca los defectos en la base de datos generada por el motor de inferencia. Los defectos buscados por el motor de análisis dependerán de los chequeos configurados por el usuario.
- Representación: Finalmente, Coverity Prevent convierte los resultados obtenidos durante la búsqueda en un archivo XML. Estos resultados pueden ser utilizados como entrada para otros programas o visualizados mediante una interfaz Web.
|  |
