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.
Install the Polyspace plugin to verify code within your Eclipse IDE.
Specify Polyspace verification options within the Eclipse IDE.
Run Polyspace verification within your Eclipse IDE, monitor verification progress.
Review results of Polyspace verification within your Eclipse IDE, save results of multiple verifications.