PC-pelusa es un software comercial linting herramienta producida por Gimpel Software (anteriormente Gimp Traje Software Ltd.) para las C / C ++ idiomas.
PC-lint es una herramienta de línea de comandos para realizar análisis de código estático , que indica problemas sospechosos o simplemente 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 que el IDE es capaz de reconocer y procesar. Se anuncia que se ejecuta en Microsoft Windows y OS / 2. Una versión multiplataforma separada llamada FlexeLint también está disponible para Unix y otras plataformas, aunque a un costo sustancialmente mayor.
PC-lint se puede utilizar para garantizar la calidad del código fuente C o C ++ y verificar el código para verificar que cumpla con las pautas de codificación, como MISRA C o MISRA C ++. [1] También incluye comprobaciones de problemas exclusivos de los programas paralelos creados en subprocesos POSIX . [2]
La salida de PC-Lint se puede utilizar con 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 ( approxion.com ) y ahora reside en GitHub , proporcionando 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.