configure-checkers

name	configure-checkers
description	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.
license	MathWorks BSD-3-Clause
metadata	{"version":"1.0"}

How to Configure Checkers for Polyspace

Create or modify the checkers XML file that defines which coding rules and defect checkers Polyspace uses during analysis.

Using the MCP tool

If the Polyspace MCP Server is available, use the configure_checkers_for_polyspace tool:

• checkers_file_path (required): absolute path to the XML file to create (must have .xml extension)
• Standard parameters (set to "all" to enable): misra_c_2012, misra_c_2023, misra_cpp_2023, cert_c, cert_cpp, cwe, polyspace_defects
• launch_checkers_selection_ui (optional): set to true to open the interactive UI instead

Standard parameters and launch_checkers_selection_ui are mutually exclusive.

Otherwise using the binary / writing the XML directly

If the Polyspace MCP Server is NOT available, read cli-usage.md in this folder for how to write the checkers XML file directly or launch the interactive UI.

---

Copyright 2026 The MathWorks, Inc.

---