Есть ли инструмент, который может выполнять статический анализ и находить возможные случаи прямого нулевого и возможного нулевого разыменования. Я знаю, что прикрытие в значительной степени используется, а также проверка cpp. Но я не нахожу это полезным, когда дело доходит до определяемого пользователем типа данных.
Предоставьте решение, которое также может обрабатывать пользовательские типы данных и работает с кодом C++.
Вы можете попробовать
Cppcheck — Cppcheck — это инструмент статического анализа кода C/C++. В отличие от компиляторов C/C++ и многих других инструментов анализа, он не обнаруживает синтаксические ошибки в коде. Cppcheck в первую очередь обнаруживает те типы ошибок, которые компиляторы обычно не обнаруживают. Цель состоит в том, чтобы обнаруживать только настоящие ошибки в коде (т. е. иметь ноль ложных срабатываний).
Coverity-Scan — СТАТИЧЕСКИЙ АНАЛИЗ Поиск и устранение дефектов в вашем проекте с открытым исходным кодом на Java, C/C++, C# или JavaScript бесплатно. Тестируйте каждую строку кода и потенциальный путь выполнения.
Есть много других доступных инструментов, как с открытым исходным кодом, так и коммерческих. Удачи.
