Eduard Zingerman ac0aaef0aa selftests/bpf: BPF_PSEUDO_FUNC reference to the main program ... Add a test case for a BPF_PSEUDO_FUNC load instruction that references the entry function of the program it belongs to. W/o the previous patch the verifier accepts this program thus allowing a runtime call at a bogus address. See previous patch for detailed description. Main function needs to be marked with BTF_FUNC_STATIC for the test to trigger the bug, the patch uses test_verifier harness instead of test_prog because libbpf has no way to convey this. Reported-by: Nicholas Carlini <npc@anthropic.com> Suggested-by: Nicholas Carlini <npc@anthropic.com> Signed-off-by: Eduard Zingerman <eddyz87@gmail.com> Link: https://lore.kernel.org/r/20260902233658.1186477-2-eddyz87@gmail.com Signed-off-by: Alexei Starovoitov <ast@kernel.org>		2026-09-02 17:50:09 -07:00
..
.gitignore
atomic_and.c
atomic_bounds.c
atomic_cmpxchg.c	bpf: Fix accesses to uninit stack slots	2023-12-08 14:19:00 -08:00
atomic_fetch_add.c
atomic_fetch.c	bpf, selftests: Add test case for atomic fetch on spilled pointer	2021-12-14 19:33:06 -08:00
atomic_invalid.c	bpf: Small BPF verifier log improvements	2022-03-03 16:54:10 +01:00
atomic_or.c
atomic_xchg.c
atomic_xor.c
basic_call.c
basic_instr.c	selftests/bpf: Fix a test_verifier failure	2023-07-27 18:54:16 -07:00
basic_stx_ldx.c
basic.c
bpf_loop_inline.c	selftests/bpf: Skip callback tests if jit is disabled in test_verifier	2024-01-23 20:27:41 -08:00
bpf_st_mem.c	bpf: disable and remove registers chain based liveness	2025-09-19 09:27:23 -07:00
calls.c	selftests/bpf: Test stack depth stats without BTF subprog names	2026-08-12 17:45:07 -07:00
ctx_sk_lookup.c	selftests/bpf: Add tests for accessing ingress_ifindex in bpf_sk_lookup	2021-11-10 16:29:59 -08:00
ctx_skb.c	selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some tests	2023-07-05 14:34:23 +02:00
dead_code.c	bpf: Fall back to nospec for Spectre v1	2025-06-09 20:11:10 -07:00
direct_value_access.c	bpf/verifier: Do not limit maximum direct offset into arena map	2025-12-16 10:42:55 -08:00
event_output.c
jit.c	bpf: add selftests for lsh, rsh, arsh with reg operand	2022-10-19 16:53:51 -07:00
jmp32.c	bpf: Fall back to nospec for Spectre v1	2025-06-09 20:11:10 -07:00
jset.c	bpf: Fall back to nospec for Spectre v1	2025-06-09 20:11:10 -07:00
jump.c	bpf, selftests: Add verifier test case for imm=0,umin=0,umax=1 scalar	2022-07-01 12:56:27 -07:00
junk_insn.c	bpf: Move checks for reserved fields out of the main pass	2026-04-11 15:24:41 -07:00
ld_abs.c
ld_dw.c
ld_imm64.c	bpf: handle ldimm64 properly in check_cfg()	2023-11-09 20:11:20 -08:00
map_kptr.c	bpf: verifier: Support eliding map lookup nullness	2025-01-16 17:51:10 -08:00
perf_event_sample_period.c	selftests/bpf: Use __BYTE_ORDER__	2021-10-25 20:39:42 -07:00
precise.c	bpf: collect only live registers in linked regs	2026-03-06 21:49:40 -08:00
pseudo_func.c	selftests/bpf: BPF_PSEUDO_FUNC reference to the main program	2026-09-02 17:50:09 -07:00
scale.c
sleepable.c	selftests/bpf: Add tests for sleepable tracepoint programs	2026-04-22 22:44:30 +02:00
wide_access.c