Erste Schritte in Polyspace Bug Finder

Polyspace^® Bug Finder™ identifiziert Laufzeitfehler, Nebenläufigkeitsprobleme, Sicherheitslücken und andere Defekte in C und C++ Embedded Software. Mithilfe statischer Analysen, einschließlich semantischer Analysen, untersucht Polyspace Bug Finder die Softwaresteuerung, den Datenfluss und das prozedurübergreifende Verhalten. Durch die sofortige Hervorhebung von Defekten können Sie diese bereits in einer frühen Phase des Entwicklungsprozesses klassifizieren und beheben.

Polyspace Bug Finder überprüft die Einhaltung von Codierungsregeln wie MISRA C™, MISRA C++, JSF++, CERT^® C, CERT C++ und benutzerdefinierten Namenskonventionen. Er erstellt Berichte, die gefundene Fehler, Verstöße gegen Codierungsregeln und Metriken zur Codequalität, einschließlich der zyklomatischen Komplexität, enthalten. Polyspace Bug Finder kann zusammen mit der Eclipse™ IDE verwendet werden, um Code auf Ihrem Desktop zu analysieren.

Bei automatisch generiertem Code lassen sich Polyspace-Ergebnisse auf Simulink^®-Modelle und dSPACE^® TargetLink^®-Blöcke zurückführen.

Unterstützung für Industriestandards wird durch das IEC Certification Kit (for ISO 26262 and IEC 61508) und das DO Qualification Kit (for DO-178) bereitgestellt.

Tutorials

Desktop

• Ausführen von Polyspace Bug Finder auf dem Desktop
  Überprüfen Sie C/C++ Code auf Fehler, Verstöße gegen Codierungsregeln oder Sicherheitslücken.
• Überprüfen der Polyspace Bug Finder-Ergebnisse in der Polyspace-Benutzeroberfläche
  Interpretieren Sie die Polyspace Bug Finder-Ergebnisse, korrigieren Sie den Code oder begründen und verwalten Sie Ergebnisse.

Benutzeroberfläche der Polyspace-Plattform

• 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.
• Ausführen von Polyspace Bug Finder in der Benutzeroberfläche der Polyspace-Plattform
  Überprüfen Sie C/C++ Code auf Fehler, Verstöße gegen Codierungsregeln oder Sicherheitslücken.
• Überprüfen der Polyspace Bug Finder-Ergebnisse in der Benutzeroberfläche der Polyspace-Plattform
  Interpretieren Sie die Polyspace Bug Finder-Ergebnisse, korrigieren Sie den Code oder begründen und verwalten Sie Ergebnisse.

Server- und Webschnittstelle

• Kurzleitfaden für Polyspace Server- und Access-Produkte
  Erfahren Sie, was Sie tun müssen, um Polyspace-Durchläufe für ein Projekt, ein Team oder eine Organisation einzurichten.
• Ausführen von Polyspace Bug Finder auf Servern und Hochladen der Ergebnisse in die Webschnittstelle
  Überprüfen Sie den Code nach der Übermittlung auf Fehler und Verstöße gegen Codierungsstandards und laden Sie die Ergebnisse zur Überprüfung in die Webschnittstelle hoch.
• Triage and Assign Results in Polyspace Access Web Interface (Polyspace Access)
  Navigate the dashboard, filter results, and assign issues to team members.
• Versenden von E-Mail-Benachrichtigungen mit Polyspace Bug Finder Server-Ergebnissen
  Senden Sie E-Mails an Entwickler mit Anhängen, die Links zu Polyspace-Ergebnissen enthalten.
• View Assigned Results in Polyspace Access Web Interface (Polyspace Access)
  See the results that are assigned to you.

Desktop zu Server

• Senden der Bug Finder-Analyse vom Desktop an einen lokal gehosteten Server
  Lagern Sie die Polyspace-Analyse auf einen lokal gehosteten Server aus und überprüfen Sie die heruntergeladenen Ergebnisse auf Ihrem 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.

Umsetzung

• Polyspace-Produkte und Softwareentwicklungs-Workflows
  

  Erfahren Sie mehr über Polyspace-Produkte, die im Rahmen der Softwareentwicklung eingesetzt werden können.

• Unterschiede zwischen Polyspace Bug Finder und Polyspace Code Prover
  

  Erfahren Sie, wie Bug Finder und Code Prover sich ergänzen und wann Sie die einzelnen Produkte in Ihrem Entwicklungs-Workflow einsetzen sollten.

• Workflow mithilfe von Polyspace Bug Finder und Polyspace Code Prover
  

  Integrieren Sie Bug Finder- und Code Prover-Analysen in Ihren Software-Entwicklungs-Workflow.