Polyspace
Polyspace: A deep C/C++ analysis suite for teams building safety-critical embedded software. Ranked #6 of 37 in Static Analysis Tools by our editors (8.8/10); pricing: Pricing on request · 30-day trial; best for safety-critical C/C++ development.
At a glance
- Editor score8.8 / 10
- PricingPricing on request · 30-day trial
- Best forSafety-critical C/C++ development
- Free planNo
- Security analysisYes
- Founded1984 · Natick, Massachusetts, USA
- Facts checked20 Sep 2026
Where it wins
- Formal verification covers selected runtime errors across execution paths
- Supports MISRA, AUTOSAR C++14, CERT, CWE, and custom checkers
- CI, dashboards, IDE extensions, and generated-code traceability support team workflows
Where it doesn't
- Pricing is quote-based rather than publicly itemized
- The primary language scope centers on C, C++, and Ada
- Its breadth may exceed the needs of teams seeking lightweight code analysis
Our verdict on Polyspace
Polyspace is a MathWorks product family for static analysis, formal verification, testing, and software-quality monitoring. It analyzes C, C++, and Ada software for coding defects, runtime errors, security vulnerabilities, coding-standard violations, and quality metrics. Desktop products support developer workflows, while server products bring analysis into continuous-integration pipelines. Polyspace Access adds browser-based result review, collaboration, dashboards, and quality trends. The product is aimed at engineering teams developing safety-critical and security-sensitive embedded software, including automotive, aerospace, medical-device, and semiconductor applications.
Pricing follows a contact-sales model, and the published offering includes a 30-day trial rather than a perpetual free plan. The product family covers web, Windows, macOS, Linux, and API access. Its ecosystem fit is a major part of the offering: integrations include MATLAB, Simulink, Jenkins, Bamboo, Jira, GitHub, and dSPACE TargetLink. IDE extensions support Visual Studio, Visual Studio Code, Eclipse, and Eclipse-based IDEs. Server products and CI tools help teams automate analysis, while browser-based dashboards provide a shared view of results and quality trends.
Polyspace stands out when teams need more than conventional defect scanning. Formal verification addresses selected runtime errors across execution paths, and security analysis uses CERT, CWE, and related rules. Teams can define custom coding standards, defects, naming conventions, and checkers, while Simulink and dSPACE TargetLink traceability supports analysis of generated code. This depth makes Polyspace a strong fit for regulated or safety-focused C/C++ development. Teams working across broader language sets, or those seeking a simpler and more transparent entry point, should consider a narrower static-analysis product instead.
Your product? Our editors can test Polyspace in depth and publish a review, labelled as paid · from $149/mo →
Polyspace pricing
Polyspace fact sheet
| Free plan | No |
|---|---|
| Paid from | Not verified |
| Language support | C, C++, Ada |
| Security analysis | Yes |
| IDE support | Yes |
| CI/CD support | Yes |
| Custom rules | Yes |
| Deployment | Both |
| Free trial | 30 days |
| Deployment | Cloud, Self-hosted, Desktop, Browser extension |
| Platforms | Web, Windows, macOS, Linux |
| Compliance & security | SOC 2 |
| Support | Docs |
| Built for | Mid-market, Enterprise (editorial estimate) |
| Integrations | 7 integrations: MATLAB, Simulink, Jenkins, Bamboo, Jira, GitHub … |
| Pricing | Pricing on request · 30-day trial (source) |
| Website | mathworks.com |
| Facts checked | 20 Sep 2026 |
Polyspace integrations
Polyspace lists 7 integrations on its own site.
- MATLAB
- Simulink
- Jenkins
- Bamboo
- Jira
- GitHub
- dSPACE TargetLink
Alternatives to Polyspace
- QodanaA broad static analysis platform for teams working across many languages and delivery environments.9.3
- Snyk CodeAffordable source-code security scanning with developer workflows, pull requests, and CI/CD gates.9.2
- OpenText Fortify SASTA broad SAST platform for enterprise teams scanning code, binaries, infrastructure, and pipelines.9.1
See all Polyspace alternatives →
Polyspace vs the competition
- Polyspace vs Qodana
- Polyspace vs Snyk Code
- Polyspace vs OpenText Fortify SAST
- Polyspace vs Checkmarx One
- Polyspace vs Perforce QAC (formerly Helix QAC)
- Polyspace vs Axivion Suite
Compare Polyspace with any tool side by side →
Also Ranked In
Polyspace is ranked in 2 of our directories.
Used Polyspace? Be the first to review it
The editor score above is our own research. What this page doesn't have yet is a reader's view — what you used Polyspace for, what worked and what didn't. No stars are seeded and no review is paid for; an editor reads every one before it appears.
Write a reviewTwo minutes · verified accounts only · read by an editor before it appears
Featured on iTechGuides
Polyspace is listed in our Static Analysis Tools directory. Add the badge to your site — it links back to this page.
<a href="https://www.itechguides.com/products/polyspace/"><img src="https://www.itechguides.com/best/badge/polyspace.svg" alt="Featured on iTechGuides" width="230" height="46"></a>
Reviewed by iTechGuides Editors · Editorial team · Updated Oct 2026
Advertiser disclosure: iTechGuides is reader-supported. Vendors can pay for top positions in our rankings and for a place on other products' pages, and we may earn a commission when you click some links. Bought places stand at the number bought; this page and our disclosure say so. Paying vendors may get a fuller, more detailed review from our editors, and that review can change their score. How we rank.
Last updated · How we research and update