コード分析のためのサンプル C++ プロジェクト

次の手順では、「チュートリアル: C/C ++ コードを分析して欠陥を分析する」のサンプルを作成する方法について説明します。 この手順で次が作成されます。

• CppDemo という名前の Visual Studio ソリューション。

• CodeDefects という名前のスタティック ライブラリ プロジェクト。

• Annotations という名前のスタティック ライブラリ プロジェクト。

この手順では、スタティック ライブラリのヘッダー ファイルと .cpp ファイルのコードも作成されます。

CppDemo ソリューションと CodeDefects プロジェクトを作成する

CodeDefects プロジェクトにヘッダーとソース ファイルを追加する

1. ソリューション エクスプローラーで、CodeDefects を展開します。

2. 右クリックして、ヘッダー ファイルのコンテキスト メニューを開きます。 [追加]>[新しい項目] の順に選択します。

3. [Add New Item (新しい項目の追加)] ダイアログ ボックスで、[Visual C++] > [Code (コード)]、[ヘッダー ファイル (.h)] の順に選択します。

4. [Name (名前)] 編集ボックスに Bug.h と入力し、[Add (追加)] を選択します。

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. ソリューション エクスプローラーで右クリックして、[Source Files (ソース ファイル)] のコンテキスト メニューを開きます。 [追加]>[新しい項目] の順に選択します。

8. [新しい項目の追加] ダイアログ ボックスで、 [C++ ファイル (.cpp)]をクリックします。

9. [Name (名前)] 編集ボックスに Bug.cpp と入力し、[Add (追加)] を選択します。

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. ソリューション エクスプローラーで、Annotations を展開します。

2. 右クリックで [ヘッダー ファイル] のコンテキスト メニューを Annotations の下に表示します。 [追加]>[新しい項目] の順に選択します。

3. [Add New Item (新しい項目の追加)] ダイアログ ボックスで、[Visual C++] > [Code (コード)]、[ヘッダー ファイル (.h)] の順に選択します。

4. [Name (名前)] 編集ボックスに annotations.h と入力し、[Add (追加)] を選択します。

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. ソリューション エクスプローラーで、右クリックして [Source Files (ソース ファイル)] のコンテキスト メニューを [Annotations (アノテーション)] の下に開きます。 [追加]>[新しい項目] の順に選択します。

8. [新しい項目の追加] ダイアログ ボックスで、 [C++ ファイル (.cpp)]をクリックします。

9. [Name (名前)] 編集ボックスに annotations.cpp と入力し、[Add (追加)] を選択します。

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. メニュー バーで、[ファイル]>[すべてを保存] の順に選択します。

これでソリューションが完成し、エラーなしでビルドされるはずです。