MISRA-C Compiance with HALCoGen

Reagan Revisore

Other Parts Discussed in Thread: HALCOGEN

We're needing to ensure some code is MISRA-C compliant, but the code generated by HALCoGen results in thousands of errors when it is ran through our MISRA-C checker. Are there other options here?

-Reagan

over 11 years ago

0 Enrique Lizarraga over 11 years ago

TI__Expert 4580 points

Hello:

Do you mean the compiler MISRA checker?

HALCoGen code is currently evaluated against MISRA-C rules using LDRA tool. There are some aspects to consider:

1) Diferent tools could lead to different findings

2) We could be using different rule sets

3) There are some documented exceptions in the code (you can identify them with the label SAFETYMCUSW)

Does that requirement comes from a customer?

0 Brian Fortman over 11 years ago in reply to Enrique Lizarraga

TI__Expert 7650 points

Hi Reagan,

Which version of HALCoGen are you using?

0 Calum Mackinnon over 11 years ago in reply to Brian Fortman

Genius 4155 points

They are using HALCoGen 3.06.

Arm-based microcontrollers

Arm-based microcontrollers forum

MISRA-C Compiance with HALCoGen