Проектот Cppcheck собира средства за спроведување на подобрувања.

Развивачот на Cppcheck (Даниел Марјамаки) ќе додаде можност за проверка на софтвер во C и C++ на неговиот статичен анализатор.

Проверка на софтвер во Cppcheck

Во режимот „верификација“, Cppcheck ќе издаде предупредување ако не може да потврди дека кодот е безбеден, но тоа може да резултира со бучава (повеќе предупредувања).

Планови за имплементација

Режимот за верификација ќе се имплементира последователно. Во првата фаза, работата ќе се концентрира на поделбата со нулта проверка. Ова е релативно едноставна проверка. Секоја функција ќе се тестира посебно. Се претпоставува дека сите влезни податоци можат да имаат произволна вредност. Проверките за други видови на недефинирано однесување ќе бидат додадени подоцна. Исто така, има планови за подобрување на парсирањето на C и C++.

Забрзување на развојот

Целта на собирањето средства на Kickstarter е да се забрза развојот на режимот за верификација. Во секој случај, планираме да ја додадеме оваа функција, но работата може да потрае подолго ако не се соберат средства. Доколку се соберат средства, Даниел ќе може да земе отсуство од главната работа за целосно да го посвети своето работно време на проектот cppcheck.

Цели на проектот

• Елиминирање на лажни негативни од делење со нула тестови во Јулија и ИТЦ.

• Корекција на лажни позитиви (види. ББГ # 9402).

• Подобрување на C++ парсерот.

Извор: linux.org.ru