Polyspace Client for C/C++

Integrate Code Verification as Part of a Continuous Verification Process

You can automate verification job scheduling and integrate it with e-mail notifications (Polyspace Server for C/C++ required).

You can assign a Polyspace client to schedule the posting of a job to the server, and get notified by e-mail when the results are available. Results will contain only the differences compared with the previous version of your code. The server computes these differences automatically.

You can define the frequency of these analyses, the quality model you want to apply for a given portion of your code base, and the e-mails you want your users to receive when the results are available. Also, you can define which characteristics of the build process you want the automated verifications to encompass.