<div dir="auto">There are also some annotations that can silence warnings for suspect cases of not having breaks in switches, etc. I recall a few places that adding annotations would allow users to get cleaner runs.<div dir="auto"><br></div><div dir="auto">--joel</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 27, 2019, 5:31 PM Gedare Bloom <<a href="mailto:gedare@rtems.org">gedare@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="auto"><div>I have an interest and plan to work on this area soon. I made myself a note to look into the options, and whether any of the rules can be used out of the box for open source in <a href="https://devel.rtems.org/ticket/3710" target="_blank" rel="noreferrer">https://devel.rtems.org/ticket/3710</a></div><div dir="auto"><br></div><div dir="auto">Gedare<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Thu, Jun 27, 2019, 5:25 AM Joel Sherrill <<a href="mailto:joel@rtems.org" target="_blank" rel="noreferrer">joel@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">It would be good to have some control over Scan options but I have never seen anything on the Dashboard giving us any control like this. It appears to be set to a specific set of options outside our control.<div dir="auto"><br></div><div dir="auto">Also if you follow the path down for help, they send you to Stack Overflow.</div><div dir="auto"><br></div><div dir="auto">If we can figure out who to ask for help, it would be good. We also need a model for our memory allocator and kernel locks. They do support that in Scan</div><div dir="auto"><br></div><div dir="auto">--joel</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 27, 2019, 2:18 AM Sebastian Huber <<a href="mailto:sebastian.huber@embedded-brains.de" rel="noreferrer noreferrer" target="_blank">sebastian.huber@embedded-brains.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
the RTEMS project uses Coverity Scan:<br>
<br>
<a href="https://scan.coverity.com/projects/rtems?tab=overview" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">https://scan.coverity.com/projects/rtems?tab=overview</a><br>
<br>
Can it be configured in the open source program variant? For example <br>
Coverity supports a couple of MISRA rules:<br>
<br>
<a href="https://www.synopsys.com/content/dam/synopsys/sig-assets/datasheets/coverity-misra-standards-ds-ul.pdf" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">https://www.synopsys.com/content/dam/synopsys/sig-assets/datasheets/coverity-misra-standards-ds-ul.pdf</a><br>
<br>
 From the reported defects for RTEMS I guess these rules are not enabled <br>
currently. Would it be possible to enable a subset of these rules in our <br>
current setup?<br>
<br>
-- <br>
Sebastian Huber, embedded brains GmbH<br>
<br>
Address : Dornierstr. 4, D-82178 Puchheim, Germany<br>
Phone   : +49 89 189 47 41-16<br>
Fax     : +49 89 189 47 41-09<br>
E-Mail  : <a href="mailto:sebastian.huber@embedded-brains.de" rel="noreferrer noreferrer noreferrer" target="_blank">sebastian.huber@embedded-brains.de</a><br>
PGP     : Public key available on request.<br>
<br>
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" rel="noreferrer noreferrer noreferrer" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a></blockquote></div>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" rel="noreferrer noreferrer" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer noreferrer noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a></blockquote></div></div></div>
</div>
</blockquote></div>