[PATCH v4 bpf-next 0/2] bpf: properly verify tail call behavior

Martin Teichmann
2025-11-10T15:18:56Z

Hi Eduard,

sorry, it took me a while to get my head around this, but now I found a nice
solution. The test you proposed is now correctly found to fail.

Martin Teichmann (2):
bpf: properly verify tail call behavior
bpf: test the proper verification of tail calls

kernel/bpf/liveness.c | 4 ++
kernel/bpf/verifier.c | 31 ++++++++++--
.../selftests/bpf/progs/verifier_live_stack.c | 49 +++++++++++++++++++
.../selftests/bpf/progs/verifier_sock.c | 39 ++++++++++++++-
.../bpf/progs/verifier_subprog_precision.c | 47 ++++++++++++++++++
5 files changed, 165 insertions(+), 5 deletions(-)

--
2.43.0