R2021a - Polyspace

polyspace-bug-finder:
  image: mathworks/polyspace-r2021a:latest
  script:
    - polyspace-bug-finder -sources $CI_PROJECT_DIR -output-format gitlab-json > gl-report.json
  artifacts:
    reports:
      codequality: gl-report.json

The verification manager uses Polyspace Access to:

Polyspace R2021a shipped with new plugins for Jenkins Pipeline (Declarative) and GitLab CI. The polyspace-bug-fetch script was deprecated in favor of a unified polyspace-access command, streamlining the extraction of results from a Polyspace Access web server. polyspace r2021a

Polyspace Access—the web-based review and triage platform—received a redesigned review workflow: The verification manager uses Polyspace Access to: Polyspace

This bridges the gap between analysis results and traceability matrices required for DO-178C certification. This bridges the gap between analysis results and