[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] coverity: physmem: use simple assertions instead of modellin
|
From: |
Peter Maydell |
|
Subject: |
Re: [PATCH] coverity: physmem: use simple assertions instead of modelling |
|
Date: |
Wed, 22 Feb 2023 15:57:05 +0000 |
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.
There's no point making changes to our model until we've
fixed that. Paolo?
thanks
-- PMM