Re: [PATCH bpf-next v4 09/16] bpf: Report Memory Safety bounds errors

On Thu, 2026-08-13 at 01:33 +0200, Kumar Kartikeya Dwivedi wrote:
> Augment selected memory-range verifier failures with Memory Safety reports
> while preserving the existing terse verifier messages for compatibility.
> 
> Cover stack spill corruption, uninitialized stack reads, variable stack helper
> accesses, and check_mem_region_access() range-proof failures. The bounds report
> spells out the required offset + access_size <= object_size proof with concrete
> values and uses scoped diagnostic history for causal context.
> 
> Signed-off-by: Kumar Kartikeya Dwivedi <[email protected]>
> ---

Acked-by: Eduard Zingerman <[email protected]>

The `const char *fmt = ...` is still ugly, though.

...