* [PATCH] Eclair: re-enable scanning of the (almost) final linking step
@ 2026-09-10 9:55 Jan Beulich
2026-09-17 6:02 ` Nicola Vetrini
0 siblings, 1 reply; 2+ messages in thread
From: Jan Beulich @ 2026-09-10 9:55 UTC (permalink / raw)
To: xen-devel@lists.xenproject.org
Cc: Nicola Vetrini, Andrew Cooper, Julien Grall, Stefano Stabellini,
Anthony PERARD, Michal Orzel, Roger Pau Monné
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 <jbeulich@suse.com>
---
Sadly for Arm64, until "Arm: split xen-syms linking rule" has gone in,
this will slow down analysis jobs.
--- 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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] Eclair: re-enable scanning of the (almost) final linking step
2026-09-10 9:55 [PATCH] Eclair: re-enable scanning of the (almost) final linking step Jan Beulich
@ 2026-09-17 6:02 ` Nicola Vetrini
0 siblings, 0 replies; 2+ messages in thread
From: Nicola Vetrini @ 2026-09-17 6:02 UTC (permalink / raw)
To: Jan Beulich
Cc: xen-devel, Andrew Cooper, Julien Grall, Stefano Stabellini,
Anthony PERARD, Michal Orzel, Roger Pau Monné
On 2026-09-10 11:55, Jan Beulich wrote:
> 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 <jbeulich@suse.com>
Reviewed-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
> ---
> Sadly for Arm64, until "Arm: split xen-syms linking rule" has gone in,
> this will slow down analysis jobs.
>
> --- 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
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2026-09-17 6:02 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-09-10 9:55 [PATCH] Eclair: re-enable scanning of the (almost) final linking step Jan Beulich
2026-09-17 6:02 ` Nicola Vetrini
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.