How to generate MISRA C 2012 compliance BSP and HAL using CuebMX for STM32U535RBT6 ?

[Vishal58]

Currently I am using CuebMX version 6.12 and tried generating BSP and HAL code for STM32U535RBT6 controller.

But the generated code is not MISRA C 2012 compliant. How do I generate MISRA C 2012 compliance code?

 

[Andrew Neil]

See also:

https://community.st.com/t5/stm32-mcus-embedded-software/hal-and-misra-c-compliance-problem/m-p/731858

[Vishal58]

How do we know if STM32U535RBT6 fall under STM32 legacy products ?

[Sarra.S]

Hello @Vishal58, welcome to ST Community, 

According to UM2911 "Description of STM32U5 HAL and low-layer drivers", "It is compliant with MISRA C®:2012 standard."

[Vishal58]

But I get a lot of errors while running my static code analysis tool.

For example.

Header files are generated with __Filename_H__ and I get error as "MISRA C:2012 21.1 (Required)   #define and #undef shall not be used on a reserved identifier or reserved macro name. The macro '__Filename_H__ ' shall not be defined."

Many HAL related macros start with __ which is not as per MISRA C 2012 standards.

 

I just checked the STM32CubeU5  code also there also I could see 
__STM32U5xx_HAL_VERSION_MAIN macros defined and using __STM32U5xx_HAL_H header guards.

 

Not sure if the UM2911 is not correct or the way we generate code has to be changed for MISRA C 2012 compliance.

[Andrew Neil]

---

@Vishal58 wrote:

#define and #undef shall not be used on a reserved identifier or reserved macro name.

---

The leading underscores are reserved to "The System".

I guess it could be argued that HAL is considered part of "The System" ... ?

[Tesla DeLorean]

>>How do I generate MISRA C 2012 compliance code?

You get to OWN the source, per the license, and get to audit it, and waiver the things you're unwilling to change, with reasoning.

Most of the people I know can't take the liability on any third-party code, and ST's going to have you indemnify them, not the other way around.

People dealing with highly critical code, develop it in house, from the ground up. They use compilers running $10K+/seat, not GNU/GCC flavour du-jour

[Vishal58]

Thank you @Andrew Neil , I have raised a case and it is still not yet resolved.