用於程式碼分析的 C++ 專案範例

下列程式示範如何建立逐步解說：分析 C/C++ 程式碼的範例 是否有瑕疵 。 這些程序會建立：

• 名為 CppDemo 的 Visual Studio 解決方案。

• 名為 CodeDefects 的 靜態程式庫專案。

• 名為 Annotations 的 靜態程式庫專案。

這些程序也會提供標頭的程式碼，以及用於靜態程式庫的 .cpp 檔案。

建立 CppDemo 解決方案和 CodeDefects 專案

1. 開啟 Visual Studio，然後選取 [ 建立新專案]

2. 在 [ 建立新專案 ] 對話方塊中，將語言篩選準則變更為 C++ 。

3. 選取 [Windows 桌面精靈 ]，然後選擇 [ 下一步] 按鈕。

4. 在 [ 設定新專案] 頁面上的 [專案 名稱] 文字方塊中，輸入 CodeDefects 。

5. 在 [ 方案名稱] 文字方塊中，輸入 CppDemo 。

6. 選擇 [建立] 。

7. 在 [ Windows 桌面專案 ] 對話方塊中，將 [應用程式類型 ] 變更為 [靜態程式庫] （.lib）。

8. 在 [其他選項] 下，選取 [空專案] 。

9. 選擇 [ 確定 ] 以建立方案和專案。

將標頭和來源檔案新增至 CodeDefects 專案

1. 在方案總管中，展開 [CodeDefects ]。

2. 以滑鼠右鍵按一下以開啟標頭檔 的操作功能表 。 選擇 [新增] > [新增項目]。

3. 在 [ 新增專案 ] 對話方塊中，選取 [Visual C++ > Code ]，然後選取 [標頭檔][.h]。

4. 在 [ 名稱 ] 編輯方塊中，輸入 Bug.h ，然後選擇 [ 新增 ] 按鈕。

5. 在 Bug.h 的 編輯視窗中，選取並刪除內容。

6. 複製下列程式碼，並將它貼到 編輯器中的 Bug.h 檔案中。

   #pragma once
   
   #include <windows.h>
   
   // Function prototypes
   bool CheckDomain(wchar_t const *);
   HRESULT ReadUserAccount();
   
   // These constants define the common sizes of the
   // user account information throughout the program
   const int USER_ACCOUNT_LEN = 256;
   const int ACCOUNT_DOMAIN_LEN = 128;
   

7. 在方案總管中，以滑鼠右鍵按一下以開啟 [來源檔案 ] 的操作功能表 。 選擇 [新增] > [新增項目]。

8. 在 [加入新項目] 對話方塊中，選取 [C++ 檔 (.cpp)] 。

9. 在 [ 名稱 ] 編輯方塊中，輸入 Bug.cpp ，然後選擇 [ 新增 ] 按鈕。

10. 複製下列程式碼，並將它貼到 編輯器中的 Bug.cpp 檔案中。

    #include "Bug.h"
    
    // the user account
    wchar_t g_userAccount[USER_ACCOUNT_LEN] = { L"domain\\user" };
    int len = 0;
    
    bool CheckDomain(wchar_t const* domain)
    {
        return (wcsnlen_s(domain, USER_ACCOUNT_LEN) > 0);
    }
    
    HRESULT ReadUserAccount()
    {
        return S_OK;
    }
    
    bool ProcessDomain()
    {
        wchar_t* domain = new wchar_t[ACCOUNT_DOMAIN_LEN];
        // ReadUserAccount gets a 'domain\user' input from
        //the user into the global 'g_userAccount'
        if (ReadUserAccount())
        {
            // Copies part of the string prior to the '\'
            // character onto the 'domain' buffer
            for (len = 0; (len < ACCOUNT_DOMAIN_LEN) && (g_userAccount[len] != L'\0'); len++)
            {
                if (g_userAccount[len] == L'\\')
                {
                    // Stops copying on the domain and user separator ('\')
                    break;
                }
                domain[len] = g_userAccount[len];
            }
            if ((len = ACCOUNT_DOMAIN_LEN) || (g_userAccount[len] != L'\\'))
            {
                // '\' was not found. Invalid domain\user string.
                delete[] domain;
                return false;
            }
            else
            {
                domain[len] = L'\0';
            }
            // Process domain string
            bool result = CheckDomain(domain);
    
            delete[] domain;
            return result;
        }
        return false;
    }
    
    int path_dependent(int n)
    {
        int i;
        int j;
        if (n == 0)
            i = 1;
        else
            j = 1;
        return i + j;
    }
    

11. 在功能表列上，依序選擇 [檔案]>[全部儲存]。

新增 Annotations 專案並將其設定為靜態程式庫

1. 在方案總管中，以滑鼠右鍵按一下 CppDemo 以開啟操作功能表。 選擇 [ 新增 > 專案]。

2. 在 [ 新增專案 ] 對話方塊中，選取 [Windows 桌面精靈 ]，然後選擇 [ 下一步] 按鈕。

3. 在 [ 設定新專案] 頁面上的 [專案 名稱] 文字方塊中， 輸入 注釋 ，然後選擇 [ 建立 ]。

4. 在 [ Windows 桌面專案 ] 對話方塊中，將 [應用程式類型 ] 變更為 [靜態程式庫] （.lib）。

5. 在 [其他選項] 下，選取 [空專案] 。

6. 選擇 [ 確定 ] 以建立專案。

將標頭檔和來源檔案新增至 Annotations 專案

1. 在方案總管中，展開 [批註 ]。

2. 以滑鼠右鍵按一下以開啟 [批註 ] 底下的 [標頭檔 ] 操作功能表 。 選擇 [新增] > [新增項目]。

3. 在 [ 新增專案 ] 對話方塊中，選取 [Visual C++ > Code ]，然後選取 [標頭檔][.h]。

4. 在 [ 名稱 ] 編輯方塊中，輸入 annotations.h ，然後選擇 [ 新增 ] 按鈕。

5. 在 annotations.h 的 編輯視窗中，選取並刪除內容。

6. 複製下列程式碼，並將它貼到 編輯器中的 annotations.h 檔案中。

   #pragma once
   #include <sal.h>
   
   struct LinkedList
   {
       struct LinkedList* next;
       int data;
   };
   
   typedef struct LinkedList LinkedList;
   
   _Ret_maybenull_ LinkedList* AllocateNode();
   

7. 在方案總管中，以滑鼠右鍵按一下以開啟 [注釋 ] 底下 [來源檔案 ] 的操作功能表 。 選擇 [新增] > [新增項目]。

8. 在 [加入新項目] 對話方塊中，選取 [C++ 檔 (.cpp)] 。

9. 在 [ 名稱 ] 編輯方塊中，輸入 annotations.cpp ，然後選擇 [ 新增 ] 按鈕。

10. 複製下列程式碼，並將它貼到 編輯器中的 annotations.cpp 檔案中。

    #include "annotations.h"
    #include <malloc.h>
    
    _Ret_maybenull_ LinkedList* AllocateNode()
    {
        LinkedList* result = static_cast<LinkedList*>(malloc(sizeof(LinkedList)));
        return result;
    }
    
    LinkedList* AddTail(LinkedList* node, int value)
    {
        // finds the last node
        while (node->next != nullptr)
        {
            node = node->next;
        }
    
        // appends the new node
        LinkedList* newNode = AllocateNode();
        newNode->data = value;
        newNode->next = 0;
        node->next = newNode;
    
        return newNode;
    }
    

11. 在功能表列上，依序選擇 [檔案]>[全部儲存]。

解決方案現已完成，且應該建置時不會發生錯誤。