La programisto de Cppcheck (Daniel Marjamäki) aldonos la kapablon kontroli programaron en C kaj C++ al sia statika analizilo.
Programaro-konfirmo en Cppcheck
En "kontrola" reĝimo, Cppcheck eligos averton se ĝi ne povas kontroli, ke la kodo estas sekura, sed ĉi tio povas rezultigi bruon (multoblajn avertojn).
Planoj de efektivigo
La konfirmreĝimo estos efektivigita sinsekve. En la unua etapo, laboro koncentriĝos pri la divido per nula kontrolo. Ĉi tio estas relative simpla kontrolo. Ĉiu funkcio estos provita aparte. Oni supozas, ke ĉiuj enigdatenoj povas havi arbitran valoron. Kontroloj por aliaj specoj de nedifinita konduto estos aldonitaj poste. Estas ankaŭ planoj plibonigi C kaj C++-analizadon.
Akceli disvolviĝon
La celo de monkolektado ĉe Kickstarter estas akceli la disvolviĝon de la kontrola reĝimo. Ni planas aldoni ĉi tiun funkcion ĉiukaze, sed la laboro eble daŭros pli longe se monoj ne estas kolektitaj. Se la monrimedoj estos kolektitaj, Daniel povos preni forpermeson de sia ĉefa laboro por plene dediĉi sian labortempon al la projekto cppcheck.
Projektceloj
-
Forigo de falsaj negativoj de divido per nul testoj en Julieta и ITC.
-
Korekto de falsaj pozitivoj (vidu. CIMO#9402).
-
Plibonigo de la C++-analizilo.
fonto: linux.org.ru