Documentation

Verification in Eclipse IDE

Verify source code files in Eclipse™ or IDEs based on Eclipse

You can perform a Polyspace® analysis entirely within your Eclipse IDE.

To view only the information related to a Polyspace analysis, switch to the Polyspace perspective in your Eclipse IDE. Select Window > Open Perspective > Other. In the Open Perspective dialog box, select Polyspace.

Topics

Install Polyspace Plug-In for Eclipse IDE

Install the Polyspace plugin to verify code within your Eclipse IDE.

Configure Verification

Specify Polyspace verification options within the Eclipse IDE.

Run Verification

Run Polyspace verification within your Eclipse IDE, monitor verification progress.

Review Results

Review results of Polyspace verification within your Eclipse IDE, save results of multiple verifications.

Was this topic helpful?