İzlenecek yol: Hatalara yönelik C/C++ kodunu analiz etme

Bu kılavuzda, olası kod hataları için C/C++ kodunun nasıl çözümlenecekleri gösterilmektedir. C/C++ kodu için kod çözümleme araçlarını kullanır.

Bu kılavuzda şunları yapacaksınız:

• Yerel kodda kod analizini çalıştırın.
• Kod hatası uyarılarını analiz edin.
• Uyarıyı hata olarak değerlendirin.
• Kod hatası analizini geliştirmek için kaynak koduna açıklama ekleyin.

Önkoşullar

• CppDemo Örneğinin bir kopyası.
• C/C++ hakkında temel bilgiler.

Yerel kodda kod analizi çalıştırma

Yerel kodda kod hatası analizini çalıştırmak için

1. Visual Studio'da CppDemo çözümünü açın.

   CppDemo çözümü artık Çözüm Gezgini doldurur.

2. Oluştur menüsünde Çözümü Yeniden Derle'yi seçin.

   Çözüm herhangi bir hata veya uyarı olmadan derlenir.

3. Çözüm Gezgini'da CodeDefects projesini seçin.

4. Proje menüsünde Özellikler'i seçin.

   CodeDefects Özellik Sayfaları iletişim kutusu görüntülenir.

5. Kod Analizi özellik sayfasını seçin.

6. Derlemede Kod Analizini Etkinleştir özelliğini Evet olarak değiştirin. Değişikliklerinizi kaydetmek için Tamam'ı seçin.

7. CodeDefects projesini yeniden oluşturun.

   Kod analizi uyarıları Hata Listesi penceresinde görüntülenir.

Kod hatası uyarılarını analiz etmek için

1. Görünüm menüsünde Hata Listesi'ni seçin.

   Bu menü öğesi görünmüyor olabilir. Visual Studio'da seçtiğiniz geliştirici profiline bağlıdır. Görünüm menüsünde Diğer Windows'un üzerine gelip Hata Listesi'ni seçmeniz gerekebilir.

2. Hata Listesi penceresinde aşağıdaki uyarıya çift tıklayın:

   C6230: Sanal olarak farklı türler arasında örtük tür atama: Boole bağlamında HRESULT kullanma.

   Kod düzenleyicisi işlevinde bool ProcessDomain()uyarıya neden olan satırı görüntüler. Bu uyarı, boole HRESULT sonucunun beklendiği bir 'if' deyiminde bir kullanıldığını gösterir. Bu genellikle bir hatadır, çünkü BIR işlevden HRESULT döndürüldüğünde S_OK başarılı olduğunu gösterir, ancak boole değerine dönüştürüldüğünde olarak değerlendirilir false.

3. Bu uyarıyı düzeltmek için bir dönüş değerinin SUCCEEDED başarılı olduğunu belirten makroyu HRESULT true kullanın. Kodunuz aşağıdaki koda benzemelidir:

   if (SUCCEEDED(ReadUserAccount()))
   

4. Hata Listesi'nde aşağıdaki uyarıya çift tıklayın:

   C6282: Yanlış işleç: Boole bağlamında sabit ataması. Bunun yerine '==' kullanmayı düşünün.

5. Eşitlik testi yaparak bu uyarıyı düzeltin. Kodunuz aşağıdaki koda benzer görünmelidir:

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

6. Hata j Listesi'ndeki kalan C6001 uyarılarını 0'a başlatarak i düzeltin.

7. CodeDefects projesini yeniden oluşturun.

   Proje herhangi bir uyarı veya hata olmadan derlenir.

Kaynak kodu ek açıklaması uyarılarını düzeltme

annotation.c dosyasında kaynak kodu ek açıklama uyarılarını etkinleştirmek için

1. Çözüm Gezgini'da Ek Açıklamalar projesini seçin.

2. Proje menüsünde Özellikler'i seçin.

   Ek Açıklamalar Özellik Sayfaları iletişim kutusu görüntülenir.

3. Kod Analizi özellik sayfasını seçin.

4. Derlemede Kod Analizini Etkinleştir özelliğini Evet olarak değiştirin. Değişikliklerinizi kaydetmek için Tamam'ı seçin.

annotation.c dosyasındaki kaynak kodu ek açıklama uyarılarını düzeltmek için

1. Ek Açıklamalar projesini yeniden oluşturun.

2. Oluştur menüsünde Ek Açıklamalarda Kod Çözümlemesi Çalıştır'ı seçin.

3. Hata Listesi'nde aşağıdaki uyarıya çift tıklayın:

   C6011: 'newNode' NULL işaretçisi başvurusu kaldırıyor.

   Bu uyarı, çağıranın dönüş değerini denetleme hatasını gösterir. Bu durumda çağrısı AllocateNode NULL değer döndürebilir. için AllocateNodeişlev bildirimi için annotations.h üst bilgi dosyasına bakın.

4. İmleç, uyarının oluştuğu annotations.cpp dosyasındaki konumdadır.

5. Bu uyarıyı düzeltmek için dönüş değerini test etmek için bir 'if' deyimi kullanın. Kodunuz aşağıdaki koda benzemelidir:

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

6. Ek Açıklamalar projesini yeniden oluşturun.

   Proje herhangi bir uyarı veya hata olmadan derlenir.

Daha fazla sorun keşfetmek için kaynak kodu ek açıklamasını kullanma

Kaynak kodu ek açıklamasını kullanmak için

1. İşaretçi değerlerinin null olabileceğini belirtmek için resmi parametrelere ve işlevin AddTail dönüş değerine açıklama ekleme:

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

2. Oluştur menüsünde Çözümde Kod Çözümlemesi Çalıştır'ı seçin.

3. Hata Listesi'nde aşağıdaki uyarıya çift tıklayın:

   C6011: NULL işaretçisi 'node' başvurusu kaldırıyor.

   Bu uyarı, işleve geçirilen düğümün null olabileceğini gösterir.

4. Bu uyarıyı düzeltmek için, geçirilen değeri test etmek için işlevin başındaki 'if' deyimini kullanın. Kodunuz aşağıdaki koda benzemelidir:

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

5. Oluştur menüsünde Çözümde Kod Çözümlemesi Çalıştır'ı seçin.

   Proje artık herhangi bir uyarı veya hata olmadan derlenir.

Ayrıca bkz.

İzlenecek yol: Kod Kusurları için Yönetilen Kodu Analiz Etme
C/C++ için kod analizi