MISRA C någon?

[lillahuset]

Är det någon här som har erfarenhet av MISRA C? Någon länk till bra information?

[AlterEgo]

MISRA är ju en sorts kodstandard som anger hur du skall skriva kod. Den är mycket detaljerad och inte helt enkel att följa till 100%.

Därför är det inte helt ovanligt att i de fall man tänker följa en kodstandard tar MISRA:n men väljer bort de delar man väljer att bortse från.

Dokumentet finns att köpa på nätet.

[lillahuset]

Jo jag är medveten om alla tre sakerna. Men jag skulle vilja ha lite mer info. Speciellt om någon har egna erfarenheter. Det är en sak att titta på MISRAs hemsida och att läsa standarden. En annan sak att få det filtrerat genom någon.

Vi tittade på MISRA C för 5-10 år sedan men kände oss inte helt övertygade. Nu har det hamnat på tapeten igen.

[eqlazer]

Inom automotive är det ofta ett krav att man ska följa MISRA. Ska ni försöka följa det så är det nödvändigt med verktyg som analyserar koden automatiskt, tex PC-Lint.
Finns ju skäl till varför reglerna är som dom är. Ska man göra avsteg, vilket brukar kunna vara okej, så ska man också veta vad man gör och kunna motivera det.
Går ju att kontrollera bara en delmängd av alla regler när man kör PC-Lint, tex om man kommit överens om att inte behöva vara fullt så strikt.

[hummel]

Jag var med och införde MISRA C i ett projekt. Vi använde i princip alla reglerna. Det är ett bra sätt att tänka på då C i vissa fall är implementationsberoende. Men är det en regel som inte passar in så ska den självklart inte vara med. PC-Lint från Gimpel är ett måste i sammanhanget.

[Micke_s]

På jobbet kör vi Misra-c checks. Finns inbyggt i Atollic betalvariant.
Vilka regler som är aktiva har bestämts av det tyska huvudbolaget....

De har även info http://info.atollic.com/static_code_analysis_whitepaper

[TomasL]

http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf

[baron3d]

Den var bra Tomas!

[lillahuset]

Speciellt regel 5.

[jesse]

På jobbet kör vi Misra-c checks. Finns inbyggt i Atollic betalvariant.
Vilka regler som är aktiva har bestämts av det tyska huvudbolaget....

De har även info http://info.atollic.com/static_code_analysis_whitepaper

Uppdaterar trasig länk: Static code analysis

[Micke_s]

Liten varningens finger för atollic, i version 6 och framåt så har de plockat bort MISRA-c.
Så är man ute efter Misra-c så får man nog kolla på IAR eller liknande...

[hummel]

PC-Lint fixar Misra-C!