documentation-entry-points

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

Polyspace Documentation Entry Points

Main Polyspace documentation pages. Each page links to more detailed sub-pages.

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

site:mathworks.com/help/bugfinder <your question>

Polyspace as You Code

Topic	URL
Getting started	https://www.mathworks.com/help/payc/get-started-with-polyspace-as-you-code.html
Build options	https://www.mathworks.com/help/payc/build-options.html
Checkers	https://www.mathworks.com/help/payc/checkers.html
IDE extensions (VS Code)	https://www.mathworks.com/help/payc/polyspace-as-you-code-in-visual-studio-code.html

Analysis options and checkers reference (shared with Bug Finder)

Topic	URL
Analysis options (all)	https://www.mathworks.com/help/bugfinder/analysis-options.html
Defect checkers reference	https://www.mathworks.com/help/bugfinder/defect-reference.html
Coding rules reference	https://www.mathworks.com/help/bugfinder/coding-rule-reference.html
Troubleshooting	https://www.mathworks.com/help/bugfinder/troubleshooting-in-polyspace-bug-finder.html

Polyspace Test

Topic	URL
Getting started	https://www.mathworks.com/help/polyspace_test/getting-started-with-polyspace-test.html
Test authoring	https://www.mathworks.com/help/polyspace_test/test-authoring.html
Test generation	https://www.mathworks.com/help/polyspace_test/test-generation.html
Code coverage	https://www.mathworks.com/help/polyspace_test/coverage.html
Project setup	https://www.mathworks.com/help/polyspace_test/project-setup.html

ACTION REQUIRED: Fetch the relevant page(s) above or use web search. Do not answer from memory alone.

---

Copyright 2026 The MathWorks, Inc.

---