www.mikrocontroller.net

Forum: PC-Programmierung Suche nach Misra-C Überprüfungsprogramm


Autor: bonifatius (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Hallo,

ich bin auf der Suche nach den MISRA C Regeln und Überprüfungsprogramm. 
WO kann ich die im Internet finden?

mfg Bonifatius

Autor: Uwe H. (mistert)
Datum:

Bewertung
0 lesenswert
nicht lesenswert

Autor: Max (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Der IAR Compiler hat eine eingebaute MISRA Überprüfung.

Autor: hergi (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Hallo,

ich beschäftige mich in letzter Zeit mit Splint, auch in Bezug auf 
Überprüfung der MISRA Standards, jedoch konnte ich bisher noch keine 
Hinweise darauf entdecken, dass letztere mit Splint prüfbar sind.
Wäre sehr dankbar, wenn mir da jemand auf die Sprünge helfen könnte.

Autor: Atmi (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
hergi schrieb:
> ich beschäftige mich in letzter Zeit mit Splint, auch in Bezug auf
> Überprüfung der MISRA Standards, jedoch konnte ich bisher noch keine
> Hinweise darauf entdecken, dass letztere mit Splint prüfbar sind.
> Wäre sehr dankbar, wenn mir da jemand auf die Sprünge helfen könnte.


Splint kann keine Misra-C Prüfung - das konnte er auch nie. Automatische 
Prüfungen können bis dato nur kommerzielle Tools.

Autor: Chris Herch (hergi)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Danke für die Antwort, hatte ich also doch richtig recherchiert.

Autor: Vlad Tepesch (vlad_tepesch)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
bei uns wird QA-C genutzt

Antwort schreiben

Die Angabe einer E-Mail-Adresse ist freiwillig. Wenn Sie automatisch per E-Mail über Antworten auf Ihren Beitrag informiert werden möchten, melden Sie sich bitte an.

Wichtige Regeln - erst lesen, dann posten!

  • Groß- und Kleinschreibung verwenden
  • Längeren Sourcecode nicht im Text einfügen, sondern als Dateianhang

Formatierung (mehr Informationen...)

  • [c]C-Code[/c]
  • [avrasm]AVR-Assembler-Code[/avrasm]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] - Link zu Artikel
  • Verweis auf anderen Beitrag einfügen: Rechtsklick auf Beitragstitel,
    "Adresse kopieren", und in den Text einfügen




Bild automatisch verkleinern, falls nötig
Bitte das JPG-Format nur für Fotos und Scans verwenden!
Zeichnungen und Screenshots im PNG- oder
GIF-Format hochladen. Siehe Bildformate.
Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt.
Bitte hier nur auf die ursprüngliche Frage antworten,
für neue Fragen einen neuen Beitrag erstellen.

Mit dem Abschicken bestätigst du, die Nutzungsbedingungen anzuerkennen.