Main Content
Review Analysis Results
Review Polyspace®
Code Prover™ results in Polyspace desktop user interface or web browser
Depending on the Polyspace product that you are running, you can review the results in one of these locations:
Polyspace user interface: This is where you see results after analysis on a desktop using Polyspace Code Prover (from the user interface, in Simulink®, using scripts that run the
polyspace-bug-finder
command, or equivalent MATLAB® scripts).Web browser: This is where you see results after analysis on a server using Polyspace Code Prover Server™.
Categories
- Review Polyspace
Code Prover Results in Polyspace User Interface
Interpret results, add review information, filter and group results, view reports
- Review Polyspace
Code Prover Results in Polyspace Platform User Interface
Interpret results, add review information, filter and group results, view reports
- Review Polyspace
Code Prover Results in Web Browser
Review results in Polyspace Access™ web interface, add comments and create tickets, upload and open results, generate reports
- Complete List of Polyspace
Code Prover Results
Description and examples of results