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).

튜토리얼

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.

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.
• Polyspace Access 웹 인터페이스에서 결과 분류 및 할당 (Polyspace Access)
  대시보드를 탐색하고, 결과를 필터링하고, 팀 구성원에게 문제를 할당하세요.
• Send Email Notifications with Polyspace Bug Finder Server Results
  Send e-mails to developers with attachments containing links to Polyspace results.
• Polyspace Access 웹 인터페이스에서 할당된 결과 보기 (Polyspace Access)
  나에게 할당된 결과를 확인하세요.

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

• 제출하기 전에 IDE에서 코드 품질을 확인하세요 (Polyspace Access)
  단일 파일 분석을 실행하고 Visual Studio^®, Visual Studio Code 또는 Polyspace as You Code 확장 프로그램을 사용하는 Eclipse에서 결과를 검토하세요.

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.