Run Polyspace as You Code in Eclipse and Review Results

Configure Polyspace as You Code plugin in Eclipse, run analysis, see results

In Eclipse™, with the Polyspace^® as You Code plugin, you can run a single-file analysis on file save or explicitly. The analysis checks the currently active file for defects (bugs), coding standard violations and other issues. The analysis results appear as source code markers and in a separate list.

Topics

Usage

Run Polyspace as You Code in Eclipse and Review Results
View Polyspace results as source code markers or in a list in Eclipse IDE, fix issues or justify results.
Annotate Code and Hide Known or Acceptable Results (Polyspace Bug Finder)

Look up the Polyspace code annotation syntax for justifying known issues.
- Short Names of Bug Finder Defect Groups and Defect Checkers (Polyspace Bug Finder)

Installation and Configuration

Install Polyspace as You Code Using Installer

Install Polyspace as You Code analysis engine and IDE extensions.
- Install Polyspace as You Code Plugin in Eclipse
Configure Polyspace as You Code Plugin in Eclipse

Set Polyspace as You Code plugin settings such as analysis launch mode and build configuration.
- Options Files for Polyspace Analysis (Polyspace Bug Finder)
- Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code
Generate Build Options for Polyspace as You Code Analysis in Eclipse
Extract build configuration information from project, build command, or JSON compilation database.
Configure Checkers for Polyspace as You Code in Eclipse

Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
- Analysis Scope of Polyspace as You Code
Set Baseline Polyspace as You Code Results in Eclipse
Get baseline and focus on new results only, import review information, get integration context information.