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

chinglee-iot fdf4695c1e Adding SMP coverity example (#1039 ) * Adding SMP coverity example * Add coverity scan flow * Fix format * Update README.md * Code review suggestions Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Ubuntu <ubuntu@ip-172-31-34-245.ap-northeast-1.compute.internal> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>		10 months ago
..
CMakeLists.txt	Adding SMP coverity example (#1039 )	10 months ago
FreeRTOSConfig.h	Use Regex for Copyright Year in Header Check (#1002 )	11 months ago
README.md	Adding SMP coverity example (#1039 )	10 months ago
coverity_misra.config	Fix small bugs in Kernel (#998 )	12 months 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 2023.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:

Singe core FreeRTOS:

cmake -B build -S examples/coverity

SMP FreeRTOS:

cmake -B build -S examples/coverity -DFREERTOS_SMP_EXAMPLE=1

Build the (pseudo) application:

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

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

cov-analyze --dir ./cov-out \
  --coding-standard-config ../examples/coverity/coverity_misra.config \
  --tu-pattern "file('[A-Za-z_]+\.c') && ( ! file('main.c') ) && ( ! file('port.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.