Does FreeRTOS kernel claims any static analysis compliance? If yes, can the static analysis reports shared with the customers ?
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