Improve Coverity Scan Integration: GSOC project details

[Sebastian Huber]

On 02/03/2020 02:31, Joel Sherrill wrote:
>     *THIRD POINT-*
>     Enabling and testing MISRA rules.
> 
> 
> Do you know of a free tool that checks Misra C rules? There are closed 
> source products that do but I don't know of a FLOSS one.

cppcheck seems to have some support:

http://cppcheck.sourceforge.net/misra.php

My approach to MISRA rules would be to first assess which rules we want 
for the RTEMS Project. To discuss the rules, you need the MISRA C 
standard. It is not expensive, but it is also not free. Discussing MISRA 
rules an a public mailing list is also somewhat peculiar due to 
copyright issues. The relevant rules should be documented in the RTEMS 
Software Engineering manual (e.g. a nice list of numbers meaningless to 
anyone without access to the MISRA C standard). For each rule there 
should be some guideline how it can be enforced.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.