Polyspace
| Polyspace | |
|---|---|
| Developer | MathWorks |
| Stable release | R2026a
/ April 15, 2026 |
| Operating system | Cross-platform |
| Type | static code analysis |
| License | Proprietary |
| Website | www |
Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards.