Projekt Cppcheck zhromažďuje finančné prostriedky na implementáciu zlepšení.

Vývojár Cppcheck (Daniel Marjamäki) pridá do svojho statického analyzátora možnosť overovania softvéru v C a C++.

Overenie softvéru v Cppcheck

V režime „overenie“ vydá Cppcheck varovanie, ak nemôže overiť, či je kód bezpečný, čo však môže mať za následok šum (viacnásobné varovania).

Realizačné plány

Verifikačný režim bude implementovaný postupne. V prvej etape sa práce sústredia na rozdelenie nulovou kontrolou. Ide o pomerne jednoduchú kontrolu. Každá funkcia bude testovaná samostatne. Predpokladá sa, že všetky vstupné údaje môžu mať ľubovoľnú hodnotu. Kontroly na iné typy nedefinovaného správania budú pridané neskôr. Plánuje sa aj zlepšenie analýzy C a C++.

Urýchliť vývoj

Cieľom fundraisingu na Kickstarteri je urýchliť vývoj overovacieho režimu. Túto funkciu plánujeme aj tak pridať, ale ak sa nezískajú prostriedky, práca môže trvať dlhšie. Ak sa financie vyzbierajú, Daniel si bude môcť zo svojho hlavného zamestnania vziať dovolenku, aby sa mohol naplno venovať projektu cppcheck.

Ciele projektu

• Odstránenie falošných negatívov z delenia nulovými testami v juliet и ITC.

• Oprava falošne pozitívnych výsledkov (pozri. CHYBA #9402).

• Vylepšenie syntaktického analyzátora C++.

Zdroj: linux.org.ru