Xen project Mailing List

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

To: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>

From: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>

Date: Wed, 23 Jul 2025 22:17:20 +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=GLVr/S3nC2+msn4ROijM8WQCJE4+QWcHPEDA241iRKc=; b=KVpxN7rE9Wme9CzOgJmQPe9Yeql5U6+rp0pmSgjUUqKnmDj1morXryH97PdTLRBAuZUhzi+1E5K6Wk43FJC9GVO96UzaXDAzTK9oH+QVD5NCoz9LWc6qzpDdDiTcn9Hm91DrVvD9Av3A4QZ5PZ0R/qzY7d+ASsvg3AaD16vREtJy+BCQP9FQGVIml34mEfPPCU3Z94C92AwERMYl2HeHTD59R3QFSJ4lykIGDOe6YRZKWK94xwn2/T5qMcKwZ6Bwz0XClYui6lxCHIhEdr9XyskRACuDhH22WAhSZy6qJmJDSVztLwXHZuIC9obpm2j2N75mejIUwEQePpRqb2jkng==

Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=KbZnbSoCTVNmh5/VEFnwsz+4KCa76jGljlPkbtzbdnhcl1tCokFzR6nugqedNLacfQAGU7/HfGHD8TO/Rcoj+aMXa+eF9bX4rGomxGGS/M31YkIfGjCcausYjaI/ygaglc2R020GNnx4gyKQSab9bDH6T3Suvu3Rsb1OVDFJol80/9H/KT94/9wvRr2snN96TLZgSgXPIlVvi1aCPUOtq6MJeewbzozKQZES1FX+BkKh101SmKl2e8prIH8f9U5ouRgOURwFH/oDefAiTOLDY+TfThmMvPsgJb/VTlHVvOE0TJg2sJjX4JYkB6bN9NK+NtWJaVUZPE+POtyI37Jx+Q==

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

Cc: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>, Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>, Doug Goldstein <cardoe@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>

Delivery-date: Wed, 23 Jul 2025 22:17:26 +0000

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

Thread-index: AQHb/B+ODup9r+4xjEKrKJombx948g==

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

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. Rule 17.2 is enabled to detect accidental direct recursion. Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@xxxxxxxx> --- Test CI pipeline: https://gitlab.com/xen-project/people/dimaprkp4k/xen/-/pipelines/1943607023 Changes in v3: - updated commit message - added link to a passed pipeline --- automation/eclair_analysis/ECLAIR/monitored.ecl | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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 -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 -- 2.43.0

©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.