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