Manage Results

Filter and group Code Prover results for systematic review

When you open the results of a Polyspace^® analysis, you see a flat list of defects (Bug Finder), run-time checks (Code Prover), coding rule violations or other results. To organize your review, you can narrow down the list or group results by file or result type.

Topics

Filter and Group Results in Polyspace Desktop User Interface
Narrow down list of results, organize results by file or result type.
Prioritize Check Review
Identify more critical issues in your verification results and review them in preference to others.
Orange Checks in Polyspace Code Prover

Learn why the verification cannot prove the presence or absence of an error for certain operations and why you must review the operations.