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

Разработчикът на Cppcheck (Daniel Marjamäki) ще добави възможността за проверка на софтуер в C и C++ към своя статичен анализатор.

Софтуерна проверка в Cppcheck

В режим "проверка" Cppcheck ще издаде предупреждение, ако не може да провери дали кодът е безопасен, но това може да доведе до шум (множество предупреждения).

Планове за изпълнение

Режимът на проверка ще бъде въведен последователно. На първия етап работата ще се съсредоточи върху разделянето чрез нулева проверка. Това е сравнително проста проверка. Всяка функция ще бъде тествана отделно. Предполага се, че всички входни данни могат да имат произволна стойност. Проверките за други видове недефинирано поведение ще бъдат добавени по-късно. Има също планове за подобряване на анализирането на C и C++.

Ускоряване на развитието

Целта на набирането на средства в Kickstarter е да се ускори развитието на режима за проверка. Планираме да добавим тази функция така или иначе, но работата може да отнеме повече време, ако средствата не бъдат събрани. Ако средствата бъдат събрани, Даниел ще може да вземе отпуск от основната си работа, за да посвети изцяло работното си време на проекта cppcheck.

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

• Елиминиране на фалшиви отрицателни резултати от тестове за деление на нула Жулиета и ITC.

• Коригиране на фалшиви положителни резултати (вж. ГРЕШКА №9402).

• Подобряване на анализатора на C++.

Източник: linux.org.ru