From a401b5c9dc35988f57c3c414deeb7ac3f0a02ffa Mon Sep 17 00:00:00 2001 From: Jan Beulich Date: Mon, 21 Sep 2026 10:09:45 +0200 Subject: [PATCH] Eclair: re-enable scanning of the (almost) final linking step The real final binaries are now no longer created by a linker invocation, but by renaming an intermediate file (each). Arrange for linking pass 2 outputs to be scanned instead, yet continue to exclude the auxiliary .xen.efi.alt.* binaries. Fixes: da944a72fdf4 ("x86: split xen-syms/xen.efi linking rules")) Signed-off-by: Jan Beulich Reviewed-by: Nicola Vetrini --- automation/eclair_analysis/ECLAIR/analysis.ecl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl b/automation/eclair_analysis/ECLAIR/analysis.ecl index 675602e15a..c6e1a7a95d 100644 --- a/automation/eclair_analysis/ECLAIR/analysis.ecl +++ b/automation/eclair_analysis/ECLAIR/analysis.ecl @@ -36,8 +36,8 @@ their Standard Library equivalents." -doc_begin="Do not analyze intermediate linking artifacts, as they do not differ from their final counterparts for the purposes of MISRA C static analysis." --file_tag+={xen_efi_tmp, "^xen/\\.xen\\.efi\\..*$"} --file_tag+={xen_syms_tmp, "^xen/\\.xen-syms\\..*$"} +-file_tag+={xen_efi_tmp, "^xen/\\.xen\\.efi\\.([01]|alt\\..*)$"} +-file_tag+={xen_syms_tmp, "^xen/\\.xen-syms\\.[013]$"} -frames+={hide, "kind(program)&&target(xen_syms_tmp||xen_efi_tmp)"} -doc_end