Lines Matching +full:- +full:- +full:config +full:- +full:file
3 FreeRTOS-Kernel conforms to [MISRA C:2012](https://www.misra.org.uk/misra-c)
6 small-embedded devices, it needs to have a very small memory footprint and
11 Additionally, [MISRA configuration file](examples/coverity/coverity_misra.config)
18 grep 'MISRA Ref 8.4.1' . -rI
27 - pxCurrentTCB(s) is defined with external linkage but it is only referenced
29 header file is not useful as the assembly code will still need to declare it
33 - xQueueRegistry is defined with external linkage because it is accessed by the
35 and therefore, not declared in a header file.
43 - This rule prohibits an identifier with external linkage to have multiple
52 - The pointer to function is casted into void to avoid unused parameter
62 - This rule prohibits casting a pointer to object into a pointer to a
83 - The memory blocks returned by pvPortMalloc() are guaranteed to meet the
89 - The conversion from a pointer to void into a pointer to EventGroup_t is
95 - The conversion from a pointer to void in list macros for list item owner
100 - The conversion from a pointer to void into a pointer to EventGroup_t is
106 - The conversion from a pointer to void into a pointer to uint8_t is safe
112 MISRA C-2012 Rule 21.6: The Standard Library input/output functions shall not
116 - The Standard Library function snprintf is used in vTaskListTasks and