El projecte Cppcheck està recaptant fons per implementar millores.

El desenvolupador de Cppcheck (Daniel Marjamäki) afegirà la possibilitat de verificar programari en C i C++ al seu analitzador estàtic.

Verificació de programari a Cppcheck

En el mode de "verificació", Cppcheck emetrà un avís si no pot verificar que el codi sigui segur, però això pot provocar soroll (avisos múltiples).

Plans d'execució

El mode de verificació s'implementarà de manera seqüencial. En una primera fase, el treball es concentrarà en la divisió per zero. Aquesta és una comprovació relativament senzilla. Cada funció es provarà per separat. Se suposa que totes les dades d'entrada poden tenir un valor arbitrari. Les comprovacions d'altres tipus de comportament no definit s'afegiran més endavant. També hi ha plans per millorar l'anàlisi de C i C++.

Accelera el desenvolupament

L'objectiu de la recaptació de fons a Kickstarter és accelerar el desenvolupament del mode de verificació. Tenim previst afegir aquesta funció de totes maneres, però el treball pot trigar més si no es recapten fons. Si es recapten els fons, en Daniel podrà acollir-se a una excedència de la seva feina principal per dedicar totalment el seu temps de treball al projecte cppcheck.

Objectius del projecte

• Eliminació de falsos negatius de les proves de divisió per zero Juliet и ITC.

• Correcció de falsos positius (vegeu. ERROR #9402).

• Millora de l'analitzador C++.

Font: linux.org.ru