Razvijač Cppcheck (Daniel Marjamäki) planira dodati mogućnost verifikacije softvera za C i C++ u svoj statički analizator.
Verifikacija softvera u Cppcheck
U režimu 'verifikacije', Cppcheck će davati upozorenje ako ne uspije potvrditi da je kod siguran, međutim to može dovesti do buke (više upozorenja).
Planovi implementacije
Režim verifikacije biće implementiran postepeno. U prvom koraku, fokus će biti na provere 'deljenje sa nulom'. To je relativno jednostavna provera. Svaka funkcija će se proveravati odvojeno. Pri tome se pretpostavlja da svi ulazni podaci mogu imati proizvoljnu vrednost. Provere drugih tipova neodređenog ponašanja biće dodate kasnije. Takođe, planira se poboljšanje sintaktičke analize C i C++.
Ubrzanje razvoja
Cilj prikupljanja sredstava na Kickstarteru je ubrzanje razvoja režima verifikacije. Ova mogućnost će biti dodata u svakom slučaju, ali bi rad mogao potrajati više vremena ako sredstva ne budu prikupljena. Ako se sredstva prikupe, Daniel će moći uzeti odmor na svom glavnom poslu kako bi potpuno posvetio svoje radno vreme projektu cppcheck.
Ciljevi projekta
Poboljšanje analizatora C++.
Izvor: linux.org.ru
