Vývojář Cppcheck (Daniel Marjamäki) plánuje přidat možnost ověřování softwaru v C a C++ do svého statického analyzátoru.
Ověření softwaru v Cppcheck
V režimu „ověřování“ Cppcheck vydá varování, pokud se nepodaří potvrdit, že je kód bezpečný; to může však způsobit šum (vícenásobná varování).
Plány realizace
Režim ověřování bude implementován postupně. V první fázi se práce zaměří na kontrolu „dělení na nula“. To je relativně jednoduchá kontrola. Každá funkce bude kontrolována jednotlivě. Předpokládá se, že všechny vstupy mohou mít libovolnou hodnotu. Kontroly jiných typů neurčitého chování budou přidány později. Také se plánuje zlepšit syntaktickou analýzu C a C++.
Zrychlení vývoje
Cílem sbírky prostředků na Kickstarteru je zrychlení vývoje režimu ověřování. Tento prvek bude přidán v každém případě, ale práce může trvat déle, pokud nebudou shromážděny prostředky. Pokud budou prostředky získány, Daniel si bude moci vzít volno ze své hlavní práce, aby mohl plně věnovat svůj pracovní čas projektu cppcheck.
Cíle projektu
Zlepšení analyzátoru C++.
Zdroj: linux.org.ru
