From b64087397dd9f7da2cacebc7a9bdd4e62b953ce3 Mon Sep 17 00:00:00 2001 From: Dmytro Prokopchuk1 Date: Wed, 23 Jul 2025 22:17:20 +0000 Subject: [PATCH] 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 Acked-by: Stefano Stabellini --- 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