From ed13b648828a3b334f01389aa610b4cafc434294 Mon Sep 17 00:00:00 2001 From: Nicola Vetrini Date: Tue, 19 May 2026 13:36:56 +0200 Subject: [PATCH] CI/ECLAIR: avoid intercepting intermediate linking steps These do not add any value to the analysis other than duplicating some reports in whole-program analysis, as the intermediate linking steps are only used to build the symbol table. Suggested-by: Jan Beulich Signed-off-by: Nicola Vetrini Reviewed-by: Andrew Cooper master commit: 79e060ea03583cd83ddc7e520dcd7c5c418841f3 master date: 2026-05-14 13:38:04 +0100 --- automation/eclair_analysis/ECLAIR/analysis.ecl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl b/automation/eclair_analysis/ECLAIR/analysis.ecl index 399099938f..675602e15a 100644 --- a/automation/eclair_analysis/ECLAIR/analysis.ecl +++ b/automation/eclair_analysis/ECLAIR/analysis.ecl @@ -34,6 +34,13 @@ their Standard Library equivalents." -doc_end +-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\\..*$"} +-frames+={hide, "kind(program)&&target(xen_syms_tmp||xen_efi_tmp)"} +-doc_end + -eval_file=toolchain.ecl -eval_file=public_APIs.ecl