帮助中心帮助中心
使用的配置窗格显示已启用的用于在当前所选工程中生成结果的选项和检查项。选项选项卡显示用户指定的选项和默认启用的选项。
您可以转至窗口 > 使用的配置来打开使用的配置窗格。
点击检查项以查看针对以下内容启用了哪些检查项:
编码标准 (Polyspace Bug Finder),例如MISRA C™:2012。
自定义编码规则 (Polyspace Bug Finder).
如果未启用编码标准或自定义编码规则,则检查项不适用于 Code Prover 工程。
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: .
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Contact your local office