Re: [PATCH bpf-next v4 9/9] bpf: Fall back to nospec for sanitization-failures

On Tue, Jun 3, 2025 at 2:32 PM Luis Gerhorst wrote: > > ALU sanitization was introduced to ensure that a subsequent ptr access > can never go OOB, even under speculation. This is required because we > currently allow speculative scalar confusion. Spec. scalar confusion is > possible because Spectr

[PATCH bpf-next v4 9/9] bpf: Fall back to nospec for sanitization-failures

ALU sanitization was introduced to ensure that a subsequent ptr access can never go OOB, even under speculation. This is required because we currently allow speculative scalar confusion. Spec. scalar confusion is possible because Spectre v4 sanitization only adds a nospec after critical stores (e.g