Polyspace Copilot

NEW PRODUCT

 

Polyspace Copilot

AI assistant optimized for Polyspace

Get 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, and 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.

Screenshot of Polyspace Copilot explaining steps to configure checkers for certification standards, including selecting coding standards like MISRA and AUTOSAR, specifying options, and saving configurations.

Explore Polyspace Capabilities

Use natural language chat to discover Polyspace capabilities relevant to your current code verification objectives. Polyspace Copilot responses are based on the latest MathWorks documentation and code examples.

Screenshot of Visual Studio Code showing the Polyspace Copilot explanation for a MISRA rule violation and C code with conditional statements requiring an else clause for compliance.

Understand Polyspace Findings

Review tailored and contextual explanations of Polyspace as You Code findings, including insights into MISRA C:2023, MISRA C++:2023, and CERT C/C++ violations.

Screenshot of Visual Studio Code showing Polyspace Copilot suggesting a fix for a C code issue, with highlighted code and an explanation panel detailing the proposed change and justification.

Review Suggested Fixes for Polyspace Findings

Receive guidance on how to address Polyspace findings, including code snippets with suggestions on how to correct your C/C++ code. Polyspace Copilot can suggest Polyspace justification for approved finding deviations.

Screenshot of Visual Studio Code with the Polyspace Copilot chat open on the left in Japanese and, on the right, the extension settings showing a dropdown list to choose AI Language, currently highlighting Japanese among many languages.

Interact in Your Preferred Language

Ask questions and receive guidance in many languages with Polyspace Copilot support for multilingual interaction.

Product Resources:

Documentation Requirements Release notes

Polyspace Product Family

Polyspace products make critical code safe and secure by testing and monitoring software quality throughout the development lifecycle.

Polyspace Access

Identify coding defects, review static analysis results, and monitor software quality metrics.

Polyspace Copilot

AI assistant optimized for Polyspace.

Polyspace Test

Develop, manage, and execute tests for C and C++ code in embedded systems.

Polyspace as You Code

Identify coding standard violations and software vulnerabilities from your IDE.

Polyspace Bug Finder

Check coding rules, security standards, and code metrics, and find bugs.

Polyspace Code Prover Server

Continuously and exhaustively verify critical C and C++ code statements into CI pipelines.  

Polyspace Bug Finder Server

Identify software defects and enforce coding rules in your CI pipelines.

Polyspace Client for Ada

Exhaustively verify critical Ada statements units using formal methods.

Polyspace Code Prover

Exhaustively verify the most critical C and C++ statements using formal methods.

Polyspace Server for Ada

Continuously and exhaustively verify critical Ada code statements into CI pipelines.

Interested in Polyspace Copilot?

Request a trial Request a quote