Polyspace Server for C/C++

Automating Verification Job Scheduling and Integrating with E-Mail Notifications

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

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 result are available. In addition, you can define which characteristics of the build process you want the automated verifications to encompass.