tools/testing/selftests/bpf/verifier · kernel2 · Tangled

Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git

kernel2 tools testing selftests bpf verifier

36 files

Alexei Starovoitov · bpf: Raise maximum call chain depth to 16 frames · 4mo ago

.gitignore: add SPDX License Identifier

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

atomic_bounds.c

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

atomic_cmpxchg.c

bpf: Fix accesses to uninit stack slots

atomic_fetch_add.c

bpf: Add tests for new BPF atomic operations

bpf, selftests: Add test case for atomic fetch on spilled pointer

atomic_invalid.c

bpf: Small BPF verifier log improvements

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

bpf: Add tests for new BPF atomic operations

selftests/bpf: Fix endianness issues in atomic tests

selftests: bpf: break up test_verifier

selftests/bpf: Fix a test_verifier failure

basic_stx_ldx.c

selftests: bpf: break up test_verifier

selftests/bpf: Fix test_verifier after introducing resolve_pseudo_ldimm64

bpf_loop_inline.c

selftests/bpf: Skip callback tests if jit is disabled in test_verifier

bpf: disable and remove registers chain based liveness

bpf: Raise maximum call chain depth to 16 frames

ctx_sk_lookup.c

selftests/bpf: Add tests for accessing ingress_ifindex in bpf_sk_lookup

selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some tests

bpf: Fall back to nospec for Spectre v1

direct_value_access.c

bpf/verifier: Do not limit maximum direct offset into arena map

selftests/bpf: Fix cgroup sockopt verifier test

bpf: add selftests for lsh, rsh, arsh with reg operand

bpf: Fall back to nospec for Spectre v1

bpf: Fall back to nospec for Spectre v1

bpf, selftests: Add verifier test case for imm=0,umin=0,umax=1 scalar

bpf: Move checks for reserved fields out of the main pass

selftests: bpf: break up the rest of test_verifier

selftests/bpf: synthetic tests to push verifier limits

bpf: handle ldimm64 properly in check_cfg()

bpf: verifier: Support eliding map lookup nullness

perf_event_sample_period.c

selftests/bpf: Use __BYTE_ORDER__

bpf: collect only live registers in linked regs

selftests/bpf: two scale tests

selftests/bpf: Add tests for sleepable tracepoint programs

selftests/bpf: Mark tests that require unaligned memory access