tools/testing/selftests/bpf/progs/refcounted_kptr.c

227

__description(desc) \

tools/testing/selftests/bpf/progs/refcounted_kptr.c

266

__description(desc) \

tools/testing/selftests/bpf/progs/refcounted_kptr.c

304

__description(desc) \

tools/testing/selftests/bpf/progs/refcounted_kptr.c

337

__description(desc) \

tools/testing/selftests/bpf/progs/verifier_and.c

23

__description("invalid and of negative number")

tools/testing/selftests/bpf/progs/verifier_and.c

52

__description("invalid range check")

tools/testing/selftests/bpf/progs/verifier_and.c

87

__description("check known subreg with unknown reg")

tools/testing/selftests/bpf/progs/verifier_array_access.c

104

__description("valid map access into an array with a variable")

tools/testing/selftests/bpf/progs/verifier_array_access.c

133

__description("valid map access into an array with a signed variable")

tools/testing/selftests/bpf/progs/verifier_array_access.c

166

__description("invalid map access into an array with a constant")

tools/testing/selftests/bpf/progs/verifier_array_access.c

191

__description("invalid map access into an array with a register")

tools/testing/selftests/bpf/progs/verifier_array_access.c

220

__description("invalid map access into an array with a variable")

tools/testing/selftests/bpf/progs/verifier_array_access.c

249

__description("invalid map access into an array with no floor check")

tools/testing/selftests/bpf/progs/verifier_array_access.c

281

__description("invalid map access into an array with a invalid max check")

tools/testing/selftests/bpf/progs/verifier_array_access.c

313

__description("invalid map access into an array with a invalid max check")

tools/testing/selftests/bpf/progs/verifier_array_access.c

346

__description("valid read map access into a read-only array 1")

tools/testing/selftests/bpf/progs/verifier_array_access.c

367

__description("valid read map access into a read-only array 2")

tools/testing/selftests/bpf/progs/verifier_array_access.c

394

__description("invalid write map access into a read-only array 1")

tools/testing/selftests/bpf/progs/verifier_array_access.c

417

__description("invalid write map access into a read-only array 2")

tools/testing/selftests/bpf/progs/verifier_array_access.c

444

__description("valid write map access into a write-only array 1")

tools/testing/selftests/bpf/progs/verifier_array_access.c

467

__description("valid write map access into a write-only array 2")

tools/testing/selftests/bpf/progs/verifier_array_access.c

494

__description("invalid read map access into a write-only array 1")

tools/testing/selftests/bpf/progs/verifier_array_access.c

516

__description("invalid read map access into a write-only array 2")

tools/testing/selftests/bpf/progs/verifier_array_access.c

53

__description("valid map access into an array with a constant")

tools/testing/selftests/bpf/progs/verifier_array_access.c

543

__description("valid map access into an array using constant without nullness")

tools/testing/selftests/bpf/progs/verifier_array_access.c

559

__description("valid multiple map access into an array using constant without nullness")

tools/testing/selftests/bpf/progs/verifier_array_access.c

579

__description("valid map access into an array using natural aligned 32-bit constant 0 without nullness")

tools/testing/selftests/bpf/progs/verifier_array_access.c

597

__description("valid map access into a pcpu array using constant without nullness")

tools/testing/selftests/bpf/progs/verifier_array_access.c

612

__description("invalid map access into an array using constant without nullness")

tools/testing/selftests/bpf/progs/verifier_array_access.c

627

__description("invalid map access into an array using constant smaller than key_size")

tools/testing/selftests/bpf/progs/verifier_array_access.c

650

__description("invalid map access into an array using constant larger than key_size")

tools/testing/selftests/bpf/progs/verifier_array_access.c

668

__description("invalid elided lookup using const and non-const key")

tools/testing/selftests/bpf/progs/verifier_array_access.c

703

__description("invalid elided lookup using non-stack key")

tools/testing/selftests/bpf/progs/verifier_array_access.c

717

__description("doesn't reject UINT64_MAX as s64 for irrelevant maps")

tools/testing/selftests/bpf/progs/verifier_array_access.c

77

__description("valid map access into an array with a register")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

16

__description("stack out of bounds")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

29

__description("uninitialized stack1")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

47

__description("uninitialized stack2")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

60

__description("invalid fp arithmetic")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

76

__description("non-invalid fp arithmetic")

tools/testing/selftests/bpf/progs/verifier_basic_stack.c

88

__description("misaligned read from stack")

tools/testing/selftests/bpf/progs/verifier_bitfield_write.c

25

__description("single CO-RE bitfield roundtrip")

tools/testing/selftests/bpf/progs/verifier_bitfield_write.c

39

__description("multiple CO-RE bitfield roundtrip")

tools/testing/selftests/bpf/progs/verifier_bitfield_write.c

60

__description("adjacent CO-RE bitfield roundtrip")

tools/testing/selftests/bpf/progs/verifier_bitfield_write.c

80

__description("multibyte CO-RE bitfield roundtrip")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

104

__description("bit index")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

121

__description("bits too big")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

136

__description("fewer words")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

150

__description("zero words")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

164

__description("huge words")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

178

__description("max words")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

199

__description("bad words")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

21

__description("bits iter without destroy")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

34

__description("uninitialized iter in ->next()")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

45

__description("uninitialized iter in ->destroy()")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

56

__description("null pointer")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

75

__description("bits copy")

tools/testing/selftests/bpf/progs/verifier_bits_iter.c

89

__description("bits memalloc")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1016

