Projekt Cppcheck zbiera prostriedky na realizáciu vylepšení

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

Overovanie softvéru v Cppcheck

V režime „overovania“ Cppcheck vydá varovanie, ak sa nepodarí potvrdiť, že kód je bezpečný, čo môže viesť k šumu (viacnásobným varovaniam).

Plány realizácie

Režim overovania bude implementovaný postupne. V prvej fáze sa práca zameria na kontrolu „delenia na nulu“. Táto kontrola je relatívne jednoduchá. Každá funkcia bude overená samostatne. Predpokladá sa, že všetky vstupné údaje môžu mať ľubovoľnú hodnotu. Kontroly iných typov neurčitého správania budú pridané neskôr. Takisto sa plánuje zlepšiť syntaktická analýza C a C++.

Zrýchlenie vývoja

Cieľ zberu prostriedkov na Kickstarteri je urýchliť vývoj režimu overovania. Táto funkcia sa plánuje pridať tak ako tak, ale práca môže trvať dlhšie, ak nebudú získané prostriedky. Ak však budú prostriedky získané, Daniel si bude môcť vziať dovolenku v hlavnej práci, aby sa mohol plne venovať projektu cppcheck.

Ciele projektu

• Odstránenie falošne negatívnych výsledkov testov delenia na nulu v Juliet a ITC.

• Oprava falošne pozitívneho výsledku (pozri BUG#9402).

• Zlepšenie analyzátora C++.

Zdroj: linux.org.ru