Re: [PATCH] coverity: physmem: use simple assertions instead of modelling

[Vladimir Sementsov-Ogievskiy]

On 22.02.23 18:57, Peter Maydell wrote:
> On Wed, 22 Feb 2023 at 14:19, Stefan Hajnoczi <stefanha@gmail.com> wrote:
> > On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy
> > <vsementsov@yandex-team.ru> wrote:
> > > ping
> > >
> > > [add Stefan]
> >
> > I'm not familiar with the Coverity models. Peter Maydell is the maintainer.
>
> We haven't run Coverity scans since September last year.

What's the problem with it? May I help somehow?

> There's no point making changes to our model until we've
> fixed that. Paolo?
>
> thanks
> -- PMM

--
Best regards,
Vladimir