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

[RTEMS trac]

#4597: Cobra Static Analyzer and RTEMS
-------------------------+-------------------------------------------------
  Reporter:  Joel        |      Owner:  (none)
  Sherrill               |
      Type:              |     Status:  new
  enhancement            |
  Priority:  normal      |  Milestone:  Indefinite
 Component:  tool        |    Version:
  Severity:  normal      |   Keywords:  SoC, ecosystem, tools, small, large
Blocked By:              |   Blocking:
-------------------------+-------------------------------------------------
 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.
 * 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.

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