View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Join the 15-year community celebration.

Play games and win prizes!

» Learn more

Be the first to rate this file! 0 Downloads (last 30 days) File Size: 138 KB File ID: #25813 Version:




12 Nov 2009 (Updated )

A tool to receive an email notification at the end of a PolySpace verification

| Watch this File

File Information

The goal of PolySpace Email Notifier (or simply EmailNotifier) is very simple: automatically send an email at the end of a PolySpace verification that runs on a server.
The features of EmailNotifier:
- the email is sent to the author of the project
- it runs on the Queue Manager
- it is possible to send the email to another person (Cc)
- 2 mail protocols can be used : sendmail and SMTP
- if the verification has failed, the last 20 lines of the log will be showed in the email, otherwise the check statistics will be given.

Required Products Polyspace Client for Ada
Polyspace Client for C/C++
Polyspace Server for Ada
Polyspace Code Prover
MATLAB release MATLAB 7.4 (R2007a)
Other requirements Platform: Unix Language: Perl
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (1)
28 Sep 2016 Ram

Learn more about Polyspace static code analysis here:

Comment only
14 Apr 2010 1.1

More robustness and a new mode to send notifications for unit-by-unit verifications.

17 Sep 2010 1.2

Added robustness against non responsive Queue Manager

01 Sep 2016

Updated license

Contact us