* [XEN PATCH 0/2] automation/eclair: update deviations and tags @ 2024-02-23 9:06 Federico Serafini 2024-02-23 9:06 ` [XEN PATCH 1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 Federico Serafini 2024-02-23 9:07 ` [XEN PATCH 2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean Federico Serafini 0 siblings, 2 replies; 5+ messages in thread From: Federico Serafini @ 2024-02-23 9:06 UTC (permalink / raw) To: xen-devel Cc: consulting, Federico Serafini, Simone Ballarin, Doug Goldstein, Stefano Stabellini Deviate Rules 5.7 and 18.7. Tag Rule 8.2 ad clean. Federico Serafini (2): automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 automation/eclair: tag MISRA C:2012 Rule 8.2 as clean automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++++ automation/eclair_analysis/ECLAIR/tagging.ecl | 2 +- 2 files changed, 15 insertions(+), 1 deletion(-) -- 2.34.1 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [XEN PATCH 1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 2024-02-23 9:06 [XEN PATCH 0/2] automation/eclair: update deviations and tags Federico Serafini @ 2024-02-23 9:06 ` Federico Serafini 2024-02-23 22:54 ` Stefano Stabellini 2024-02-23 9:07 ` [XEN PATCH 2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean Federico Serafini 1 sibling, 1 reply; 5+ messages in thread From: Federico Serafini @ 2024-02-23 9:06 UTC (permalink / raw) To: xen-devel Cc: consulting, Federico Serafini, Simone Ballarin, Doug Goldstein, Stefano Stabellini Update ECLAIR configuration to fully deviate Rules 5.7 and 18.7 as agreed during MISRA meeetings. Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> --- automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/eclair_analysis/ECLAIR/deviations.ecl index fd32ff8a9c..02eae39786 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -107,6 +107,11 @@ number of guest paging levels." -config=MC3R1.R5.6,reports+={deliberate,"any_area(any_loc(file(adopted_r5_6)))"} -doc_end +-doc_begin="The project intentionally reuses tag names in order to have identifiers matching the applicable external specifications as well as established internal conventions. +As there is little possibility for developer confusion not resulting into compilation errors, the risk of renaming outweighs the potential advantages of compliance." +-config=MC3R1.R5.7,reports+={deliberate,"any()"} +-doc_end + # # Series 7. # @@ -373,6 +378,15 @@ explicit comment indicating the fallthrough intention is present." -config=MC3R1.R16.3,reports+={safe, "any_area(end_loc(any_exp(text(^(?s).*/\\* [fF]all ?through.? \\*/.*$,0..1))))"} -doc_end +# +# Series 18. +# + +-doc_begin="Flexible array members are deliberately used and XEN developers are aware of the dangers related to them: +unexpected result when the structure is given as argument to a sizeof() operator and the truncation in assignment between structures." +-config=MC3R1.R18.7,reports+={deliberate, "any()"} +-doc_end + # # Series 20. # -- 2.34.1 ^ permalink raw reply related [flat|nested] 5+ messages in thread
* Re: [XEN PATCH 1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 2024-02-23 9:06 ` [XEN PATCH 1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 Federico Serafini @ 2024-02-23 22:54 ` Stefano Stabellini 0 siblings, 0 replies; 5+ messages in thread From: Stefano Stabellini @ 2024-02-23 22:54 UTC (permalink / raw) To: Federico Serafini Cc: xen-devel, consulting, Simone Ballarin, Doug Goldstein, Stefano Stabellini On Fri, 23 Feb 2024, Federico Serafini wrote: > Update ECLAIR configuration to fully deviate Rules 5.7 and 18.7 > as agreed during MISRA meeetings. > > Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> Reviewed-by: Stefano Stabellini <sstabellini@kernel.org> > --- > automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++++ > 1 file changed, 14 insertions(+) > > diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/eclair_analysis/ECLAIR/deviations.ecl > index fd32ff8a9c..02eae39786 100644 > --- a/automation/eclair_analysis/ECLAIR/deviations.ecl > +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl > @@ -107,6 +107,11 @@ number of guest paging levels." > -config=MC3R1.R5.6,reports+={deliberate,"any_area(any_loc(file(adopted_r5_6)))"} > -doc_end > > +-doc_begin="The project intentionally reuses tag names in order to have identifiers matching the applicable external specifications as well as established internal conventions. > +As there is little possibility for developer confusion not resulting into compilation errors, the risk of renaming outweighs the potential advantages of compliance." > +-config=MC3R1.R5.7,reports+={deliberate,"any()"} > +-doc_end > + > # > # Series 7. > # > @@ -373,6 +378,15 @@ explicit comment indicating the fallthrough intention is present." > -config=MC3R1.R16.3,reports+={safe, "any_area(end_loc(any_exp(text(^(?s).*/\\* [fF]all ?through.? \\*/.*$,0..1))))"} > -doc_end > > +# > +# Series 18. > +# > + > +-doc_begin="Flexible array members are deliberately used and XEN developers are aware of the dangers related to them: > +unexpected result when the structure is given as argument to a sizeof() operator and the truncation in assignment between structures." > +-config=MC3R1.R18.7,reports+={deliberate, "any()"} > +-doc_end > + > # > # Series 20. > # > -- > 2.34.1 > ^ permalink raw reply [flat|nested] 5+ messages in thread
* [XEN PATCH 2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean 2024-02-23 9:06 [XEN PATCH 0/2] automation/eclair: update deviations and tags Federico Serafini 2024-02-23 9:06 ` [XEN PATCH 1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 Federico Serafini @ 2024-02-23 9:07 ` Federico Serafini 2024-02-23 22:53 ` Stefano Stabellini 1 sibling, 1 reply; 5+ messages in thread From: Federico Serafini @ 2024-02-23 9:07 UTC (permalink / raw) To: xen-devel Cc: consulting, Federico Serafini, Simone Ballarin, Doug Goldstein, Stefano Stabellini Update ECLAIR configuration to consider Rule 8.2 as clean. Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> --- automation/eclair_analysis/ECLAIR/tagging.ecl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automation/eclair_analysis/ECLAIR/tagging.ecl b/automation/eclair_analysis/ECLAIR/tagging.ecl index 900c532196..a1dea32b21 100644 --- a/automation/eclair_analysis/ECLAIR/tagging.ecl +++ b/automation/eclair_analysis/ECLAIR/tagging.ecl @@ -30,7 +30,7 @@ -doc_begin="Clean guidelines: new violations for these guidelines are not accepted." --service_selector={clean_guidelines_common,"MC3R1.D1.1||MC3R1.D2.1||MC3R1.D4.11||MC3R1.D4.14||MC3R1.R1.1||MC3R1.R1.3||MC3R1.R1.4||MC3R1.R2.2||MC3R1.R3.1||MC3R1.R3.2||MC3R1.R4.1||MC3R1.R4.2||MC3R1.R5.1||MC3R1.R5.2||MC3R1.R5.4||MC3R1.R5.6||MC3R1.R6.1||MC3R1.R6.2||MC3R1.R7.1||MC3R1.R8.1||MC3R1.R8.5||MC3R1.R8.6||MC3R1.R8.8||MC3R1.R8.10||MC3R1.R8.12||MC3R1.R8.14||MC3R1.R9.2||MC3R1.R9.4||MC3R1.R9.5||MC3R1.R12.5||MC3R1.R17.3||MC3R1.R17.4||MC3R1.R17.6||MC3R1.R20.13||MC3R1.R20.14||MC3R1.R21.13||MC3R1.R21.19||MC3R1.R21.21||MC3R1.R22.2||MC3R1.R22.4||MC3R1.R22.5||MC3R1.R22.6" +-service_selector={clean_guidelines_common,"MC3R1.D1.1||MC3R1.D2.1||MC3R1.D4.11||MC3R1.D4.14||MC3R1.R1.1||MC3R1.R1.3||MC3R1.R1.4||MC3R1.R2.2||MC3R1.R3.1||MC3R1.R3.2||MC3R1.R4.1||MC3R1.R4.2||MC3R1.R5.1||MC3R1.R5.2||MC3R1.R5.4||MC3R1.R5.6||MC3R1.R6.1||MC3R1.R6.2||MC3R1.R7.1||MC3R1.R8.1||MC3R1.R8.2||MC3R1.R8.5||MC3R1.R8.6||MC3R1.R8.8||MC3R1.R8.10||MC3R1.R8.12||MC3R1.R8.14||MC3R1.R9.2||MC3R1.R9.4||MC3R1.R9.5||MC3R1.R12.5||MC3R1.R17.3||MC3R1.R17.4||MC3R1.R17.6||MC3R1.R20.13||MC3R1.R20.14||MC3R1.R21.13||MC3R1.R21.19||MC3R1.R21.21||MC3R1.R22.2||MC3R1.R22.4||MC3R1.R22.5||MC3R1.R22.6" } -setq=target,getenv("XEN_TARGET_ARCH") -- 2.34.1 ^ permalink raw reply related [flat|nested] 5+ messages in thread
* Re: [XEN PATCH 2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean 2024-02-23 9:07 ` [XEN PATCH 2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean Federico Serafini @ 2024-02-23 22:53 ` Stefano Stabellini 0 siblings, 0 replies; 5+ messages in thread From: Stefano Stabellini @ 2024-02-23 22:53 UTC (permalink / raw) To: Federico Serafini Cc: xen-devel, consulting, Simone Ballarin, Doug Goldstein, Stefano Stabellini On Fri, 23 Feb 2024, Federico Serafini wrote: > Update ECLAIR configuration to consider Rule 8.2 as clean. > > Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org> > --- > automation/eclair_analysis/ECLAIR/tagging.ecl | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/automation/eclair_analysis/ECLAIR/tagging.ecl b/automation/eclair_analysis/ECLAIR/tagging.ecl > index 900c532196..a1dea32b21 100644 > --- a/automation/eclair_analysis/ECLAIR/tagging.ecl > +++ b/automation/eclair_analysis/ECLAIR/tagging.ecl > @@ -30,7 +30,7 @@ > > -doc_begin="Clean guidelines: new violations for these guidelines are not accepted." > > --service_selector={clean_guidelines_common,"MC3R1.D1.1||MC3R1.D2.1||MC3R1.D4.11||MC3R1.D4.14||MC3R1.R1.1||MC3R1.R1.3||MC3R1.R1.4||MC3R1.R2.2||MC3R1.R3.1||MC3R1.R3.2||MC3R1.R4.1||MC3R1.R4.2||MC3R1.R5.1||MC3R1.R5.2||MC3R1.R5.4||MC3R1.R5.6||MC3R1.R6.1||MC3R1.R6.2||MC3R1.R7.1||MC3R1.R8.1||MC3R1.R8.5||MC3R1.R8.6||MC3R1.R8.8||MC3R1.R8.10||MC3R1.R8.12||MC3R1.R8.14||MC3R1.R9.2||MC3R1.R9.4||MC3R1.R9.5||MC3R1.R12.5||MC3R1.R17.3||MC3R1.R17.4||MC3R1.R17.6||MC3R1.R20.13||MC3R1.R20.14||MC3R1.R21.13||MC3R1.R21.19||MC3R1.R21.21||MC3R1.R22.2||MC3R1.R22.4||MC3R1.R22.5||MC3R1.R22.6" > +-service_selector={clean_guidelines_common,"MC3R1.D1.1||MC3R1.D2.1||MC3R1.D4.11||MC3R1.D4.14||MC3R1.R1.1||MC3R1.R1.3||MC3R1.R1.4||MC3R1.R2.2||MC3R1.R3.1||MC3R1.R3.2||MC3R1.R4.1||MC3R1.R4.2||MC3R1.R5.1||MC3R1.R5.2||MC3R1.R5.4||MC3R1.R5.6||MC3R1.R6.1||MC3R1.R6.2||MC3R1.R7.1||MC3R1.R8.1||MC3R1.R8.2||MC3R1.R8.5||MC3R1.R8.6||MC3R1.R8.8||MC3R1.R8.10||MC3R1.R8.12||MC3R1.R8.14||MC3R1.R9.2||MC3R1.R9.4||MC3R1.R9.5||MC3R1.R12.5||MC3R1.R17.3||MC3R1.R17.4||MC3R1.R17.6||MC3R1.R20.13||MC3R1.R20.14||MC3R1.R21.13||MC3R1.R21.19||MC3R1.R21.21||MC3R1.R22.2||MC3R1.R22.4||MC3R1.R22.5||MC3R1.R22.6" > } > > -setq=target,getenv("XEN_TARGET_ARCH") > -- > 2.34.1 > ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2024-02-23 22:54 UTC | newest] Thread overview: 5+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2024-02-23 9:06 [XEN PATCH 0/2] automation/eclair: update deviations and tags Federico Serafini 2024-02-23 9:06 ` [XEN PATCH 1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 Federico Serafini 2024-02-23 22:54 ` Stefano Stabellini 2024-02-23 9:07 ` [XEN PATCH 2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean Federico Serafini 2024-02-23 22:53 ` Stefano Stabellini
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.