You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

History

Aniruddha Kanhere 2fcb0f48b1 Fix small bugs in Kernel (#998 ) * Fix small bugs * Cast sizeof to BaseType_t * Test removing assert to fix UT * Revert change to tasks.c Since configIDLE_TASK_NAME must be defined as a string according to the documentation, the macro will always be NULL terminated. Which means that the check `if( cIdleName[ xIdleTaskNameIndex ] == ( char ) 0x00 )` will catch the end of string. * Update coverity config; Add coverity version; Update pvPortMalloc declaration to match the definitions. * Add port files to sed command * Remove warnings about unused parameters in port code --------- Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>		1 year ago
..
CMakeLists.txt	Fix small bugs in Kernel (#998 )	1 year ago
FreeRTOSConfig.h	Add coverity example (#870 )	1 year ago
README.md	Add coverity example (#870 )	1 year ago
coverity_misra.config	Fix small bugs in Kernel (#998 )	1 year ago

README.md

MISRA Compliance for FreeRTOS-Kernel

FreeRTOS-Kernel is MISRA C:2012 compliant. This directory contains a project to run Synopsys Coverity for checking MISRA compliance.

Note Coverity version 2022.6.1 incorrectly infers the type of pdTRUE and pdFALSE as boolean because of their names, resulting in multiple false positive warnings about type mismatch. We replace pdTRUE with pdPASS and pdFALSE with pdFAIL to avoid these false positive warnings. This workaround will not be needed after Coverity fixes the issue of incorrectly inferring the type of pdTRUE and pdFALSE as boolean.

Deviations from the MISRA C:2012 guidelines are documented in MISRA.md and coverity_misra.config files.

Getting Started

Prerequisites

Coverity can be run on any platform mentioned here. The following are the prerequisites to generate coverity report:

CMake version > 3.13.0 (You can check whether you have this by typing cmake --version).
GCC compiler.
- See download and installation instructions here.
Clone the repo using the following command:
- git clone https://github.com/FreeRTOS/FreeRTOS-Kernel.git ./FreeRTOS-Kernel

Generating Report

Go to the root directory of the FreeRTOS-Kernel repo and run the following commands in a terminal:

Update the compiler configuration in Coverity:

cov-configure --force --compiler cc --comptype gcc

Create the build files using CMake in a build directory:

cmake -B build -S examples/coverity

Build the (pseudo) application:

cd build/
cov-build --emit-complementary-info --dir cov-out make

Go to the Coverity output directory (cov-out) and begin Coverity static analysis:

cd cov-out/
cov-analyze --dir ./cov-out \
  --coding-standard-config ../examples/coverity/coverity_misra.config \
  --tu-pattern "file('.*/FreeRTOS/Source/[A-Za-z_]*\.c')

Generate the HTML report:

cov-format-errors --dir ./cov-out --html-output html-output

HTML report should now be generated in a directory named html-output.