Projekt Cppcheck zbira sredstva za uvedbo izboljšav.

Razvijalec Cppcheck (Daniel Marjamäki) bo svojemu statičnemu analizatorju dodal možnost preverjanja programske opreme v C in C++.

Preverjanje programske opreme v Cppcheck

V načinu "preverjanja" bo Cppcheck izdal opozorilo, če ne more preveriti, ali je koda varna, vendar lahko to povzroči šum (več opozoril).

Izvedbeni načrti

Način preverjanja bo izveden zaporedno. Na prvi stopnji se bo delo osredotočilo na deljenje z ničelnim preverjanjem. To je razmeroma preprosto preverjanje. Vsaka funkcija bo testirana posebej. Predpostavlja se, da imajo lahko vsi vhodni podatki poljubno vrednost. Preverjanja za druge vrste nedefiniranega vedenja bodo dodana pozneje. Obstajajo tudi načrti za izboljšanje razčlenjevanja C in C++.

Pospeši razvoj

Cilj zbiranja sredstev na Kickstarterju je pospešiti razvoj načina preverjanja. Vseeno nameravamo dodati to funkcijo, vendar bo delo lahko trajalo dlje, če ne bomo zbrali sredstev. Če bodo sredstva zbrana, bo Daniel lahko vzel dopust iz svoje glavne službe, da bi svoj delovni čas v celoti posvetil projektu cppcheck.

Cilji projekta

• Odprava lažno negativnih rezultatov testov deljenja z ničlo v Juliet и ITC.

• Popravek lažno pozitivnih rezultatov (glejte. NAPAKA#9402).

• Izboljšava razčlenjevalnika C++.

Vir: linux.org.ru