主要内容

审查结果时的故障排除

未检测到的编码违规、报告生成错误,等等

对 Polyspace® 分析错误(例如内存不足、未检测到的缺陷或编码违规以及未应用自定义注解)进行故障排除。

疑难解答

Fix Insufficient Memory Errors During Polyspace Report Generation

Troubleshoot out of memory errors when generating large reports.

诊断为何编码规范违规未按预期显示

排查编码违规未按预期标记的原因。

Check Why a Bug Finder Defect Does Not Appear as Expected

Troubleshoot why an expected Polyspace Bug Finder defect might not appear.

Fix Errors Applying Custom Annotation Format for Polyspace Results

Troubleshoot errors when applying custom code annotations to Polyspace results.

Troubleshoot Navigation from Code to Model

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

Contact Technical Support About Issues with Running Polyspace

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