Paul Chaignon 7ec899ac90 selftests/bpf: Negative test case for ref_obj_id in args ...

This patch adds a test case, as shown below, for the verifier error
"more than one arg with ref_obj_id".

    0: (b7) r2 = 20
    1: (b7) r3 = 0
    2: (18) r1 = 0xffff92cee3cbc600
    4: (85) call bpf_ringbuf_reserve#131
    5: (55) if r0 == 0x0 goto pc+3
    6: (bf) r1 = r0
    7: (bf) r2 = r0
    8: (85) call bpf_tcp_raw_gen_syncookie_ipv4#204
    9: (95) exit

This error is currently incorrectly reported as a verifier bug, with a
warning. The next patch in this series will address that.

Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>
Link: https://lore.kernel.org/r/3ba78e6cda47ccafd6ea70dadbc718d020154664.1751463262.git.paul.chaignon@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>

2025-07-02 10:43:34 -07:00

..

.gitignore

.gitignore: add SPDX License Identifier

2020-03-25 11:50:48 +01:00

atomic_and.c

bpf, x86: Fix BPF_FETCH atomic and/or/xor with r0 as src

2021-02-22 18:03:11 +01:00

atomic_bounds.c

bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCH

2021-02-02 18:23:29 -08:00

atomic_cmpxchg.c

bpf: Fix accesses to uninit stack slots

2023-12-08 14:19:00 -08:00

atomic_fetch_add.c

bpf: Add tests for new BPF atomic operations

2021-01-14 18:34:29 -08:00

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

bpf: Explicitly zero-extend R0 after 32-bit cmpxchg

2021-03-04 19:06:03 -08:00

atomic_xchg.c

bpf: Add tests for new BPF atomic operations

2021-01-14 18:34:29 -08:00

atomic_xor.c

selftests/bpf: Fix endianness issues in atomic tests

2021-02-10 11:55:22 -08:00

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

selftests/bpf: Fix test_verifier after introducing resolve_pseudo_ldimm64

2020-10-06 20:16:57 -07:00

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

selftests/bpf: Add test for immediate spilled to stack

2023-11-01 22:30:27 -07:00

calls.c

selftests/bpf: Negative test case for ref_obj_id in args

2025-07-02 10:43:34 -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

selftests/bpf: Mark tests that require unaligned memory access

2020-11-18 17:45:35 -08:00

event_output.c

selftests/bpf: Fix cgroup sockopt verifier test

2020-07-11 01:32:15 +02:00

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

…

ld_abs.c

selftests: bpf: break up the rest of test_verifier

2019-01-27 21:37:45 -08:00

ld_dw.c

selftests/bpf: synthetic tests to push verifier limits

2019-04-04 01:27:38 +02:00

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: Remove mark_precise_scalar_ids()

2024-07-29 12:53:14 -07:00

scale.c

selftests/bpf: two scale tests

2019-04-16 10:18:15 +02:00

sleepable.c

bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepable

2023-01-25 10:25:57 -08:00

wide_access.c

selftests/bpf: Mark tests that require unaligned memory access

2020-11-18 17:45:35 -08:00