Projekt Cppcheck shromažďuje finanční prostředky na implementaci vylepšení.

Vývojář Cppcheck (Daniel Marjamäki) přidá do svého statického analyzátoru možnost ověřovat software v C a C++.

Ověření softwaru v Cppcheck

V režimu "ověření" vydá Cppcheck varování, pokud nemůže ověřit, že kód je bezpečný, ale to může mít za následek šum (vícenásobná varování).

Prováděcí plány

Verifikační režim bude implementován postupně. V první fázi se práce soustředí na rozdělení nulovou kontrolou. Jedná se o poměrně jednoduchou kontrolu. Každá funkce bude testována samostatně. Předpokládá se, že všechna vstupní data mohou mít libovolnou hodnotu. Kontroly na další typy nedefinovaného chování budou přidány později. Existují také plány na zlepšení analýzy C a C++.

Zrychlení vývoje

Cílem fundraisingu na Kickstarteru je urychlit vývoj ověřovacího režimu. Tuto funkci plánujeme i tak přidat, ale pokud se nepodaří získat finanční prostředky, může to trvat déle. Pokud se podaří získat finanční prostředky, Daniel si bude moci vzít volno ze svého hlavního zaměstnání, aby se mohl plně věnovat projektu cppcheck.

Cíle projektu

• Eliminace falešných negativů z dělení nulovými testy v Juliet и ITC.

• Oprava falešně pozitivních výsledků (viz. CHYBA #9402).

• Vylepšení analyzátoru C++.

Zdroj: linux.org.ru