Листинг возможного нулевого разыменования или прямого значения null в исходном коде CPP

Question

Есть ли инструмент, который может выполнять статический анализ и находить возможные варианты прямого и возможного нулевого разыменования. Я знаю, что покрытие в значительной степени используется, а также проверка cpp. Но я не считаю это полезным, когда приходит к определенному пользователем типу данных.

Пожалуйста, предоставьте решение, которое также может обрабатывать определенные пользователем типы данных и работает с кодом C++.

Answer 1

Вы можете попробовать

Cppcheck - Cppcheck является инструмент статического анализа кода для C/C++. В отличие от компиляторов C/C++ и многих других инструментов анализа он не обнаруживает синтаксических ошибок в коде. Cppcheck в первую очередь обнаруживает типы ошибок, которые компиляторы обычно не обнаруживают. Цель состоит в том, чтобы обнаружить только реальные ошибки в коде (т. Е. Иметь нулевые ложные срабатывания).

Coverity-Scan - СТАТИЧЕСКИЙ АНАЛИЗ БЕСПЛАТНО Найти и исправить ошибки в ваших проектах с открытым исходным кодом на Java, C/C++, C# или JavaScript. Проверяйте каждую строку кода и потенциальный путь выполнения.

Есть много других доступных инструментов, как с открытым исходным кодом, так и с коммерческой точки зрения. Удачи.