A Cppcheck projekt pénzeszközöket gyűjt a fejlesztések megvalósításához.

A Cppcheck fejlesztője (Daniel Marjamäki) a szoftver ellenőrzésének lehetőségét C és C++ nyelven fogja hozzáadni statikus elemzőjéhez.

Szoftverellenőrzés a Cppcheckben

Ellenőrzési módban a Cppcheck figyelmeztetést ad ki, ha nem tudja ellenőrizni a kód biztonságosságát, de ez zajt (több figyelmeztetést) eredményezhet.

Megvalósítási tervek

Az ellenőrzési mód szekvenciálisan kerül végrehajtásra. Az első szakaszban a munka a nulla ellenőrzéssel történő osztásra fog koncentrálni. Ez egy viszonylag egyszerű ellenőrzés. Mindegyik funkciót külön teszteljük. Feltételezzük, hogy minden bemeneti adatnak tetszőleges értéke lehet. A meghatározatlan viselkedés egyéb típusainak ellenőrzése később kerül hozzáadásra. Tervben van a C és C++ elemzés fejlesztése is.

Fejlődési gyorsulás

A Kickstarter adománygyűjtésének célja az ellenőrzési mód fejlesztésének felgyorsítása. Ezt a funkciót egyébként is tervezzük hozzáadni, de a munka tovább tarthat, ha nem gyűlik össze az összeg. Ha összegyűlik a pénz, Daniel szabadságot vehet ki főállásából, hogy teljes munkaidejét a cppcheck projektnek szentelhesse.

Projekt céljai

• A hamis negatívok kiküszöbölése a nulla tesztekkel való osztásból Juliet и ITC.

• A hamis pozitív eredmények korrekciója (lásd. BUG#9402).

• A C++ elemző továbbfejlesztése.

Forrás: linux.org.ru