[PATCH] Add model file for Coverity

[Sebastian Huber]

On 28/01/2021 20:29, Joel Sherrill wrote:

> I'm still not getting emails when the runs are finished but it looks 
> like it is done.

Thanks for starting a new run with the updated file. It seems the 
#define stuff in the model file didn't work. For example, we still have 
CID 1399745. You can expand the _Assert() macro in the code view and it 
ends up with  #define _Assert( _e ) ( ( void ) 0 ) from 
cpukit/include/rtems/score/assert.h. I guess you can only model real 
functions after pre-processing. What Mozilla did 15 years ago is this:

https://bugzilla.mozilla.org/show_bug.cgi?id=334315

https://bug334315.bmoattachments.org/attachment.cgi?id=218644

>
> FWIW spi-sd-card.c seems to be the one I see everytime I load the 
> defect page.
> The three in spi-sd-card.c look legitimate. Not sure what your approach
> is for nibbling at them but at first glance, those look fixable.
I can't spend a lot time on Coverity stuff, so I concentrate on things 
in score and stuff which has to do with network services.
>
> And are there other directories we want to ignore defects in? I have 
> been on the
> fence about the shell. One pass to ignore defects in  third party code 
> that we haven't
> modified might reduce the count.

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/