Пошаговое руководство. Анализ кода C/C++ для дефектов

В этом пошаговом руководстве показано, как анализировать код C/C++ для потенциальных дефектов кода. В нем используются средства анализа кода для кода C/C++.

В этом пошаговом руководстве вы узнаете:

• Запустите анализ кода в машинном коде.
• Анализ предупреждений о дефектах кода.
• Обработайте предупреждение как ошибку.
• Заметите исходный код для улучшения анализа дефектов кода.

Необходимые компоненты

• Копия примера CppDemo.
• Базовое понимание C/C++.

Выполнение анализа кода в машинном коде

Выполнение анализа дефектов кода в машинном коде

Анализ предупреждений об ошибках кода

1. В меню "Вид" выберите "Список ошибок".

   Этот пункт меню может не отображаться. Это зависит от профиля разработчика, выбранного в Visual Studio. Возможно, вам придется указать другие окна в меню "Вид ", а затем выбрать список ошибок.

2. В окне списка ошибок дважды щелкните следующее предупреждение:

   C6230: неявное приведение между семантически разными типами: использование HRESULT в логическое контексте.

   В редакторе кода отображается строка, которая вызвала предупреждение внутри функции bool ProcessDomain(). Это предупреждение указывает, что используется HRESULT в операторе if, где ожидается логический результат. Обычно это ошибка, так как при S_OK возврате HRESULT из функции, указываемой на успешность, но при преобразовании в логическое значение, которое он оценивает.false

3. Исправьте это предупреждение с помощью SUCCEEDED макроса, который преобразуется в true то время, когда HRESULT возвращаемое значение указывает на успешность. Код должен выглядеть следующим образом:

   if (SUCCEEDED(ReadUserAccount()))
   

4. В списке ошибок дважды щелкните следующее предупреждение:

   C6282: неправильный оператор: назначение константы в логическом контексте. Вместо этого рекомендуется использовать '=='.

5. Исправьте это предупреждение, проверив равенство. Код должен выглядеть следующим образом:

   if ((len == ACCOUNT_DOMAIN_LEN) || (g_userAccount[len] != L'\\'))
   

6. Исправьте остальные предупреждения C6001 в списке ошибок путем инициализации i и j до 0.

7. Перестройте проект CodeDefects.

   Проект выполняет сборку без предупреждений или ошибок.

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

Включение предупреждений о заметках исходного кода в annotation.c

Исправление предупреждений о заметках исходного кода в аннотации.c

1. Перестройте проект примечаний.

2. В меню "Сборка " выберите "Выполнить анализ кода" в заметках.

3. В списке ошибок дважды щелкните следующее предупреждение:

   C6011: разыменовывание указателя NULL newNode.

   Это предупреждение указывает на сбой вызывающего объекта для проверки возвращаемого значения. В этом случае вызов AllocateNode может возвращать значение NULL. См. файл заголовка annotations.h для объявления AllocateNodeфункции.

4. Курсор находится в расположении в файле annotations.cpp, где произошло предупреждение.

5. Чтобы исправить это предупреждение, используйте оператор if для проверки возвращаемого значения. Код должен выглядеть следующим образом:

   LinkedList* newNode = AllocateNode();
   if (nullptr != newNode)
   {
       newNode->data = value;
       newNode->next = 0;
       node->next = newNode;
   }
   

6. Перестройте проект примечаний.

   Проект выполняет сборку без предупреждений или ошибок.

Использование заметки исходного кода для обнаружения дополнительных проблем

Использование заметки исходного кода

1. Заметите формальные параметры и возвращаемое значение функции AddTail , чтобы указать, что значения указателя могут иметь значение NULL:

   _Ret_maybenull_ LinkedList* AddTail(_Maybenull_ LinkedList* node, int value)
   

2. В меню Сборка выберите Выполнить анализ кода в решении.

3. В списке ошибок дважды щелкните следующее предупреждение:

   C6011: разыменовывание указателя NULL "node".

   Это предупреждение указывает, что узел, переданный в функцию, может иметь значение NULL.

4. Чтобы исправить это предупреждение, используйте оператор if в начале функции для проверки переданного значения. Код должен выглядеть следующим образом:

   if (nullptr == node)
   {
        return nullptr;
   }
   

5. В меню Сборка выберите Выполнить анализ кода в решении.

   Теперь проект выполняет сборку без предупреждений или ошибок.

См. также

Пошаговое руководство. Проверка управляемого кода на наличие дефектов
Анализ кода для C/C++