diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-09-02 00:28:35 -0700 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2026-09-02 15:55:08 +0200 |
| commit | ce6b9e5dd873de532cd924e2abc928220cdc2738 (patch) | |
| tree | 8eafb4a16b24381211991a826f3aeb41374e29f6 /scripts/Makefile.thinlto | |
| parent | 387b1baefbb776e3f48dc2261e77a49213f470f7 (diff) | |
| download | linux-ce6b9e5dd873de532cd924e2abc928220cdc2738.tar.gz linux-ce6b9e5dd873de532cd924e2abc928220cdc2738.zip | |
selftests/bpf: Precision tracking across BPF_ABS subprog exit
A test case checking that the verifier properly backtracks both
fallthrough and implicit subprogram exit paths modelled for
BPF_LD | BPF_ABS instruction.
Without the previous patch:
- the verifier did not call bt_subprog_enter() on the implicit
subprogram exit path;
- bpf_pseudo_call() branch in backtrack_insn() executed
'bpf_bt_set_frame_reg(bt, bt->frame - 1, i);' with bt->frame == 0;
- causing a segmentation fault.
Reported-by: Nicholas Carlini <npc@anthropic.com>
Suggested-by: Nicholas Carlini <npc@anthropic.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/bpf/20260901-bug-016-backtrack-ld-abs-v1-2-59368f1be435@gmail.com
Diffstat (limited to 'scripts/Makefile.thinlto')
0 files changed, 0 insertions, 0 deletions