Polyspace Bug Finder Server

Identify software defects via static analyses running on server computers

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, stack usage, 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 Bug Finder Access™ for triage and resolution.

Support for industry standards is available through IEC Certification Kit IEC Certification Kit (for IEC 61508 and ISO 26262) and DO Qualification Kit (for DO-178).

Getting Started

Learn the basics of Polyspace Bug Finder Server

Configure and Run Analysis on Server

Set up automated runs of Bug Finder at the command line or in a continuous integration platform such as Jenkins

Tools Qualification and Certification

Qualify Polyspace Bug Finder Server for DO and IEC Certification

Troubleshooting in Polyspace Bug Finder Server

Resolve unexpected issues in running Polyspace Bug Finder Server