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

[Paolo Bonzini]

On 3/15/23 15:28, Vladimir Sementsov-Ogievskiy wrote:
> 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?

The container broke when libslirp was removed, and I've been 
procrastinating fixing it. :(

Paolo

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