Polyspace Client for C/C++

Prove the Absence of Certain Run-Time Errors and Track the Progress of Your Software Quality Objectives

Traditional bug-finding tools either fail to report software errors (yielding false negatives) or produce too many warnings (yielding false positives). Dynamic testing, which typically uses a finite number of test cases, may miss errors entirely. Polyspace Client for C/C++ verifies 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 define a centralized quality model on the Polyspace server (requires Polyspace Server for C/C++) to track coding rules violations, code metrics, and run-time errors. Using these metrics, you can track your progress toward predefined software quality objectives as your code evolves from the first iteration to the ultimate delivery version. By confirming the absence of certain 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, and assess code that is free of run-time errors.

Web dashboard (requires Polyspace Server for C/C++). You can monitor the progress of the software quality and decide which part of the software needs more attention.