Cppcheck

Cppcheck es una herramienta de análisis de código estático para los lenguajes de programación C y C++ . Es una herramienta versátil que puede verificar código no estándar. ^{[ 2 ]} El creador y desarrollador principal es Daniel Marjamäki.

Cppcheck es un software de código abierto , cuyo código fuente principal se encuentra bajo la Licencia Pública General de GNU .

Cppcheck admite una amplia variedad de comprobaciones estáticas que el compilador podría no contemplar. Estas comprobaciones son análisis estáticos que se pueden realizar a nivel de código fuente. El programa está orientado a realizar análisis estáticos rigurosos, en lugar de heurísticos .

Algunas de las comprobaciones que se admiten incluyen:

• Comprobación automática de variables
• Comprobación de límites para desbordamientos de matrices
• Verificación de clases (por ejemplo, funciones no utilizadas, inicialización de variables y duplicación de memoria).
• Uso de funciones obsoletas o reemplazadas según Open Group ^{[ 3 ]}
• Verificación de seguridad ante excepciones, por ejemplo, comprobaciones del uso de la asignación de memoria y del destructor.
• Fugas de memoria , por ejemplo, debido a la pérdida de ámbito sin desasignación.
• Fugas de recursos , por ejemplo, debido a olvidar cerrar un identificador de archivo.
• Uso inválido de funciones y modismos de la Biblioteca de Plantillas Estándar.
• Eliminación de código muerto mediante la opción unusedFunction
• Errores estilísticos y de interpretación diversos

Como ocurre con muchos programas de análisis, existen numerosos casos inusuales de modismos de programación que pueden ser aceptables en casos específicos o estar fuera del alcance del programador para la corrección del código fuente. Un estudio realizado en marzo de 2009 identificó varias áreas donde Cppcheck encontró falsos positivos, pero no especificó la versión del programa examinada. ^{[ 4 ]} Se ha identificado el uso de Cppcheck en sistemas como el paquete de metaanálisis 4DSOFT del CERN , ^{[ 5 ]} para la verificación de código en dispositivos de lectura de detectores de partículas de alta energía, ^{[ 6 ]} software de monitorización de sistemas para radiotelescopios ^{[ 7 ]} así como en el análisis de errores de grandes proyectos, como OpenOffice.org ^{[ 8 ]} y el archivo Debian . ^{[ 9 ]}

El proyecto está en desarrollo activo ^{[ 10 ]} y se mantiene activamente en diferentes distribuciones. ^{[ 11 ] [ 12 ]} Ha encontrado errores válidos en varios proyectos populares ^{[ 13 ]} como el kernel de Linux y MPlayer . ^{[ 14 ]}

Existen complementos para los siguientes IDE o editores de texto ^{[ 15 ].}

• CLion ^{[ 16 ]}
• Code::Blocks - integrado.
• CodeLite - integrado.
• Eclipse ^{[ 17 ]}
• Emacs ^{[ 18 ]}
• gedit ^{[ 19 ]}
• Hudson ^{[ 20 ]}
• Jenkins ^{[ 21 ]}
• Kate ^{[ 22 ]}
• KDevelop ^{[ 23 ]}
• Qt Creator ^{[ 24 ]}
• Sublime Text ^{[ 25 ]}
• Visual Studio ^{[ 26 ] [ 27 ] [ 28 ]}
• Yasca ^{[ 29 ]}

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

• Cppcheck en SourceForge