RuleChecker überprüft Ihren C- oder C++-Code schnell und automatisch auf die Einhaltung von MISRA-Regeln und anderen Standards.
RuleChecker wird vorrangig zur Analyse von sicherheitskritischen eingebetteten Anwendungen eingesetzt, insbesondere in den Bereichen Automotive, Luft- und Raumfahrt, Medizintechnik und Nuklearanlagen. Grundsätzlich kann es aber beliebige Programme analysieren, mit komplexer Speichernutzung, dynamischer Speicherallokation und Rekursion, handgeschrieben oder automatisch erzeugt.
Unterstützte Standards
- MISRA 2004
- MISRA 2012, inkl. Zusatz 1, 2 und 3
- MISRA C:2023
- MISRA AC AGC
- MISRA C++:2008
- MISRA C++:2023
- SEI CERT Secure C
- SEI CERT C++
- MITRE CWE (Common Weakness Enumeration)
- ISO/IEC TS 17961:2013 (C Secure Coding Rules)
- ISO/IEC-9899:1999-Diagnostiken
- Adaptive AUTOSAR C++14
- JSF C++-Standard
- HIS-Metriken
- Stilregeln für alle C-Identifier
- Ihre hauseigenen Regeln (auf Anfrage)
Features
- Einfache Konfiguration. Jede Regel und sogar einzelne Aspekte bestimmter Regeln können individuell hinzugeschaltet werden.
- Außerordentlich schnelle Analysen selbst für große Industrieanwendungen mit Hunderttausenden Zeilen Code.
- Vielfältige Statistiken und Code-Metriken wie Commentdichte und zyklomatische Komplexität.
- Optionale Überprüfung von benutzerdefinierten Metrik-Grenzwerten.
- Interaktive Graphen, Charts und Tabellen zur einfachen Erkundung der Analyseergebnisse.
- Konfigurierbare Analyseberichte zu Dokumentations- und Zertifizierungszwecken.
- Batchmode zur einfachen Integration. Plugins für TargetLink, Jenkins, Eclipse und ARM Keil µVision.
- Nahtlose Integration mit dem Laufzeitfehleranalysator Astrée zur Vermeidung von Fehlalarmen bei semantischen Regeln.
- Qualification-Support-Kit zur einfachen Tool-Qualifizierung nach DO-178B/C, ISO 26262, IEC 61508, EN-50128, den FDA-Prinzipien der Softwarevalidierung und anderen Sicherheitsstandards.
Wer setzt RuleChecker ein?
Der Automobilzulieferer Helbako benutzt RuleChecker in der Entwicklung von Steuerungssoftware.
MTU Friedrichshafen überprüft mit RuleChecker die Kontrollsoftware von Notstromaggregaten in Kraftwerken.
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.
RuleChecker ist im täglichen Einsatz in der Medizintechnik-Entwicklung bei Distalmotion. Das Tool hilft dem Software-Team bei der Kontrolle und Verbesserung der Qualität und Regelkonformität des Codes ihrer sicherheitskritischen Plattform für Operationsroboter.
In Vorbereitung auf die Veröffentlichung des ersten MISRA-konformen eingebetteten Datenbank-Systems integrierte McObject den RuleChecker in seine Entwicklungsprozesse und berichtete von umgehenden Steigerungen in der Qualität und Stabilität seiner Software.
Bei Luxoft läuft RuleChecker als Teil eines ausgeklügelten Build-Prozesses, der sich unter anderem auf virtuelle Maschinen, einen Jenkins-CI-Server und mehrere Adaptive-AUTOSAR-Toolchains von verschiedenen Herstellern verläßt. Laut Luxoft ist RuleChecker das einzige Tool auf dem Markt, das in eine derart komplexe Entwicklungsumgebung problemlos integriert werden konnte.
Jetzt kostenlos testen
Testen Sie RuleChecker und Astrée jetzt an Ihrem eigenen C- oder C++-Code.
RuleChecker als eigenständiges Tool ohne Astrée ist erhältlich exklusiv über unseren Partner QA Systems unter dem Namen QA-MISRA.