Polyspace R2021a ~upd~ -

Polyspace is not just for hand-written C/C++. In R2021a, the integration with and Embedded Coder matured significantly.

Once per milestone, the verification team runs Code Prover. Analysis takes 4–8 hours for 500k LOC. The output is a colored source browser:

: Create a new project and add your source files (.c, .cpp) and include paths. Configuration polyspace r2021a

: Support was added for additional rules within AUTOSAR C++14 , CERT C++, and MISRA C++.

Run Polyspace Bug Finder locally on developer desktops or containers before pushing code to a shared repository. Polyspace is not just for hand-written C/C++

R2021a enables Polyspace Code Prover to analyze projects containing a mix of C and C++ source files, with the ability to:

Static analysis and guideline checking (MISRA, AUTOSAR, CERT). Formal methods based on Abstract Interpretation. Typical Use Early development and continuous integration. Safety-critical software verification and certification. 3. Setup and Integration Analysis takes 4–8 hours for 500k LOC

Example Jenkinsfile snippet: