{"id":101563,"date":"2021-10-07T16:22:54","date_gmt":"2021-10-07T14:22:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2021-10-07T16:22:54","modified_gmt":"2021-10-07T14:22:54","slug":"vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/es\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Lanzamiento de cppcheck 2.6, un analizador est\u00e1tico de c\u00f3digo para los lenguajes C++ y C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Se ha lanzado una nueva versi\u00f3n del analizador est\u00e1tico de c\u00f3digo cppcheck 2.6, que permite identificar varias clases de errores en el c\u00f3digo de los lenguajes C y C++, incluyendo el uso de sintaxis no est\u00e1ndar, t\u00edpica de sistemas embebidos. Se proporciona una colecci\u00f3n de complementos mediante los cuales se asegura la integraci\u00f3n de cppcheck con varios sistemas de desarrollo, integraci\u00f3n continua y pruebas, as\u00ed como se ofrecen funcionalidades como la verificaci\u00f3n de conformidad del c\u00f3digo con el estilo de codificaci\u00f3n. Se puede utilizar tanto un analizador propio como un analizador externo de Clang para el an\u00e1lisis del c\u00f3digo. Tambi\u00e9n incluye un script donate-cpu.py para proporcionar recursos locales para realizar trabajos de revisi\u00f3n de c\u00f3digo en paquetes Debian. Los c\u00f3digos fuente del proyecto se distribuyen bajo la licencia GPLv3. <\/p>\n
El desarrollo de cppcheck se centra en identificar problemas relacionados con comportamientos indefinidos y el uso de construcciones que representan un riesgo de seguridad. Tambi\u00e9n se busca minimizar los falsos positivos. Entre los problemas identificados est\u00e1n: punteros a objetos inexistentes, divisiones por cero, desbordamientos enteros, operaciones incorrectas de desplazamiento a nivel de bits, conversiones inadecuadas, problemas al manejar la memoria, uso incorrecto de STL, desreferenciaci\u00f3n de punteros nulos, aplicaci\u00f3n de verificaciones despu\u00e9s del acceso real a un buffer, desbordamientos de buffers, y uso de variables no inicializadas. <\/p>\n
En la nueva versi\u00f3n: <\/p>\n
\n
Se han a\u00f1adido las siguientes verificaciones al n\u00facleo del analizador:\n
\n
ausencia del operador return en el cuerpo de la funci\u00f3n;\n
escritura de datos superpuestos, determinaci\u00f3n de comportamientos indefinidos;\n
el valor comparado est\u00e1 fuera del rango de representaci\u00f3n del tipo;\n
no se aplica optimizaci\u00f3n de copia para return std::move(local);\n
el archivo no puede abrirse simult\u00e1neamente para lectura y escritura en diferentes flujos; <\/ul>\n
para plataformas Unix se ha a\u00f1adido soporte para la salida de mensajes de diagn\u00f3stico en diferentes colores;\n
se ha a\u00f1adido an\u00e1lisis simb\u00f3lico para ValueFlow. Se utiliza una delta simple al calcular las diferencias entre dos variables desconocidas;\n
Las reglas utilizadas para la lista de tokens «define» tambi\u00e9n pueden aplicarse a #include;\n
La etiqueta de la biblioteca ahora puede contener la etiqueta , y en consecuencia, las funciones free, que pueden aceptar estos contenedores como std::size, std::empty, std::begin, std::end, etc., pueden indicar yield o action para los contenedores;\n
La etiqueta de biblioteca <smart-pointer> ahora puede contener la etiqueta <unique> para punteros inteligentes que tienen propiedad exclusiva (unique ownership). Ahora se emite una advertencia sobre las referencias «colgantes» a este tipo de punteros inteligentes;\n
Se han corregido problemas con el procesamiento del par\u00e1metro —cppcheck-build-dir;\n
htmlreport ahora puede mostrar informaci\u00f3n sobre el autor (usando git blame);\n
Se ha ampliado la emisi\u00f3n de advertencias sobre variables que no son constantes, pero que podr\u00edan serlo;\n
Se han corregido errores acumulados y problemas del analizador. <\/ul>\n