FreeRTOS

mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2025-12-13 07:36:06 +08:00

Files

Gary Wicker 3f21957cc8 FreeRTOS+TCP: MISRA rules 10.4, 10.8, & 21.15 (#280 )

* Use unsigned types/constants where needed.
* Address MISRA 21.15 violations in FreeRTOS_Sockets.c
* Address MISRA rule violations in code (primarily Rule 2.2)
* Inline had been disabled for Coverity builds, preventing
Coverity from correctly identifying dead code; this change
removes the disabling of inline during Coverity builds.
* Added an explanation for the inline suppression of Rule
11.4 in prvSocketValid().
* Address MISRA Rule Violations (10.4 & 10.8)
* MISRA: Rule 21.15 changes

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

2020-09-25 08:47:01 -07:00

FreeRTOS-Plus-CLI

Add CBMC proofs for FreeRTOS-Plus-CLI (#296 )

2020-09-24 13:32:10 -07:00

FreeRTOS-Plus-IO

…

FreeRTOS-Plus-TCP

FreeRTOS+TCP: MISRA rules 10.4, 10.8, & 21.15 (#280 )

2020-09-25 08:47:01 -07:00

FreeRTOS-Plus-Trace

Update #169 -- Percepio Tracealyzer Recorder v4.3.11 (#201 )

2020-08-13 14:29:33 -07:00