Large-scale projects (e.g., 2 million lines of AUTOSAR code) historically suffered from long analysis times. R2021a introduced a new incremental analysis mode for Code Prover. If only a few .c files changed, the tool re-used previous verification results for unchanged functions, reducing analysis time by up to 70% in continuous integration (CI) pipelines.
If you are currently on an older version (R2019b or R2020b), the migration to R2021a requires: polyspace r2021a
stage('Polyspace Analysis') steps polyspaceBugFinder optionsFile: 'my_options.psopts', resultsDir: 'results', reporting: 'PDF' Large-scale projects (e