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).
Automate Code Analysis with Polyspace Bug Finder Server
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®.
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.
Polyspace Bug Finder Server FAQs
Polyspace Bug Finder Server is a static analysis engine that runs on server systems to automatically identify bugs, coding‑rule violations, and code quality metrics in C and C++ code as part of continuous integration workflows.
It detects more than 350 types of C/C++ coding defects, including numerical, data flow, memory, concurrency, and general programming errors that can cause runtime failures or security issues.
It checks C/C++ code against industry coding standards including MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C, and CERT C++, and supports enforcement of custom coding rules and naming conventions.
Polyspace Bug Finder Server applies static analysis methods, including semantic analysis, to analyze control flow, data flow, and interprocedural behavior in C/C++ code without requiring code execution.
Polyspace Bug Finder is used interactively in a desktop interface, while Polyspace Bug Finder Server is optimized for automated analysis in CI workflows and result sharing through Polyspace Access.
Yes. Polyspace Bug Finder Server integrates with continuous integration pipelines to support automated static analysis in DevOps workflows.
Polyspace Bug Finder Server can run on on‑premises or cloud automation servers, including containerized deployments based on MathWorks reference architectures.
Yes, it can analyze automatically generated code, with results traceable back to Simulink models and dSPACE TargetLink blocks.
Polyspace Bug Finder Server publishes analysis results to Polyspace Access for team‑based review and triage.
It supports certification workflows for IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119, and DO‑178C/ED‑12C through certification and qualification kits, with additional guidance for ISO/SAE 21434, and Automotive SPICE.
