De Cppcheck Projet sammelt Fongen fir Verbesserungen ëmzesetzen.

Den Entwéckler vu Cppcheck (Daniel Marjamäki) wäert d'Fäegkeet addéieren fir Software an C an C ++ ze verifizéieren op säi statesche Analysator.

Software Verifikatioun am Cppcheck

Am "Verifikatioun" Modus wäert Cppcheck eng Warnung erausginn wann et net verifizéiere kann datt de Code sécher ass, awer dëst kann zu Kaméidi féieren (Multiple Warnungen).

Ëmsetzung Pläng

De Verifizéierungsmodus gëtt sequenziell ëmgesat. Op der éischter Etapp gëtt d'Aarbecht op d'Divisioun duerch Nullcheck konzentréiert. Dëst ass e relativ einfache Scheck. All Funktioun gëtt getrennt getest. Et gëtt ugeholl datt all Inputdaten en arbiträre Wäert hunn. Schecken fir aner Aarte vun ondefinéiert Verhalen ginn spéider bäigefüügt. Et ginn och Pläng fir C an C ++ Parsing ze verbesseren.

Beschleunegt d'Entwécklung

D'Zil vun der Spendenaktioun op Kickstarter ass d'Entwécklung vum Verifizéierungsmodus ze beschleunegen. Mir plangen dës Feature souwisou ze addéieren, awer d'Aarbecht kann méi laang daueren wann d'Fongen net gesammelt ginn. Wann déi Sue gesammelt ginn, kann den Daniel e Congé vu senger Haaptaufgab huelen, fir seng Aarbechtszäit voll fir de Projet cppcheck ze widmen.

Projet Ziler

• Eliminéiert falsch Negativer aus Divisioun duerch Null Tester an Juliet и ITC.

• Korrektur vu falschen Positiven (kuckt. BUG #9402).

• Verbesserung vum C++ Parser.

Source: linux.org.ru