Polyspace Access enables software engineering teams to manage the quality of their C, C++, and Ada software throughout the development lifecycle. It provides a repository to centralize results from Polyspace Bug Finder Server, Polyspace Code Prover Server, Polyspace Server for Ada, and Polyspace Test. From its web application, you can navigate through your project components and versions to monitor quality trends, explore detailed findings, and collaborate on issues for triage.
By integrating with project management tools and authentication systems, Polyspace Access supports controlled, team-based collaboration on software quality. When connected with Polyspace as You Code, Polyspace Access synchronizes findings from continuous integration (CI) with local changes, enabling you to focus on new defects.
Project Dashboards and Quality Metrics
Monitor project quality in your web browser with project-level dashboards, including cards and charts for defects, coding rules, run-time checks, test results, and code coverage. Drill down by project, file, or code analysis and test results, and open dashboards to focus on specific quality trends. Define quality objectives based on your safety and security requirements.
Collaborative Review and Triage of Findings
Review static code analysis, dynamic analysis, and test results directly in your web browser with source context. Set statuses for findings (To Do, In Progress, Done), assign owners, add comments, and filter results.
History, Baselines, and Run Comparisons
View statistics from previous runs and compare current Polyspace results to baselines, monitoring regressions and progress over time to track release readiness. Identify new issues quickly and quantify quality improvements across builds.
Software Factory Integration
Centralize results produced in CI pipelines by Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada, and Polyspace Test by uploading them to the Polyspace Access repository for web-based review. Gate your CI jobs based on quality thresholds defined for your project.
Scalable Role‑Based Access
Secure and govern access to analysis results for your sensitive code by integrating with enterprise identity management systems via LDAP. Increase security using SSO.
Enterprise Deployment
Deploy Polyspace Access on-premises or in the cloud using VM templates, Docker containers, or Kubernetes. Integrate with enterprise authentication through single sign-on. Monitor server health with third-party dashboard integration.
Product Resources:
Polyspace Product Family
Polyspace products make critical code safe and secure by testing and monitoring software quality throughout the development lifecycle.
Polyspace Access
Identify coding defects, review static analysis results, and monitor software quality metrics.
Polyspace Copilot
AI assistant optimized for Polyspace.
Polyspace Test
Develop, manage, and execute tests for C and C++ code in embedded systems.
Polyspace as You Code
Identify coding standard violations and software vulnerabilities from your IDE.
Polyspace Bug Finder
Check coding rules, security standards, and code metrics, and find bugs.
Polyspace Code Prover Server
Continuously and exhaustively verify critical C and C++ code statements into CI pipelines.
Polyspace Bug Finder Server
Identify software defects and enforce coding rules in your CI pipelines.
Polyspace Client for Ada
Exhaustively verify critical Ada statements units using formal methods.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Server for Ada
Continuously and exhaustively verify critical Ada code statements into CI pipelines.
