Xen project Mailing List

Re: [PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16

To: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>

From: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>

Date: Wed, 23 Jul 2025 13:38:25 +0000

Accept-language: en-US, uk-UA, ru-RU

Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=epam.com; dmarc=pass action=none header.from=epam.com; dkim=pass header.d=epam.com; arc=none

Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Vi5pLcdNwWo+vXxySc8XmOlnqaVLrh8jXAt+OAPCS88=; b=nuhebRFIst7YS7qqr2Ga1R0Fw6JidQNR9J638PuGYsmKSqUqh46qhZU0G6tYdeGDA4AThLnXjWaRaGDAywtS3H4TtyKoIRaGsY+OMoN6TnaeHR5OVvaY9blxXX/l/xcbGFEti+rVdahFV9ZKhhJw7huCzKbzMgqaNF85hxVfexHDucrQDsujBmMu9CLGireZsFRL7AsSP3hFyXETUqXWGOjP4Z7stjj76QBQKC1D8SS7uz46zXYLm18U1xzSMQYk27YrCtx5NvUUFNY8t0AhQn0j1Cbt/ImVtuTp/zPR7s9zRDdmAIEw6SMzYagumNm1Tz0jF+qb9htdcaMM9RMoGA==

Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=RkksleZq2CZvX2RX7r+EfssDPaY4TSENjxBFGknFqHuSt0lHuCH0oL8IiNvq0LToQwINU+T15F8TgEoWMjSqK5rEldLij6dINFZQpOhxOydmOtGnHWyp5kK/Nwsy4Xz+5WJu2/VCQsZ/oeQc81hwW43gtGV0G8CNg+t9bIipDvK3ZBEVO1kADh5ZWlzaAzV7Mc+lxMM2tyRePReJ8LONFSbz9HwFNil5/HlLDbmMxswIirdpjA6vtUVHrgUgTlAIAAq8NjSPIpPlBRuc6jHn4CvRP6zDlYNACrnGxKk4BvIj4jQoHpsuNuOcSgbuy6JQKjYYoUjPRx70h0VO97mTdw==

Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=epam.com;

Cc: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Doug Goldstein <cardoe@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>

Delivery-date: Wed, 23 Jul 2025 13:38:40 +0000

List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

Thread-index: AQHb+9XjRd4/gYe4O02P0LwT9W+DH7Q/tXOAgAABAAA=

Thread-topic: [PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16

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_prokopchuk1@xxxxxxxx> >> --- >> 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 >

©2013 Xen Project, A Linux Foundation Collaborative Project. All Rights Reserved.
Linux Foundation is a registered trademark of The Linux Foundation.
Xen Project is a trademark of The Linux Foundation.