Automatische Überprüfung von MISRA-Regeln

RuleChecker überprüft Ihren 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.

Jetzt kostenlos testen

Testen Sie RuleChecker kostenlos und unverbindlich an Ihren eigenen Anwendungen.