Polyspace Bug Finder Server
Polyspace Bug Finder Server is a static analysis engine that detects common types of bugs in C and C++, including run-time errors, concurrency issues, and other coding defects. It also verifies source code compliance with coding standards such as MISRA C®, MISRA C++, and JSF++, as well as security standards like CWE, CERT® C, CERT C++, and ISO/IEC 17961. Custom coding rules can also be applied.
With Polyspace Bug Finder Server, you can track code quality metrics—such as cyclomatic complexity and HIS metrics—at the project, file, and function levels. The server can be configured to support various compilers, target processors, and RTOS environments, and can be integrated into continuous integration workflows using tools like Jenkins®. Analysis results can be published to Polyspace Access for review, triage, and resolution.
Support for industry standards is provided through the IEC Certification Kit (for IEC 61508 and ISO 26262) and the DO Qualification Kit (for DO-178).
Identify Software Bugs and Vulnerabilities
Find many different categories of bugs such as security vulnernabilities, concurrency, and numerical defects. Configure analysis for any compiler, target processor, and RTOS environment.
Coding Standards Compliance
Enforce embedded software coding standards such as MISRA C and MISRA C++, AUTOSAR C++14, JSF++, and custom naming conventions.
Static Application Security Testing
Make your code secure by detecting security vulnerabilities and issues and comply with security coding standards and guidelines such as CERT C/C++, CWE, ISO 17961, and MISRA C:2012 Amendment 1.
Certification Support
Create artifacts needed to complete the certification process for industry safety and security standards such as IEC 61508, ISO 26262, ISO/SAE 21434, or DO-178C, up to the highest functional safety or security levels.
Run Static Code Analysis on Any Platform
Run Polyspace Bug Finder Server on an automation server on premise or in the cloud. Use MathWorks reference architectures to deploy on platforms such as Docker, AWS®, and Azure®.
Automate and Integrate into DevOps
Supports modern software development practices by plugging into existing DevOps workflows and tools. Polyspace works with popular continuous integration tools such as Jenkins and Bamboo®.
