Polyspace as You Code ist eine integrierte Entwicklungsumgebung (IDE) in Form eines Plug-ins, das C/C++ Quelldateien auf Fehler, Verstöße gegen Codierungsregeln und Code-Metriken überprüft. Es hilft Ihnen, Probleme zu erkennen, bevor Sie Ihre Änderungen zur Integration einreichen.
Sie erhalten sofortiges Feedback zu mehr als 300 Arten von Fehlern, einschließlich Pufferüberläufen und Divisionen durch Null. Sie können die Einhaltung von Codierstandards wie MISRA C™:2023, MISRA C++:2023, CERT® C/C++ und CWE™ überprüfen. Die Ergebnisse erscheinen direkt in der IDE mit diagnostischen Erklärungen und empfohlenen Korrekturen.
Polyspace as You Code funktioniert mit Visual Studio®Code, Visual Studio und Eclipse™. Es kann sich mit Polyspace Access verbinden, um lokale Ergebnisse mit Fehlern aus Integrationszweigen zu synchronisieren und so die Duplizierung von Überprüfungen zu verhindern.
Analysieren von C/C++ Code in Ihrer IDE
Analysieren Sie Ihre Quellcodedateien in C und C++ direkt in Ihrer IDE – beim Speichern oder auf Abruf. Ergebnisse erscheinen als Quellcode-Markierungen und in einem speziellen Ergebnisfenster. Verwenden Sie Polyspace as You Code als Plug-in oder Erweiterung für Visual Studio 2019 und 2022, Visual Studio Code, Eclipse sowie bestimmte auf Eclipse basierende IDEs, wie STM32 Cube oder Wind River® Workbench®. Sie können auch über eine Befehlszeilen-API mit anderen IDEs integrieren.
Erkennung von Schwachstellen im C/C++ Code
Sichern Sie die Qualität von eingebettetem C und C++ Code, indem Sie mehr als 300 verschiedene Software-Schwachstellen in Kategorien wie Sicherheitslücken, Speicherfehler, numerische Fehler und Nebenläufigkeitsfehler bis zu den neuesten Versionen der Sprachen C und C++ überprüfen.
Überprüfung der Einhaltung der C/C++ Codierstandards
Überprüfen Sie die Einhaltung des Codes während des Codierens mit Unterstützung für Sicherheits- und Schutz-Codierstandards, einschließlich MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ und CWE.
Verstehen der Grundursachen von Fehlern
So verstehen Sie die Ursachen von Fehlern und wenden gezielte Korrekturen an. Jeder Befund enthält einen detaillierten Kontext, einschließlich einer Beschreibung des Fehlers, der beteiligten Datentypen, der erwarteten und tatsächlichen Datenwerte, einer Ereignisverfolgung, die zum Fehler führt, sowie relevanter Codezeilen.
Erhalten Sie zusätzliche kontextbezogene Informationen und Korrekturvorschläge, indem Sie Polyspace as You Code mit Polyspace Copilot erweitern.
Verfolgen neu eingeführter Fehler
Überprüfen Sie Änderungen in Ihrem Code, indem Sie die Codeanalyse entweder mit Ihrem lokalen Befund oder mit den neuesten Ergebnissen aus den Continuous-Integration-Jobs vergleichen, wenn Sie mit Polyspace Access verbunden sind. Verwenden Sie die Qualitätsüberwachungsliste, um festzulegen, welche Dateien analysiert und überprüft werden.
Anpassen der Analyse für konsistente Codequalität
Erweitern Sie den nativen Satz von C/C++ Code-Fehlererkennungen mit Ihren eigenen Code-Checkern. Wenden Sie ein einheitliches Regelwerk für das Team, das Projekt oder das gesamte Unternehmen mit benutzerdefinierten Fehlerkatalogen an. Sichern Sie die Wartbarkeit des Codes durch benutzerdefinierte Namenskonventionen und Code-Metriken.
Produktressourcen:
„Mit Polyspace können wir die Softwaresicherheit und -qualität gewährleisten, indem wir kritische Laufzeitfehler noch vor jeder Codezusammenführung (Merge) identifizieren und beheben.“
Polyspace-Produktfamilie
Polyspace-Produkte machen kritischen Code sicher und geschützt, indem die Softwarequalität während des gesamten Entwicklungslebenszyklus getestet und überwacht wird.
Polyspace Access
Identifizieren von Programmierfehlern, Überprüfen der Ergebnisse statischer Analysen und Überwachen der Software-Qualitätsmetriken.
Polyspace Copilot
KI-Assistent, optimiert für Polyspace.
Polyspace Test
Entwickeln, Verwalten und Durchführen von Tests für C und C++ Code in Embedded Systems.
Polyspace as You Code
Identifizieren von Verstößen gegen Codierungsstandards und Software-Schwachstellen in Ihrer IDE.
Polyspace Bug Finder
Überprüfen von Programmierregeln, Sicherheitsstandards und Codemetriken; Fehler finden.
Polyspace Code Prover Server
Laufende und umfassende Verifikation kritischer Anweisungen in C und C++ Code in CI-Pipelines.
Polyspace Bug Finder Server
Ermitteln von Softwarefehlern und Durchsetzen von Programmierregeln in Ihren CI-Pipelines.
Polyspace Client for Ada
Umfassende Überprüfung kritischer Anweisungs-Units in Ada mithilfe formaler Methoden.
Polyspace Code Prover
Erstellen umfassender Verifikationen für besonders kritische Anweisungen in C und C++ mithilfe formaler Methoden.
Polyspace Server for Ada
Erstellen Sie laufende und umfassende Verifikationen für kritische Ada-Codeanweisungen in CI-Pipelines.
Polyspace as You Code FAQs
Polyspace as You Code ist ein IDE-Plug-in, das kritische Fehler, Sicherheitslücken und Code-Compliance-Probleme direkt in der Quellcodeansicht erkennt, während Entwickler Code schreiben oder ändern.
Polyspace as You Code erkennt mehr als 300 Arten von C/C++-Codierfehlern, einschließlich numerischer, Datenfluss-, Speicher- und allgemeiner Programmierfehler, die Laufzeitfehler oder Sicherheitsprobleme verursachen können.
Es überprüft C/C++ Code anhand von branchenüblichen Codierstandards, einschließlich MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C und CERT C++, und unterstützt die Durchsetzung benutzerdefinierter Codierregeln und Namenskonventionen.
Polyspace as You Code wendet statische Analysemethoden, einschließlich semantischer Analyse, an, um Kontrollfluss, Datenfluss und interprozedurales Verhalten im C/C++ Code zu analysieren, ohne dass eine Codeausführung erforderlich ist.
Polyspace as You Code unterstützt Visual Studio, Visual Studio Code, Eclipse und Eclipse-basierte IDEs und bietet eine API zur Integration in andere Umgebungen.
Polyspace Bug Finder identifiziert Fehler, Verstöße gegen Codierregeln und Codequalitätsmetriken in kompletten Projekten während der Integration und Verifikation. Polyspace Code Prover verwendet formale Methoden, um die Abwesenheit ausgewählter Laufzeitfehler vollständig nachzuweisen. Polyspace as You Code führt eine Teilmenge der Polyspace Bug Finder-Analyse direkt in der IDE aus, um Entwicklern zu helfen, Probleme zu erkennen, während sie Code schreiben.
Ja. Polyspace as You Code kann nur neu in Ihrem Code eingeführte Probleme hervorheben, indem es die Analyseergebnisse mit einer Baseline vergleicht, entweder aus Ihrem lokalen Befund oder aus den neuesten Integrationsresultaten, wenn eine Verbindung zu Polyspace Access besteht.
Interessiert an Polyspace as You Code?
Nächste Schritte
Navigation im Panel
Kostenlose Artikel
Polyspace-Artikel
Navigation im Panel
Produkt
