Развитие cppcheck сосредоточено на выявлении проблем, связанных с неопределённым поведением и применением конструкций, опасных с точки зрения безопасности. Целью также является минимизация ложных срабатываний. Среди выявляемых проблем: указатели на несуществующие объекты, деления на ноль, целочисленные переполнения, некорректные операции битового сдвига, некорректные преобразования, проблемы при работе с памятью, некорректное использование STL, разыменование нулевых указателей, применение проверок после фактического обращения к буферу, выход за границы буферов, использование неинициализированных переменных.
В новой версии:
- В ядро анализатора добавлены следующие проверки:
- отсутствия оператора return в теле функции;
- записи перекрывающихся данных, определения неопределённого поведения;
- сравниваемое значение находится за пределами представления значений типа;
- оптимизация копирования не применяется для return std::move(local);
- файл не может быть открыт одновременно для чтения и для записи в разных потоках (stream);
- для Unix-платформ добавлена поддержка вывода диагностических сообщений разными цветами;
- добавлен символьный анализ для ValueFlow. Используется простая дельта при вычислении различий между двумя неизвестными переменными;
- правила используемые для списка токенов «define» также могут соответствовать и #include;
- библиотечный тег ‹function› теперь может содержать тег ‹container›, и соответственно функции free, которые могут принимать такие контейнеры как std::size, std::empty, std::begin, std::end и т.д. могут указывать yeld или action для контекнеров;
- библиотечный тег ‹smart-pointer› теперь может содержать тег ‹unique› для умных указателей, которые имеют исключительное владение (unique ownership). Теперь выдаётся предупреждение о «висячих» ссылках на такого рода умные указатели;
- исправлены проблемы с обработкой параметра —cppcheck-build-dir;
- htmlreport теперь может выводить информацию об авторе (при помощи git blame);
- расширена выдача предупреждений о переменных, которые не являются константными, но могли-бы ими быть;
- исправлены накопившиеся ошибки и недоработки анализатора.
Дополнительно были полностью реализованы проверки из Misra C 2012, включая Amendment 1 и Amendment 2, кроме правил 1.1 , 1.2 and 17.3.
Проверки 1.1 и 1.2 должны выполняться компилятором. Проверка 17.3 может выполнять компилятором, например GCC.
Источник: http://www.opennet.ru/opennews/art.shtml?num=55936