Get Started with Polyspace Copilot

Polyspace^® Copilot provides generative AI-powered capabilities to the Polyspace as You Code™ plugin for Visual Studio Code IDE. Polyspace Copilot assists with analysis and resolution of coding defects and coding standards violations, including MISRA C™:2023, MISRA™ C++:2023, CERT^® C/C++.

Polyspace Copilot provides tailored explanations of Polyspace as You Code findings related to your local codebase. Copilot Chat can suggest code fixes to help resolve those findings. You can ask Copilot Chat to answer questions related to Polyspace as You Code and receive information grounded in relevant MathWorks^® documentation.

Tutorials

• Write Effective Prompts for Polyspace Copilot
  

  Use these best practices to write effective prompts for Polyspace Copilot.

• Create and Manage Conversations in Polyspace Copilot
  

  Create Polyspace Copilot conversations from the code editor, the Result Details pane, or the Polyspace Copilot pane.

• Review Polyspace Results Using Polyspace Copilot
  

  Use Polyspace Copilot to review Polyspace results, explain findings, and generate code fixes or justifications.