On 7/23/25 16:34, Nicola Vetrini wrote:
> On 2025-07-23 15:30, Dmytro Prokopchuk1 wrote:
>> Add MISRA C rules to the monitored set.
>> All these rules are 'accepted' for XEN, have zero or few violations,
>> and should be enabled for the ECLAIR scan.
>>
>> Signed-off-by: Dmytro Prokopchuk <dmytro_prokopch...@epam.com>
>> ---
>> Test CI: https://eur01.safelinks.protection.outlook.com/?
>> url=https%3A%2F%2Fgitlab.com%2Fxen-
>> project%2Fpeople%2Fdimaprkp4k%2Fxen%2F-
>> %2Fpipelines%2F1943607023&data=05%7C02%7Cdmytro_prokopchuk1%40epam.com%7C842de076f5654d6ed95108ddc9edb2d4%7Cb41b72d04e9f4c268a69f949f367c91d%7C1%7C0%7C638888744936562609%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Xu4i8vFHdUyiX0sfXtdIuwOROrHO4RMj5862fJcA%2BRE%3D&reserved=0
>> ---
>> automation/eclair_analysis/ECLAIR/monitored.ecl | 9 ++++++++-
>> 1 file changed, 8 insertions(+), 1 deletion(-)
>>
>
> If some have zero violations they should be tagged as "clean" in
> tagging.ecl
Yep, the next patch is in progress.
>
>> diff --git a/automation/eclair_analysis/ECLAIR/monitored.ecl b/
>> automation/eclair_analysis/ECLAIR/monitored.ecl
>> index 00bff9edbe..72698b2eb1 100644
>> --- a/automation/eclair_analysis/ECLAIR/monitored.ecl
>> +++ b/automation/eclair_analysis/ECLAIR/monitored.ecl
>> @@ -45,6 +45,7 @@
>> -enable=MC3A2.R10.2
>> -enable=MC3A2.R11.1
>> -enable=MC3A2.R11.2
>> +-enable=MC3A2.R11.6
>> -enable=MC3A2.R11.7
>> -enable=MC3A2.R11.8
>> -enable=MC3A2.R11.9
>> @@ -62,12 +63,14 @@
>> -enable=MC3A2.R16.6
>> -enable=MC3A2.R16.7
>> -enable=MC3A2.R17.1
>> +-enable=MC3A2.R17.2
>
> This might make sense only to avoid directly recursive functions being
> accidentally introduced. We are working at improving the granularity of
> the reports for indirect recursion, but the rationale of the addition
> should to be mentioned in the description
Thanks, Nicola. I'll add comment.
>
>> -enable=MC3A2.R17.3
>> -enable=MC3A2.R17.4
>> -enable=MC3A2.R17.5
>> -enable=MC3A2.R17.6
>> -enable=MC3A2.R18.1
>> -enable=MC3A2.R18.2
>> +-enable=MC3A2.R18.3
>> -enable=MC3A2.R18.6
>> -enable=MC3A2.R18.8
>> -enable=MC3A2.R19.1
>> @@ -83,14 +86,18 @@
>> -enable=MC3A2.R20.14
>> -enable=MC3A2.R21.3
>> -enable=MC3A2.R21.4
>> --enable=MC3A2.R21.6
>> -enable=MC3A2.R21.5
>> +-enable=MC3A2.R21.6
>> -enable=MC3A2.R21.7
>> -enable=MC3A2.R21.8
>> -enable=MC3A2.R21.9
>> -enable=MC3A2.R21.10
>> +-enable=MC3A2.R21.11
>> -enable=MC3A2.R21.12
>> -enable=MC3A2.R21.13
>> +-enable=MC3A2.R21.14
>> +-enable=MC3A2.R21.15
>> +-enable=MC3A2.R21.16
>> -enable=MC3A2.R21.17
>> -enable=MC3A2.R21.18
>> -enable=MC3A2.R21.19
>
