See here: FreeRTOS - Free RTOS Coding Standard and Style Guide - the MISRA mentioned is 2004, as the kernel is nearly 20 years old. New libraries (coreMQTT, etc.) are checked with Coverity - you can see the release criteria at the bottom of this page: LTS Libraries - FreeRTOS
1 Like