MISRA-C 2004 code checker

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

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

"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 you

QAC. 

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/

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.  LDRA is 
over $10K and IAR around $4K, with huge increases in capability though.

-- 
Scott
Validated Software
Lafayette, CO 

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/

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 Workbench

I 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     /\/\/\/\/
\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/

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     /\/\/\/\/
\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/

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     /\/\/\/\/
\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/

Sembra che Boudewijn Dijkstra abbia detto :
> Op Mon, 06 Apr 2009 23:47:50 +0200 schreef djordj <djordj@despammed.com>:
> - LDRA TestBed
I've seen it, but it's really expensive for my budget.
>
> - IAR Embedded Workbench
Uhm... looks like a compiler...

I've been using Splint some times ago, but it doesn't cover MISRA... 
it's a pity...