01.10.2020

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


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

Развитие cppcheck сосредоточено на выявлении проблем, связанных с неопределённым поведением и применением конструкций, опасных с точки зрения безопасности. Целью также является минимизация ложных срабатываний. Среди выявляемых проблем: указатели на несуществующие объекты, деления на ноль, целочисленные переполнения, некорректные операции битового сдвига, некорректные преобразования, проблемы при работе с памятью, некорректное использование STL, разыменования нулевых указателей, применение проверкок после фактического обращения к буферу, выход за границы буферов, использование неинициализированных переменных.

Источник: https://www.opennet.ru/opennews/art.shtml?num=53208

Добавить комментарий