Adding SMP coverity example - Githubissues

FreeRTOS / FreeRTOS-Kernel

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

https://www.FreeRTOS.org

MIT License

2.71k stars 1.11k forks source link

Adding SMP coverity example #1039

Closed chinglee-iot closed 5 months ago

chinglee-iot commented 5 months ago

Adding SMP coverity example

Description

In this PR:

Add SMP coverity example. User can reference the ./examples/coverity/README.md to run coverity with SMP FreeRTOS.
Suppress MISRA C:2012 directive 4.7 by comment. The return value of taskENTER_CRITICAL_FROM_ISR() is the interrupt mask. No error information will be returned by this function and no need to perform a check.

Test Steps

Run coverity 2023.6.1 with the following command should shows no violations. Single core

cmake -B build -S examples/coverity

SMP

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

Checklist:

[x] I have tested my changes. No regression in existing tests.
[ ] ~~I have modified and/or added unit-tests to cover the code changes in this Pull Request.~~

Related Issue

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

sonarcloud[bot] commented 5 months ago

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
0.0% Duplication on New Code

See analysis details on SonarCloud