Разработчик Cppcheck (Даниел Марямяки) планира да добави възможност за верификация на софтуер на C и C++ в своя статичен анализатор.
Верификация на софтуер в Cppcheck
В режим «верификация» Cppcheck ще издава предупреждение, ако не успее да потвърди, че кодът е безопасен, но това може да доведе до нежелан шум (множество предупреждения).
Планове за реализиране
Режимът на верификация ще бъде реализиран поетапно. В първия етап работата ще бъде съсредоточена върху проверка на «деление на нула». Това е сравнително проста проверка. Всяка функция ще бъде проверявана поотделно. При това се предполага, че всички входни данни могат да имат произволна стойност. Проверки на други типове неопределено поведение ще бъдат добавени по-късно. Планира се също така да бъде подобрен синтактичният анализ на C и C++.
Ускоряване на разработката
Целта на събирането на средства в Kickstarter е да ускори разработката на режима на верификация. Планира се тази възможност да бъде добавена в какъвто и да е случай, но работата може да отнеме повече време, ако средствата не бъдат събрани. Ако средствата бъдат събрани, Даниел ще може да вземе отпуск от основната си работа, за да посвети напълно работното си време на проекта cppcheck.
Цели на проекта
Подобряване на анализатора C++.
Източник: linux.org.ru