__description("bounds checks after 32-bit truncation. test 2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1041

__description("bound check with JMP_JLT for crossing 64-bit signed boundary")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1067

__description("bound check with JMP_JSLT for crossing 64-bit signed boundary")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1098

__description("bound check for loop upper bound greater than U32_MAX")

tools/testing/selftests/bpf/progs/verifier_bounds.c

112

__description("bounds check based on zero-extended MOV")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1123

__description("bound check with JMP32_JLT for crossing 32-bit signed boundary")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1149

__description("bound check with JMP32_JSLT for crossing 32-bit signed boundary")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1180

__description("bounds check with JMP_NE for reg edge")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1214

__description("bounds check with JMP_EQ for reg edge")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1242

__description("multiply mixed sign bounds. test 1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1265

__description("multiply mixed sign bounds. test 2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1288

__description("multiply negative bounds")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1312

__description("multiply bounds that don't cross signed boundary")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1332

__description("multiplication overflow, result in unbounded reg. test 1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1354

__description("multiplication overflow, result in unbounded reg. test 2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1377

__description("64-bit addition, all outcomes overflow")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1397

__description("64-bit addition, partial overflow, result in unbounded reg")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1417

__description("32-bit addition overflow, all outcomes overflow")

tools/testing/selftests/bpf/progs/verifier_bounds.c

142

__description("bounds check based on sign-extended MOV. test1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1437

__description("32-bit addition, partial overflow, result in unbounded u32 bounds")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1457

__description("64-bit subtraction, all outcomes underflow")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1478

__description("64-bit subtraction, partial overflow, result in unbounded reg")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1497

__description("32-bit subtraction overflow, all outcomes underflow")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1518

__description("32-bit subtraction, partial overflow, result in unbounded u32 bounds")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1537

__description("dead branch on jset, does not result in invariants violation error")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1574

__description("bounds deduction cross sign boundary, negative overlap")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1618

__description("bounds deduction cross sign boundary, positive overlap")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1651

__description("bounds deduction cross sign boundary, two overlaps")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1672

__description("dead jne branch due to disagreeing tnums")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1692

__description("dead jeq branch due to disagreeing tnums")

tools/testing/selftests/bpf/progs/verifier_bounds.c

17

__description("subtraction bounds (map value) variant 1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1713

__description("conditional jump on same register, branch taken")

tools/testing/selftests/bpf/progs/verifier_bounds.c

173

__description("bounds check based on sign-extended MOV. test2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1748

__description("jset on same register, constant value branch taken")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1770

__description("jset on same register, scalar value branch taken")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1799

__description("jset on same register, scalar value unknown branch 1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1821

__description("jset on same register, scalar value unknown branch 2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1844

__description("jset on same register, scalar value unknown branch 3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1877

__description("bounds refinement with single-value tnum on umax")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1907

__description("bounds refinement with single-value tnum on umin")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1941

__description("bounds refinement with single-value tnum in middle of range")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1964

__description("bounds refinement: several overlaps between tnum and u64")

tools/testing/selftests/bpf/progs/verifier_bounds.c

1986

__description("bounds refinement: multiple overlaps between tnum and u64")

tools/testing/selftests/bpf/progs/verifier_bounds.c

204

__description("bounds check based on reg_off + var_off + insn_off. test1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

2041

__description("maybe_fork_scalars: OR with constant rejects OOB")

tools/testing/selftests/bpf/progs/verifier_bounds.c

2071

__description("maybe_fork_scalars: AND with constant still works")

tools/testing/selftests/bpf/progs/verifier_bounds.c

2103

__description("maybe_fork_scalars: OR with constant allows in-bounds")

tools/testing/selftests/bpf/progs/verifier_bounds.c

233

__description("bounds check based on reg_off + var_off + insn_off. test2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

263

__description("bounds check after truncation of non-boundary-crossing range")

tools/testing/selftests/bpf/progs/verifier_bounds.c

302

__description("bounds check after truncation of boundary-crossing range (1)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

344

__description("bounds check after truncation of boundary-crossing range (2)")

tools/testing/selftests/bpf/progs/verifier_bounds.c

386

__description("bounds check after wrapping 32-bit addition")

tools/testing/selftests/bpf/progs/verifier_bounds.c

418

__description("bounds check after shift with oversized count operand")

tools/testing/selftests/bpf/progs/verifier_bounds.c

451

__description("bounds check after right shift of maybe-negative number")

tools/testing/selftests/bpf/progs/verifier_bounds.c

48

__description("subtraction bounds (map value) variant 2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

486

__description("bounds check after 32-bit right shift with 64-bit input")

tools/testing/selftests/bpf/progs/verifier_bounds.c

518

__description("bounds check map access with off+size signed 32bit overflow. test1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

543

__description("bounds check map access with off+size signed 32bit overflow. test2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

570

__description("bounds check map access with off+size signed 32bit overflow. test3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

596

__description("bounds check map access with off+size signed 32bit overflow. test4")

tools/testing/selftests/bpf/progs/verifier_bounds.c

623

__description("bounds check mixed 32bit and 64bit arithmetic. test1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

652

__description("bounds check mixed 32bit and 64bit arithmetic. test2")

tools/testing/selftests/bpf/progs/verifier_bounds.c

682

__description("assigning 32bit bounds to 64bit for wA = 0, wB = wA")

tools/testing/selftests/bpf/progs/verifier_bounds.c

706

__description("bounds check for reg = 0, reg xor 1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

739

__description("bounds check for reg32 = 0, reg32 xor 1")

tools/testing/selftests/bpf/progs/verifier_bounds.c

772

__description("bounds check for reg = 2, reg xor 3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

79

__description("check subtraction on pointers for unpriv")

tools/testing/selftests/bpf/progs/verifier_bounds.c

805

__description("bounds check for reg = any, reg xor 3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

832

__description("bounds check for reg32 = any, reg32 xor 3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

859

__description("bounds check for reg > 0, reg xor 3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

893

__description("bounds check for reg32 > 0, reg32 xor 3")

tools/testing/selftests/bpf/progs/verifier_bounds.c

927

__description("bounds check for non const xor src dst")

tools/testing/selftests/bpf/progs/verifier_bounds.c

948

__description("bounds check for non const or src dst")

tools/testing/selftests/bpf/progs/verifier_bounds.c

969

__description("bounds check for non const mul regs")

tools/testing/selftests/bpf/progs/verifier_bounds.c

990

__description("bounds checks after 32-bit truncation. test 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

103

__description("check deducing bounds from const, 7")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

122

__description("check deducing bounds from const, 8")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

141

__description("check deducing bounds from const, 9")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

155

__description("check deducing bounds from const, 10")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

23

__description("check deducing bounds from const, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

41

__description("check deducing bounds from const, 3")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

55

__description("check deducing bounds from const, 4")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

74

__description("check deducing bounds from const, 5")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

88

__description("check deducing bounds from const, 6")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction.c

9

__description("check deducing bounds from const, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

115

__description("check deducing bounds from non-const, jmp32, <non_const> == <const>, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

136

__description("check deducing bounds from non-const, jmp32, <non_const> != <const>, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

158

__description("check deducing bounds from non-const, jmp32, <non_const> != <const>, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

180

__description("check deducing bounds from non-const, jmp64, <const> > <non_const>, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

199

__description("check deducing bounds from non-const, jmp64, <const> > <non_const>, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

220

__description("check deducing bounds from non-const, jmp64, <const> >= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

241

__description("check deducing bounds from non-const, jmp64, <const> < <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

262

__description("check deducing bounds from non-const, jmp64, <const> <= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

283

__description("check deducing bounds from non-const, jmp64, <const> == <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

29

__description("check deducing bounds from non-const, jmp64, <non_const> == <const>, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

304

__description("check deducing bounds from non-const, jmp64, <const> s> <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

325

__description("check deducing bounds from non-const, jmp64, <const> s>= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

346

__description("check deducing bounds from non-const, jmp64, <const> s< <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

367

__description("check deducing bounds from non-const, jmp64, <const> s<= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

388

__description("check deducing bounds from non-const, jmp64, <const> != <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

410

__description("check deducing bounds from non-const, jmp32, <const> > <non_const>, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

429

__description("check deducing bounds from non-const, jmp32, <const> > <non_const>, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

450

__description("check deducing bounds from non-const, jmp32, <const> >= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

471

__description("check deducing bounds from non-const, jmp32, <const> < <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

492

__description("check deducing bounds from non-const, jmp32, <const> <= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

50

__description("check deducing bounds from non-const, jmp64, <non_const> != <const>, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

513

__description("check deducing bounds from non-const, jmp32, <const> == <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

534

__description("check deducing bounds from non-const, jmp32, <const> s> <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

555

__description("check deducing bounds from non-const, jmp32, <const> s>= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

576

__description("check deducing bounds from non-const, jmp32, <const> s< <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

597

__description("check deducing bounds from non-const, jmp32, <const> s<= <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

618

__description("check deducing bounds from non-const, jmp32, <const> != <non_const>")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

72

__description("check deducing bounds from non-const, jmp64, <non_const> != <const>, 2")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

8

__description("check deducing bounds from non-const, jmp64, <non_const> == <const>, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c

94

__description("check deducing bounds from non-const, jmp32, <non_const> == <const>, 1")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

114

__description("bounds checks mixing signed and unsigned, variant 3")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

147

__description("bounds checks mixing signed and unsigned, variant 4")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

16

__description("bounds checks mixing signed and unsigned, positive bounds")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

178

__description("bounds checks mixing signed and unsigned, variant 5")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

211

__description("bounds checks mixing signed and unsigned, variant 6")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

242

__description("bounds checks mixing signed and unsigned, variant 7")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

274

__description("bounds checks mixing signed and unsigned, variant 8")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

308

__description("bounds checks mixing signed and unsigned, variant 9")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

341

__description("bounds checks mixing signed and unsigned, variant 10")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

375

__description("bounds checks mixing signed and unsigned, variant 11")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

410

__description("bounds checks mixing signed and unsigned, variant 12")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

444

__description("bounds checks mixing signed and unsigned, variant 13")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

48

__description("bounds checks mixing signed and unsigned")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

481

__description("bounds checks mixing signed and unsigned, variant 14")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

519

__description("bounds checks mixing signed and unsigned, variant 15")

tools/testing/selftests/bpf/progs/verifier_bounds_mix_sign_unsign.c

80

__description("bounds checks mixing signed and unsigned, variant 2")

tools/testing/selftests/bpf/progs/verifier_bpf_get_stack.c

30

__description("bpf_get_stack return R0 within range")

tools/testing/selftests/bpf/progs/verifier_bpf_get_stack.c

81

__description("bpf_get_task_stack return R0 range is refined")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

18

__description("__bpf_trap with simple c code")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

26

__description("__bpf_trap as the second-from-last insn")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

40

__description("dead code __bpf_trap in the middle of code")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

56

__description("reachable __bpf_trap in the middle of code")

tools/testing/selftests/bpf/progs/verifier_bpf_trap.c

9

__description("__builtin_trap with simple c code")

tools/testing/selftests/bpf/progs/verifier_bswap.c

119

__description("cpuv4 is not supported by compiler or jit, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_bswap.c

14

__description("BSWAP, 16")

tools/testing/selftests/bpf/progs/verifier_bswap.c

26

__description("BSWAP, 32")

tools/testing/selftests/bpf/progs/verifier_bswap.c

38

__description("BSWAP, 64")

tools/testing/selftests/bpf/progs/verifier_bswap.c

95

__description("BSWAP, reset reg id")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

21

__description("btf_ctx_access u32 pointer accept")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

33

__description("btf_ctx_access u32 pointer reject u32")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

45

__description("btf_ctx_access u32 pointer reject u16")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

57

__description("btf_ctx_access u32 pointer reject u8")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

69

__description("btf_ctx_access const void pointer accept")

tools/testing/selftests/bpf/progs/verifier_btf_ctx_access.c

9

__description("btf_ctx_access accept")

tools/testing/selftests/bpf/progs/verifier_cfg.c

101

__description("conditional loop (2)")

tools/testing/selftests/bpf/progs/verifier_cfg.c

123

__description("unconditional loop after conditional jump")

tools/testing/selftests/bpf/progs/verifier_cfg.c

148

__description("unconditional loop after conditional jump")

tools/testing/selftests/bpf/progs/verifier_cfg.c

21

__description("unreachable2")

tools/testing/selftests/bpf/progs/verifier_cfg.c

34

__description("out of range jump")

tools/testing/selftests/bpf/progs/verifier_cfg.c

47

__description("out of range jump2")

tools/testing/selftests/bpf/progs/verifier_cfg.c

59

__description("loop (back-edge)")

tools/testing/selftests/bpf/progs/verifier_cfg.c

71

__description("loop2 (back-edge)")

tools/testing/selftests/bpf/progs/verifier_cfg.c

86

__description("conditional loop")

tools/testing/selftests/bpf/progs/verifier_cfg.c

9

__description("unreachable")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

20

__description("bpf_exit with invalid return code. test2")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

32

__description("bpf_exit with invalid return code. test3")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

44

__description("bpf_exit with invalid return code. test4")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

55

__description("bpf_exit with invalid return code. test5")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

66

__description("bpf_exit with invalid return code. test6")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

77

__description("bpf_exit with invalid return code. test7")

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

9

__description("bpf_exit with invalid return code. test1")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

136

__description("invalid access of tc_classid for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

151

__description("invalid access of data_meta for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

166

__description("invalid access of flow_keys for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

181

__description("invalid write access to napi_id for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

197

__description("write tstamp from CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

214

__description("read tstamp from CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

44

__description("direct packet read test#2 for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

69

__description("direct packet read test#3 for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

9

__description("direct packet read test#1 for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_skb.c

98

__description("direct packet read test#4 for CGROUP_SKB")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

109

__description("invalid cgroup storage access 4")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

130

__description("invalid cgroup storage access 5")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

150

__description("invalid cgroup storage access 6")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

170

__description("valid per-cpu cgroup storage access")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

189

__description("invalid per-cpu cgroup storage access 1")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

209

__description("invalid per-cpu cgroup storage access 2")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

228

__description("invalid per-cpu cgroup storage access 3")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

248

__description("invalid per-cpu cgroup storage access 4")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

269

__description("invalid per-cpu cgroup storage access 5")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

289

__description("invalid per-cpu cgroup storage access 6")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

31

__description("valid cgroup storage access")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

50

__description("invalid cgroup storage access 1")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

70

__description("invalid cgroup storage access 2")

tools/testing/selftests/bpf/progs/verifier_cgroup_storage.c

89

__description("invalid cgroup storage access 3")

tools/testing/selftests/bpf/progs/verifier_const.c

14

__description("rodata/strtol: write rejected")

tools/testing/selftests/bpf/progs/verifier_const.c

24

__description("bss/strtol: write accepted")

tools/testing/selftests/bpf/progs/verifier_const.c

34

__description("data/strtol: write accepted")

tools/testing/selftests/bpf/progs/verifier_const.c

44

__description("rodata/mtu: write rejected")

tools/testing/selftests/bpf/progs/verifier_const.c

53

__description("bss/mtu: write accepted")

tools/testing/selftests/bpf/progs/verifier_const.c

62

__description("data/mtu: write accepted")

tools/testing/selftests/bpf/progs/verifier_const.c

81

__description("rodata/mark: write with unknown reg rejected")

tools/testing/selftests/bpf/progs/verifier_const.c

90

__description("rodata/mark: write with unknown reg rejected")

tools/testing/selftests/bpf/progs/verifier_const_or.c

27

__description("constant register |= constant should not bypass stack boundary checks")

tools/testing/selftests/bpf/progs/verifier_const_or.c

45

__description("constant register |= constant register should keep constant type")

tools/testing/selftests/bpf/progs/verifier_const_or.c

64

__description("constant register |= constant register should not bypass stack boundary checks")

tools/testing/selftests/bpf/progs/verifier_const_or.c

9

__description("constant register |= constant should keep constant type")

tools/testing/selftests/bpf/progs/verifier_ctx.c

104

__description("pass ctx or null check, 1: ctx")

tools/testing/selftests/bpf/progs/verifier_ctx.c

118

__description("pass ctx or null check, 2: null")

tools/testing/selftests/bpf/progs/verifier_ctx.c

133

__description("pass ctx or null check, 3: 1")

tools/testing/selftests/bpf/progs/verifier_ctx.c

148

__description("pass ctx or null check, 4: ctx - const")

tools/testing/selftests/bpf/progs/verifier_ctx.c

163

__description("pass ctx or null check, 5: null (connect)")

tools/testing/selftests/bpf/progs/verifier_ctx.c

178

__description("pass ctx or null check, 6: null (bind)")

tools/testing/selftests/bpf/progs/verifier_ctx.c

193

__description("pass ctx or null check, 7: ctx (bind)")

tools/testing/selftests/bpf/progs/verifier_ctx.c

207

__description("pass ctx or null check, 8: null (bind)")

tools/testing/selftests/bpf/progs/verifier_ctx.c

223

__description("narrow load on field " #field " of " #ctx) \

tools/testing/selftests/bpf/progs/verifier_ctx.c

23

__description("arithmetic ops make PTR_TO_CTX unusable")

tools/testing/selftests/bpf/progs/verifier_ctx.c

248

__description("unaligned access on field " #field " of " #ctx) \

tools/testing/selftests/bpf/progs/verifier_ctx.c

267

__description("access on " #ctx " padding after " #prev_field) \

tools/testing/selftests/bpf/progs/verifier_ctx.c

39

__description("pass unmodified ctx pointer to helper")

tools/testing/selftests/bpf/progs/verifier_ctx.c

54

__description("pass modified ctx pointer to helper, 1")

tools/testing/selftests/bpf/progs/verifier_ctx.c

70

__description("pass modified ctx pointer to helper, 2")

tools/testing/selftests/bpf/progs/verifier_ctx.c

86

__description("pass modified ctx pointer to helper, 3")

tools/testing/selftests/bpf/progs/verifier_ctx.c

9

__description("context stores via BPF_ATOMIC")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

112

__description("valid access size in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

125

__description("invalid 64B read of size in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

139

__description("invalid read past end of SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

152

__description("invalid read offset in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

166

__description("direct packet read for SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

186

__description("direct packet write for SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

206

__description("overlapping checks for direct packet access SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

22

__description("valid access remote_ip4 in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

35

__description("valid access local_ip4 in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

48

__description("valid access remote_port in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

61

__description("valid access local_port in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

74

__description("valid access remote_ip6 in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

9

__description("valid access family in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_ctx_sk_msg.c

93

__description("valid access local_ip6 in SK_MSG")

tools/testing/selftests/bpf/progs/verifier_d_path.c

29

__description("d_path reject")

tools/testing/selftests/bpf/progs/verifier_d_path.c

9

__description("d_path accept")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

10

__description("pkt_end - pkt_start is allowed")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

116

__description("direct packet access: test5 (pkt_end >= reg, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

138

__description("direct packet access: test6 (pkt_end >= reg, bad access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

160

__description("direct packet access: test7 (pkt_end >= reg, both accesses)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

183

__description("direct packet access: test8 (double test, variant 1)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

207

__description("direct packet access: test9 (double test, variant 2)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

231

__description("direct packet access: test10 (write invalid)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

253

__description("direct packet access: test11 (shift, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

26

__description("direct packet access: test1")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

280

__description("direct packet access: test12 (and, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

307

__description("direct packet access: test13 (branches, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

340

__description("direct packet access: test14 (pkt_ptr += 0, CONST_IMM, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

366

__description("direct packet access: test15 (spill with xadd)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

393

__description("direct packet access: test16 (arith on data_end)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

414

__description("direct packet access: test17 (pruning, alignment)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

440

__description("direct packet access: test18 (imm += pkt_ptr, 1)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

46

__description("direct packet access: test2")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

460

__description("direct packet access: test19 (imm += pkt_ptr, 2)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

482

__description("direct packet access: test20 (x += pkt_ptr, 1)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

509

__description("direct packet access: test21 (x += pkt_ptr, 2)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

538

__description("direct packet access: test22 (x += pkt_ptr, 3)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

571

__description("direct packet access: test23 (x += pkt_ptr, 4)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

602

__description("direct packet access: test24 (x += pkt_ptr, 5)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

631

__description("direct packet access: test25 (marking on <, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

652

__description("direct packet access: test26 (marking on <, bad access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

673

__description("direct packet access: test27 (marking on <=, good access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

693

__description("direct packet access: test28 (marking on <=, bad access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

714

__description("direct packet access: test29 (reg > pkt_end in subprog)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

746

__description("direct packet access: test30 (check_id() in regsafe(), bad access)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

806

__description("direct packet access: " #name " (non-linear, " type ", " desc ")") \

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

81

__description("direct packet access: test3")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

837

__description("direct packet access: test37 (non-linear, linearized)")

tools/testing/selftests/bpf/progs/verifier_direct_packet_access.c

96

__description("direct packet access: test4 (write)")

tools/testing/selftests/bpf/progs/verifier_direct_stack_access_wraparound.c

25

__description("direct stack access with 32-bit wraparound. test2")

tools/testing/selftests/bpf/progs/verifier_direct_stack_access_wraparound.c

41

__description("direct stack access with 32-bit wraparound. test3")

tools/testing/selftests/bpf/progs/verifier_direct_stack_access_wraparound.c

9

__description("direct stack access with 32-bit wraparound. test1")

tools/testing/selftests/bpf/progs/verifier_div0.c

108

__description("DIV32 by 0, zero check 1, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

121

__description("DIV32 by 0, zero check 2, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

134

__description("DIV64 by 0, zero check, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

147

__description("MOD32 by 0, zero check ok, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

162

__description("MOD32 by 0, zero check 1, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

175

__description("MOD32 by 0, zero check 2, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

188

__description("MOD64 by 0, zero check 1, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

201

__description("MOD64 by 0, zero check 2, cls")

tools/testing/selftests/bpf/progs/verifier_div0.c

23

__description("DIV32 by 0, zero check 2")

tools/testing/selftests/bpf/progs/verifier_div0.c

37

__description("DIV64 by 0, zero check")

tools/testing/selftests/bpf/progs/verifier_div0.c

51

__description("MOD32 by 0, zero check 1")

tools/testing/selftests/bpf/progs/verifier_div0.c

65

__description("MOD32 by 0, zero check 2")

tools/testing/selftests/bpf/progs/verifier_div0.c

79

__description("MOD64 by 0, zero check")

tools/testing/selftests/bpf/progs/verifier_div0.c

9

__description("DIV32 by 0, zero check 1")

tools/testing/selftests/bpf/progs/verifier_div0.c

93

__description("DIV32 by 0, zero check ok, cls")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1016

__description("SMOD64, negative divisor, negative dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1039

__description("SMOD64, negative divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

105

__description("SDIV32, positive divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1062

__description("SMOD64, negative divisor, small dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1085

__description("SMOD64, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1109

__description("SMOD64, overflow (S64_MIN%-1)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

1133

__description("SMOD64, overflow (S64_MIN%-1), constant dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

128

__description("SDIV32, positive divisor, negative dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

15

__description("UDIV32, positive divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

151

__description("SDIV32, positive divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

174

__description("SDIV32, negative divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

197

__description("SDIV32, negative divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

220

__description("SDIV32, negative divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

243

__description("SDIV32, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

266

__description("SDIV32, overflow (S32_MIN/-1)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

287

__description("SDIV32, overflow (S32_MIN/-1), constant dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

306

__description("SDIV64, positive divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

329

__description("SDIV64, positive divisor, negative dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

352

__description("SDIV64, positive divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

37

__description("UDIV32, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

375

__description("SDIV64, negative divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

398

__description("SDIV64, negative divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

421

__description("SDIV64, negative divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

444

__description("SDIV64, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

467

__description("SDIV64, overflow (S64_MIN/-1)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

488

__description("SDIV64, overflow (S64_MIN/-1), constant dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

508

__description("UMOD32, positive divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

530

__description("UMOD32, positive divisor, small dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

554

__description("UMOD32, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

579

__description("UMOD64, positive divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

60

__description("UDIV64, positive divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

601

__description("UMOD64, positive divisor, small dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

625

__description("UMOD64, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

650

__description("SMOD32, positive divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

673

__description("SMOD32, positive divisor, negative dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

696

__description("SMOD32, positive divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

719

__description("SMOD32, positive divisor, small dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

742

__description("SMOD32, negative divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

765

__description("SMOD32, negative divisor, negative dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

788

__description("SMOD32, negative divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

811

__description("SMOD32, negative divisor, small dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

82

__description("UDIV64, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

834

__description("SMOD32, zero divisor")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

858

__description("SMOD32, overflow (S32_MIN%-1)")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

882

__description("SMOD32, overflow (S32_MIN%-1), constant dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

901

__description("SMOD64, positive divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

924

__description("SMOD64, positive divisor, negative dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

947

__description("SMOD64, positive divisor, mixed sign dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

970

__description("SMOD64, positive divisor, small dividend")

tools/testing/selftests/bpf/progs/verifier_div_mod_bounds.c

993

__description("SMOD64, negative divisor, positive dividend")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

108

__description("MOD64 overflow, check 1")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

127

__description("MOD64 overflow, check 2")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

15

__description("DIV32 overflow, check 1")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

30

__description("DIV32 overflow, check 2")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

44

__description("DIV64 overflow, check 1")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

62

__description("DIV64 overflow, check 2")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

79

__description("MOD32 overflow, check 1")

tools/testing/selftests/bpf/progs/verifier_div_overflow.c

94

__description("MOD32 overflow, check 2")

tools/testing/selftests/bpf/progs/verifier_gotol.c

10

__description("gotol, small_imm")

tools/testing/selftests/bpf/progs/verifier_gotol.c

33

__description("gotol, large_imm")

tools/testing/selftests/bpf/progs/verifier_gotol.c

54

__description("cpuv4 is not supported by compiler or jit, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

102

__description("helper access to variable memory: stack, bitwise AND + JMP, wrong max")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

125

__description("helper access to variable memory: stack, JMP, correct bounds")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

157

__description("helper access to variable memory: stack, JMP (signed), correct bounds")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

189

__description("helper access to variable memory: stack, JMP, bounds + offset")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

213

__description("helper access to variable memory: stack, JMP, wrong max")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

236

__description("helper access to variable memory: stack, JMP, no max check")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

260

__description("helper access to variable memory: stack, JMP, no min check")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

296

__description("helper access to variable memory: stack, JMP (signed), no min check")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

317

__description("helper access to variable memory: map, JMP, correct bounds")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

349

__description("helper access to variable memory: map, JMP, wrong max")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

35

__description("helper access to variable memory: stack, bitwise AND + JMP, correct bounds")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

382

__description("helper access to variable memory: map adjusted, JMP, correct bounds")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

416

__description("helper access to variable memory: map adjusted, JMP, wrong max")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

450

__description("helper access to variable memory: size = 0 allowed on NULL (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

468

__description("helper access to variable memory: size > 0 not allowed on NULL (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

489

__description("helper access to variable memory: size = 0 allowed on != NULL stack pointer (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

510

__description("helper access to variable memory: size = 0 allowed on != NULL map pointer (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

537

__description("helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

567

__description("helper access to variable memory: size possible = 0 allowed on != NULL map pointer (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

595

__description("helper access to variable memory: size possible = 0 allowed on != NULL packet pointer (ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

623

__description("helper access to variable memory: size = 0 not allowed on NULL (!ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

639

__description("helper access to variable memory: size > 0 not allowed on NULL (!ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

655

__description("helper access to variable memory: size = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

67

__description("helper access to variable memory: stack, bitwise AND, zero included")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

672

__description("helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

697

__description("helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

724

__description("helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL)")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

750

__description("helper access to variable memory: 8 bytes leak")

tools/testing/selftests/bpf/progs/verifier_helper_access_var_len.c

796

__description("helper access to variable memory: 8 bytes no leak (init memory)")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

114

__description("helper access to packet: test5, packet_ptr with too short range")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

138

__description("helper access to packet: test6, cls valid packet_ptr range")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

16

__description("helper access to packet: test1, valid packet_ptr range")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

163

__description("helper access to packet: test7, cls unchecked packet_ptr")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

181

__description("helper access to packet: test8, cls variable add")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

211

__description("helper access to packet: test9, cls packet_ptr with bad range")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

236

__description("helper access to packet: test10, cls packet_ptr with too short range")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

260

__description("helper access to packet: test11, cls unsuitable helper 1")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

285

__description("helper access to packet: test12, cls unsuitable helper 2")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

308

__description("helper access to packet: test13, cls helper ok")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

335

__description("helper access to packet: test14, cls helper ok sub")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

362

__description("helper access to packet: test15, cls helper fail sub")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

389

__description("helper access to packet: test16, cls helper fail range 1")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

41

__description("helper access to packet: test2, unchecked packet_ptr")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

416

__description("helper access to packet: test17, cls helper fail range 2")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

443

__description("helper access to packet: test18, cls helper fail range 3")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

471

__description("helper access to packet: test19, cls helper range zero")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

498

__description("helper access to packet: test20, pkt end as input")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

525

__description("helper access to packet: test21, wrong reg")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

59

__description("helper access to packet: test3, variable add")

tools/testing/selftests/bpf/progs/verifier_helper_packet_access.c

89

__description("helper access to packet: test4, packet_ptr with bad range")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

100

__description("bpf_spin_lock is forbidden in BPF_PROG_TYPE_TRACEPOINT")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

123

__description("bpf_spin_lock is forbidden in BPF_PROG_TYPE_PERF_EVENT")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

146

__description("bpf_spin_lock is forbidden in BPF_PROG_TYPE_RAW_TRACEPOINT")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

21

__description("bpf_ktime_get_coarse_ns is forbidden in BPF_PROG_TYPE_KPROBE")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

35

__description("bpf_ktime_get_coarse_ns is forbidden in BPF_PROG_TYPE_TRACEPOINT")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

49

__description("bpf_ktime_get_coarse_ns is forbidden in BPF_PROG_TYPE_PERF_EVENT")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

63

__description("bpf_ktime_get_coarse_ns is forbidden in BPF_PROG_TYPE_RAW_TRACEPOINT")

tools/testing/selftests/bpf/progs/verifier_helper_restricted.c

77

__description("bpf_spin_lock is forbidden in BPF_PROG_TYPE_KPROBE")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1025

__description("map update helper access to map: wrong size")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1052

__description("map helper access to adjusted map (via const imm)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1077

__description("map helper access to adjusted map (via const imm): out-of-bound 1")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1102

__description("map helper access to adjusted map (via const imm): out-of-bound 2")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1126

__description("map helper access to adjusted map (via const reg)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1152

__description("map helper access to adjusted map (via const reg): out-of-bound 1")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1178

__description("map helper access to adjusted map (via const reg): out-of-bound 2")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1203

__description("map helper access to adjusted map (via variable)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1230

__description("map helper access to adjusted map (via variable): no max check")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

125

__description("helper access to map: possibly-empty ange")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

1256

__description("map helper access to adjusted map (via variable): wrong max check")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

154

__description("helper access to map: out-of-bound range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

180

__description("helper access to map: negative range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

205

__description("helper access to adjusted map (via const imm): full range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

233

__description("helper access to adjusted map (via const imm): partial range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

260

__description("helper access to adjusted map (via const imm): empty range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

286

__description("helper access to adjusted map (via const imm): out-of-bound range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

314

__description("helper access to adjusted map (via const imm): negative range (> adjustment)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

341

__description("helper access to adjusted map (via const imm): negative range (< adjustment)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

368

__description("helper access to adjusted map (via const reg): full range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

397

__description("helper access to adjusted map (via const reg): partial range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

42

__description("helper access to map: full range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

425

__description("helper access to adjusted map (via const reg): empty range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

451

__description("helper access to adjusted map (via const reg): out-of-bound range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

480

__description("helper access to adjusted map (via const reg): negative range (> adjustment)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

508

__description("helper access to adjusted map (via const reg): negative range (< adjustment)")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

536

__description("helper access to adjusted map (via variable): full range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

566

__description("helper access to adjusted map (via variable): partial range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

595

__description("helper access to adjusted map (via variable): empty range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

623

__description("helper access to adjusted map (via variable): no max check")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

650

__description("helper access to adjusted map (via variable): wrong max check")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

68

__description("helper access to map: partial range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

680

__description("helper access to map: bounds check using <, good access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

709

__description("helper access to map: bounds check using <, bad access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

738

__description("helper access to map: bounds check using <=, good access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

767

__description("helper access to map: bounds check using <=, bad access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

796

__description("helper access to map: bounds check using s<, good access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

826

__description("helper access to map: bounds check using s<, good access 2")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

856

__description("helper access to map: bounds check using s<, bad access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

886

__description("helper access to map: bounds check using s<=, good access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

916

__description("helper access to map: bounds check using s<=, good access 2")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

946

__description("helper access to map: bounds check using s<=, bad access")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

976

__description("map lookup helper access to map")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

98

__description("helper access to map: empty range")

tools/testing/selftests/bpf/progs/verifier_helper_value_access.c

999

__description("map update helper access to map")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

127

__description("arg pointer to long initialized")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

37

__description("arg pointer to long half-uninitialized")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

67

__description("arg pointer to long misaligned")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

9

__description("arg pointer to long uninitialized")

tools/testing/selftests/bpf/progs/verifier_int_ptr.c

98

__description("arg pointer to long size < sizeof(long)")

tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c

673

__description("check add const")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

101

__description("jne/jeq infer not null, PTR_TO_SOCKET_OR_NULL -> PTR_TO_SOCKET for JEQ true branch")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

139

__description("jne/jeq infer not null, PTR_TO_SOCKET_OR_NULL unchanged for JEQ false branch")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

175

__description("jne/jeq infer not null, PTR_TO_MAP_VALUE_OR_NULL -> PTR_TO_MAP_VALUE")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

29

__description("jne/jeq infer not null, PTR_TO_SOCKET_OR_NULL -> PTR_TO_SOCKET for JNE false branch")

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

65

__description("jne/jeq infer not null, PTR_TO_SOCKET_OR_NULL unchanged for JNE true branch")

tools/testing/selftests/bpf/progs/verifier_jit_convergence.c

20

__description("bpf_jit_convergence je <-> jmp")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

10

__description("ld_ind: check calling conv, r1")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

27

__description("ld_ind: check calling conv, r2")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

44

__description("ld_ind: check calling conv, r3")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

61

__description("ld_ind: check calling conv, r4")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

78

__description("ld_ind: check calling conv, r5")

tools/testing/selftests/bpf/progs/verifier_ld_ind.c

95

__description("ld_ind: check calling conv, r7")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

101

__description("LDSX, S16 range checking")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

128

__description("LDSX, S32 range checking")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

155

__description("LDSX, xdp s32 xdp_md->data")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

169

__description("LDSX, xdp s32 xdp_md->data_end")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

183

__description("LDSX, xdp s32 xdp_md->data_meta")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

197

__description("LDSX, tcx s32 __sk_buff->data")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

21

__description("LDSX, S8")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

211

__description("LDSX, tcx s32 __sk_buff->data_end")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

225

__description("LDSX, tcx s32 __sk_buff->data_meta")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

239

__description("LDSX, flow_dissector s32 __sk_buff->data")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

253

__description("LDSX, flow_dissector s32 __sk_buff->data_end")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

267

__description("Arena LDSX Disasm")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

316

__description("Arena LDSX Exception")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

337

__description("Arena LDSX, S8")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

368

__description("Arena LDSX, S16")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

38

__description("LDSX, S16")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

399

__description("Arena LDSX, S32")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

438

__description("cpuv4 is not supported by compiler or jit, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

55

__description("LDSX, S32")

tools/testing/selftests/bpf/progs/verifier_ldsx.c

73

__description("LDSX, S8 range checking, privileged")

tools/testing/selftests/bpf/progs/verifier_leak_ptr.c

16

__description("leak pointer into ctx 1")

tools/testing/selftests/bpf/progs/verifier_leak_ptr.c

34

__description("leak pointer into ctx 2")

tools/testing/selftests/bpf/progs/verifier_leak_ptr.c

50

__description("leak pointer into ctx 3")

tools/testing/selftests/bpf/progs/verifier_leak_ptr.c

67

__description("leak pointer into map val")

tools/testing/selftests/bpf/progs/verifier_linked_scalars.c

9

__description("scalars: find linked scalars")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

106

__description("load-acquire with non-pointer src_reg")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

12

__description("load-acquire, 8-bit")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

121

__description("misaligned load-acquire")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

138

__description("load-acquire from ctx pointer")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

152

__description("load-acquire from pkt pointer")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

174

__description("load-acquire from flow_keys pointer")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

191

__description("load-acquire from sock pointer")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

209

__description("load-acquire with invalid register R15")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

225

__description("Clang version < 18, ENABLE_ATOMICS_TESTS not defined, and/or JIT doesn't support load-acquire, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

32

__description("load-acquire, 16-bit")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

52

__description("load-acquire, 32-bit")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

72

__description("load-acquire, 64-bit")

tools/testing/selftests/bpf/progs/verifier_load_acquire.c

92

__description("load-acquire with uninitialized src_reg")

tools/testing/selftests/bpf/progs/verifier_loops1.c

108

__description("bounded loop that jumps out rather than in")

tools/testing/selftests/bpf/progs/verifier_loops1.c

125

__description("infinite loop after a conditional jump")

tools/testing/selftests/bpf/progs/verifier_loops1.c

139

__description("bounded recursion")

tools/testing/selftests/bpf/progs/verifier_loops1.c

166

__description("infinite loop in two jumps")

tools/testing/selftests/bpf/progs/verifier_loops1.c

179

__description("infinite loop: three-jump trick")

tools/testing/selftests/bpf/progs/verifier_loops1.c

201

__description("not-taken loop with back jump to 1st insn")

tools/testing/selftests/bpf/progs/verifier_loops1.c

213

__description("taken loop with back jump to 1st insn")

tools/testing/selftests/bpf/progs/verifier_loops1.c

22

__description("bounded loop, count to 20")

tools/testing/selftests/bpf/progs/verifier_loops1.c

238

__description("taken loop with back jump to 1st insn, 2")

tools/testing/selftests/bpf/progs/verifier_loops1.c

35

__description("bounded loop, count from positive unknown to 4")

tools/testing/selftests/bpf/progs/verifier_loops1.c

51

__description("bounded loop, count from totally unknown to 4")

tools/testing/selftests/bpf/progs/verifier_loops1.c

66

__description("bounded loop, count to 4 with equality")

tools/testing/selftests/bpf/progs/verifier_loops1.c

79

__description("bounded loop, start in the middle")

tools/testing/selftests/bpf/progs/verifier_loops1.c

9

__description("bounded loop, count to 4")

tools/testing/selftests/bpf/progs/verifier_loops1.c

94

__description("bounded loop containing a forward jump")

tools/testing/selftests/bpf/progs/verifier_lsm.c

110

__description("lsm bpf prog with void retval. test 1")

tools/testing/selftests/bpf/progs/verifier_lsm.c

121

__description("lsm bpf prog with void retval. test 2")

tools/testing/selftests/bpf/progs/verifier_lsm.c

131

__description("lsm disabled hook: getprocattr")

tools/testing/selftests/bpf/progs/verifier_lsm.c

142

__description("lsm disabled hook: setprocattr")

tools/testing/selftests/bpf/progs/verifier_lsm.c

153

__description("lsm disabled hook: ismaclabel")

tools/testing/selftests/bpf/progs/verifier_lsm.c

164

__description("not null checking nullable pointer in bpf_lsm_mmap_file")

tools/testing/selftests/bpf/progs/verifier_lsm.c

177

__description("null checking nullable pointer in bpf_lsm_mmap_file")

tools/testing/selftests/bpf/progs/verifier_lsm.c

20

__description("lsm bpf prog with -4095~0 retval. test 2")

tools/testing/selftests/bpf/progs/verifier_lsm.c

31

__description("lsm bpf prog with -4095~0 retval. test 4")

tools/testing/selftests/bpf/progs/verifier_lsm.c

42

__description("lsm bpf prog with -4095~0 retval. test 5")

tools/testing/selftests/bpf/progs/verifier_lsm.c

53

__description("lsm bpf prog with -4095~0 retval. test 6")

tools/testing/selftests/bpf/progs/verifier_lsm.c

64

__description("lsm bpf prog with bool retval. test 1")

tools/testing/selftests/bpf/progs/verifier_lsm.c

75

__description("lsm bpf prog with bool retval. test 2")

tools/testing/selftests/bpf/progs/verifier_lsm.c

87

__description("lsm bpf prog with bool retval. test 3")

tools/testing/selftests/bpf/progs/verifier_lsm.c

9

__description("lsm bpf prog with -4095~0 retval. test 1")

tools/testing/selftests/bpf/progs/verifier_lsm.c

98

__description("lsm bpf prog with bool retval. test 4")

tools/testing/selftests/bpf/progs/verifier_lwt.c

109

__description("direct packet read for LWT_XMIT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

129

__description("overlapping checks for direct packet access")

tools/testing/selftests/bpf/progs/verifier_lwt.c

152

__description("make headroom for LWT_XMIT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

174

__description("invalid access of tc_classid for LWT_IN")

tools/testing/selftests/bpf/progs/verifier_lwt.c

188

__description("invalid access of tc_classid for LWT_OUT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

202

__description("invalid access of tc_classid for LWT_XMIT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

216

__description("check skb->tc_classid half load not permitted for lwt prog")

tools/testing/selftests/bpf/progs/verifier_lwt.c

29

__description("invalid direct packet write for LWT_OUT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

49

__description("direct packet write for LWT_XMIT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

69

__description("direct packet read for LWT_IN")

tools/testing/selftests/bpf/progs/verifier_lwt.c

89

__description("direct packet read for LWT_OUT")

tools/testing/selftests/bpf/progs/verifier_lwt.c

9

__description("invalid direct packet write for LWT_IN")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

116

__description("forgot null checking on the inner map pointer")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

143

__description("map_ptr is never null")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

160

__description("map_ptr is never null inner")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

182

__description("map_ptr is never null inner spill fill")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

22

__description("map in map access")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

49

__description("map in map state pruning")

tools/testing/selftests/bpf/progs/verifier_map_in_map.c

87

__description("invalid inner map pointer")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

115

__description("bpf_map_ptr: r = 0, map_ptr = map_ptr + r")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

139

__description("bpf_map_ptr: r = 0, r = r + map_ptr")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

35

__description("bpf_map_ptr: read with negative offset rejected")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

53

__description("bpf_map_ptr: write rejected")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

77

__description("bpf_map_ptr: read non-existent field rejected")

tools/testing/selftests/bpf/progs/verifier_map_ptr.c

97

__description("bpf_map_ptr: read ops field accepted")

tools/testing/selftests/bpf/progs/verifier_map_ptr_mixing.c

120

__description("calls: two calls returning different map pointers for lookup (hash, array)")

tools/testing/selftests/bpf/progs/verifier_map_ptr_mixing.c

170

__description("calls: two calls returning different map pointers for lookup (hash, map in map)")

tools/testing/selftests/bpf/progs/verifier_map_ptr_mixing.c

220

__description("cond: two branches returning different map pointers for lookup (tail, tail)")

tools/testing/selftests/bpf/progs/verifier_map_ptr_mixing.c

244

__description("cond: two branches returning same map pointers for lookup (tail, tail)")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

17

__description("invalid map_fd for function call")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

38

__description("don't check return value before access")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

60

__description("access memory with incorrect alignment")

tools/testing/selftests/bpf/progs/verifier_map_ret_val.c

84

__description("sometimes access memory with incorrect alignment")

tools/testing/selftests/bpf/progs/verifier_masking.c

109

__description("masking, test out of bounds 6")

tools/testing/selftests/bpf/progs/verifier_masking.c

129

__description("masking, test out of bounds 7")

tools/testing/selftests/bpf/progs/verifier_masking.c

149

__description("masking, test out of bounds 8")

tools/testing/selftests/bpf/progs/verifier_masking.c

169

__description("masking, test out of bounds 9")

tools/testing/selftests/bpf/progs/verifier_masking.c

189

__description("masking, test out of bounds 10")

tools/testing/selftests/bpf/progs/verifier_masking.c

209

__description("masking, test out of bounds 11")

tools/testing/selftests/bpf/progs/verifier_masking.c

229

__description("masking, test out of bounds 12")

tools/testing/selftests/bpf/progs/verifier_masking.c

249

__description("masking, test in bounds 1")

tools/testing/selftests/bpf/progs/verifier_masking.c

269

__description("masking, test in bounds 2")

tools/testing/selftests/bpf/progs/verifier_masking.c

289

__description("masking, test in bounds 3")

tools/testing/selftests/bpf/progs/verifier_masking.c

29

__description("masking, test out of bounds 2")

tools/testing/selftests/bpf/progs/verifier_masking.c

309

__description("masking, test in bounds 4")

tools/testing/selftests/bpf/progs/verifier_masking.c

329

__description("masking, test in bounds 5")

tools/testing/selftests/bpf/progs/verifier_masking.c

349

__description("masking, test in bounds 6")

tools/testing/selftests/bpf/progs/verifier_masking.c

369

__description("masking, test in bounds 7")

tools/testing/selftests/bpf/progs/verifier_masking.c

390

__description("masking, test in bounds 8")

tools/testing/selftests/bpf/progs/verifier_masking.c

49

__description("masking, test out of bounds 3")

tools/testing/selftests/bpf/progs/verifier_masking.c

69

__description("masking, test out of bounds 4")

tools/testing/selftests/bpf/progs/verifier_masking.c

89

__description("masking, test out of bounds 5")

tools/testing/selftests/bpf/progs/verifier_masking.c

9

__description("masking, test out of bounds 1")

tools/testing/selftests/bpf/progs/verifier_may_goto_1.c

10

__description("may_goto 0")

tools/testing/selftests/bpf/progs/verifier_may_goto_1.c

30

__description("batch 2 of may_goto 0")

tools/testing/selftests/bpf/progs/verifier_may_goto_1.c

52

__description("may_goto batch with offsets 2/1/0")

tools/testing/selftests/bpf/progs/verifier_may_goto_1.c

78

__description("may_goto batch with offsets 2/0")

tools/testing/selftests/bpf/progs/verifier_may_goto_2.c

10

__description("C code with may_goto 0")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

116

__description("meta access, test6")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

138

__description("meta access, test7")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

160

__description("meta access, test8")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

180

__description("meta access, test9")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

201

__description("meta access, test10")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

231

__description("meta access, test11")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

259

__description("meta access, test12")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

29

__description("meta access, test2")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

51

__description("meta access, test3")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

71

__description("meta access, test4")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

9

__description("meta access, test1")

tools/testing/selftests/bpf/progs/verifier_meta_access.c

93

__description("meta access, test5")

tools/testing/selftests/bpf/progs/verifier_movsx.c

119

__description("MOV32SX, S16, range_check 2")

tools/testing/selftests/bpf/progs/verifier_movsx.c

14

__description("MOV32SX, S8")

tools/testing/selftests/bpf/progs/verifier_movsx.c

140

__description("MOV64SX, S8, range_check")

tools/testing/selftests/bpf/progs/verifier_movsx.c

162

__description("MOV64SX, S16, range_check")

tools/testing/selftests/bpf/progs/verifier_movsx.c

184

__description("MOV64SX, S32, range_check")

tools/testing/selftests/bpf/progs/verifier_movsx.c

206

__description("MOV64SX, S16, R10 Sign Extension")

tools/testing/selftests/bpf/progs/verifier_movsx.c

228

__description("MOV32SX, S8, var_off u32_max")

tools/testing/selftests/bpf/progs/verifier_movsx.c

246

__description("MOV32SX, S8, var_off not u32_max, positive after s8 extension")

tools/testing/selftests/bpf/progs/verifier_movsx.c

26

__description("MOV32SX, S16")

tools/testing/selftests/bpf/progs/verifier_movsx.c

274

__description("MOV32SX, S8, var_off not u32_max, negative after s8 extension")

tools/testing/selftests/bpf/progs/verifier_movsx.c

303

__description("MOV64SX, S8, unsigned range_check")

tools/testing/selftests/bpf/progs/verifier_movsx.c

323

__description("MOV32SX, S8, unsigned range_check")

tools/testing/selftests/bpf/progs/verifier_movsx.c

345

__description("cpuv4 is not supported by compiler or jit, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_movsx.c

38

__description("MOV64SX, S8")

tools/testing/selftests/bpf/progs/verifier_movsx.c

50

__description("MOV64SX, S16")

tools/testing/selftests/bpf/progs/verifier_movsx.c

62

__description("MOV64SX, S32")

tools/testing/selftests/bpf/progs/verifier_movsx.c

75

__description("MOV32SX, S8, range_check")

tools/testing/selftests/bpf/progs/verifier_movsx.c

97

__description("MOV32SX, S16, range_check")

tools/testing/selftests/bpf/progs/verifier_mtu.c

8

__description("uninit/mtu: write rejected")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

12

__description("netfilter invalid context access, size too short")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

26

__description("netfilter invalid context access, size too short")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

40

__description("netfilter invalid context access, past end of ctx")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

54

__description("netfilter invalid context, write")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

72

__description("netfilter valid context read and invalid write")

tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c

83

__description("netfilter test prog with skb and state read access")

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

19

__description("bpf_exit with valid return code. test2")

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

30

__description("bpf_exit with valid return code. test3")

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

41

__description("bpf_exit with invalid return code. test4")

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

8

__description("bpf_exit with invalid return code. test1")

tools/testing/selftests/bpf/progs/verifier_or_jmp32_k.c

8

__description("or_jmp32_k: bit ops + branch on unknown value")

tools/testing/selftests/bpf/progs/verifier_prevent_map_lookup.c

23

__description("prevent map lookup in stack trace")

tools/testing/selftests/bpf/progs/verifier_prevent_map_lookup.c

42

__description("prevent map lookup in prog array")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

141

__description("Private stack, callback")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

197

__description("Private stack, exception in main prog")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

243

__description("Private stack, exception in subprog")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

26

__description("Private stack, single prog")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

300

__description("Private stack, async callback, not nested")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

325

__description("Private stack, async callback, potential nesting")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

350

__description("private stack is not supported, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

56

__description("No private stack")

tools/testing/selftests/bpf/progs/verifier_private_stack.c

87

__description("Private stack, subtree > MAX_BPF_STACK")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

104

__description("raw_stack: skb_load_bytes, init")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

125

__description("raw_stack: skb_load_bytes, spilled regs around bounds")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

152

__description("raw_stack: skb_load_bytes, spilled regs corruption")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

175

__description("raw_stack: skb_load_bytes, spilled regs corruption 2")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

208

__description("raw_stack: skb_load_bytes, spilled regs + data")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

238

__description("raw_stack: skb_load_bytes, invalid access 1")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

257

__description("raw_stack: skb_load_bytes, invalid access 2")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

27

__description("raw_stack: skb_load_bytes, negative len")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

276

__description("raw_stack: skb_load_bytes, invalid access 3")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

295

__description("raw_stack: skb_load_bytes, invalid access 4")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

315

__description("raw_stack: skb_load_bytes, invalid access 5")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

335

__description("raw_stack: skb_load_bytes, invalid access 6")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

354

__description("raw_stack: skb_load_bytes, large access")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

46

__description("raw_stack: skb_load_bytes, negative len 2")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

66

__description("raw_stack: skb_load_bytes, zero len")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

85

__description("raw_stack: skb_load_bytes, no init")

tools/testing/selftests/bpf/progs/verifier_raw_stack.c

9

__description("raw_stack: no skb_load_bytes")

tools/testing/selftests/bpf/progs/verifier_raw_tp_writable.c

16

__description("raw_tracepoint_writable: reject variable offset")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1017

__description("reference tracking: access member")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1037

__description("reference tracking: write to member")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1061

__description("reference tracking: invalid 64-bit access of member")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1081

__description("reference tracking: access after release")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1100

__description("reference tracking: direct access for lookup")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

111

__description("reference tracking: leak potential reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1132

__description("reference tracking: use ptr from bpf_tcp_sock() after release")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1163

__description("reference tracking: use ptr from bpf_sk_fullsock() after release")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1194

__description("reference tracking: use ptr from bpf_sk_fullsock(tp) after release")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1230

__description("reference tracking: use sk after bpf_sk_release(tp)")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

126

__description("reference tracking: leak potential reference to sock_common")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1260

__description("reference tracking: use ptr from bpf_get_listener_sock() after bpf_sk_release(sk)")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1290

__description("reference tracking: bpf_sk_release(listen_sk)")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1322

__description("reference tracking: tp->snd_cwnd after bpf_sk_fullsock(sk) and bpf_tcp_sock(sk)")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1356

__description("reference tracking: branch tracking valid pointer null comparison")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1378

__description("reference tracking: branch tracking valid pointer value comparison")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1400

__description("reference tracking: bpf_sk_release(btf_tcp_sock)")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

141

__description("reference tracking: leak potential reference on stack")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1428

__description("reference tracking: use ptr from bpf_skc_to_tcp_sock() after release")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

1457

__description("reference tracking: try to leak released ptr reg")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

159

__description("reference tracking: leak potential reference on stack 2")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

179

__description("reference tracking: zero potential reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

194

__description("reference tracking: zero potential reference to sock_common")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

209

__description("reference tracking: copy and zero potential references")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

226

__description("reference tracking: acquire/release user key reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

246

__description("reference tracking: acquire/release system key reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

265

__description("reference tracking: release user key reference without check")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

284

__description("reference tracking: release system key reference without check")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

302

__description("reference tracking: release with NULL key pointer")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

317

__description("reference tracking: leak potential reference to user key")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

332

__description("reference tracking: leak potential reference to system key")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

346

__description("reference tracking: release reference without check")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

365

__description("reference tracking: release reference to sock_common without check")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

384

__description("reference tracking: release reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

402

__description("reference tracking: release reference to sock_common")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

420

__description("reference tracking: release reference 2")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

439

__description("reference tracking: release reference twice")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

460

__description("reference tracking: release reference twice inside branch")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

481

__description("reference tracking: alloc, check, free in one subbranch")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

514

__description("reference tracking: alloc, check, free in both subbranches")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

548

__description("reference tracking in call: free reference in subprog")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

579

__description("reference tracking in call: free reference in subprog and outside")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

613

__description("reference tracking in call: alloc & leak reference in subprog")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

645

__description("reference tracking in call: alloc in subprog, release outside")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

675

__description("reference tracking in call: sk_ptr leak into caller stack")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

720

__description("reference tracking in call: sk_ptr spill into caller stack")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

771

__description("reference tracking: allow LD_ABS")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

793

__description("reference tracking: forbid LD_ABS while holding reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

815

__description("reference tracking: allow LD_IND")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

838

__description("reference tracking: forbid LD_IND while holding reference")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

862

__description("reference tracking: check reference or tail call")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

891

__description("reference tracking: release reference then tail call")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

919

__description("reference tracking: leak possible reference over tail call")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

949

__description("reference tracking: leak checked reference over tail call")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

979

__description("reference tracking: mangle and release sock_or_null")

tools/testing/selftests/bpf/progs/verifier_ref_tracking.c

998

__description("reference tracking: mangle and release sock")

tools/testing/selftests/bpf/progs/verifier_reg_equal.c

34

__description("check w reg not equal if r reg upper32 bits not 0")

tools/testing/selftests/bpf/progs/verifier_reg_equal.c

8

__description("check w reg equal if r reg upper32 bits 0")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

114

__description("regalloc src_reg negative")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

146

__description("regalloc and spill")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

181

__description("regalloc and spill negative")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

217

__description("regalloc three regs")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

23

__description("regalloc basic")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

249

__description("regalloc after call")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

290

__description("regalloc in callee")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

333

__description("regalloc, spill, JEQ")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

53

__description("regalloc negative")

tools/testing/selftests/bpf/progs/verifier_regalloc.c

83

__description("regalloc src_reg mark")

tools/testing/selftests/bpf/progs/verifier_ringbuf.c

14

__description("ringbuf: invalid reservation offset 1")

tools/testing/selftests/bpf/progs/verifier_ringbuf.c

54

__description("ringbuf: invalid reservation offset 2")

tools/testing/selftests/bpf/progs/verifier_ringbuf.c

94

__description("ringbuf: check passing rb mem to helpers")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

103

__description("runtime/jit: tail_call within bounds, prog loop")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

120

__description("runtime/jit: tail_call within bounds, no prog")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

137

__description("runtime/jit: tail_call within bounds, key 2")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

154

__description("runtime/jit: tail_call within bounds, key 2 / key 2, first branch")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

179

__description("runtime/jit: tail_call within bounds, key 2 / key 2, second branch")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

204

__description("runtime/jit: tail_call within bounds, key 0 / key 2, first branch")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

229

__description("runtime/jit: tail_call within bounds, key 0 / key 2, second branch")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

254

__description("runtime/jit: tail_call within bounds, different maps, first branch")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

281

__description("runtime/jit: tail_call within bounds, different maps, second branch")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

308

__description("runtime/jit: tail_call out of bounds")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

325

__description("runtime/jit: pass negative index to tail_call")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

342

__description("runtime/jit: pass > 32bit index to tail_call")

tools/testing/selftests/bpf/progs/verifier_runtime_jit.c

86

__description("runtime/jit: tail_call within bounds, prog once")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1001

__description("SMOD64, overflow r/r, LLONG_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1031

__description("SMOD64, r/r, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1061

__description("SMOD64, overflow r/i, LLONG_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1083

__description("SMOD64, r/i, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1105

__description("SMOD32, overflow r/r, INT_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

111

__description("SDIV32, non-zero reg divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1137

__description("SMOD32, r/r, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1169

__description("SMOD32, overflow r/i, INT_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1191

__description("SMOD32, r/i, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1213

__description("SDIV32, INT_MIN divided by 2, imm")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1227

__description("SDIV32, INT_MIN divided by 2, reg")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

124

__description("SDIV32, non-zero reg divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1242

__description("SMOD32, INT_MIN modulo 2, imm")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1256

__description("SMOD32, INT_MIN modulo -2, imm")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

1273

__description("cpuv4 is not supported by compiler or jit, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

137

__description("SDIV32, non-zero reg divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

15

__description("SDIV32, non-zero imm divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

150

__description("SDIV32, non-zero reg divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

163

__description("SDIV32, non-zero reg divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

176

__description("SDIV32, non-zero reg divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

189

__description("SDIV32, non-zero reg divisor, check 7")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

202

__description("SDIV32, non-zero reg divisor, check 8")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

215

__description("SDIV64, non-zero imm divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

227

__description("SDIV64, non-zero imm divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

239

__description("SDIV64, non-zero imm divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

251

__description("SDIV64, non-zero imm divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

263

__description("SDIV64, non-zero imm divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

27

__description("SDIV32, non-zero imm divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

275

__description("SDIV64, non-zero imm divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

287

__description("SDIV64, non-zero reg divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

300

__description("SDIV64, non-zero reg divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

313

__description("SDIV64, non-zero reg divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

326

__description("SDIV64, non-zero reg divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

339

__description("SDIV64, non-zero reg divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

352

__description("SDIV64, non-zero reg divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

365

__description("SMOD32, non-zero imm divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

377

__description("SMOD32, non-zero imm divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

389

__description("SMOD32, non-zero imm divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

39

__description("SDIV32, non-zero imm divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

401

__description("SMOD32, non-zero imm divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

413

__description("SMOD32, non-zero imm divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

425

__description("SMOD32, non-zero imm divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

437

__description("SMOD32, non-zero reg divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

450

__description("SMOD32, non-zero reg divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

463

__description("SMOD32, non-zero reg divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

476

__description("SMOD32, non-zero reg divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

489

__description("SMOD32, non-zero reg divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

502

__description("SMOD32, non-zero reg divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

51

__description("SDIV32, non-zero imm divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

515

__description("SMOD64, non-zero imm divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

527

__description("SMOD64, non-zero imm divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

539

__description("SMOD64, non-zero imm divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

551

__description("SMOD64, non-zero imm divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

563

__description("SMOD64, non-zero imm divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

575

__description("SMOD64, non-zero imm divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

587

__description("SMOD64, non-zero imm divisor, check 7")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

599

__description("SMOD64, non-zero imm divisor, check 8")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

611

__description("SMOD64, non-zero reg divisor, check 1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

624

__description("SMOD64, non-zero reg divisor, check 2")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

63

__description("SDIV32, non-zero imm divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

637

__description("SMOD64, non-zero reg divisor, check 3")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

650

__description("SMOD64, non-zero reg divisor, check 4")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

663

__description("SMOD64, non-zero reg divisor, check 5")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

676

__description("SMOD64, non-zero reg divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

689

__description("SMOD64, non-zero reg divisor, check 7")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

702

__description("SMOD64, non-zero reg divisor, check 8")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

715

__description("SDIV32, zero divisor")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

730

__description("SDIV64, zero divisor")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

745

__description("SMOD32, zero divisor")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

75

__description("SDIV32, non-zero imm divisor, check 6")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

760

__description("SMOD64, zero divisor")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

775

__description("SDIV64, overflow r/r, LLONG_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

810

__description("SDIV64, r/r, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

839

__description("SDIV64, overflow r/i, LLONG_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

865

__description("SDIV64, r/i, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

87

__description("SDIV32, non-zero imm divisor, check 7")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

887

__description("SDIV32, overflow r/r, INT_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

922

__description("SDIV32, r/r, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

953

__description("SDIV32, overflow r/i, INT_MIN/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

979

__description("SDIV32, r/i, small_val/-1")

tools/testing/selftests/bpf/progs/verifier_sdiv.c

99

__description("SDIV32, non-zero imm divisor, check 8")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

130

__description("search pruning: all branches should be verified (nop operation)")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

163

__description("search pruning: all branches should be verified (invalid stack access)")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

195

__description("precision tracking for u32 spill/fill")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

234

__description("precision tracking for u32 spills, u64 fill")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

274

__description("allocated_stack")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

31

__description("pointer/scalar confusion in state equality check (way 1)")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

311

__description("write tracking and register parent chain bug")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

56

__description("pointer/scalar confusion in state equality check (way 2)")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

80

__description("liveness pruning and write screening")

tools/testing/selftests/bpf/progs/verifier_search_pruning.c

97

__description("varlen_map_value_access pruning")

tools/testing/selftests/bpf/progs/verifier_sock.c

1014

__description("sk->src_ip4 [load src_ip4]")

tools/testing/selftests/bpf/progs/verifier_sock.c

1029

__description("sk->src_port [word load]")

tools/testing/selftests/bpf/progs/verifier_sock.c

112

__description("bpf_sk_fullsock(skb->sk): no !skb->sk check")

tools/testing/selftests/bpf/progs/verifier_sock.c

129

__description("sk_fullsock(skb->sk): no NULL check on ret")

tools/testing/selftests/bpf/progs/verifier_sock.c

151

__description("sk_fullsock(skb->sk): sk->type [fullsock field]")

tools/testing/selftests/bpf/progs/verifier_sock.c

175

__description("sk_fullsock(skb->sk): sk->family [non fullsock field]")

tools/testing/selftests/bpf/progs/verifier_sock.c

198

__description("sk_fullsock(skb->sk): sk->state [narrow load]")

tools/testing/selftests/bpf/progs/verifier_sock.c

222

__description("sk_fullsock(skb->sk): sk->dst_port [word load] (backward compatibility)")

tools/testing/selftests/bpf/progs/verifier_sock.c

246

__description("sk_fullsock(skb->sk): sk->dst_port [half load]")

tools/testing/selftests/bpf/progs/verifier_sock.c

270

__description("sk_fullsock(skb->sk): sk->dst_port [half load] (invalid)")

tools/testing/selftests/bpf/progs/verifier_sock.c

295

__description("sk_fullsock(skb->sk): sk->dst_port [byte load]")

tools/testing/selftests/bpf/progs/verifier_sock.c

321

__description("sk_fullsock(skb->sk): sk->dst_port [byte load] (invalid)")

tools/testing/selftests/bpf/progs/verifier_sock.c

346

__description("sk_fullsock(skb->sk): past sk->dst_port [half load] (invalid)")

tools/testing/selftests/bpf/progs/verifier_sock.c

371

__description("sk_fullsock(skb->sk): sk->dst_ip6 [load 2nd byte]")

tools/testing/selftests/bpf/progs/verifier_sock.c

395

__description("sk_fullsock(skb->sk): sk->type [narrow load]")

tools/testing/selftests/bpf/progs/verifier_sock.c

419

__description("sk_fullsock(skb->sk): sk->protocol [narrow load]")

tools/testing/selftests/bpf/progs/verifier_sock.c

443

__description("sk_fullsock(skb->sk): beyond last field")

tools/testing/selftests/bpf/progs/verifier_sock.c

468

__description("bpf_tcp_sock(skb->sk): no !skb->sk check")

tools/testing/selftests/bpf/progs/verifier_sock.c

485

__description("bpf_tcp_sock(skb->sk): no NULL check on ret")

tools/testing/selftests/bpf/progs/verifier_sock.c

507

__description("bpf_tcp_sock(skb->sk): tp->snd_cwnd")

tools/testing/selftests/bpf/progs/verifier_sock.c

530

__description("bpf_tcp_sock(skb->sk): tp->bytes_acked")

tools/testing/selftests/bpf/progs/verifier_sock.c

553

__description("bpf_tcp_sock(skb->sk): beyond last field")

tools/testing/selftests/bpf/progs/verifier_sock.c

57

__description("skb->sk: no NULL check")

tools/testing/selftests/bpf/progs/verifier_sock.c

577

__description("bpf_tcp_sock(bpf_sk_fullsock(skb->sk)): tp->snd_cwnd")

tools/testing/selftests/bpf/progs/verifier_sock.c

605

__description("bpf_sk_release(skb->sk)")

tools/testing/selftests/bpf/progs/verifier_sock.c

622

__description("bpf_sk_release(bpf_sk_fullsock(skb->sk))")

tools/testing/selftests/bpf/progs/verifier_sock.c

646

__description("bpf_sk_release(bpf_tcp_sock(skb->sk))")

tools/testing/selftests/bpf/progs/verifier_sock.c

670

__description("sk_storage_get(map, skb->sk, NULL, 0): value == NULL")

tools/testing/selftests/bpf/progs/verifier_sock.c

699

__description("sk_storage_get(map, skb->sk, 1, 1): value == 1")

tools/testing/selftests/bpf/progs/verifier_sock.c

728

__description("sk_storage_get(map, skb->sk, &stack_value, 1): stack_value")

tools/testing/selftests/bpf/progs/verifier_sock.c

73

__description("skb->sk: sk->family [non fullsock field]")

tools/testing/selftests/bpf/progs/verifier_sock.c

760

__description("bpf_map_lookup_elem(smap, &key)")

tools/testing/selftests/bpf/progs/verifier_sock.c

780

__description("bpf_map_lookup_elem(xskmap, &key); xs->queue_id")

tools/testing/selftests/bpf/progs/verifier_sock.c

804

__description("bpf_map_lookup_elem(sockmap, &key)")

tools/testing/selftests/bpf/progs/verifier_sock.c

824

__description("bpf_map_lookup_elem(sockhash, &key)")

tools/testing/selftests/bpf/progs/verifier_sock.c

844

__description("bpf_map_lookup_elem(sockmap, &key); sk->type [fullsock field]; bpf_sk_release(sk)")

tools/testing/selftests/bpf/progs/verifier_sock.c

870

__description("bpf_map_lookup_elem(sockhash, &key); sk->type [fullsock field]; bpf_sk_release(sk)")

tools/testing/selftests/bpf/progs/verifier_sock.c

896

__description("bpf_sk_select_reuseport(ctx, reuseport_array, &key, flags)")

tools/testing/selftests/bpf/progs/verifier_sock.c

916

__description("bpf_sk_select_reuseport(ctx, sockmap, &key, flags)")

tools/testing/selftests/bpf/progs/verifier_sock.c

92

__description("skb->sk: sk->type [fullsock field]")

tools/testing/selftests/bpf/progs/verifier_sock.c

936

__description("bpf_sk_select_reuseport(ctx, sockhash, &key, flags)")

tools/testing/selftests/bpf/progs/verifier_sock.c

956

__description("mark null check on return value of bpf_skc_to helpers")

tools/testing/selftests/bpf/progs/verifier_sock.c

984

__description("sk->src_ip6[0] [load 1st byte]")

tools/testing/selftests/bpf/progs/verifier_sock.c

999

__description("sk->mark [load mark]")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1014

__description("32-bit fill after 64-bit spill of 32-bit value should preserve ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1050

__description("32-bit fill after 64-bit spill should clear ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

122

__description("check corrupted spill/fill")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1248

__description("stack_noperfmon: reject read of invalid slots")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

1266

__description("stack_noperfmon: narrow spill onto 64-bit scalar spilled slots")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

145

__description("check corrupted spill/fill, LSB")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

15

__description("check valid spill/fill")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

160

__description("check corrupted spill/fill, MSB")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

175

__description("Spill and refill a u32 const scalar. Offset to skb->data")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

201

__description("Spill a u32 const, refill from another half of the uninit u32 from the stack")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

219

__description("Spill a u32 const scalar. Refill as u16. Offset to skb->data")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

251

__description("Spill u32 const scalars. Refill as u64. Offset to skb->data")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

277

__description("Spill a u32 const scalar. Refill as u16 from MSB. Offset to skb->data")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

309

__description("Spill and refill a u32 const scalar at non 8byte aligned stack addr. Offset to skb->data")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

33

__description("check valid spill/fill, skb mark")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

336

__description("Spill and refill a umax=40 bounded scalar. Offset to skb->data")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

371

__description("Spill a u32 scalar at fp-4 and then at fp-8")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

386

__description("32-bit spill of 64-bit reg should clear ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

426

__description("16-bit spill of 32-bit reg should clear ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

49

__description("check valid spill/fill, ptr to mem")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

792

__description("32-bit spilled reg range should be tracked")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

823

__description("64-bit spill of 64-bit reg should assign ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

857

__description("32-bit spill of 32-bit reg should assign ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

86

__description("check with invalid reg offset 0")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

890

__description("16-bit spill of 16-bit reg should assign ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

923

__description("8-bit spill of 8-bit reg should assign ID")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

956

__description("spill unbounded reg, then range check src")

tools/testing/selftests/bpf/progs/verifier_spill_fill.c

983

__description("32-bit fill after 64-bit spill")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

121

__description("spin_lock: test4 direct ld/st")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

155

__description("spin_lock: test5 call within a locked region")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

189

__description("spin_lock: test6 missing unlock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

21

__description("spin_lock: test1 success")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

223

__description("spin_lock: test7 unlock without lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

257

__description("spin_lock: test8 double lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

293

__description("spin_lock: test9 different lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

332

__description("spin_lock: test10 lock in subprog without unlock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

375

__description("spin_lock: test11 ld_abs under lock")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

408

__description("spin_lock: regsafe compare reg->id for map value")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

471

__description("spin_lock: regsafe() check_ids() similar id mappings")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

534

__description("spin_lock: loop within a locked region")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

54

__description("spin_lock: test2 direct ld/st")

tools/testing/selftests/bpf/progs/verifier_spin_lock.c

87

__description("spin_lock: test3 direct ld/st")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

103

__description("PTR_TO_STACK check high 1")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

118

__description("PTR_TO_STACK check high 2")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

132

__description("PTR_TO_STACK check high 3")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

149

__description("PTR_TO_STACK check high 4")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

165

__description("PTR_TO_STACK check high 5")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

183

__description("PTR_TO_STACK check high 6")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

202

__description("PTR_TO_STACK check high 7")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

222

__description("PTR_TO_STACK check low 1")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

237

__description("PTR_TO_STACK check low 2")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

24

__description("PTR_TO_STACK store/load")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

254

__description("PTR_TO_STACK check low 3")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

270

__description("PTR_TO_STACK check low 4")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

288

__description("PTR_TO_STACK check low 5")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

306

__description("PTR_TO_STACK check low 6")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

325

__description("PTR_TO_STACK check low 7")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

345

__description("PTR_TO_STACK mixed reg/k, 1")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

362

__description("PTR_TO_STACK mixed reg/k, 2")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

384

__description("PTR_TO_STACK mixed reg/k, 3")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

39

__description("PTR_TO_STACK store/load - bad alignment on off")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

401

__description("PTR_TO_STACK reg")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

417

__description("stack pointer arithmetic")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

441

__description("store PTR_TO_STACK in R10 to array map using BPF_B")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

485

__description("PTR_TO_STACK stack size > 512")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

500

__description("PTR_TO_STACK stack size 512 with may_goto with jit")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

518

__description("PTR_TO_STACK stack size 512 with may_goto without jit")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

55

__description("PTR_TO_STACK store/load - bad alignment on reg")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

71

__description("PTR_TO_STACK store/load - out of bounds low")

tools/testing/selftests/bpf/progs/verifier_stack_ptr.c

87

__description("PTR_TO_STACK store/load - out of bounds high")

tools/testing/selftests/bpf/progs/verifier_store_release.c

106

__description("store-release with uninitialized dst_reg")

tools/testing/selftests/bpf/progs/verifier_store_release.c

12

__description("store-release, 8-bit")

tools/testing/selftests/bpf/progs/verifier_store_release.c

121

__description("store-release with non-pointer dst_reg")

tools/testing/selftests/bpf/progs/verifier_store_release.c

136

__description("misaligned store-release")

tools/testing/selftests/bpf/progs/verifier_store_release.c

152

__description("store-release to ctx pointer")

tools/testing/selftests/bpf/progs/verifier_store_release.c

169

__description("store-release to pkt pointer")

tools/testing/selftests/bpf/progs/verifier_store_release.c

192

__description("store-release to flow_keys pointer")

tools/testing/selftests/bpf/progs/verifier_store_release.c

210

__description("store-release to sock pointer")

tools/testing/selftests/bpf/progs/verifier_store_release.c

227

__description("store-release, leak pointer to stack")

tools/testing/selftests/bpf/progs/verifier_store_release.c

249

__description("store-release, leak pointer to map")

tools/testing/selftests/bpf/progs/verifier_store_release.c

276

__description("store-release with invalid register R15")

tools/testing/selftests/bpf/progs/verifier_store_release.c

292

__description("Clang version < 18, ENABLE_ATOMICS_TESTS not defined, and/or JIT doesn't support store-release, use a dummy test")

tools/testing/selftests/bpf/progs/verifier_store_release.c

32

__description("store-release, 16-bit")

tools/testing/selftests/bpf/progs/verifier_store_release.c

52

__description("store-release, 32-bit")

tools/testing/selftests/bpf/progs/verifier_store_release.c

72

__description("store-release, 64-bit")

tools/testing/selftests/bpf/progs/verifier_store_release.c

92

__description("store-release with uninitialized src_reg")

tools/testing/selftests/bpf/progs/verifier_subreg.c

110

__description("mul32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

127

__description("mul32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

151

__description("div32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

168

__description("div32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

192

__description("or32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

209

__description("or32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

22

__description("add32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

233

__description("and32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

251

__description("and32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

275

__description("lsh32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

293

__description("lsh32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

317

__description("rsh32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

335

__description("rsh32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

359

__description("neg32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

376

__description("mod32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

39

__description("add32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

393

__description("mod32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

417

__description("xor32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

434

__description("xor32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

451

__description("mov32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

469

__description("mov32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

493

__description("arsh32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

511

__description("arsh32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

535

__description("arsh32 imm sign positive extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

557

__description("arsh32 imm sign negative extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

580

__description("arsh32 imm sign extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

603

__description("end16 (to_le) reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

622

__description("end32 (to_le) reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

641

__description("end16 (to_be) reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

660

__description("end32 (to_be) reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

679

__description("ldx_b zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

69

__description("sub32 reg zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

700

__description("ldx_h zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

721

__description("ldx_w zero extend check")

tools/testing/selftests/bpf/progs/verifier_subreg.c

86

__description("sub32 imm zero extend check")

tools/testing/selftests/bpf/progs/verifier_tailcall.c

15

__description("invalid map type for tail call")

tools/testing/selftests/bpf/progs/verifier_typedef.c

8

__description("typedef: resolve")

tools/testing/selftests/bpf/progs/verifier_uninit.c

10

__description("read uninitialized register")

tools/testing/selftests/bpf/progs/verifier_uninit.c

22

__description("read invalid register")

tools/testing/selftests/bpf/progs/verifier_uninit.c

36

__description("program doesn't init R0 before exit")

tools/testing/selftests/bpf/progs/verifier_uninit.c

48

__description("program doesn't init R0 before exit in all branches")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

105

__description("unpriv: add pointer to pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

118

__description("unpriv: neg pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

131

__description("unpriv: cmp pointer with const")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

144

__description("unpriv: cmp pointer with pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

157

__description("unpriv: check that printk is disallowed")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

177

__description("unpriv: pass pointer to helper function")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

200

__description("unpriv: indirectly pass pointer on stack to helper function")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

221

__description("unpriv: mangle pointer on stack 1")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

236

__description("unpriv: mangle pointer on stack 2")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

251

__description("unpriv: read pointer from stack in small chunks")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

265

__description("unpriv: write pointer into ctx")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

278

__description("unpriv: spill/fill of ctx")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

293

__description("unpriv: spill/fill of ctx 2")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

311

__description("unpriv: spill/fill of ctx 3")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

329

__description("unpriv: spill/fill of ctx 4")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

348

__description("unpriv: spill/fill of different pointers stx")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

375

__description("unpriv: spill/fill of different pointers st")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

400

__description("unpriv: spill/fill of different pointers stx - ctx and sock")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

439

__description("unpriv: spill/fill of different pointers stx - leak sock")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

475

__description("unpriv: spill/fill of different pointers stx - sock and ctx (read)")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

512

__description("unpriv: spill/fill of different pointers stx - sock and ctx (write)")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

552

__description("unpriv: write pointer into map elem value")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

574

__description("alu32: mov u32 const")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

596

__description("unpriv: partial copy of pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

609

__description("unpriv: pass pointer to tail_call")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

627

__description("unpriv: cmp map pointer with zero")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

643

__description("unpriv: cmp map pointer with const")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

659

__description("unpriv: write into frame pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

672

__description("unpriv: spill/fill frame pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

688

__description("unpriv: cmp of frame pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

701

__description("unpriv: adding of fp, reg")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

717

__description("unpriv: adding of fp, imm")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

733

__description("unpriv: cmp of stack pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

748

__description("unpriv: Spectre v1 path-based type confusion of scalar as stack-ptr")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

805

__description("unpriv: ldimm64 before Spectre v4 barrier")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

81

__description("unpriv: return pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

824

__description("unpriv: Spectre v1 and v4 barrier")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

879

__description("unpriv: Spectre v1 and v4 barrier (simple)")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

915

__description("unpriv: ldimm64 before Spectre v1 and v4 barrier (simple)")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

93

__description("unpriv: add const to pointer")

tools/testing/selftests/bpf/progs/verifier_unpriv.c

954

__description("unpriv: nospec after dead stack write in helper")

tools/testing/selftests/bpf/progs/verifier_unpriv_perf.c

9

__description("unpriv: spill/fill of different pointers ldx")

tools/testing/selftests/bpf/progs/verifier_value.c

128

__description("map element value is preserved across register spilling")

tools/testing/selftests/bpf/progs/verifier_value.c

23

__description("map element value store of cleared call register")

tools/testing/selftests/bpf/progs/verifier_value.c

45

__description("map element value with unaligned store")

tools/testing/selftests/bpf/progs/verifier_value.c

95

__description("map element value with unaligned load")

tools/testing/selftests/bpf/progs/verifier_value_adj_spill.c

23

__description("map element value is preserved across register spilling")

tools/testing/selftests/bpf/progs/verifier_value_adj_spill.c

52

__description("map element value or null is marked on register spilling")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

121

__description("map element value illegal alu op, 5")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

151

__description("map_ptr illegal alu op, map_ptr = -map_ptr")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

169

__description("flow_keys illegal alu op with variable offset")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

24

__description("map element value illegal alu op, 1")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

48

__description("map element value illegal alu op, 2")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

72

__description("map element value illegal alu op, 3")

tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c

96

__description("map element value illegal alu op, 4")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

102

__description("alu ops on ptr_to_map_value_or_null, 3")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

126

__description("invalid memory access with multiple map_lookup_elem calls")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

154

__description("valid indirect map_lookup_elem access with 2nd lookup in branch")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

184

__description("invalid map access from else condition")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

215

__description("map lookup and null branch prediction")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

238

__description("MAP_VALUE_OR_NULL check_ids() in regsafe()")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

30

__description("multiple registers share map_lookup_elem result")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

53

__description("alu ops on ptr_to_map_value_or_null, 1")

tools/testing/selftests/bpf/progs/verifier_value_or_null.c

78

__description("alu ops on ptr_to_map_value_or_null, 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1021

__description("map access: unknown scalar += value_ptr, 3")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1051

__description("map access: unknown scalar += value_ptr, 4")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1079

__description("map access: value_ptr += unknown scalar, 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1104

__description("map access: value_ptr += unknown scalar, 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1128

__description("map access: value_ptr += unknown scalar, 3")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1160

__description("map access: value_ptr += value_ptr")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1184

__description("map access: known scalar -= value_ptr")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

119

__description("map access: known scalar += value_ptr const vs const (ne)")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1209

__description("map access: value_ptr -= known scalar")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1234

__description("map access: value_ptr -= known scalar, 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1260

__description("map access: unknown scalar -= value_ptr")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1286

__description("map access: value_ptr -= unknown scalar")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1312

__description("map access: value_ptr -= unknown scalar, 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1347

__description("map access: value_ptr -= value_ptr")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1371

__description("map access: trying to leak tainted dst reg")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1400

__description("32bit pkt_ptr -= scalar")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

1421

__description("32bit scalar -= pkt_ptr")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

155

__description("map access: known scalar += value_ptr const vs const (eq)")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

189

__description("map access: known scalar += value_ptr unknown vs unknown (eq)")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

227

__description("map access: known scalar += value_ptr unknown vs unknown (lt)")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

272

__description("map access: known scalar += value_ptr unknown vs unknown (gt)")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

317

__description("map access: known scalar += value_ptr from different maps")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

347

__description("map access: value_ptr -= known scalar from different maps")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

380

__description("map access: known scalar += value_ptr from different maps, but same value properties")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

410

__description("map access: mixing value pointer and scalar, 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

43

__description("map access: known scalar += value_ptr unknown vs const")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

464

__description("map access: mixing value pointer and scalar, 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

519

__description("sanitation: alu with different scalars 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

550

__description("sanitation: alu with different scalars 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

583

__description("sanitation: alu with different scalars 3")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

606

__description("map access: value_ptr += known scalar, upper oob arith, test 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

633

__description("map access: value_ptr += known scalar, upper oob arith, test 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

660

__description("map access: value_ptr += known scalar, upper oob arith, test 3")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

685

__description("map access: value_ptr -= known scalar, lower oob arith, test 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

713

__description("map access: value_ptr -= known scalar, lower oob arith, test 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

743

__description("map access: value_ptr -= known scalar, lower oob arith, test 3")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

769

__description("map access: known scalar += value_ptr")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

793

__description("map access: value_ptr += known scalar, 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

81

__description("map access: known scalar += value_ptr const vs unknown")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

817

__description("map access: value_ptr += known scalar, 2")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

842

__description("map access: value_ptr += known scalar, 3")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

867

__description("map access: value_ptr += known scalar, 4")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

895

__description("map access: value_ptr += known scalar, 5")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

919

__description("map access: value_ptr += known scalar, 6")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

946

__description("map access: value_ptr += N, value_ptr -= N known scalar")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

972

__description("map access: unknown scalar += value_ptr, 1")

tools/testing/selftests/bpf/progs/verifier_value_ptr_arith.c

997

__description("map access: unknown scalar += value_ptr, 2")

tools/testing/selftests/bpf/progs/verifier_var_off.c

126

__description("variable-offset stack write followed by read")

tools/testing/selftests/bpf/progs/verifier_var_off.c

158

__description("variable-offset stack write clobbers spilled regs")

tools/testing/selftests/bpf/progs/verifier_var_off.c

16

__description("variable-offset ctx access")

tools/testing/selftests/bpf/progs/verifier_var_off.c

205

__description("indirect variable-offset stack access, unbounded")

tools/testing/selftests/bpf/progs/verifier_var_off.c

238

__description("indirect variable-offset stack access, max out of bound")

tools/testing/selftests/bpf/progs/verifier_var_off.c

271

__description("indirect variable-offset stack access, zero-sized, max out of bound")

tools/testing/selftests/bpf/progs/verifier_var_off.c

296

__description("indirect variable-offset stack access, min out of bound")

tools/testing/selftests/bpf/progs/verifier_var_off.c

325

__description("indirect variable-offset stack access, min_off < min_initialized")

tools/testing/selftests/bpf/progs/verifier_var_off.c

355

__description("indirect variable-offset stack access, priv vs unpriv")

tools/testing/selftests/bpf/progs/verifier_var_off.c

36

__description("variable-offset stack read, priv vs unpriv")

tools/testing/selftests/bpf/progs/verifier_var_off.c

388

__description("indirect variable-offset stack access, ok")

tools/testing/selftests/bpf/progs/verifier_var_off.c

63

__description("variable-offset stack read, uninitialized")

tools/testing/selftests/bpf/progs/verifier_var_off.c

86

__description("variable-offset stack write, priv vs unpriv")

tools/testing/selftests/bpf/progs/verifier_xadd.c

104

__description("xadd/w check whether src/dst got mangled, 2")

tools/testing/selftests/bpf/progs/verifier_xadd.c

16

__description("xadd/w check unaligned stack")

tools/testing/selftests/bpf/progs/verifier_xadd.c

30

__description("xadd/w check unaligned map")

tools/testing/selftests/bpf/progs/verifier_xadd.c

54

__description("xadd/w check unaligned pkt")

tools/testing/selftests/bpf/progs/verifier_xadd.c

83

__description("xadd/w check whether src/dst got mangled, 1")

tools/testing/selftests/bpf/progs/verifier_xdp.c

17

__description("XDP, using ifindex from netdev")

tools/testing/selftests/bpf/progs/verifier_xdp.c

33

__description("XDP, using xdp_store_bytes from RO map")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1011

__description("XDP pkt read, pkt_data > pkt_meta', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1033

__description("XDP pkt read, pkt_data > pkt_meta', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1054

__description("XDP pkt read, pkt_data > pkt_meta', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1075

__description("XDP pkt read, pkt_data > pkt_meta', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1096

__description("XDP pkt read, pkt_meta' < pkt_data, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1117

__description("XDP pkt read, pkt_meta' < pkt_data, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

113

__description("XDP pkt read, pkt_data' > pkt_end, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1139

__description("XDP pkt read, pkt_meta' < pkt_data, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1160

__description("XDP pkt read, pkt_meta' < pkt_data, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1181

__description("XDP pkt read, pkt_meta' < pkt_data, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1202

__description("XDP pkt read, pkt_data < pkt_meta', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1222

__description("XDP pkt read, pkt_data < pkt_meta', bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1243

__description("XDP pkt read, pkt_data < pkt_meta', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1264

__description("XDP pkt read, pkt_data < pkt_meta', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1284

__description("XDP pkt read, pkt_data < pkt_meta', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1305

__description("XDP pkt read, pkt_meta' >= pkt_data, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1325

__description("XDP pkt read, pkt_meta' >= pkt_data, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

133

__description("XDP pkt read, pkt_data' > pkt_end, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1346

__description("XDP pkt read, pkt_meta' >= pkt_data, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1367

__description("XDP pkt read, pkt_meta' >= pkt_data, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1387

__description("XDP pkt read, pkt_meta' >= pkt_data, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1407

__description("XDP pkt read, pkt_data >= pkt_meta', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1428

__description("XDP pkt read, pkt_data >= pkt_meta', bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1450

__description("XDP pkt read, pkt_data >= pkt_meta', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1471

__description("XDP pkt read, pkt_data >= pkt_meta', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1492

__description("XDP pkt read, pkt_data >= pkt_meta', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1514

__description("XDP pkt read, pkt_meta' <= pkt_data, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1535

__description("XDP pkt read, pkt_meta' <= pkt_data, bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

154

__description("XDP pkt read, pkt_end > pkt_data', good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1557

__description("XDP pkt read, pkt_meta' <= pkt_data, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1578

__description("XDP pkt read, pkt_meta' <= pkt_data, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1599

__description("XDP pkt read, pkt_meta' <= pkt_data, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1621

__description("XDP pkt read, pkt_data <= pkt_meta', good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1641

__description("XDP pkt read, pkt_data <= pkt_meta', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1662

__description("XDP pkt read, pkt_data <= pkt_meta', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1683

__description("XDP pkt read, pkt_data <= pkt_meta', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

1703

__description("XDP pkt read, pkt_data <= pkt_meta', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

175

__description("XDP pkt read, pkt_end > pkt_data', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

197

__description("XDP pkt read, pkt_end > pkt_data', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

218

__description("XDP pkt read, pkt_end > pkt_data', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

239

__description("XDP pkt read, pkt_end > pkt_data', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

260

__description("XDP pkt read, pkt_data' < pkt_end, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

281

__description("XDP pkt read, pkt_data' < pkt_end, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

30

__description("XDP pkt read, pkt_end mangling, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

303

__description("XDP pkt read, pkt_data' < pkt_end, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

324

__description("XDP pkt read, pkt_data' < pkt_end, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

345

__description("XDP pkt read, pkt_data' < pkt_end, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

366

__description("XDP pkt read, pkt_end < pkt_data', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

386

__description("XDP pkt read, pkt_end < pkt_data', bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

407

__description("XDP pkt read, pkt_end < pkt_data', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

428

__description("XDP pkt read, pkt_end < pkt_data', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

448

__description("XDP pkt read, pkt_end < pkt_data', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

469

__description("XDP pkt read, pkt_data' >= pkt_end, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

489

__description("XDP pkt read, pkt_data' >= pkt_end, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

51

__description("XDP pkt read, pkt_data' > pkt_end, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

510

__description("XDP pkt read, pkt_data' >= pkt_end, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

531

__description("XDP pkt read, pkt_data' >= pkt_end, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

551

__description("XDP pkt read, pkt_data' >= pkt_end, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

571

__description("XDP pkt read, pkt_end >= pkt_data', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

592

__description("XDP pkt read, pkt_end >= pkt_data', bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

614

__description("XDP pkt read, pkt_end >= pkt_data', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

635

__description("XDP pkt read, pkt_end >= pkt_data', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

656

__description("XDP pkt read, pkt_end >= pkt_data', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

678

__description("XDP pkt read, pkt_data' <= pkt_end, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

699

__description("XDP pkt read, pkt_data' <= pkt_end, bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

71

__description("XDP pkt read, pkt_data' > pkt_end, bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

721

__description("XDP pkt read, pkt_data' <= pkt_end, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

742

__description("XDP pkt read, pkt_data' <= pkt_end, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

763

__description("XDP pkt read, pkt_data' <= pkt_end, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

785

__description("XDP pkt read, pkt_end <= pkt_data', good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

805

__description("XDP pkt read, pkt_end <= pkt_data', corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

826

__description("XDP pkt read, pkt_end <= pkt_data', bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

847

__description("XDP pkt read, pkt_end <= pkt_data', corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

867

__description("XDP pkt read, pkt_end <= pkt_data', corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

887

__description("XDP pkt read, pkt_meta' > pkt_data, corner case, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

9

__description("XDP pkt read, pkt_end mangling, bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

907

__description("XDP pkt read, pkt_meta' > pkt_data, bad access 1")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

92

__description("XDP pkt read, pkt_data' > pkt_end, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

928

__description("XDP pkt read, pkt_meta' > pkt_data, bad access 2")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

949

__description("XDP pkt read, pkt_meta' > pkt_data, corner case +1, good access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

969

__description("XDP pkt read, pkt_meta' > pkt_data, corner case -1, bad access")

tools/testing/selftests/bpf/progs/verifier_xdp_direct_packet_access.c

990

__description("XDP pkt read, pkt_data > pkt_meta', good access")