Polyspace Access enables software engineering teams to check their code quality throughout the software development life cycle. It includes Polyspace as You Code, an IDE plugin that lets developers detect code compliance deviations, software defects, and security vulnerabilities before submitting the code for integration. It also provides access to a web interface for reviewing static code analysis results of integrated source code, produced by Polyspace Bug Finder Server and Polyspace Code Prover Server.
Polyspace as You Code detects critical defects and security vulnerabilities and checks for code compliance with coding rule standards such as MISRA C®, MISRA C++, AUTOSAR C++14, CERT® C, CERT C++, as well as custom naming conventions. Integrated as a plugin into the developer's IDE such as Visual Studio®, Visual Studio Code, or Eclipse™, it reports the findings within the source code view. And when connected to the Polyspace Access central repository, it can highlight only new issues added by the developer compared to the development baseline.
The web interface lets developers and quality engineers collaborate across projects on static code analysis results. From project dashboard to finding details, team members can monitor quality trends and analyze, review, and assign software vulnerabilities, code metrics, critical run-time errors, and adherence to coding standards. The integration with project management tools such as JIRA enables team-based collaboration on code quality. Polyspace Access includes a central repository, hosted on-premises or cloud-based, that integrates with authentication systems such as LDAP to control access to project data.
Identify Bugs from within Your IDE
Find bugs as soon as code is written or modified by using the Polyspace as You Code plug-in within an IDE such as Visual Studio®, Visual Studio Code, or Eclipse. Use APIs to integrate into other IDEs and editors.
Review and Triage Static Analysis Results
Review Polyspace results with source code in your web browser. Use navigation tools to investigate and triage results. Share findings and comments to collaborate with team members.
Monitor Project Software Quality
Organize your static code analysis projects to support development teams and workflows. Use information displayed on project dashboards to monitor software quality, project status, the number of defects, and code metrics.
Integrate into Your Software Factory
Integrate Polyspace Access within your software development infrastructure to gate your continuous integration pipelines with static code analysis results and to link code verification findings to your bug-tracking tool and application lifecycle management (ALM). Install and run the Polyspace Access web server close to your toolchain deployment, on-premise or in the cloud.
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 Code Prover Server
Continuously and exhaustively verify critical C and C++ code statements into CI pipelines.
Polyspace Bug Finder
Check coding rules, security standards, and code metrics, and find bugs.
Polyspace Test
Develop, manage, and execute tests for C and C++ code in embedded systems.
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.
