= File RTEMS Ticket for a Coverity Scan Issue =

[[TOC(GCI/Coding/CoverityIssues , depth=2)]]

Coverity Scan is a static analyzer that can identify various types of potential software defects. Coverity offers free use of this analyzer for free software projects. Issues identified for RTEMS are at https://scan.coverity.com/projects/rtems. 

Coverity Scan identifies POTENTIAL issues. Some may be real bugs. Others may indicate that Coverity Scan does not have full awareness of the program life. For example, memory allocated during RTEMS initialization may appear to be leaked because it is never freed, but this is deliberate and the issue marked as such in Coverity Scan.

== Directions for Students ==

You will need to get an account on [https://scan.coverity.com Coverity Scan] and request access to the [https://scan.coverity.com/projects/rtems RTEMS Project]. 

Find an issue which is not included in the list of tickets below. Investigate the issue, and if it is a real bug then file a ticket at https://devel.rtems.org against 5.1 using ticket #3514 as a guide. 

* The title should have an English summary and the CID number from the Coverity report.

* The summary should include the offending code with some context.

* If you can provide any insight into the issue, please feel free to add it. If the RTEMS source code has a copyright that indicates it originated in another project, please do make note of that. It is sometimes possible just to check the original source to see if the issue is fixed. 

* You may need to ask questions (on the devel mailing list or IRC) to confirm whether or not the Coverity issue is a real bug or not.

=== Tickets ===

The following open tickets correspond to Coverity issues.

[[TicketQuery(status!=closed, keywords~=coverity, format=table, col=summary|owner, order=priority|id)]]

== Directions for Mentors ==

Compare the [https://scan.coverity.com/projects/rtems Coverity] report with the ticket that was filed. You'll need a Coverity account. Confirm the ticket appears in the table above, that the ticket contains the CID number and reproduces the problem/context of the Coverity report.