审查结果时的故障排除
对 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.