Coverity model file

[Joel Sherrill]

On Wed, Jan 27, 2021 at 1:10 PM Gedare Bloom <gedare at rtems.org> wrote:

> 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.
>

+1

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.

>
> (Apparently the last coverity build failed.)
>

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.

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.

But they did update the Linux development side analysis tool since the last
time I looked for it.

I will try to get a new build submitted.

--joel

>
>
> On Wed, Jan 27, 2021 at 11:17 AM Sebastian Huber <
> sebastian.huber at embedded-brains.de> wrote:
>
>> Hello,
>>
>> we use a Coverity model file for
>>
>> https://scan.coverity.com/projects/rtems
>>
>> I have to issues with his model file.
>>
>> 1. You have to be an administrator to see it.
>>
>> 2. It is not version controlled.
>>
>> I suggest to add the model file to the RTEMS tools, for example
>> "coverity/model.c".
>>
>> I would like to add a model for the _Assert() macro:
>>
>> |#define _Assert( _e ) \ ( ( _e ) ? \ ( void ) 0 : \
>> __coverity_panic__() ) The goal is to reduce UNUSED_VALUE and
>> |NULL_RETURNS findings.
>> ||
>>
>> --
>> embedded brains GmbH
>> Herr Sebastian HUBER
>> Dornierstr. 4
>> 82178 Puchheim
>> Germany
>> email: sebastian.huber at embedded-brains.de
>> phone: +49-89-18 94 741 - 16
>> fax:   +49-89-18 94 741 - 08
>>
>> Registergericht: Amtsgericht München
>> Registernummer: HRB 157899
>> Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
>> Unsere Datenschutzerklärung finden Sie hier:
>> https://embedded-brains.de/datenschutzerklaerung/
>>
>> _______________________________________________
>> devel mailing list
>> devel at rtems.org
>> http://lists.rtems.org/mailman/listinfo/devel
>
> _______________________________________________
> 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/20210127/47e4a4cb/attachment.html>