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

2023-06-09 Thread Vladimir Sementsov-Ogievskiy
ping On 20.04.23 22:06, Vladimir Sementsov-Ogievskiy wrote: On 16.03.23 00:22, Paolo Bonzini wrote: 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 wrote: On Wed, 15 Feb 2023 at 15:22, Vladimir Seme

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

2023-04-20 Thread Vladimir Sementsov-Ogievskiy
On 16.03.23 00:22, Paolo Bonzini wrote: 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 wrote: On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy wrote: ping [add Stefan] I'm not familia

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

2023-03-15 Thread 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 wrote: On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy wrote: ping [add Stefan] I'm not familiar with the Coverity models. Peter Maydell

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

2023-03-15 Thread Vladimir Sementsov-Ogievskiy
On 22.02.23 18:57, Peter Maydell wrote: On Wed, 22 Feb 2023 at 14:19, Stefan Hajnoczi wrote: On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy wrote: ping [add Stefan] I'm not familiar with the Coverity models. Peter Maydell is the maintainer. We haven't run Coverity scans sin

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

2023-02-22 Thread Peter Maydell
On Wed, 22 Feb 2023 at 14:19, Stefan Hajnoczi wrote: > > On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy > 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.

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

2023-02-22 Thread Stefan Hajnoczi
On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy wrote: > > ping > > [add Stefan] I'm not familiar with the Coverity models. Peter Maydell is the maintainer. Stefan

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

2023-02-15 Thread Vladimir Sementsov-Ogievskiy
ping [add Stefan] -- Best regards, Vladimir

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

2023-01-23 Thread David Hildenbrand
On 26.12.22 23:03, Vladimir Sementsov-Ogievskiy wrote: Unfortunately Coverity doesn't follow the logic aroung "len" and "l" variables in stacks finishing with flatview_{read,write}_continue() and generate a lot of OVERRUN false-positives. When small buffer (2 or 4 bytes) is passed to mem read/wri

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

2023-01-09 Thread Vladimir Sementsov-Ogievskiy
ping -- Best regards, Vladimir