Automatische Überprüfung von MISRA-Regeln

RuleChecker überprüft Ihren C- oder C++-Code schnell und automatisch auf die Einhaltung von MISRA-Regeln und anderen Standards.

RuleChecker-Screenshot
RuleChecker-Screenshot

RuleChecker wird vorrangig zur Analyse von sicherheits­kritischen ein­gebetteten Anwendungen eingesetzt, insbe­sondere in den Be­reichen Automotive, Luft- und Raumfahrt, Medizin­technik und Nuklear­anlagen. Grundsätzlich kann es aber beliebige C-Programme analysieren, mit komplexer Speicher­nutzung, dyna­mischer Speicher­allokation und Rekursion, handgeschrieben oder automatisch erzeugt.

Unterstützte Standards


Features

Wer setzt RuleChecker ein?

Der Automobilzulieferer Helbako benutzt RuleChecker in der Entwicklung von Steuerungs­software.

MTU Friedrichshafen überprüft mit RuleChecker die Kontroll­software von Notstrom­aggregaten in Kraft­werken.

Die Bosch Automotive Steering (vormals ZF Lenksysteme) ersetzte ihre alte Software durch Astrée und RuleChecker und profitiert seitdem von den viel schnelleren Analysen, der deutlich höheren Zuverlässigkeit und den wesentlich geringeren Support-Kosten.

Jetzt kostenlos testen

Testen Sie RuleChecker kostenlos und unverbindlich an Ihren eigenen Anwendungen.