Stilprüfung

Stilprüfung: MISRA, CERT, AUTOSAR

Die Stilprüfung von Axivion deckt 100 Prozent der automatisiert prüfbaren Regeln von MISRA C:2004, MISRA C:2012 (einschließlich MISRA C:2012 Amendment 1 Security Rules und MISRA C:2012 Amendment 2) und MISRA C++:2008 und die automatisiert prüfbaren Regeln von AUTOSAR C++14 (AUTOSAR C++14 17.03, AUTOSAR C++14, AUTOSAR C++14 17.10, AUTOSAR C++14 18.03, AUTOSAR C++14 18.10 und AUTOSAR C++14 19.03) sowie viele der entscheidbaren Regeln von CERT C und CERT C++ ab.

MISRA Checker

Der MISRA Checker von Axivion deckt 100 Prozent der automatisiert prüfbaren Regeln von MISRA C:2004, MISRA C:2012 (einschließlich Amendment 1 Security Rules und Amendment 2) und MISRA C++:2008 ab.

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.

Mehr erfahren

AUTOSAR C++14 Checker

Der AUTOSAR C++14 Checker von Axivion deckt die automatisiert prüfbaren Regeln von AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 und 19.03) ab.

AUTOSAR C++14 enthält Codierrichtlinien für die Nutzung von C++14 im sicherheitskritischen Umfeld. Der Fokus dieses Standards liegt im Automotive-Umfeld, kann aber durch seine Aktualität auch in anderen Embedded Anwendungen genutzt werden. Viele Regeln von AUTOSAR C++14 sind für die ISO 26262 erforderlich...

Mehr erfahren

CERT Checker

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

Mehr erfahren

Fordern Sie eine Evaluierung an, um diese Features selbst auszuprobieren.