[RTEMS Project] #4597: Cobra Static Analyzer and RTEMS

RTEMS trac trac at rtems.org
Fri Feb 25 21:20:11 UTC 2022


#4597: Cobra Static Analyzer and RTEMS
-------------------------------------------------+-------------------------
 Reporter:  Joel Sherrill                        |       Owner:  (none)
     Type:  enhancement                          |      Status:  new
 Priority:  normal                               |   Milestone:  Indefinite
Component:  tool                                 |     Version:
 Severity:  normal                               |  Resolution:
 Keywords:  SoC, ecosystem, tools, small, large  |  Blocked By:
 Blocking:                                       |
-------------------------------------------------+-------------------------
Description changed by Joel Sherrill:

Old description:

> Cobra [https://github.com/nimble-code/Cobra] is a static analysis tool
> with heritage to JPL. Broadly speaking, the goal of this project is to
> use Cobra to analyze RTEMS source code.
>
> * Build and install Cobra
> * Configure Cobra to analyze RTEMS source code and get reports
> * Document procedure
> * Evaluate Cobra output and usefulness for RTEMS Project
>
> If Cobra proves useful, then Cobra will need some work to be more
> integrated into the project. The following are bare minimum:
>
> * A recipe will need to be added to the RTEMS Source Builder.
> * Scripting to generate reports
>
> To be more effectively used, issues like the following need to be
> considered:
>
> * Can files or directories be ignored?
> * Flagging issues to ignore.
> * Can certain issue be turned off?
> * Can RTEMS use a subset of MISRA rules that are supported by Cobra?
> * Comparison of one run to the next. History.
> * Think creatively, can we run Cobra periodically and email everyone who
> committed if the number of issues go up?
> * etc.

New description:

 Cobra [https://github.com/nimble-code/Cobra] is a static analysis tool
 with heritage to JPL. Broadly speaking, the goal of this project is to use
 Cobra to analyze RTEMS source code.

 * Build and install Cobra
 * Configure Cobra to analyze RTEMS source code and get reports
 * Document procedure
 * Evaluate Cobra output and usefulness for RTEMS Project

 If Cobra proves useful, then Cobra will need some work to be more
 integrated into the project. The following are bare minimum:

 * A recipe will need to be added to the RTEMS Source Builder.
 * Scripting to generate reports

 To be more effectively used, issues like the following need to be
 considered:

 * Can files or directories be ignored?
 * Flagging issues to ignore.
 * Can certain issue be turned off?
 * Can RTEMS use a subset of MISRA rules that are supported by Cobra?
 * Comparison of one run to the next. History.
 * Think creatively, can we run Cobra periodically and email everyone who
 committed if the number of issues go up?
 * etc.

 Possible Mentors: Gedare Bloom, Joel Sherrill
 Skills: C
 Difficulty: Medium

--

--
Ticket URL: <http://devel.rtems.org/ticket/4597#comment:2>
RTEMS Project <http://www.rtems.org/>
RTEMS Project


More information about the bugs mailing list