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


Announcement: there is an English version of this forum on EmbDev.net. Posts you create there will be displayed on Mikrocontroller.net and EmbDev.net.
von bonifatius (Gast)


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

von Uwe H. (mistert)


Bewertung
0 lesenswert
nicht lesenswert

von Max (Gast)


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

von hergi (Gast)


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.

von Atmi (Gast)


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.

von Chris H. (hergi)


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

von Vlad T. (vlad_tepesch)


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.