Perform Polyspace as You Code Analysis in Eclipse

Polyspace^® as You Code helps you find defects and coding standard violations while developing in the Eclipse™ 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 Eclipse.

Before you begin the first step:

Confirm Polyspace as You Code is installed on your machine. See Install Polyspace as You Code Plugin in Eclipse.
Use your own code or copy and paste this code into Eclipse 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 Eclipse.