CERT Checker

CERT C und CERT C++

Der CERT C und C++ Checker deckt viele der entscheidbaren Regeln von CERT C und CERT C++ ab.

Axivions einzigartiger Delta-Mechanismus hilft Ihnen, sich auf Ihre tägliche Arbeit zu fokussieren, nämlich sicheren Code zu erzeugen. In Reviews können durch die Delta-Analyse Abweichungen von den Regeln, die durch Sprints, Releases, Feature Branches usw. entstanden sind, einfach identifiziert werden.

Die Ergebnisse des CERT Checkers von Axivion integrieren sich in IDEs und CI-Umgebungen, so dass eine einfache Integration in Ihre Prozesse

von lokalen Prüfungen bis hin zu voll ausgebauten automatisierten Prüfungen in der CI mit derselben Konfiguration und denselben Ergebnissen möglich ist.

Durch die Severity-Einstufung von Regeln und Regelgruppen können Sie Ihre Arbeit priorisieren. Mittels Justifications lassen sich Abweichungen von den Regeln im Arbeitsprozess strukturiert und systematisch behandeln, um standardkonform zu entwickeln. Generieren Sie Reports über die CERT-Konformität Ihres Codes.

Das Bild zeigt die Liste von Änderungen von CERT-Verstößen im ausgewählten Zeitfenster. Neben neuen Verstößen wurde auch ein CERT-Verstoß in derselben Zeit behoben.

Success Stories

Eine Auswahl unserer Success Stories zum CERT Checker

Architektur-Analyse und MISRA-Prüfungen
für Firmware in der Automatisierungstechnik

Die Axivion Suite ist für uns ein weiterer wichtiger Baustein für die Qualitätssicherung in unserer Firmware-Entwicklung, insbesondere hinsichtlich der steigenden Anforderungen an Safety & Security im industriellen Umfeld.

Christoph Kuner, M.Sc., Leitung FS, TR-Electronic GmbH