Lines Matching +full:cov +full:- +full:build

1 # MISRA Compliance for FreeRTOS-Kernel
2 FreeRTOS-Kernel is MISRA C:2012 compliant. This directory contains a project to
3 … [Synopsys Coverity](https://www.synopsys.com/software-integrity/security-testing/static-analysis-…
20 …run on any platform mentioned [here](https://sig-docs.synopsys.com/polaris/topics/c_coverity-compa…
23 1. CMake version > 3.13.0 (You can check whether you have this by typing `cmake --version`).
25     - See download and installation instructions [here](https://gcc.gnu.org/install/).
27     - `git clone https://github.com/FreeRTOS/FreeRTOS-Kernel.git ./FreeRTOS-Kernel`
30 Go to the root directory of the FreeRTOS-Kernel repo and run the following
34   cov-configure --force --compiler cc --comptype gcc
36 2. Create the build files using CMake in a `build` directory:
38   cmake -B build -S examples/coverity
40 3. Build the (pseudo) application:
42   cd build/
43   cov-build --emit-complementary-info --dir cov-out make
45 4. Go to the Coverity output directory (`cov-out`) and begin Coverity static
48   cd cov-out/
49   cov-analyze --dir ./cov-out \
50     --coding-standard-config ../examples/coverity/coverity_misra.config \
51     --tu-pattern "file('.*/FreeRTOS/Source/[A-Za-z_]*\.c')
55   cov-format-errors --dir ./cov-out --html-output html-output
58 HTML report should now be generated in a directory named `html-output`.