PC-Lint

PC-lint es una herramienta comercial de análisis de código de software producida por Gimpel Software para los lenguajes C / C++ .

PC-lint es una herramienta de línea de comandos para realizar análisis estático de código , que detecta problemas sospechosos o errores evidentes en el código fuente. PC-lint se puede integrar en entornos de desarrollo integrados (IDE) como una herramienta externa, y el formato de los mensajes de advertencia se puede adaptar al formato que el IDE reconoce y procesa. Se anuncia su compatibilidad con Microsoft Windows y OS/2. También existe una versión multiplataforma independiente llamada FlexeLint para Unix y otras plataformas, aunque a un precio considerablemente mayor.

PC-lint se puede utilizar para el control de calidad del código fuente C o C++ y para comprobar que el código cumpla con las directrices de codificación como MISRA C o MISRA C++. ^{[ 1 ]} También incluye comprobaciones de problemas específicos de los programas paralelos construidos sobre hilos POSIX . ^{[ 2 ]}

La salida de PC-lint puede ser utilizada por herramientas adicionales para generar informes y presentar las advertencias de una forma más accesible. ^{[ 3 ]}

El motor ALOA fue lanzado originalmente de forma gratuita por Ralf Holly y ahora reside en GitHub , proporcionando informes de regresión que comparan múltiples ejecuciones de análisis estáticos de código.

Visual Lint proporciona integración con IDE, así como ayuda para comprender los mensajes de PC-lint e informes personalizables de las advertencias de lint. ^{[ 4 ]}

Linticator integra PC-lint en las herramientas de desarrollo de C/C++ de Eclipse para proporcionar retroalimentación en tiempo real en el editor y generar archivos de configuración y marcadores de supresión para PC-lint.

• Lista de herramientas para el análisis estático de código

• Sitio web de la empresa - Software Gimpel
• Integración de IDE comercial Visual Lint
• ALOA es un producto de regresión de código abierto para comparar ejecuciones de lint.
• Presentación de introducción a PC-lint , por Ralf Holly, v1.20, 9 de febrero de 2014.