Skip to Main Content Skip to Search
Accelerating the pace of engineering and science

 

Polyspace Client for C/C++

Prove the absence of run-time errors in source code

Polyspace Client for C/C++ provides code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code using static code analysis that does not require program execution, code instrumentation, or test cases. Polyspace Client for C/C++ uses formal methods-based abstract interpretation techniques to verify code. You can use it on handwritten code, generated code, or a combination of the two, before compilation and test.

Support for industry standards is available through IEC Certification Kit (for IEC 61508 and ISO 26262) and DO Qualification Kit (for DO-178).


Adobe Acrobat Required  View data sheet (348k)



News and Events
Contact sales
Free technical kit
Trial software

Get Pricing and
Licensing Options

Recorded Webinar

DO-178B Certification: Automate and Streamline Using Code Verification

EADS

"The Polyspace solution is unique - it detects run-time errors without execution and has the advantage of being exhaustive."