故障排除结果解释问题

未检查的代码、不明确的橙色检查等等

了解代码、函数或文件未被检查的原因，并修复红色或橙色检查以及从代码导航到模型等问题。

疑难解答

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.