Re: Coverity model file

round 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.hu...@embedded-brains.de> wrote: > >> Hell

Re: Coverity model file

tian Huber < sebastian.hu...@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 c

Coverity model file

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&

Re: Coverity Model

Hi Sebastian, On Fri, Jul 19, 2019 at 2:57 AM Sebastian Huber wrote: > > Hello, > > you can add a model file to Coverity to reduce the false positive rate > of the static analysis. I didn't check that the RTEMS scan can profit > from this since we already supply a lot of code to the scan. What I

Coverity Model

Hello, you can add a model file to Coverity to reduce the false positive rate of the static analysis. I didn't check that the RTEMS scan can profit from this since we already supply a lot of code to the scan. What I found interesting is that Qemu uses this: https://github.com/qemu/qemu/blob/