Get Started with Polyspace Bug Finder

Polyspace^® Bug Finder™ analyzes C/C++ embedded software code to report coding defects, coding rules deviations, and code metrics. It uses static analysis based on abstract interpretation to identify more than 350 types of coding defects, such as buffer overflows, divide-by-zero errors, concurrency issues, and other security flaws.

Polyspace Bug Finder checks compliance with coding rules such as MISRA C™:2023, MISRA™ C++:2023, AUTOSAR C++14, CERT^® C/C++, and CWE™. It also computes code metrics like cyclomatic complexity. You can even create your own defects and coding standards to support your organization’s requirements.

You can integrate Polyspace Bug Finder with Polyspace Test™ to unify code verification and testing, sharing the same project configuration and leveraging the tool’s complementarity to ease triaging results. Simulink^® integration enables automated setup and traceability for generated code.

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

Tutorials

Desktop

• Run Polyspace Bug Finder on Desktop
  Check C/C++ code for defects, coding rule violations or security vulnerabilities.
• Review Bug Finder Results in Polyspace Platform User Interface
  Interpret Polyspace Bug Finder results, fix code or justify results, manage results.

Server and Web Interface

• Quick Start Guide for Polyspace Server and Access Products
  See what you need to do for setting up Polyspace runs for a project, team or organization.
• Run Polyspace Bug Finder on Server and Upload Results for Web-based Review
  Check code after submission for defects and coding standard violations and upload results for review in web interface.

Deployment

• Polyspace Products and Software Development Workflows
  

  Learn about Polyspace products that can be used in a software development life cycle.

• Differences Between Polyspace Bug Finder and Polyspace Code Prover
  

  Find out how Bug Finder and Code Prover complement each other and determine when to deploy each product in your development workflow.