Main Content

Troubleshoot Results Interpretation Issues

Unchecked code, unclear orange checks and so on

Understand the cause of unchecked code, functions, or file, and fix issues such as red or orange checks and navigation from code to model.

Troubleshooting

Identify Root Causes of Code Prover Red or Orange Checks

Investigate your verification result further using features in the Polyspace® user interface.

Reasons for Unchecked Code

Diagnose why the verification has not checked a significant portion of your code for run-time errors.

Identify Why Some Files or Functions are Missing in Polyspace Results

Diagnose why you cannot see some of your files or functions in the verification results.

Avoid Red Checks in Unreachable Code When Using C++ STL Containers

Work around a Code Prover imprecision on STL containers such as std::map, std::vector, and std::list.

Fix Polyspace Overapproximations on Standard Library Math Functions

Diagnose unexpected behavior of standard library math functions in your verification results.

Troubleshoot Navigation from Code to Model

Diagnose issues navigating from generated C/C++ code to corresponding blocks in Simulink® model.

Fix Errors Applying Custom Annotation Format for Polyspace Results

Troubleshoot errors when applying custom code annotations to Polyspace results.

Contact Technical Support About Issues with Running Polyspace

Learn what MathWorks® Technical Support needs from you to diagnose an issue.