Perform Polyspace as You Code Analysis in Visual Studio

Polyspace^® as You Code helps you find defects and coding standard violations while developing in the Visual Studio^® IDE. You can run an analysis and fix findings as you code, saving you from finding bugs late in the development cycle. When connected to the Polyspace Access™ central repository, Polyspace as You Code highlights new issues compared to the development baseline.

The examples in this guide show you how to:

The examples assume you have a working knowledge of Visual Studio.

Before you begin the first step:

Confirm Polyspace as You Code is installed on your machine. See Install Polyspace as You Code Extension in Visual Studio.
Use your own code or copy and paste this code into Visual Studio to follow along with the guide.

example.hpp

#include <string>

class Demo {
    void myFunction(std::string buffer) const{

    }
};

example_source.cpp

#include "example.hpp"


int simple_defect(){
    uint32_t x = -1;
    x++;
    return 1 / x; 
}

For the first example, see Configure Polyspace as You Code in Visual Studio.