Coverity Scan Configuration?
Joel Sherrill
joel at rtems.org
Thu Jun 27 11:25:12 UTC 2019
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.
Also if you follow the path down for help, they send you to Stack Overflow.
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
--joel
On Thu, Jun 27, 2019, 2:18 AM Sebastian Huber <
sebastian.huber at embedded-brains.de> wrote:
> Hello,
>
> the RTEMS project uses Coverity Scan:
>
> https://scan.coverity.com/projects/rtems?tab=overview
>
> Can it be configured in the open source program variant? For example
> Coverity supports a couple of MISRA rules:
>
>
> https://www.synopsys.com/content/dam/synopsys/sig-assets/datasheets/coverity-misra-standards-ds-ul.pdf
>
> From the reported defects for RTEMS I guess these rules are not enabled
> currently. Would it be possible to enable a subset of these rules in our
> current setup?
>
> --
> Sebastian Huber, embedded brains GmbH
>
> Address : Dornierstr. 4, D-82178 Puchheim, Germany
> Phone : +49 89 189 47 41-16
> Fax : +49 89 189 47 41-09
> E-Mail : sebastian.huber at embedded-brains.de
> PGP : Public key available on request.
>
> Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20190627/1f20da6c/attachment-0002.html>
More information about the devel
mailing list