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

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

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

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

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

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

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

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

1. Откройте решение CppDemo в Visual Studio.

   Решение CppDemo теперь заполняет Обозреватель решений.

2. В меню "Сборка " выберите " Перестроить решение".

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

3. В Обозреватель решений выберите проект CodeDefects.

4. В меню Проект выберите Свойства.

   Откроется диалоговое окно "Страницы свойств CodeDefects".

5. Выберите страницу свойств Анализа кода.

6. Измените свойство Enable Code Analysis on Build на Yes. Нажмите ОК, чтобы сохранить внесенные изменения.

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

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

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

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

1. В Обозреватель решений выберите проект "Заметки".

2. В меню Проект выберите Свойства.

   Откроется диалоговое окно "Страницы свойств заметок ".

3. Выберите страницу свойств Анализа кода.

4. Измените свойство Enable Code Analysis on Build на Yes. Нажмите ОК, чтобы сохранить внесенные изменения.

Исправление предупреждений о заметках исходного кода в аннотации.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++