[PATCH] Add model file for Coverity

Sebastian Huber sebastian.huber at embedded-brains.de
Fri Jan 29 05:26:43 UTC 2021

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:



> 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
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:

More information about the devel mailing list