bpf: Add precision marking and backtracking for stack argument slots

Browse source

Extend the precision marking and backtracking infrastructure to
support stack argument slots (r11-based accesses). Without this,
precision demands for scalar values passed through stack arguments
are silently dropped, which could allow the verifier to incorrectly
prune states with different constant values in stack arg slots.

Signed-off-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20260513045025.2387526-1-yonghong.song@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Yonghong Song 2026-05-12 21:50:25 -07:00 • committed by Alexei Starovoitov

parent 3a656670fd

commit 0a0fdc64b6

3 changed files with 92 additions and 6 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

8

include/linux/bpf_verifier.h

View file

58

kernel/bpf/backtrack.c

View file

32

kernel/bpf/verifier.c

View file