Misra rules checker

Tip / Sign in to post questions, reply, level up, and achieve exciting badges. Know more

cross mob
User5327
Level 4
Level 4
Does anyone know about some program or addon or plugin for dave, which can check misra rules during write a code (during develop)
... somethink like as in Atollic?

Please help.
Thanks.

Best regards
Koumak.
0 Likes
6 Replies
Not applicable
Hi Koumak,

DAVE generated code is compliant to MISRA 2004 (only a few documented exceptions).
We are using Lint tool for MISRA checks. However, DAVE does not provide any plug-in tools for this.

Best regards,
Sophia
0 Likes
User5327
Level 4
Level 4
Thanks for response,
I know that DAVE itself has not any plug-in.
I want only some advice if exists some else misra c checker (wchich can be implemented to DAVE) ... I think someone maybe solved this question.

For example I found http://redlizards.com/products/goanna-studio-for-eclipse/ ... It could be ok.
... Lint is usable too - but there is problem - that it is not possible implemented to IDE (eclipse)

Regards
Koumak
0 Likes
Not applicable
Sophia,

It is interesting to read that DAVE generated is MISRA compliant. You say that the few exceptions are documented. Is this documented in the code or elsewhere?

Regards,

Steve
0 Likes
Not applicable
Hi Sophia,

I am using Tasking IDE to do misra c 2004 checking, but I got lots of violations in code produced by Dave 2.
Is there any solution for that?

Best Regards,
Morris
0 Likes
Not applicable
By the way, I am using XC2300 series so I generate code in Dave2.
0 Likes
Not applicable
Hi Morris,

Unfortunately the DAVE2 Code is not MISRA Compliant.

Best regards,
Sophia
0 Likes