find-option-documentation

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

How to Find Polyspace Option Documentation

Find the documentation page for a Polyspace analysis option (e.g., -target, -compiler, -misra3).

IMPORTANT: The documentation page URL cannot be guessed from the flag name — it uses the GUI title, not the flag. Do not attempt to construct or guess URLs.

Step 1: Get the option description and accepted values

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

• list_payc_options = true for analysis options (polyspace-as-you-code)
• list_configure_options = true for build configuration options (polyspace-configure)

If the Polyspace MCP Server is NOT available, run the binary directly:

polyspace-as-you-code -help

Or for polyspace-configure options:

polyspace-configure -help

How to find the binaries

Polyspace binaries are in <polyspace_root>/polyspace/bin/. To find <polyspace_root>:

1. Check the $POLYSPACE_ROOT environment variable: echo $POLYSPACE_ROOT
2. If not set, check whether the binary is already in PATH: which polyspace-as-you-code
3. If neither works, ask the user for the Polyspace installation path.

If the binary is not in PATH, use the full path: $POLYSPACE_ROOT/polyspace/bin/polyspace-as-you-code.

Find the option in the output — it shows the accepted values and the category it belongs to.

Step 2: Find the full documentation page

From the -help output, note the category heading the option appears under (e.g., "Checkers Behavior", "Target & Compiler"). Then use the mapping below to go directly to the right documentation page. The -help headings do NOT match the website page names — always use this table:

-help heading	Documentation page
Bug Finder Analysis	https://www.mathworks.com/help/bugfinder/configure-coding-rule-checks-and-code-metrics.html
Checkers Behavior	https://www.mathworks.com/help/bugfinder/configure-coding-rule-checks-and-code-metrics.html
Check Behavior	https://www.mathworks.com/help/bugfinder/modify-analysis-assumption.html
Target & Compiler	https://www.mathworks.com/help/bugfinder/mimic-build.html
Input & Stubbing	https://www.mathworks.com/help/bugfinder/specify-code-behavior.html
Multitasking	https://www.mathworks.com/help/bugfinder/improve-precision.html
Post Verification	https://www.mathworks.com/help/bugfinder/reporting.html
General Options	https://www.mathworks.com/help/bugfinder/configur-review-import.html

If the option is not found on the mapped page, try the full reference list at https://www.mathworks.com/help/bugfinder/referencelist.html?type=analysisopt (may require JavaScript).

Fetch the matching page — it lists individual options with direct links to their reference pages.

If you have a web search tool (not a URL fetch tool), you can alternatively search for:

site:mathworks.com/help/bugfinder polyspace "<option_name>" option

Use quotes around the option name and add "polyspace" and "option" as context words — this is essential for short or common option names like -c or -library.

ACTION REQUIRED: Do not answer from memory alone. Use the approaches above to get the accurate documentation.

---

Copyright 2026 The MathWorks, Inc.

---