find-checker-documentation

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"}

How to Find Polyspace Checker Documentation

Find the documentation page for a Polyspace checker or coding rule (e.g., MISRA-C:2012-Rule-8.4, INT_OVERFLOW).

Documentation URL patterns

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.

---