A Cppcheck fejlesztője (Daniel Marjamäki) lehetőséget kíván hozzáadni a C és C++ szoftverek ellenőrzésére statikus elemzőjében.
Szoftver ellenőrzés a Cppcheck-ben
Az "ellenőrzés" módban a Cppcheck figyelmeztetést fog kiadni, ha nem sikerül megerősíteni, hogy a kód biztonságos, azonban ez zajhoz (több figyelmeztetéshez) vezethet.
Megvalósítási tervek
Az ellenőrzési módszert fokozatosan fogják megvalósítani. Az első lépésben a "nullával való osztás" ellenőrzésére összpontosítanak. Ez egy viszonylag egyszerű ellenőrzés. Minden függvényt külön fognak ellenőrizni, feltételezve, hogy minden bemeneti adat tetszőleges értéket ölthet. Különböző típusú meghatározatlan viselkedés ellenőrzéseit később fogják hozzáadni. Ezenkívül a C és C++ szintaxis javítását is tervezik.
A fejlesztés felgyorsítása
A Kickstarter kampány célja a verifikációs módszer fejlesztésének felgyorsítása. Ezt a lehetőséget mindenképpen hozzá fogják adni, de a munka több időt vehet igénybe, ha nem gyűlnek össze a szükséges források. Ha a forrásokat sikerül összegyűjteni, Daniel szabadságot tud venni a fő munkájából, hogy teljes egészében a cppcheck projektre összpontosíthasson.
A projekt céljai
A C++ elemző javítása.
Forrás: linux.org.ru
