Nissan
Polyspace products for C/C++ can ensure a level of software reliability that is unmatched by any tools in the industry.
Delphi Diesel Systems
Using Polyspace as soon as source code is available helps us catch bugs much earlier and thus at a much lower cost.
EADS
The Polyspace solution is unique - it detects run-time errors without execution and has the advantage of being exhaustive.
IRSN
Polyspace belongs to a new generation of analysis tools. It represents a large step forward for the verification of safety-related software.
Code Verification with Polyspace
Polyspace® code verifiers detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access and other run-time errors in source code. Polyspace uses static code analysis that is formal methods based (with abstract interpretation) to verify C/C++ or Ada. You can use it to perform code verification of handwritten or generated embedded software. Polyspace can also be used to check compliance to coding standards, review code complexity metrics, and measure software quality.
FREE Polyspace
Trial Software
FREE Polyspace
Tech KitPolyspace helps you:
- Detect difficult to find run-time errors in C/C++ and Ada
- Enforce MISRA C®, MISRA-C++ or JSF++ (Joint Strike Fighter Air Vehicle C++) coding standards
- Review code complexity metrics(cyclomatic and others)
- Track software quality metrics and ensure that your software quality objectives have been met
- Formally prove the absence of specific run-time errors (by abstract interpretation)
- Create artifacts for certification to DO-178B, IEC 61508, and ISO 26262
- Verify handwritten or generated code from MathWorks Embedded Coder™ (Simulink®), dSPACE® TargetLink®, or IBM® Rational® Rhapsody®
Learn more about Polyspace products for C/C++:
Polyspace Client™ for C/C++
Polyspace Server™ for C/C++
Polyspace products for Ada:
Polyspace Client™ for Ada
Polyspace Server™ for Ada
Polyspace products for generated code:
Polyspace Model Link™ SL (for Simulink®)
Polyspace Model Link™ TL (for dSPACE TargetLink)
Polyspace UML Link™ RH (for IBM Rational Rhapsody)
Support for industry certification standards:
IEC Certification Kit (for IEC 61508)
DO Qualification Kit (for DO-178)