菜单
Finds documentation for Polyspace checkers and coding rules. Use when the user asks "what does this checker do", "find checker documentation", "explain this Polyspace rule", or wants to understand a specific Polyspace finding.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Sets up the Polyspace Agentic Toolkit for any supported AI agent. Use when the user asks to "set up Polyspace", "set up the Polyspace Agentic Toolkit", "install the Polyspace MCP Server", "configure Polyspace for my agent", or wants to get Polyspace working with their AI application.
Creates Polyspace build options files from build commands or compilation databases. Use when the user asks to "configure build options", "create build options file", "set up Polyspace build", or needs to configure compiler settings for Polyspace analysis.
Creates or modifies Polyspace checkers configuration files. Use when the user asks to "configure checkers", "set up MISRA checking", "enable CWE", "create checkers file", or needs to select coding standards for Polyspace analysis.
Provides Polyspace documentation entry points and links. Use when the user asks about "Polyspace documentation", "where is the Polyspace docs", "documentation links", or needs to find general Polyspace documentation.
REQUIRED before searching for any Polyspace option documentation page. Use when the user asks about a Polyspace option (-c, -target, -sources, -boolean-types, -misra3, etc.), wants to find an option's doc page, or asks 'what does this option do'. This skill contains the only reliable method to locate option reference pages — URLs cannot be guessed from the flag name.
Fixes or justifies Polyspace findings after analysis. Use when the user asks to "fix this finding", "fix these defects", "fix violations", "address Polyspace results", or wants to resolve static analysis findings.
| name | find-checker-documentation |
| description | Finds documentation for Polyspace checkers and coding rules. Use when the user asks "what does this checker do", "find checker documentation", "explain this Polyspace rule", or wants to understand a specific Polyspace finding. |
| license | MathWorks BSD-3-Clause |
| metadata | {"version":"1.0"} |
Find the documentation page for a Polyspace checker or coding rule (e.g., MISRA-C:2012-Rule-8.4, INT_OVERFLOW).
Rule and checker pages are under https://www.mathworks.com/help/bugfinder/ref/ with these naming patterns:
| Standard | Index page | Page pattern | Example |
|---|---|---|---|
| MISRA C 2012 | misra-c-2012-reference.html | misrac2012rule{N}.html or misrac2012d{N}.html for directives | Rule 8.4 -> misrac2012rule8.4.html, Dir 4.1 -> misrac2012d4.1.html |
| MISRA C 2023 | misra-c-2023-reference.html | misrac2023rule{N}.html or misrac2023d{N}.html | Same pattern as 2012 |
| MISRA C 2025 | misra-c-2025-reference.html | misrac2025rule{N}.html or misrac2025d{N}.html | Same pattern as 2012 |
| MISRA C++ 2008 | misra-c2008-rules.html | misrac2008rule{N with dashes removed}.html | Rule 0-1-1 -> misrac2008rule011.html |
| MISRA C++ 2023 | misra-cpp-2023-rules-and-directives.html | misracpp2023rule{N}.html or misracpp2023d{N}.html | Rule 0.0.1 -> misracpp2023rule0.0.1.html |
| AUTOSAR C++14 | autosar-cpp-14.html | autosarc14rule{letter}{N with dashes removed}.html | A0-1-1 -> autosarc14rulea011.html |
| CERT C | cert-c-rules-and-recommendations.html | certcrule{id lowered with dashes removed}.html | ARR30-C -> certcrulearr30c.html |
| CERT C++ | cert-c-rules.html | certc{id lowered with dashes and -CPP suffix removed}cpp.html | EXP52-CPP -> certcexp52cpp.html |
| ISO/IEC TS 17961 | isoiec-ts-17961-rules.html | isoiects17961{id lowered}.html | accfree -> isoiects17961accfree.html |
| CWE | cwe-common-weakness-enumeration-rules.html | cwe{N}.html | CWE-119 -> cwe119.html |
| Defects | defect-reference.html | No predictable pattern | Use web search instead |
All index pages are relative to https://www.mathworks.com/help/bugfinder/
If you cannot determine the page URL from the patterns above and you have a web search tool (not a URL fetch tool), search for:
site:mathworks.com/help/bugfinder <checker_name>
ACTION REQUIRED: Use your web fetch tool to read the documentation page. Do not answer from memory alone.
Copyright 2026 The MathWorks, Inc.