Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-27 Thread Stefano Stabellini
On Fri, 24 Feb 2023, Luca Fancellu wrote: > Hi Stefano, > > >> Hi Jan, > >> > >> my personal opinion is that we can’t handle them for files that needs to > >> be kept > >> in sync from an external source, because we can’t justify findings or tag > >> false > >> positives, if we are lucky we

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-24 Thread Luca Fancellu
Hi Stefano, >> Hi Jan, >> >> my personal opinion is that we can’t handle them for files that needs to be >> kept >> in sync from an external source, because we can’t justify findings or tag >> false >> positives, if we are lucky we might fix the non compliances but even in that >> case >>

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-16 Thread Jan Beulich
On 17.02.2023 02:44, Stefano Stabellini wrote: > On Thu, 16 Feb 2023, Luca Fancellu wrote: >>> On 16 Feb 2023, at 08:19, Jan Beulich wrote: >>> On 16.02.2023 00:49, Stefano Stabellini wrote: On Wed, 15 Feb 2023, Julien Grall wrote: > On 14/02/2023 22:25, Stefano Stabellini wrote: >>>

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-16 Thread Stefano Stabellini
On Thu, 16 Feb 2023, Luca Fancellu wrote: > > On 16 Feb 2023, at 08:19, Jan Beulich wrote: > > On 16.02.2023 00:49, Stefano Stabellini wrote: > >> On Wed, 15 Feb 2023, Julien Grall wrote: > >>> On 14/02/2023 22:25, Stefano Stabellini wrote: > > Patch 1's example has a "comment" field, which

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-16 Thread Luca Fancellu
> On 16 Feb 2023, at 08:19, Jan Beulich wrote: > > On 16.02.2023 00:49, Stefano Stabellini wrote: >> On Wed, 15 Feb 2023, Julien Grall wrote: >>> On 14/02/2023 22:25, Stefano Stabellini wrote: > Patch 1's example has a "comment" field, which no entry makes use of. > Without that, how

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-16 Thread Jan Beulich
On 16.02.2023 00:49, Stefano Stabellini wrote: > On Wed, 15 Feb 2023, Julien Grall wrote: >> On 14/02/2023 22:25, Stefano Stabellini wrote: Patch 1's example has a "comment" field, which no entry makes use of. Without that, how does it become clear _why_ a particular file is to be

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-15 Thread Stefano Stabellini
Hi Julien and all, Summarizing here on the list what I had with Julien and Bertrand this morning. On Wed, 15 Feb 2023, Julien Grall wrote: > Hi Stefano, > > On 14/02/2023 22:25, Stefano Stabellini wrote: > > > Patch 1's example has a "comment" field, which no entry makes use of. > > > Without

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-15 Thread Julien Grall
Hi Stefano, On 14/02/2023 22:25, Stefano Stabellini wrote: Patch 1's example has a "comment" field, which no entry makes use of. Without that, how does it become clear _why_ a particular file is to be excluded? The patch description here also doesn't provide any justification ... It would be

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-14 Thread Stefano Stabellini
On Tue, 14 Feb 2023, Jan Beulich wrote: > On 14.02.2023 09:56, Luca Fancellu wrote: > > --- a/docs/misra/exclude-list.json > > +++ b/docs/misra/exclude-list.json > > @@ -1,4 +1,209 @@ > > { > > "version": "1.0", > > -"content": [] > > +"content": [ > > +{ > > +

Re: [PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-14 Thread Jan Beulich
On 14.02.2023 09:56, Luca Fancellu wrote: > --- a/docs/misra/exclude-list.json > +++ b/docs/misra/exclude-list.json > @@ -1,4 +1,209 @@ > { > "version": "1.0", > -"content": [] > +"content": [ > +{ > +"rel_path": "arch/arm/arm64/cpufeature.c" > +}, > +

[PATCH 2/2] xen/misra: add entries to exclude-list.json

2023-02-14 Thread Luca Fancellu
Add entries to the exclude-list.json for those files that need to be excluded from the analysis scan. Signed-off-by: Luca Fancellu Signed-off-by: Michal Orzel --- This list is originated from Michal's work here: