Cobra Static Analyzer and RTEMS

[Joel Sherrill]

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