Main Content

Review Polyspace Code Prover Results in Polyspace Platform User Interface

Interpret results, add review information, filter and group results, view reports

Polyspace® Platform is an integrated environment that supports static analysis and dynamic testing of C/C++ code with Polyspace products. You can open a Code Prover result set (.pscp file) in the Polyspace Platform user interface and do the following:

  • See an overview of the results on a dashboard.

  • See details of the results and navigate to the corresponding source code.

  • Add review information such as status and severity to individual results.

Categories