Реліз статичного аналізатора cppcheck 2.1

доступний новий випуск вільного статичного аналізатора cppcheck 2.1, що дозволяє виявляти різні класи помилок у коді мовами Сі та Сі++, у тому числі при використанні нестандартного синтаксису, типового для систем, що вбудовуються. Надається колекція плагінів, через які забезпечена інтеграція cppcheck з різними системами розробки, безперервної інтеграції та тестування, а також надані такі можливості як перевірка відповідності коду стилю оформлення коду. Для аналізу коду може застосовуватися як власний парсер, так і зовнішній парсер від Clang. До складу також входить скрипт donate-cpu.py для надання локальних ресурсів для виконання роботи щодо спільної перевірки коду пакетів Debian. Вихідні тексти проекту поширюється ліцензія GPLv3.

Розвиток cppcheck зосереджено на виявленні проблем, пов'язаних із невизначеною поведінкою та застосуванням конструкцій, небезпечних з погляду безпеки. Метою також є мінімізація хибних спрацьовувань. Серед виявлених проблем: покажчики на неіснуючі об'єкти, поділу на нуль, цілочисленні переповнення, некоректні операції бітового зсуву, некоректні перетворення, проблеми при роботі з пам'яттю, некоректне використання STL, розіменування нульових покажчиків, застосування перевірок після фактичного звернення до буфера, вихід за межі буферів, використання неініціалізованих змінних.

Джерело: opennet.ru

Додати коментар або відгук