R2021a introduced native plugins for and GitLab CI/CD . A typical pipeline can now:
With C++17 adoption rising in embedded (e.g., std::optional , structured bindings, if constexpr ), Polyspace R2021a extended its semantic analysis to handle these constructs correctly in both Bug Finder and Code Prover. The abstract interpretation domain was updated to model std::variant and std::visit without false positives. polyspace r2021a
polyspace-bug-finder -sources src/ -target-compiler gcc10 -checkers-selection "MISRA_C_2012" -output-report results.html R2021a introduced native plugins for and GitLab CI/CD