Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add coverity example #870

Merged
merged 35 commits into from
Dec 7, 2023
Merged

Conversation

chinglee-iot
Copy link
Member

@chinglee-iot chinglee-iot commented Oct 30, 2023

Add coverity example

Description

Add coverity example for checking MISRA violations with static analysis tool coverity.

Test Steps

The following is example command to generate coverity report:

cd ./examples/coverity

cmake -S . -B build

cd build

cov-build --emit-complementary-info --dir cov-int make

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

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

Checklist:

  • 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.

@chinglee-iot chinglee-iot requested a review from a team as a code owner October 30, 2023 05:22
@codecov
Copy link

codecov bot commented Oct 30, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (bcf7bda) 93.78% compared to head (72a7bea) 93.78%.
Report is 1 commits behind head on main.

❗ Current head 72a7bea differs from pull request most recent head 93f2a62. Consider uploading reports for the commit 93f2a62 to get more accurate results

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #870   +/-   ##
=======================================
  Coverage   93.78%   93.78%           
=======================================
  Files           6        6           
  Lines        3184     3184           
  Branches      885      885           
=======================================
  Hits         2986     2986           
  Misses         91       91           
  Partials      107      107           
Flag Coverage Δ
unittests 93.78% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@chinglee-iot chinglee-iot marked this pull request as draft November 2, 2023 14:21
@chinglee-iot chinglee-iot marked this pull request as ready for review November 6, 2023 09:55
@chinglee-iot chinglee-iot marked this pull request as draft November 24, 2023 06:14
@chinglee-iot chinglee-iot marked this pull request as ready for review November 24, 2023 06:16
Copy link

sonarqubecloud bot commented Dec 7, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 37 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

@kar-rahul-aws kar-rahul-aws merged commit 5dbfd38 into FreeRTOS:main Dec 7, 2023
15 checks passed
@aggarg aggarg deleted the add-coverity-example branch December 8, 2023 06:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants