[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
- To: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>
- From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
- Date: Wed, 23 Jul 2025 15:34:49 +0200
- Arc-authentication-results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Arc-message-signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1753277689; h=DKIM-Signature:MIME-Version:Date:From:To:Cc:Subject:In-Reply-To: References:Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=HESR4Qkk+WBzYcfC/IuB8fOLuDZQFKijpxR/51/V+gg=; b=elSrVv8vdZBDziLoumnKHQECuusbPjLbYdIBnuCWbIES+WaHFtuqWePgXaGog0UHlqQT 4ews+sZTAmll+ftQJ/KA2o9wXPKPb85LLqNSa7TPcp7Sq51hcHJca6VqNHOCt27FQ1/0z 6CbFqloqquR937zNJ0tAziaAPYImVKYcM4ZRC/TfW2Dx2j+j0zNR/S3kFto5HxWU0nnqN ebmgRYqVq08PXFBw5WXlndAHaboFBcj+/+f7se3cyuEqYK/prssYeWaQJCPuxsIKW+8MH OE90WRExocLF0IJj5GezQ2yW4cZFEnjXSq719dWmePv6vIuQ19nEOksOA/dypTJPlKEMJ VQTOykghA8yZiDhX0NJ3PafagP3L59V5T8wA7yX1aWsvwjk7PBQt7c/k0LKd6dDquWETe 2dRtP2QyPatiKRPyzJq1L6a5iOQhZxWav/0TDORwPYK7V6rhLwr9RQtBhDYY5wnHlhBsS zJq7JmJmr8gLej7b855VEnwNxs8u6zkTGFbfXIMvt/c8QjugZ7MO+SuDbB29OsOAxcZpO sd0DWIkj/yRfvNv1uXSzLTN3iwKhy7SOUcBwSvcIu2upYePxcKI/BCcS43ND3wD1QSefH 3Os6D5UFtS392Lu5Yv9Qcx+A0FGR4d/NC3+4zzkYx3yZYhbznYXoHqmGNLiSMPs=
- Arc-seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1753277689; b=iyXEJnyzf37glc/sE4T111hQVrZKIe0qblePBvlnivHcpXRpw0kKV/yuWfyouvvsiHsG qxQuE7miI/6E5NPBjQRUhcGJDNW9DQBKeQp+Bldjp4SId5J3tl+MGHOXOXoXQiPuY+Cki sdJ35MJcO9KMTOLspp9Qa1z4GZwwGBjRqSDkTpTQcu+WcxeT9Q9XdZQPx5OvIH9uDQKz9 vuuzeqioby9pqll0kRqIz08zTHLGNW+ioAKriX92ywUnX02BOPwkkWTGRGotZ5L8iI2h3 1IxwTaT1Cvecgvf7bu+QGXfWAZ3MDkqorCkKyHHR2Yt4bGjjlP8p1fhgBw5QjcbsTvOGK 6WR55rX+TCrUSnd9m62vXE7kE59wxL8AvCriFYdHRc6P/brkxjtgDQVNVqk1GlQ/R4215 H5wGjC+s4gGmX4JY5UBYr/jKV6tcxr/xbE4Oecgu2vgl7nCOvVZ/BqWSG0R0dRC7w/2kO gswvsZ0LnVC5F139zima59+Mrh1gIslQdhyjMV5bSpUtFVRe4kof5zJ3jN+OXLifVn4o4 /TCBeBGoO+shcsywco89J15TQmdfRdv3vtVVqk4E7+eq9Xfa3d8qn99PsZ1P/OWBVCrYh kCltF0OmHmT1s6UbAzqtOyJTmirwaJ9NU76aEep81s69Ta2jWhwTjCdDBK4q3ls=
- Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx, Doug Goldstein <cardoe@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>
- Delivery-date: Wed, 23 Jul 2025 13:34:56 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
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://gitlab.com/xen-project/people/dimaprkp4k/xen/-/pipelines/1943607023
---
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
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
-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
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
- Prev by Date:
[PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
- Next by Date:
Re: [PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
- Previous by thread:
[PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
- Next by thread:
Re: [PATCH] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
- Index(es):
|
