[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v2] 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 15:07:58 +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=gdWhsV1Yxas4Sn+wGI4UySdFAmdAWWS13OXLbbbk2O0=; b=vZhsJeiWDy/BZxc7kgubo0NMjZ5la9Jxrf4pjQGxOxw5BgK2SNxYncR5sQhJx7/0etzRvd/XWpjGRON022lfmRe2jX8UZZKQSoeINF6/ycjxWDR5TXOZXXvDcGH+lLYk4t+WzyRjd0WlWVMod83pq5vuY7vvNHIBx/2ZiFgKFIu/OMBBoa9jgSAZ5IdU1JLG5b5pMEcBQancPG9p7WvcjwtZFnvXK4IIo+53b5Eogs96L8JRIsT2bDo5WcCJn1yFdhKAVysFzkSQyedGRNT9lHHekFpf0n67r5Hsq9r7R37PhG6LDFqc8zyvFQvMl+vIQLt9QU/7ylTOkGNtYXszSw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=sQPTMUJuv0sclrzemiRPUZcTnb7y2mvJBOJ5sEPbeHQCS+vTf9gcoK7joyxE387fhpedSMN7BKIzEXvwz5cM0E4yR9orWTBMEToa0uIpr4Le6lVJdBrvKt9DNsZFKggE2yeC6eEookDveZl5UaN6eoH83oGFHx8KoNIlQ8CcTDLqig5eHOTTukVWPiRLUqlyNdRvt/wMbfcgHx/izIb7yDuPMTwPx5wI2/b3UU+T1pbfVSQ97jyyw/hg6MxSmlfVrzHby6DcN5ZMxb0fRBBjsfLDDIB1K4TRecKSRVmsDojfqMdzGABV/L5E6tqjoO4lcnL4e1kjXmQJspx9IauEUA==
- 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 15:08:12 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHb++OSR1IPVyyv8U2dW9yY4SuMsg==
- Thread-topic: [PATCH v2] 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 prevent accidental direct recursion.
Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@xxxxxxxx>
---
Changes in v2:
- updated commit message
---
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
|
