bpf: Report Memory Safety bounds errors

Browse source

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 <memxor@gmail.com>
Link: https://patch.msgid.link/20260815064612.378577-10-memxor@gmail.com
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>

...

This commit is contained in:

Kumar Kartikeya Dwivedi 2026-08-15 08:46:04 +02:00 • committed by Eduard Zingerman

parent d63284e62b

commit 2bdc90f531

3 changed files with 158 additions and 4 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

78

kernel/bpf/diagnostics.c

View file

6

kernel/bpf/diagnostics.h

View file

78

kernel/bpf/verifier.c

View file