Polyspace Bug Finder Server™ is a static analysis engine that identifies common classes of bugs in C and C++, including run-time errors, concurrency issues, and other coding defects. Polyspace Bug Finder Server also checks source code for adherence to coding rules (MISRA C®, MISRA C++, JSF++), security rules (CWE, CERT® C, CERT C++, ISO/IEC 17961), and custom rules.
With Polyspace Bug Finder Server you can monitor code metrics including cyclomatic complexity and HIS metrics at the project, file, and function levels. You can configure the server for use with various compilers, target processors, and RTOS environments, and automate execution with continuous integration systems using tools such as Jenkins®. Code analysis results can be published to Polyspace Access™ for triage and resolution.
Support for industry standards is available through IEC Certification Kit (for IEC 61508 and ISO 26262) and 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.
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.