stage('Polyspace') steps sh 'polyspace-code-prover -sources . -jenkins -output-results results.pscp'
: The tool supports the latest industry standards for coding, including MISRA C 2012, MISRA C++ 2008, and Ada 2012, ensuring compliance with regulatory requirements. polyspace r2021a
Polyspace R2021a, developed by MathWorks , introduces significant enhancements to its static analysis suite to improve the safety, security, and reliability of embedded software. This release focuses on faster analysis times, expanded coding standard support, and better integration for complex C++ and AUTOSAR projects. Key Feature Enhancements in R2021a 1. New Guidelines Checkers for Code Complexity stage('Polyspace') steps sh 'polyspace-code-prover -sources
However, if you require C++20 support or AUTOSAR C++14 guidelines, you should skip R2021a and move to R2023b or newer. This release focuses on faster analysis times, expanded
| Tool | Approach | Formal Proof? | MISRA Support | Price | Best For | |------|----------|---------------|---------------|-------|-----------| | Polyspace Code Prover | Abstract interpretation | Yes | Full | High | DO-178C/ISO 26262 | | Coverity | Path simulation | No | Partial | Medium | General static analysis | | Clang Static Analyzer | Symbolic execution | No | Via plugins | Free | Open source projects | | LDRA | Rule-based + metrics | No | Full | Medium | Regulatory compliance | | CodeSonar | Abstract interpretation | Yes | Partial | High | Cybersecurity (CWE) |