GitHub repository: mathworks/mathworks-polyspace-plugin
Primary language: Java
Created: 2019-03-13T07:15:50Z
Description: This plugin integrates Polyspace (R) products with Jenkins for automated analysis. Polyspace (R) 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).