Sample C++ project for code analysis

The following procedures show you how to create the sample for Walkthrough: Analyze C/C++ code for defects. The procedures create:

• A Visual Studio solution named CppDemo.

• A static library project named CodeDefects.

• A static library project named Annotations.

The procedures also provide the code for the header and .cpp files for the static libraries.

Create the CppDemo solution and the CodeDefects project

Add the header and source file to the CodeDefects project

1. In Solution Explorer, expand CodeDefects.

2. Right-click to open the context menu for Header Files. Choose Add > New Item.

3. In the Add New Item dialog box, select Visual C++ > Code, and then select Header File (.h).

4. In the Name edit box, enter Bug.h, and then choose the Add button.

5. In the edit window for Bug.h, select and delete the contents.

6. Copy the following code and paste it into the Bug.h file in the editor.

   #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. In Solution Explorer, right-click to open the context menu for Source Files. Choose Add > New Item.

8. In the Add New Item dialog box, select C++ File (.cpp).

9. In the Name edit box, enter Bug.cpp, and then choose the Add button.

10. Copy the following code and paste it into the Bug.cpp file in the editor.

    #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. On the menu bar, choose File > Save All.

Add the Annotations project and configure it as a static library

Add the header file and source file to the Annotations project

1. In Solution Explorer, expand Annotations.

2. Right-click to open the context menu for Header Files under Annotations. Choose Add > New Item.

3. In the Add New Item dialog box, select Visual C++ > Code, and then select Header File (.h).

4. In the Name edit box, enter annotations.h, and then choose the Add button.

5. In the edit window for annotations.h, select and delete the contents.

6. Copy the following code and paste it into the annotations.h file in the editor.

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

7. In Solution Explorer, right-click to open the context menu for Source Files under Annotations. Choose Add > New Item.

8. In the Add New Item dialog box, select C++ File (.cpp).

9. In the Name edit box, enter annotations.cpp, and then choose the Add button.

10. Copy the following code and paste it into the annotations.cpp file in the editor.

    #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. On the menu bar, choose File > Save All.

The solution is now complete and should build without errors.