Get Started with Polyspace Bug Finder

Polyspace^® Bug Finder™ identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior. By highlighting defects as soon as they are detected, it lets you triage and fix bugs early in the development process.

Polyspace Bug Finder checks compliance with coding rule standards such as MISRA C™, MISRA C++, JSF++, CERT^® C, CERT C++, and custom naming conventions. It generates reports consisting of bugs found, code-rule violations, and code quality metrics, including cyclomatic complexity. Polyspace Bug Finder can be used with the Eclipse™ IDE to analyze code on your desktop.

For automatically generated code, Polyspace results can be traced back to Simulink^® models and dSPACE^® TargetLink^® blocks.

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 Polyspace Bug Finder Results in Polyspace User Interface
  Interpret Polyspace Bug Finder results, fix code or justify results, manage results.

Polyspace Platform User Interface

• Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
  Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
• Benefits and Limitations of Switching to Polyspace Platform User Interface
  Import projects created in older user interface, run tests or static analysis on imported projects.
• Run Polyspace Bug Finder in the Polyspace Platform User Interface
  Check C/C++ code for defects, coding rule violations or security vulnerabilities.
• Review Polyspace 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 to Web Interface
  Check code after submission for defects and coding standard violations and upload results for review in web interface.
• Triage and Assign Results in Polyspace Access Web Interface (Polyspace Access)
  Navigate the dashboard, filter results, and assign issues to team members.
• Send Email Notifications with Polyspace Bug Finder Server Results
  Send e-mails to developers with attachments containing links to Polyspace results.
• View Assigned Results in Polyspace Access Web Interface (Polyspace Access)
  See the results that are assigned to you.

Desktop to Server

• Send Bug Finder Analysis from Desktop to Locally Hosted Server
  Offload Polyspace analysis to a locally hosted server and review downloaded results on desktop.

IDEs

• Check Code Quality in IDE Before Submitting (Polyspace Access)
  Run a single file analysis and review results in Visual Studio^®, Visual Studio Code, or Eclipse using Polyspace as You Code extensions.

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.

• Workflow Using Both Polyspace Bug Finder and Polyspace Code Prover
  

  Incorporate Bug Finder and Code Prover analyses in your software development workflow.