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 https://devel.rtems.org/ticket/3710
Gedare On Thu, Jun 27, 2019, 5:25 AM Joel Sherrill <j...@rtems.org> wrote: > 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.hu...@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.hu...@embedded-brains.de >> PGP : Public key available on request. >> >> Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. >> _______________________________________________ >> devel mailing list >> devel@rtems.org >> http://lists.rtems.org/mailman/listinfo/devel > > _______________________________________________ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
