<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 27, 2021 at 1:10 PM Gedare Bloom <<a href="mailto:gedare@rtems.org">gedare@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Super, let's do it. Changing it is a manual process. So whoever pushes the file in the tools repo should also be responsible to make sure it gets uploaded. I'm willing to do the upload on-demand. </div></blockquote><div><br></div><div>+1 </div><div><br></div><div>It would also be nice to add some more if anyone knew how to specify things like internal APIs like allocators and mutexes. Then we theoretically could analyse code using those APIs. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><br></div><div>(Apparently the last coverity build failed.)<br></div></div></blockquote><div><br></div><div>Hmm... the build didn't fail per the error message. If it had failed to build, then the script wouldn't have submitted the build. But the analysis didn't pick up enough of the compilation units to do any analysis.</div><div><br></div><div>They did have problems with GCC 10 vs 9. I think that was some parsing issue with single digits versus two. I figured out a workaround for that.</div><div><br></div><div>But they did update the Linux development side analysis tool since the last time I looked for it.</div><div><br></div><div>I will try to get a new build submitted. </div><div><br></div><div>--joel</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 27, 2021 at 11:17 AM Sebastian Huber <<a href="mailto:sebastian.huber@embedded-brains.de" target="_blank">sebastian.huber@embedded-brains.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hello,<br>
<br>
we use a Coverity model file for<br>
<br>
<a href="https://scan.coverity.com/projects/rtems" rel="noreferrer" target="_blank">https://scan.coverity.com/projects/rtems</a><br>
<br>
I have to issues with his model file.<br>
<br>
1. You have to be an administrator to see it.<br>
<br>
2. It is not version controlled.<br>
<br>
I suggest to add the model file to the RTEMS tools, for example <br>
"coverity/model.c".<br>
<br>
I would like to add a model for the _Assert() macro:<br>
<br>
|#define _Assert( _e ) \ ( ( _e ) ? \ ( void ) 0 : \ <br>
__coverity_panic__() ) The goal is to reduce UNUSED_VALUE and |NULL_RETURNS findings.<br>
||<br>
<br>
-- <br>
embedded brains GmbH<br>
Herr Sebastian HUBER<br>
Dornierstr. 4<br>
82178 Puchheim<br>
Germany<br>
email: <a href="mailto:sebastian.huber@embedded-brains.de" target="_blank">sebastian.huber@embedded-brains.de</a><br>
phone: +49-89-18 94 741 - 16<br>
fax:   +49-89-18 94 741 - 08<br>
<br>
Registergericht: Amtsgericht München<br>
Registernummer: HRB 157899<br>
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler<br>
Unsere Datenschutzerklärung finden Sie hier:<br>
<a href="https://embedded-brains.de/datenschutzerklaerung/" rel="noreferrer" target="_blank">https://embedded-brains.de/datenschutzerklaerung/</a><br>
<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a></blockquote></div>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a></blockquote></div></div>