Hello,
we use a Coverity model file for
https://scan.coverity.com/projects/rtems
I have to issues with his model file.
1. You have to be an administrator to see it.
2. It is not version controlled.
I suggest to add the model file to the RTEMS tools, for example
"coverity/model.c".
I would like to add a model for the _Assert() macro:
|#define _Assert( _e ) \ ( ( _e ) ? \ ( void ) 0 : \
__coverity_panic__() ) The goal is to reduce UNUSED_VALUE and |NULL_RETURNS findings.
||
--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.hu...@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/
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
