Hi, I need a tool to check C code MISRA-C 2004 compliance: as I need it for various embedded compiler (GNU-ARM, Freescale CodeWarrior and AVRStudio), I thought about an external code checker (like PC-Lint for example). What can I use? Thank you
MISRA-C 2004 code checker
Started by ●April 6, 2009
Reply by ●April 6, 20092009-04-06
On Apr 6, 4:47=A0pm, djordj <djo...@despammed.com> wrote:> Hi, > I need a tool to check C code MISRA-C 2004 compliance: as I need it for > various embedded compiler (GNU-ARM, Freescale CodeWarrior and > AVRStudio), I thought about an external code checker (like PC-Lint for > example). > > What can I use?PC-lint. Regards, -=3DDave
Reply by ●April 6, 20092009-04-06
"djordj" <djordj@despammed.com> wrote in message news:aMuCl.297223$FR.598370@twister1.libero.it...> Hi, > I need a tool to check C code MISRA-C 2004 compliance: as I need it for > various embedded compiler (GNU-ARM, Freescale CodeWarrior and AVRStudio), > I thought about an external code checker (like PC-Lint for example). > > What can I use? > Thank youQAC.
Reply by ●April 7, 20092009-04-07
Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj <djordj@despammed.com>:> Hi, > I need a tool to check C code MISRA-C 2004 compliance: as I need it for > various embedded compiler (GNU-ARM, Freescale CodeWarrior and > AVRStudio), I thought about an external code checker (like PC-Lint for > example). > > What can I use?- LDRA TestBed - IAR Embedded Workbench -- Gemaakt met Opera's revolutionaire e-mailprogramma: http://www.opera.com/mail/
Reply by ●April 7, 20092009-04-07
Boudewijn Dijkstra wrote:> Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj > <djordj@despammed.com>: >> Hi, >> I need a tool to check C code MISRA-C 2004 compliance: as I need it >> for various embedded compiler (GNU-ARM, Freescale CodeWarrior and >> AVRStudio), I thought about an external code checker (like PC-Lint >> for example). >> >> What can I use? > > - LDRA TestBed > > - IAR Embedded WorkbenchTwo excellent choices, but PC Lint is only a few hundred dollars. LDRA is over $10K and IAR around $4K, with huge increases in capability though. -- Scott Validated Software Lafayette, CO
Reply by ●April 7, 20092009-04-07
Op Tue, 07 Apr 2009 16:26:04 +0200 schreef Not Really Me <scott@validatedqwertysoftware.xyzzy.com>:> Boudewijn Dijkstra wrote: >> Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj >> <djordj@despammed.com>: >>> Hi, >>> I need a tool to check C code MISRA-C 2004 compliance: as I need it >>> for various embedded compiler (GNU-ARM, Freescale CodeWarrior and >>> AVRStudio), I thought about an external code checker (like PC-Lint >>> for example). >>> >>> What can I use? >> >> - LDRA TestBed >> >> - IAR Embedded Workbench > > Two excellent choices, but PC Lint is only a few hundred dollars.Only for the Windows version.> LDRA is over $10K and IAR around $4K, with huge increases in capability > though.I'm just throwing options to consider. And don't forget that every penny spent on a tool might be worth its weight in some more valuable metal, depending on how well the tool suits and how well it is used. -- Gemaakt met Opera's revolutionaire e-mailprogramma: http://www.opera.com/mail/
Reply by ●April 7, 20092009-04-07
In message <op.ur0n8ea5y6p7a2@azrael.lan>, Boudewijn Dijkstra <boudewijn@indes.com> writes>Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj <djordj@despammed.com>: >> Hi, >> I need a tool to check C code MISRA-C 2004 compliance: as I need it >>for various embedded compiler (GNU-ARM, Freescale CodeWarrior and >>AVRStudio), I thought about an external code checker (like PC-Lint for >>example). >> >> What can I use? > >- LDRA TestBed > >- IAR Embedded WorkbenchI wouldn't use the IAR Workbench for this. It only checks for the MISRA -C rules whereas MISRA-C assumes that you are using a full static analyser that will pick up as many MISRA-C rules as possible. -- \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\ \/\/\/\/\ Chris Hills Staffs England /\/\/\/\/ \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/
Reply by ●April 7, 20092009-04-07
In message <7415vhF11742rU1@mid.individual.net>, Not Really Me <scott@validatedQWERTYsoftware.XYZZY.com> writes>Boudewijn Dijkstra wrote: >> Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj >> <djordj@despammed.com>: >>> Hi, >>> I need a tool to check C code MISRA-C 2004 compliance: as I need it >>> for various embedded compiler (GNU-ARM, Freescale CodeWarrior and >>> AVRStudio), I thought about an external code checker (like PC-Lint >>> for example). >>> >>> What can I use? >> >> - LDRA TestBed >> >> - IAR Embedded Workbench > >Two excellent choices,I disagree one is a (very good) compiler not a static analyser.>but PC Lint is only a few hundred dollars.Best Bang for buck tool there is for C or C++ programming,. However the more you pay for tools like LDRA and QAC the more they can do.> LDRA is >over $10K and IAR around $4K, with huge increases in capability though.Different tools. One is a testing tool the other a compiler. -- \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\ \/\/\/\/\ Chris Hills Staffs England /\/\/\/\/ \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/
Reply by ●April 7, 20092009-04-07
In message <op.ur0tgqacy6p7a2@azrael.lan>, Boudewijn Dijkstra <boudewijn@indes.com> writes>Op Tue, 07 Apr 2009 16:26:04 +0200 schreef Not Really Me ><scott@validatedqwertysoftware.xyzzy.com>: >> Boudewijn Dijkstra wrote: >>> Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj >>> <djordj@despammed.com>: >>>> Hi, >>>> I need a tool to check C code MISRA-C 2004 compliance: as I need it >>>> for various embedded compiler (GNU-ARM, Freescale CodeWarrior and >>>> AVRStudio), I thought about an external code checker (like PC-Lint >>>> for example). >>>> >>>> What can I use? >>> >>> - LDRA TestBed >>> >>> - IAR Embedded Workbench >> >> Two excellent choices, but PC Lint is only a few hundred dollars. > >Only for the Windows version.The OP mentioned PC-Lint. Also LDRA and the IAR tools are Windows based. What does AVR Studio run on?>> LDRA is over $10K and IAR around $4K, with huge increases in >>capability though. > >I'm just throwing options to consider. And don't forget that every >penny spent on a tool might be worth its weight in some more valuable >metal,Such as? -- \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\ \/\/\/\/\ Chris Hills Staffs England /\/\/\/\/ \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/
Reply by ●April 7, 20092009-04-07
Sembra che Boudewijn Dijkstra abbia detto :> Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj <djordj@despammed.com>: > - LDRA TestBedI've seen it, but it's really expensive for my budget.> > - IAR Embedded WorkbenchUhm... looks like a compiler... I've been using Splint some times ago, but it doesn't cover MISRA... it's a pity...
