El desarrollador de Cppcheck (Daniel Marjamäki) planea agregar la capacidad de verificación de 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 se puede confirmar que el código es seguro, sin embargo, 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 la verificación de «división por cero». Esta es una verificación relativamente sencilla. Cada función se verificará por separado. Se supone que todos los datos de entrada pueden tener valores arbitrarios. Se agregarán verificaciones de otros tipos de comportamiento indefinido más adelante. También se planea mejorar el análisis sintáctico de C y C++.
Aceleración del desarrollo
El objetivo de la recaudación de fondos en Kickstarter es acelerar el desarrollo del modo de verificación. Se planea agregar esta funcionalidad de todos modos, pero el trabajo puede tardar más si no se recaudan los fondos. Si se recaudan los fondos, Daniel podrá tomarse un descanso de su trabajo principal para dedicarse completamente al proyecto cppcheck.
Objetivos del proyecto
Mejora del analizador de C++.
Fuente: linux.org.ru
