Pelusa de PC
| Desarrollador(es) | Programa Gimpel |
|---|---|
| Sistema operativo | Microsoft Windows y OS/2 |
| Tipo | Análisis de código estático de código C / C++ |
| Sitio web | es.pclintplus.com |
PC-lint es una herramienta de análisis de software comercial producida por Gimpel Software para los lenguajes C / C++ .
PC-lint es una herramienta de línea de comandos para realizar análisis de código estático , que indica problemas sospechosos o claramente incorrectos en el código fuente. PC-lint se puede integrar en IDE como una herramienta externa, y el formato de los mensajes de advertencia se puede adaptar a la forma en que el IDE puede reconocerlos y procesarlos. Se anuncia como ejecutable en Microsoft Windows y OS/2. También está disponible una versión multiplataforma independiente llamada FlexeLint para Unix y otras plataformas, aunque a un costo sustancialmente mayor.
PC-lint se puede utilizar para garantizar la calidad del código fuente de C o C++ y para verificar que el código cumpla con las pautas de codificación, como MISRA C o MISRA C++. [1] También incluye verificaciones de problemas exclusivos de los programas paralelos creados en subprocesos POSIX . [2]
Posprocesamiento
La salida de PC-Lint puede ser utilizada por herramientas adicionales para generar informes y presentar las advertencias en un formato más accesible. [3]
El motor ALOA fue lanzado originalmente de forma gratuita por Ralf Holly y ahora se encuentra en GitHub , brindando informes de regresión que comparan múltiples ejecuciones de lints.
Visual Lint proporciona integración IDE, así como ayuda para comprender los mensajes de PC-Lint e informes personalizables de las advertencias de pelusa. [4]
Linticator integra PC-lint en las herramientas de desarrollo Eclipse C/C++ para proporcionar retroalimentación en vivo en el editor y generar archivos de configuración y marcadores de supresión para PC-Lint.
Véase también
Referencias
- ^ Comprobación de conformidad con MISRA, PC-lint/FlexeLint.
- ^ Andrey Karpov (junio de 2009). "Pelusa paralela". Diario del Dr. Dobb.
- ^ Jon Zyzyck (febrero de 2003). "Un generador de informes para PC-Lint". Diario del Dr. Dobb.
- ^ "Riverblade - Beneficios y características de Visual Lint".
Enlaces externos
- Sitio web de la empresa - Gimpel Software
- Integración de IDE comercial Visual Lint
- Producto de regresión de código abierto ALOA para comparar ejecuciones de lint
- Presentación de introducción a PC-lint, por Ralf Holly, v1.20, 9 de febrero de 2014.
