<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">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" 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" 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" target="_blank" rel="noreferrer">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" target="_blank" rel="noreferrer">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a></blockquote></div>