From 79e060ea03583cd83ddc7e520dcd7c5c418841f3 Mon Sep 17 00:00:00 2001 From: Nicola Vetrini Date: Thu, 14 May 2026 12:16:20 +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 --- 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