Coverity Scan

Coverity Scan

El análisis estático de Coverity Scan permite encontrar y corregir defectos en su proyecto de código abierto Java, C / C ++ o C # de forma gratuita.
El análisis estático de Coverity Scan permite encontrar y corregir defectos en su proyecto de código abierto Java, C / C ++ o C # de forma gratuita.Prueba cada línea de código y ruta de ejecución potencial.La causa raíz de cada defecto se explica claramente, lo que facilita la reparación de errores.En 2006, el servicio Coverity Scan se inició con el Departamento de Seguridad Nacional de los EE. UU. Como el proyecto de investigación del sector público-privado más grande del mundo, centrado en la calidad y seguridad del software de código abierto.Coverity ahora administra el proyecto, proporcionando su tecnología de prueba de desarrollo como un servicio gratuito a la comunidad de código abierto para ayudarlos a incorporar calidad y seguridad en su proceso de desarrollo de software.... Para obtener una lista de proyectos de código abierto con Coverity, consulte:
coverity-scan

Categorias

Alternativas a Coverity Scan para Linux

Cppcheck

Cppcheck

Cppcheck es una herramienta de análisis estático para código C / C ++.A diferencia de los compiladores C / C ++ y muchas otras herramientas de análisis, no detecta errores de sintaxis en el código.
PVS-Studio

PVS-Studio

PVS-Studio es un analizador estático que detecta errores en el código fuente de aplicaciones C, C ++ y C #.
Flawfinder

Flawfinder

Flawfinder examina el código fuente e informa sobre posibles debilidades de seguridad (`` fallas '') clasificadas por nivel de riesgo.
Splint

Splint

Splint es una herramienta para verificar estáticamente los programas de C en busca de vulnerabilidades de seguridad y errores de codificación.Con un esfuerzo mínimo, Splint se puede usar como una mejor pelusa.
Infer

Infer

Facebook Infer es una herramienta de análisis estático: si le da a Infer algún código Objective-C, Java o C, produce una lista de posibles errores.