El proyecto Cppcheck está recaudando fondos para implementar mejoras.

El desarrollador de Cppcheck (Daniel Marjamäki) agregará la capacidad de verificar software en C y C++ a su analizador estático.

Verificación de software en Cppcheck

En el modo de "verificación", Cppcheck emitirá una advertencia si no puede verificar que el código sea seguro, pero esto puede generar ruido (múltiples advertencias).

Planes de implementación

El modo de verificación se implementará de forma secuencial. En la primera etapa, el trabajo se concentrará en el control de división por cero. Esta es una verificación relativamente simple. Cada función se probará por separado. Se supone que todos los datos de entrada pueden tener un valor arbitrario. Más adelante se agregarán comprobaciones de otros tipos de comportamiento indefinido. También hay planes para mejorar el análisis de C y C++.

Acelerar el desarrollo

El objetivo de la recaudación de fondos en Kickstarter es acelerar el desarrollo del modo de verificación. Planeamos agregar esta función de todos modos, pero el trabajo puede llevar más tiempo si no se recaudan fondos. Si se recaudan los fondos, Daniel podrá ausentarse de su trabajo principal para dedicar plenamente su tiempo de trabajo al proyecto cppcheck.

Objetivos del proyecto

• Eliminación de falsos negativos de las pruebas de división por cero en Julieta и ITC.

• Corrección de falsos positivos (ver. ERROR#9402).

• Mejora del analizador de C++.

Fuente: linux.org.ru