Polyspace as You Code is an Integrated Development Environment (IDE) plugin that checks C/C++ source files for defects, coding rules violations, and code metrics. It helps you detect issues before submitting your changes for integration.
You get instant feedback on more than 300 types of defects, including buffer overflows and divide-by-zero errors. You can check compliance with coding standards like MISRA C™:2023, MISRA C++:2023, CERT® C/C++, and CWE™. Findings appear directly in the IDE with diagnostic explanations and recommended corrections.
Polyspace as You Code works with Visual Studio® Code, Visual Studio, and Eclipse™. It can connect with Polyspace Access to sync local findings with defects from integration branches to prevent duplicating reviews.
Analyze C/C++ Code in Your IDE
Analyze your C and C++ source code files directly within your IDE—on save or on demand. Results appear as source code markers and in a dedicated results pane. Use Polyspace as You Code as a plugin or extension for Visual Studio 2019 and 2022, Visual Studio Code, Eclipse, and certain Eclipse-based IDEs, such as STM32 Cube or Wind River® Workbench®. You can also integrate with other IDEs using a command-line API.
Detect C/C++ Code Vulnerabilities
Ensure embedded C and C++ code quality by checking for more than 300 different software vulnerabilities in categories such as security vulnerabilities, memory errors, numerical defects, and concurrency errors, up to the latest versions of the C and C++ languages.
Check C/C++ Coding Standards Compliance
Check for code compliance as you code with support for safety and security coding standards, including MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++, and CWE.
Understand Defect Root Causes
Understand the root causes of defects and apply targeted fixes. Each finding includes detailed context, including a description of the defect, data types involved, expected and actual data values, an event trace leading to the defect, and relevant lines of code.
Get additional contextual information and fix suggestions by extending Polyspace as You Code with Polyspace Copilot.
Track Newly Introduced Defects
Verify changes in your code by baselining code analysis either with your local checkout or with the latest results from continuous integration jobs when connected to Polyspace Access. Use the Quality Monitoring list to determine which files are analyzed and reviewed.
Customize Analysis for Consistent Code Quality
Extend the native set of C/C++ code findings defects with your own checkers. Apply a consistent team, project, or company-wide ruleset with custom defect catalogs. Enforce code maintainability with custom naming conventions and code metrics.
Product Resources:
“With Polyspace, we can ensure software security and quality by identifying and fixing critical run-time errors before every code merge.”
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.
