
MISRA-Regeln mit CodeSonar
MISRA-C und MISRA-C++ sind Programmierstandards, die in der Automobilindustrie durch die Motor Industry Software Reliability Association (MISARA) erarbeitet wurde. Ziel von MISRA ist die Qualität (insbesondere bezüglich Zuverlässigkeit und Wartbarkeit) in der Software-Entwicklung zu steigern.Die MISRA-C:2004-, MISRA-C:2012- und MISRA-C++:2008-Regeln werden auch in anderen Industrien wie der Luftfahrt, Verteidigung, Telekommunikation und Medizintechnik eingesetzt.
Dr. Paul Anderson, Vice President of Engineering bei CodeSecure ist Mitglied des MISRA®-Komitees.
CodeSonar vereinfacht die Beachtung der MISRA-Regeln
MISRA-Compliance lässt sich am einfachsten mit geeigneten statischen Werkzeugen erreichen.CodeSonar ist ein führendes Werkzeug für die Statische Codeanalyse. Neben der Überprüfung von Programmierrichtlinien wie MISRA unterstützt CodeSonar weitere Richtlinien. Eigene Programmierregeln lassen sich auf einfache Weise in CodeSonar implementieren.
Neben der Überprüfung von Programmierregeln deckt CodeSonar zusätzlich eine Vielzahl von Bugs auf: Das Werkzeug ist außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter.
MISRA-Checks mit CodeSonar
Die zahlreichen durch CodeSonar abgedeckten MISRA-Regeln finden Sie hier:Wollen Sie MISRA-Compliance und zusätzlich bereits vorhandene Fehler aufdecken?
Mit CodeSonar verfügen Sie über ein führendes Statisches Analysewerkzeug zu einem fairen Preis.Vergleichen Sie selbst und beantragen Sie jetzt Ihre kostenlose Trial-Lizenz mit voller Funktionalität.
Kontaktieren Sie uns für weitere Informationen. Wir freuen uns auf Ihren Anruf oder Ihre Email!
Wie vermeiden Sie Fallstricke bei der MISRA-Compliance?
Fragen Sie uns jetzt nach dem kostenlosen Whitepaper.


CodeSonar 4 für Embedded Systeme
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software-Metriken
Automatisierung der Quellcodeverifikation
CodeSonar for Java
Erfüllung von Normen
DO-178
ISO 26262
FDA-Normen
MISRA
CWE- und BSI-Regeln
"Power of Ten" und JPL-Regeln
IEC 62443
Wie Statische Codeanalyse funktioniert
Workflow-Features
Binary-Analyse
Visual-Taint-Analyse
Whitepapers
Referenzen
Hochschulprogramm
Fallstudien
![[PDF]](icon-pdf-15x16.gif)