Polyspace Bug Finder

Hauptmerkmale

  • Erkennung von Laufzeitfehlern, Datenflussfehlern und anderen Fehlern im C- und C++-Code
  • Schnelle Analyse großer Codebasen
  • Konformitätsprüfung für MISRA-C:2004, MISRA-C++:2008, JSF++ und benutzerdefinierte Namenskonventionen
  • Zyklomatische Komplexität und andere Codemetriken
  • Eclipse™-Integration
  • Rückverfolgbarkeit von Codeverifikationsergebnissen zu Simulink®-Modellen
  • Zugriff auf Polyspace Code Prover™-Ergebnisse
  • Fehlererkennung mit einer geringen Rate von falsch positiven Ergebnissen
Static analysis results displayed by Polyspace Bug Finder.
Von Polyspace Bug Finder angezeigte Ergebnisse der statischen Analyse.
Weiter: Softwarefehler mithilfe statischer Analyse identifizieren

Probieren Sie Polyspace Bug Finder

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen