PC-lint
Analizador estático para C/C++
PC-lint es una herramienta lint comercial desarrollada por Gimpel Software para los lenguajes de programación C/C++. La herramienta realiza un análisis estático de software, buscando e indicando errores y posibles problemas en el código fuente del programa.
PC-lint | ||
---|---|---|
Información general | ||
Tipo de programa | Lint | |
Autor | James Gimpel | |
Desarrollador | Gimpel Software LLC | |
Lanzamiento inicial | 05 de 1985 | |
Licencia | Software propietario | |
Información técnica | ||
Estándares | C/C++ | |
Versiones | ||
Última versión estable | 9.00L (info) ( 16 de octubre de 2014 (10 años, 3 meses y 8 días)) | |
Historial de versiones | FlexeLint (para otros sistemas operativos) | |
Enlaces | ||
PC-lint es una herramienta de línea de comandos para los sistemas operativos Windows y MS-DOS. La herramienta puede ser integrada en varios IDEs como herramienta externa.[1] La versión multiplataforma de PC-lint se denomina FlexeLint.[2]
Desde la versión 9.00a es capaz de analizar la correcta exclusión mutua en programas multihilo.[3][4] También es capaz de analizar el código según un conjunto específico de reglas o recomendaciones, como las de MISRA C y MISRA C++.
Véase también
editarReferencias
editar- ↑ «Gimpel Software Links» (en inglés). Consultado el 30 de junio de 2015.
- ↑ «Gimpel Software Mission Statement» (en inglés). Consultado el 30 de junio de 2015.
- ↑ «What's new in Gimpel Software's PC-lint/FlexeLint 9.00» (en inglés). Consultado el 30 de junio de 2015.
- ↑ Karpov, Andrey (17 de junio de 2009). «Paralell Lint» (en inglés). Dr. Dobb's Journal. Consultado el 30 de junio de 2015.
Enlaces externos
editar- Página web del desarrollador. Gimpel Software
- Integración de PC-lint en el entorno Visual: Visual Lint
- Herramienta de código abierto para comparar distintas ejecuciones de PC-lint: ALOA
- Presentación: Introducción a PC-lint