Návod: Analýza defektů v kódu C/C++

Tento názorný postup ukazuje, jak analyzovat kód C/C++ z možných defektů kódu. Používá nástroje pro analýzu kódu pro kód C/C++.

V tomto názorném postupu:

• Spusťte analýzu kódu na nativním kódu.
• Analýza upozornění na chyby kódu
• Považovat upozornění za chybu.
• Anotace zdrojového kódu za účelem vylepšení analýzy defektů kódu

Požadavky

• Kopie ukázky CppDemo.
• Základní znalost jazyka C/C++.

Spuštění analýzy kódu na nativním kódu

Spuštění analýzy defektů kódu v nativním kódu

Analýza upozornění na chyby kódu

1. V nabídce View (Zobrazení) zvolte Seznam chyb.

   Tato položka nabídky nemusí být viditelná. Závisí na profilu vývojáře, který jste zvolili v Visual Studio. V nabídce View (Zobrazení) Windows naOther Windows (Jiné) a pak zvolte Seznam chyb.

2. V Seznam chyb klikněte dvakrát na následující upozornění:

   C6230: Implicitní přetypování mezi sémanticky různými typy: použití hodnoty HRESULT v logickém kontextu

   Editor kódu zobrazí řádek, který způsobil upozornění uvnitř funkce bool ProcessDomain() . Toto upozornění indikuje, že se v příkazu if používá , HRESULT kde se očekává logický výsledek. Obvykle se jedná o chybu, protože když se vrátí hodnota HRESULT z funkce, znamená to úspěch, ale při převodu na logickou hodnotu se vyhodnotí S_OK jako false .

3. Opravte toto upozornění pomocí makra, které se převede na SUCCEEDEDtrue , když HRESULT návratová hodnota indikuje úspěch. Váš kód by měl vypadat podobně jako následující kód:

   if (SUCCEEDED(ReadUserAccount()))
   

4. V Seznam chybpoklikejte na následující upozornění:

   C6282: Nesprávný operátor: přiřazení konstanty v logickém kontextu. Zvažte místo toho použití ==.

5. Opravte toto upozornění testováním rovnosti. Kód by měl vypadat podobně jako následující kód:

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

6. Opravte zbývající upozornění C6001 v Seznam chyb inicializací a na hodnotu j 0.

7. Znovu sestavte projekt CodeDefects.

   Projekt se sestaví bez upozornění nebo chyb.

Oprava upozornění poznámek ke zdrojovému kódu

Povolení upozornění poznámek ke zdrojovému kódu v anotaci.c

Oprava upozornění poznámek ke zdrojovému kódu v souboru annotation.c

1. Znovu sestavte projekt Poznámek.

2. V nabídce Build (Sestavení) zvolte Run Code Analysis on Annotations(Spustit poznámky).

3. V Seznam chybpoklikejte na následující upozornění:

   C6011: Derefererování ukazatele NULL 'newNode'.

   Toto upozornění značí selhání volajícího při kontrole návratové hodnoty. V takovém případě může volání AllocateNode vrátit hodnotu NULL. Prohlédněte si soubor hlaviček annotations.h pro deklaraci funkce AllocateNode pro .

4. Kurzor je na umístění v souboru annotations.cpp, kde došlo k upozornění.

5. Pokud chcete toto upozornění opravit, otestujte vrácenou hodnotu pomocí příkazu "if". Váš kód by měl vypadat podobně jako následující kód:

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

6. Znovu sestavte projekt Poznámek.

   Projekt se sestaví bez upozornění nebo chyb.

Použití poznámky ke zdrojovému kódu ke zjištění dalších problémů

Použití poznámky ke zdrojovému kódu

1. Anotace formálních parametrů a návratové hodnoty funkce k označení hodnot AddTail ukazatele může být null:

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

2. V nabídce Build (Sestavení) zvolte Run Code Analysis on Solution (Spustit Code Analysis v řešení).

3. V Seznam chybpoklikejte na následující upozornění:

   C6011: Derefererování ukazatele NULL 'node'.

   Toto upozornění značí, že uzel předaný do funkce může mít hodnotu null.

4. Pokud chcete toto upozornění opravit, otestujte předanou hodnotu pomocí příkazu "if" na začátku funkce. Váš kód by měl vypadat podobně jako následující kód:

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

5. V nabídce Build (Sestavení) zvolte Run Code Analysis on Solution (Spustit Code Analysis v řešení).

   Projekt se teď sestaví bez jakýchkoli upozornění nebo chyb.

Viz také

Návod: Analýza spravovaného kódu na výskyt závad v kódu
Analýza kódu pro C/C++