PolySpace Client for C/C++ 7.1

Reviewing Results

PolySpace Client for C/C++ uses color-coding to indicate the status of each element in the code, as follows:

Green: proven free of run-time errors
Red: proven faulty each time the operation is executed
Gray: proven unreachable (may indicate a functional issue)
Orange: unproven

MISRA C 2004 and JSF++ coding violations are also detected. The client generates metrics and produces reports that you can use to monitor and help improve code reliability and quality.

You can control the way code verification results are analyzed based on stage in the development process, criticality of the software component, and code certification requirements. PolySpace Client for C/C++ provides both predefined and customizable filters that let you analyze verification results in an iterative process. It optionally tests code marked orange, so you can choose whether to manually review verification results and exercise the unproven code sections with generated test cases.

By confirming the absence of run-time errors and measuring the rate of improvement in code quality, PolySpace Client for C/C++ enables developers, testers, and project managers to target, deliver, or assess code that is free of run-time errors.