Warum Cppcheck in sicherheitskritischen Anwendungen verwenden?

Cppcheck ist hervorragend für sichere Systeme geeignet und bietet eine einzigartige Kombination aus Geschwindigkeit, Genauigkeit und praxisnaher Validierung.

• Durch seine Effizienz kann Cppcheck direkt auf den Computern einzelner Entwickler eingesetzt werden und erkennt Fehler bereits in den frühesten Entwicklungsphasen.
• Cppcheck basiert auf dem Prinzip „Zero False Positives“. Dieser Aspekt ist besonders wichtig bei der Sicherheitszertifizierung von Produkten, da Falschmeldungen zu unnötigem Dokumentations- und Prüfaufwand führen können, wodurch sich der Zertifizierungsprozess verzögern würde.
• Alle “Checker” von Cppcheck werden gründlich an großen Open-Source-Projekten getestet, um sicherzustellen, dass die erkannten Probleme nicht nur theoretisch, sondern auch praktisch und relevant sind.
• Cppcheck ist vom TÜV SÜD zertifiziert und erfüllt damit strenge Sicherheits- und Qualitätsstandards.

Cppcheck unterstützt die folgenden Sicherheitsstandards:

• MISRA C 2023
• MISRA C++ 2008
• Autosar C++ 2014

Cppcheck wird in vielen Branchen eingesetzt, die strenge sicherheitsrelevante ISO-Normen erfüllen, wie etwa:

• ISO 62304 (Medizinprodukte),
• IEC 61508 (allgemeine sicherheitsrelevante Systeme),
• ISO 26262 (Automobilindustrie)
• EN 50128 (Bahnanwendungen).