P
- Developer
- Founded
- 1999
Overview
All data
7 statements · 14% with external sources · numbers in brackets are citations
On other databases
2 identifiers linking Polyspace across the web's reference databases
7 statements · 14% with external sources · numbers in brackets are citations
2 identifiers linking Polyspace across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
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.