PolySpace Client for C/C++ 7.1

Verifying Program Dynamics

Traditional bug-finding tools either fail to report software errors (yield false negatives) or produce too many warnings (yield false positives). Dynamic testing, which typically uses a finite number of test cases, may miss errors entirely. PolySpace Client for C/C++ verifies all conditions of program execution, for each instruction, taking into account all possible values of every variable at every point in the code. The results provide a formal diagnostic for each operation in the code.

You can use PolySpace Client for C/C++ to support all critical activities in a software development workflow, including:

• Verifying software component integrity and quality under normal and abnormal usage conditions
• Monitoring code quality trends
• Finding and correcting errors during the coding process before test
• Proving the absence of run-time errors in the software component