[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 2/2] x86/time: don't exclude from Eclair scanning
- To: Jan Beulich <jbeulich@xxxxxxxx>
- From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
- Date: Thu, 21 May 2026 16:25:57 +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=1779373557; h=MIME-Version:Date:From:To:Cc:Subject:In-Reply-To:References: Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=dp/o+oIXXcCCQ2xcGMfkA4KluUYXWS+QdJHoSLMHecE=; b=CaYo8076vqgDTd9d4Xs2H0OjHDP805kxsoPEyDVuhUqKGfKwYNgeLBInda7upCdIHTv8 WC2rCj+botuDSvbihAT+abFhyl7nbKQNIeEbnAPvonmI3K9RtP1SeQAH27xryUIdm99qW xR8v+IE/KU5Q62+aVP5iKQfgNJRlOcxoPhwFzVq0JNjFN+/mQ2HkG+at/n7RUem5pAMXZ D/LoFnhZB7Ce7ootsposjq92qjeTcz/e/PFzMkv1vtgOLaiL58zDtZG5uxm8kTUqvS76X WELid01B3ZqEmOLOOe+NYjsTnlbX0AnyocLTMnwYzeNpiUHpcoiLemCnVo8VarEMT8/WS mrQxd8M5wHOMrTslqWcrjZFMUnzJo3lMwCntOdAEhkmio73bew6fbR1/RhCmU41ipOyED 6Q0IUd00UkOjtP56Lfj0j1J1Gny+ztc0fFE6RNLqQxvpIGBbBJ1khV2Q+nNpRenL0P+Pn LxDykfS6Rg0DuZvddcaRQ6o7Sa5/VthbP7fRwofkLJZfhcHmDPrWDTcVnW0cxfJHMzZev /5WvF6SePu0ZuIR19hXFKXNsYIazYuq8OJoXG2Z/knCMlKecvd+EFlPR6SS8Q6nk7sChh f27kq0iD7i0GqNoct6vRQsKX7GOPHh/U2miG0LXpOIalTVc0vb8d/gk2dEG1Ej0=
- Arc-seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1779373557; b=aE7aC+DuA42lS5q/Bg/smYtOC5vKwnG3cKYbSl8ybREkIDp3bfQG/U7kR22US7UCH4j2 f7LwO+eYuQK1+2MdfVwY9PlxHkC/izmdD+bxsmStk06gfAKZOILtlyXir4paqIDpOWYoB KWBUxcHbagvGwI+WgKh6eIPUa8WU9xzbOUgiCE9VZ6dd60xn1U6uenAJt5Si+kTpAGnBn OzcP45NBWFQcs2v6AVCNJli4KIpu4Hn9YvyOWpMYZJaCABQzO2yKy0pMZo3sBEJpPtQb6 qgwapN2cq/n8Na2XUjeFdXyoZpzcMUuXIRD5AjBNihdNVfAoUFLTzd83nvRwnO8M6Ncj6 IjCO3AMnN5M/rOCaO2O12b4miVThlbzXkwhcxYZoCY2/+9aJ3a1a5GzsVcuWV1kVr87jP 7qGHYEroIIolMNQEeg5uh3rumvX4Z4r+Tl/aIckD8+Y2d3It6BY0Y6vJ1mR7GYj4YjTA+ cKqe9u3/PkEE966uPB10ETFNvHQA18F9fjLmAV++odMkxLGeLdhlkJEjGaEHvs7wPzH3K yaehrYNBpzaHwl69tsGgDT75p3PqZW1Ys2890m3GZU/pEuR39M4u86g392jrY73mNhFlH i8v7wrKgh0Pomtx2KsffumJKNSdcxNijuaCtNNjuP4HOeHT9FCE1Tc7axBiMnj4=
- Authentication-results: eu.smtp.expurgate.cloud; none
- Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Teddy Astie <teddy.astie@xxxxxxxxxx>
- Delivery-date: Thu, 21 May 2026 14:26:00 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 2026-05-21 14:27, Jan Beulich wrote:
The justification is wrong, and the file hence shouldn't really be
excluded.
Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
Reviewed-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
Thanks for addressing this
--- a/automation/eclair_analysis/ECLAIR/deviations.ecl
+++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
@@ -214,11 +214,6 @@ const-qualified."
-doc_end
-doc_begin="The following file is imported from Linux: ignore for
now."
--file_tag+={adopted_time_r8_3,"^xen/arch/x86/time\\.c$"}
--config=MC3A2.R8.3,reports+={deliberate,"any_area(any_loc(file(adopted_time_r8_3)))&&(any_area(any_loc(file(^xen/include/xen/time\\.h$)))||any_area(any_loc(file(^xen/arch/x86/include/asm/setup\\.h$))))"}
--doc_end
-
--doc_begin="The following file is imported from Linux: ignore for
now."
-file_tag+={adopted_cpu_idle_r8_3,"^xen/arch/x86/acpi/cpu_idle\\.c$"}
-config=MC3A2.R8.3,reports+={deliberate,"any_area(any_loc(file(adopted_cpu_idle_r8_3)))&&any_area(any_loc(file(^xen/include/xen/pmstat\\.h$)))"}
-doc_end
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
|
