Home
last modified time | relevance | path

Searched +full:cov +full:- +full:build (Results 1 – 2 of 2) sorted by relevance

/Kernel-v11.1.0/examples/coverity/
DREADME.md1 # 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:
[all …]
/Kernel-v11.1.0/.github/workflows/
Dcoverity_scan.yml10 bashPass: \033[32;1mPASSED -
11 bashInfo: \033[33;1mINFO -
12 bashFail: \033[31;1mFAILED -
16 Coverity-Scan:
17 if: ( github.repository == 'FreeRTOS/FreeRTOS-Kernel' )
19 runs-on: ubuntu-latest
21 - name: Checkout the Repository
24 - env:
25 stepName: Install Build Essentials
29 echo -e "::group::${{ env.bashInfo }} ${{ env.stepName }} ${{ env.bashEnd }}"
[all …]