Manage Results
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.
- Managing Orange Checks in Polyspace Code Prover
- Critical Orange Checks in Polyspace Code Prover
- Limit Display of Orange Checks in Polyspace Desktop User Interface
- Reduce Orange Checks in Polyspace Code Prover
- Evaluate Polyspace Code Prover Results Against Software Quality Objectives
- Identify Function Call with Run-Time Error
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: United States.
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)