[PATCH] Add model file for Coverity
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
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