Cppcheck - это инструмент статического анализа для кода C / C ++ для проверки утечек памяти, несоответствия распределения-освобождения, переполнения буфера и т. д.

Cppcheck предоставляет уникальный анализ кода для обнаружения ошибок и фокусировки на обнаружении неопределенного поведения и опасных конструкций кодирования.

Особенности:

Уникальный анализ кода, который обнаруживает различные типы ошибок в вашем коде.
Доступны интерфейс командной строки и графический интерфейс пользователя.

Неопределенное поведение:

Мертвые указатели
Деление на ноль
Целочисленные переполнения
Недопустимые операнды сдвига бит
Недействительные конверсии
Недопустимое использование STL
Управление памятью
Нулевые указатели
Проверка вне границ
Неинициализированные переменные
Запись данных const

Ссылка: http://mirsofta..heck-1.86-x86-Setup.msi