This plugin integrates Polyspace® products with Jenkins for automated analysis. Polyspace® static code analysis products can prove absence of critical run-time errors using formal methods, find hundreds of classes of bugs, and check for adherence to coding rules (MISRA C, MISRA C++, JSF++) and security rules (CWE, CERT-C, CERT-C++, ISO/IEC 17961).


Product Requirements

You require these products to use the MathWorks Polyspace plugin in Jenkins:

For installation steps, see Polyspace documentation.

Note: These Polyspace products are available in MathWorks releases R2019a and beyond. For releases prior to R2019a, you can use the Jenkins plugin with an installation of the desktop products, Polyspace Bug Finder or Polyspace Code Prover, and use the older Polyspace Metrics web interface to host results. However, the Polyspace Metrics web interface shows only an overview of Polyspace results for a project. To see the result details, you have to download the results back to the desktop product.

Getting Started

After you install Polyspace Bug Finder Server or Polyspace Code Prover Server and set up the Polyspace Access (or Polyspace Metrics) web interface, you can use the Jenkins plugin to run Polyspace during continuous integration. To start using the plugin:

  1. Configure the plugin to point to your Polyspace Server installation folder and Polyspace Access server settings.

  2. Set up a Jenkins project to run a Polyspace analysis in isolation or along with other scripts.

For a quick start tutorial and example scripts, see the MathWorks Polyspace plugin github repository. For examples of Polyspace commands, see Polyspace Bug Finder Server documentation or Polyspace Code Prover Server documentation.

Release Notes

Version 1.0.0

Initial version