bpf/progs/verifier_bounds.c

16 __description("subtraction bounds (map value) variant 1")
47 __description("subtraction bounds (map value) variant 2")
78 __description("check subtraction on pointers for unpriv")
111 __description("bounds check based on zero-extended MOV")
141 __description("bounds check based on sign-extended MOV. test1")
172 __description("bounds check based on sign-extended MOV. test2")
203 __description("bounds check based on reg_off + var_off + insn_off. test1")
232 __description("bounds check based on reg_off + var_off + insn_off. test2")
262 __description("bounds check after truncation of non-boundary-crossing range")
301 __description("bounds check after truncation of boundary-crossing range (1)")
343 __description("bounds check after truncation of boundary-crossing range (2)")
385 __description("bounds check after wrapping 32-bit addition")
417 __description("bounds check after shift with oversized count operand")
450 __description("bounds check after right shift of maybe-negative number")
485 __description("bounds check after 32-bit right shift with 64-bit input")
517 __description("bounds check map access with off+size signed 32bit overflow. test1")
542 __description("bounds check map access with off+size signed 32bit overflow. test2")
569 __description("bounds check map access with off+size signed 32bit overflow. test3")
595 __description("bounds check map access with off+size signed 32bit overflow. test4")
622 __description("bounds check mixed 32bit and 64bit arithmetic. test1")
645 __description("bounds check mixed 32bit and 64bit arithmetic. test2")
669 __description("assigning 32bit bounds to 64bit for wA = 0, wB = wA")
693 __description("bounds check for reg = 0, reg xor 1")
721 __description("bounds check for reg32 = 0, reg32 xor 1")
749 __description("bounds check for reg = 2, reg xor 3")
777 __description("bounds check for reg = any, reg xor 3")
804 __description("bounds check for reg32 = any, reg32 xor 3")
831 __description("bounds check for reg > 0, reg xor 3")
860 __description("bounds check for reg32 > 0, reg32 xor 3")
889 __description("bounds check for non const xor src dst")
910 __description("bounds check for non const or src dst")
931 __description("bounds check for non const mul regs")
952 __description("bounds checks after 32-bit truncation. test 1")
978 __description("bounds checks after 32-bit truncation. test 2")
1003 __description("bound check with JMP_JLT for crossing 64-bit signed boundary")
1029 __description("bound check with JMP_JSLT for crossing 64-bit signed boundary")
1060 __description("bound check for loop upper bound greater than U32_MAX")
1085 __description("bound check with JMP32_JLT for crossing 32-bit signed boundary")
1111 __description("bound check with JMP32_JSLT for crossing 32-bit signed boundary")
1142 __description("bounds check with JMP_NE for reg edge")
1176 __description("bounds check with JMP_EQ for reg edge")