Wskazówki: analizowanie kodu C++ pod względem wad

W tym instruktażu przedstawiono sposób analizowania kodu C/C++ za potencjalne wady kodu za pomocą narzędzia analizy kodu dla kodu C/C++.

W tym instruktażu krok w procesie za pomocą analizy kodu do analizowania kodu C/C++ za potencjalne wady kod.

Będzie wykonać następujące czynności:

Wymagania wstępne

Otwórz rozwiązanie Demo w Visual Studio.

Roztwór Demo wypełni teraz Solution Explorer.
Na budować menu, kliknij przycisk Roztwór odbudować.

Rozwiązanie opiera się bez błędów lub ostrzeżeń.
W Solution Explorer, zaznacz projekt, CodeDefects.
W menu Projekt, kliknij Właściwości.

CodeDefects stron właściwości zostanie wyświetlone okno dialogowe.
Kliknij Analiza kodu.
Kliknij przycisk Włączyć analizy kodu w języku C/c++ na kompilacji pole wyboru.
Odbuduj projekt, CodeDefects.

Kod analizy ostrzeżenia są wyświetlane w Lista błędów.

W menu Widok, kliknij Lista błędów.

W zależności od profilu autora, który został wybrany w Visual Studio, może być konieczne wskaż Windows inne na widoku menu, a następnie kliknij Lista błędów.
W Lista błędów, kliknij dwukrotnie następujące ostrzeżenie:

Ostrzeżenie C6230: niejawnego oddania semantycznie różne typy: za pomocą HRESULT w kontekście Boolean.

Edytor kodu wyświetla wiersz, która spowodowała ostrzeżenie w funkcji boolProcessDomain().To ostrzeżenie wskazuje, że wartość HRESULT jest obecnie używany w instrukcji "if" gdzie oczekiwany wynik będący wartością logiczną.
Popraw to ostrzeżenie za pomocą makra powiodło się.Kod powinien przypominać następujący kod:
```
if (SUCCEEDED (ReadUserAccount()) )
```
W Lista błędów, kliknij dwukrotnie następujące ostrzeżenie:

Ostrzeżenie C6282: nieprawidłowy operator: przypisanie do stałej w kontekście badania.Był == zamierzone?
Popraw to ostrzeżenie za badania na rzecz równości.Kod powinien wyglądać podobnie do poniższego kodu:
```
if ((len == ACCOUNT_DOMAIN_LEN) || (g_userAccount[len] != '\\'))
```

Dodać następujący wpis w pliku Bug.cpp #pragma instrukcji na początku pliku w leczeniu C6001 ostrzeżenie jako błąd:
```
#pragma warning (error: 6001)
```
Odbuduj projekt, CodeDefects.

W Lista błędów, C6001 jest teraz wyświetlany jako błąd.
Pozostałe dwa błędy C6001 w Lista błędów inicjalizując i i j na 0.
Odbuduj projekt, CodeDefects.

Projekt skompiluje się bez żadnych ostrzeżeń lub błędów.

W oknie Solution Explorer wybierz projekt, adnotacje.
W menu Projekt, kliknij Właściwości.

Stron właściwości adnotacji zostanie wyświetlone okno dialogowe.
Kliknij Analiza kodu.
Wybierz Włączyć analizy kodu w języku C/c++ na kompilacji pole wyboru.
Odbuduj projekt, adnotacje.
W Lista błędów, kliknij dwukrotnie następujące ostrzeżenie:

Ostrzeżenie C6011: dereferencji wskaźnik NULL 'newNode'.

To ostrzeżenie wskazuje niepowodzenie sprawdzenie wartości zwracanej przez obiekt wywołujący.W tym przypadku wywołanie AllocateNode mogą zwracać wartość NULL (patrz annotations.h pliku nagłówka dla deklaracji funkcji dla AllocateNode).
Otwórz plik annotations.cpp.
Aby rozwiązać tego ostrzeżenia, należy użyć instrukcji "if" do testowania wartości zwracanej.Kod powinien przypominać następujący kod:

if (NULL != newNode)

{

newNode->data = value;

newNode->next = 0;

node->next = newNode;

}
Odbuduj projekt, adnotacje.

Projekt skompiluje się bez żadnych ostrzeżeń lub błędów.

Opisywanie parametrów formalnych i zwrócenie wartości funkcji AddTail za pomocą warunków przed i po, jak pokazano w poniższym przykładzie:

[returnvalue:SA_Post (Null=SA_Maybe)] LinkedList* AddTail

(

[SA_Pre(Null=SA_Maybe)] LinkedList* node,

int value

)
Odbuduj projekt adnotacje.
W Lista błędów, kliknij dwukrotnie następujące ostrzeżenie:

Ostrzeżenie C6011: dereferencji wskaźnik o wartości NULL "node".

To ostrzeżenie oznacza, że węzeł przekazany do funkcji może być null i wskazuje numer wiersza, w którym podniesiono ostrzeżenie.
Aby rozwiązać tego ostrzeżenia, należy użyć instrukcji "if" do testowania wartości zwracanej.Kod powinien przypominać następujący kod:
```
  . . .
  LinkedList *newNode = NULL; 
  if (NULL == node)
  {
       return NULL;
      . . .
  }
```
Odbuduj projekt adnotacje.

Projekt skompiluje się bez żadnych ostrzeżeń lub błędów.