ubuntu_bpf test failed on KVM kernels

Bug #1833396 reported by Po-Hsu Lin on 2019-06-19
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
ubuntu-kernel-tests
Undecided
Unassigned
linux-kvm (Ubuntu)
Undecided
Unassigned
Bionic
Undecided
Unassigned
Disco
Undecided
Unassigned

Bug Description

This should not considered as a regression, we just switching from the "cloud" test list to the "generic" list.

  Summary: 775 PASSED, 0 SKIPPED, 123 FAILED

  #165/u PTR_TO_STACK store/load - out of bounds low FAIL
  Unexpected error message!
   EXP: invalid stack off=-79992 size=8
   RES: 0: (bf) r1 = r10
  1: (07) r1 += -80000
  invalid stack off=-80000 size=1
  R1 stack pointer arithmetic goes out of range, prohibited for !root

  0: (bf) r1 = r10
  1: (07) r1 += -80000
  invalid stack off=-80000 size=1
  R1 stack pointer arithmetic goes out of range, prohibited for !root
  #173/p unpriv: check that printk is disallowed FAIL
  Failed to load prog 'Invalid argument'!
  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r1 = r10
  2: (07) r1 += -8
  3: (b7) r2 = 8
  4: (bf) r3 = r1
  5: (85) call bpf_trace_printk#6
  unknown func bpf_trace_printk#6
  #185/p unpriv: spill/fill of different pointers ldx FAIL
  Unexpected error message!
   EXP: same insn cannot be used with different pointers
   RES:
  #193/u unpriv: adding of fp FAIL
  Failed to load prog 'Permission denied'!
  0: (b7) r0 = 0
  1: (b7) r1 = 0
  2: (0f) r1 += r10
  invalid stack off=0 size=1
  R1 stack pointer arithmetic goes out of range, prohibited for !root
  #287/p constant register |= constant should keep constant type FAIL
  Failed to load prog 'Invalid argument'!
  #288/p constant register |= constant should not bypass stack boundary checks FAIL
  Unexpected error message!
   EXP: invalid stack type R1 off=-48 access_size=58
   RES:
  #289/p constant register |= constant register should keep constant type FAIL
  Failed to load prog 'Invalid argument'!
  #290/p constant register |= constant register should not bypass stack boundary checks FAIL
  Unexpected error message!
   EXP: invalid stack type R1 off=-48 access_size=58
   RES:
  #306/p helper access to map: full range FAIL
  Failed to load prog 'Invalid argument'!
  #307/p helper access to map: partial range FAIL
  Failed to load prog 'Invalid argument'!
  #308/p helper access to map: empty range FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=0 size=0
   RES:
  #309/p helper access to map: out-of-bound range FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=0 size=56
   RES:
  #310/p helper access to map: negative range FAIL
  Unexpected error message!
   EXP: R2 min value is negative
   RES:
  #311/p helper access to adjusted map (via const imm): full range FAIL
  Failed to load prog 'Invalid argument'!
  #312/p helper access to adjusted map (via const imm): partial range FAIL
  Failed to load prog 'Invalid argument'!
  #313/p helper access to adjusted map (via const imm): empty range FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=4 size=0
   RES:
  #314/p helper access to adjusted map (via const imm): out-of-bound range FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=4 size=52
   RES:
  #315/p helper access to adjusted map (via const imm): negative range (> adjustment) FAIL
  Unexpected error message!
   EXP: R2 min value is negative
   RES:
  #316/p helper access to adjusted map (via const imm): negative range (< adjustment) FAIL
  Unexpected error message!
   EXP: R2 min value is negative
   RES:
  #317/p helper access to adjusted map (via const reg): full range FAIL
  Failed to load prog 'Invalid argument'!
  #318/p helper access to adjusted map (via const reg): partial range FAIL
  Failed to load prog 'Invalid argument'!
  #319/p helper access to adjusted map (via const reg): empty range FAIL
  Unexpected error message!
   EXP: R1 min value is outside of the array range
   RES:
  #320/p helper access to adjusted map (via const reg): out-of-bound range FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=4 size=52
   RES:
  #321/p helper access to adjusted map (via const reg): negative range (> adjustment) FAIL
  Unexpected error message!
   EXP: R2 min value is negative
   RES:
  #322/p helper access to adjusted map (via const reg): negative range (< adjustment) FAIL
  Unexpected error message!
   EXP: R2 min value is negative
   RES:
  #323/p helper access to adjusted map (via variable): full range FAIL
  Failed to load prog 'Invalid argument'!
  #324/p helper access to adjusted map (via variable): partial range FAIL
  Failed to load prog 'Invalid argument'!
  #325/p helper access to adjusted map (via variable): empty range FAIL
  Unexpected error message!
   EXP: R1 min value is outside of the array range
   RES:
  #326/p helper access to adjusted map (via variable): no max check FAIL
  Unexpected error message!
   EXP: R1 unbounded memory access
   RES:
  #327/p helper access to adjusted map (via variable): wrong max check FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=4 size=45
   RES:
  #328/p helper access to map: bounds check using <, good access FAIL
  Failed to load prog 'Invalid argument'!
  #329/p helper access to map: bounds check using <, bad access FAIL
  Unexpected error message!
   EXP: R1 unbounded memory access
   RES:
  #330/p helper access to map: bounds check using <=, good access FAIL
  Failed to load prog 'Invalid argument'!
  #331/p helper access to map: bounds check using <=, bad access FAIL
  Unexpected error message!
   EXP: R1 unbounded memory access
   RES:
  #332/p helper access to map: bounds check using s<, good access FAIL
  Failed to load prog 'Invalid argument'!
  #333/p helper access to map: bounds check using s<, good access 2 FAIL
  Failed to load prog 'Invalid argument'!
  #334/p helper access to map: bounds check using s<, bad access FAIL
  Unexpected error message!
   EXP: R1 min value is negative
   RES:
  #335/p helper access to map: bounds check using s<=, good access FAIL
  Failed to load prog 'Invalid argument'!
  #336/p helper access to map: bounds check using s<=, good access 2 FAIL
  Failed to load prog 'Invalid argument'!
  #337/p helper access to map: bounds check using s<=, bad access FAIL
  Unexpected error message!
   EXP: R1 min value is negative
   RES:
  #338/p map lookup helper access to map FAIL
  Failed to load prog 'Invalid argument'!
  #339/p map update helper access to map FAIL
  Failed to load prog 'Invalid argument'!
  #340/p map update helper access to map: wrong size FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=8 off=0 size=16
   RES:
  #341/p map helper access to adjusted map (via const imm) FAIL
  Failed to load prog 'Invalid argument'!
  #342/p map helper access to adjusted map (via const imm): out-of-bound 1 FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=16 off=12 size=8
   RES:
  #343/p map helper access to adjusted map (via const imm): out-of-bound 2 FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=16 off=-4 size=8
   RES:
  #344/p map helper access to adjusted map (via const reg) FAIL
  Failed to load prog 'Invalid argument'!
  #345/p map helper access to adjusted map (via const reg): out-of-bound 1 FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=16 off=12 size=8
   RES:
  #346/p map helper access to adjusted map (via const reg): out-of-bound 2 FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=16 off=-4 size=8
   RES:
  #347/p map helper access to adjusted map (via variable) FAIL
  Failed to load prog 'Invalid argument'!
  #348/p map helper access to adjusted map (via variable): no max check FAIL
  Unexpected error message!
   EXP: R2 unbounded memory access, make sure to bounds check any array access into a map
   RES:
  #349/p map helper access to adjusted map (via variable): wrong max check FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=16 off=9 size=8
   RES:
  #361/p helper access to variable memory: stack, bitwise AND + JMP, correct bounds FAIL
  Failed to load prog 'Invalid argument'!
  #362/p helper access to variable memory: stack, bitwise AND, zero included FAIL
  Unexpected error message!
   EXP: invalid indirect read from stack off -64+0 size 64
   RES:
  #363/p helper access to variable memory: stack, bitwise AND + JMP, wrong max FAIL
  Unexpected error message!
   EXP: invalid stack type R1 off=-64 access_size=65
   RES:
  #364/p helper access to variable memory: stack, JMP, correct bounds FAIL
  Failed to load prog 'Invalid argument'!
  #365/p helper access to variable memory: stack, JMP (signed), correct bounds FAIL
  Failed to load prog 'Invalid argument'!
  #366/p helper access to variable memory: stack, JMP, bounds + offset FAIL
  Unexpected error message!
   EXP: invalid stack type R1 off=-64 access_size=65
   RES:
  #367/p helper access to variable memory: stack, JMP, wrong max FAIL
  Unexpected error message!
   EXP: invalid stack type R1 off=-64 access_size=65
   RES:
  #368/p helper access to variable memory: stack, JMP, no max check FAIL
  Unexpected error message!
   EXP: R2 min value is negative, either use unsigned or 'var &= const'
   RES:
  #369/p helper access to variable memory: stack, JMP, no min check FAIL
  Unexpected error message!
   EXP: invalid indirect read from stack off -64+0 size 64
   RES:
  #370/p helper access to variable memory: stack, JMP (signed), no min check FAIL
  Unexpected error message!
   EXP: R2 min value is negative
   RES:
  #371/p helper access to variable memory: map, JMP, correct bounds FAIL
  Failed to load prog 'Invalid argument'!
  #372/p helper access to variable memory: map, JMP, wrong max FAIL
  Unexpected error message!
   EXP: invalid access to map value, value_size=48 off=0 size=49
   RES:
  #373/p helper access to variable memory: map adjusted, JMP, correct bounds FAIL
  Failed to load prog 'Invalid argument'!
  #374/p helper access to variable memory: map adjusted, JMP, wrong max FAIL
  Unexpected error message!
   EXP: R1 min value is outside of the array range
   RES:
  #382/p helper access to variable memory: size = 0 not allowed on NULL (!ARG_PTR_TO_MEM_OR_NULL) FAIL
  Unexpected error message!
   EXP: R1 type=inv expected=fp
   RES:
  #383/p helper access to variable memory: size > 0 not allowed on NULL (!ARG_PTR_TO_MEM_OR_NULL) FAIL
  Unexpected error message!
   EXP: R1 type=inv expected=fp
   RES:
  #384/p helper access to variable memory: size = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
  Failed to load prog 'Invalid argument'!
  #385/p helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
  Failed to load prog 'Invalid argument'!
  #386/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
  Failed to load prog 'Invalid argument'!
  #387/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
  Failed to load prog 'Invalid argument'!
  #388/p helper access to variable memory: 8 bytes leak FAIL
  Unexpected error message!
   EXP: invalid indirect read from stack off -64+32 size 64
   RES:
  #389/p helper access to variable memory: 8 bytes no leak (init memory) FAIL
  Failed to load prog 'Invalid argument'!
  #408/p check bpf_perf_event_data->sample_period byte load permitted FAIL
  Failed to load prog 'Invalid argument'!
  #409/p check bpf_perf_event_data->sample_period half load permitted FAIL
  Failed to load prog 'Invalid argument'!
  #410/p check bpf_perf_event_data->sample_period word load permitted FAIL
  Failed to load prog 'Invalid argument'!
  #411/p check bpf_perf_event_data->sample_period dword load permitted FAIL
  Failed to load prog 'Invalid argument'!
  #414/u bounds checks mixing signed and unsigned, positive bounds FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+7
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = 2
  10: (3d) if r2 >= r1 goto pc+3
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R10=fp0,call_-1
  11: (65) if r1 s> 0x4 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=4,umin_value=3) R2=inv2 R10=fp0,call_-1
  12: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+7
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = 2
  10: (3d) if r2 >= r1 goto pc+3
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R10=fp0,call_-1
  11: (65) if r1 s> 0x4 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=4,umin_value=3) R2=inv2 R10=fp0,call_-1
  12: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #415/u bounds checks mixing signed and unsigned FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+7
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+3
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  12: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+7
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+3
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  12: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #416/u bounds checks mixing signed and unsigned, variant 2 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+5
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (b7) r8 = 0
  12: (0f) r8 += r1
  13: (65) if r8 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R8=inv(id=0,smax_value=1) R10=fp0,call_-1
  14: (0f) r0 += r8
  R8 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+5
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (b7) r8 = 0
  12: (0f) r8 += r1
  13: (65) if r8 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R8=inv(id=0,smax_value=1) R10=fp0,call_-1
  14: (0f) r0 += r8
  R8 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #417/u bounds checks mixing signed and unsigned, variant 3 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+8
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (bf) r8 = r1
  12: (65) if r8 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R8=inv(id=0,smax_value=1) R10=fp0,call_-1
  13: (0f) r0 += r8
  R8 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+8
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (bf) r8 = r1
  12: (65) if r8 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R8=inv(id=0,smax_value=1) R10=fp0,call_-1
  13: (0f) r0 += r8
  R8 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #419/u bounds checks mixing signed and unsigned, variant 5 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+5
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (65) if r1 s> 0x1 goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  12: (07) r0 += 4
   R0_w=map_value(id=0,off=4,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  13: (1f) r0 -= r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r1 > r2 goto pc+5
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (65) if r1 s> 0x1 goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  12: (07) r0 += 4
   R0_w=map_value(id=0,off=4,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  13: (1f) r0 -= r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #422/u bounds checks mixing signed and unsigned, variant 8 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r2 > r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv-1 R2=inv-1 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=18446744073709551614) R2=inv-1 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1,umax_value=18446744073709551614) R2=inv-1 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (2d) if r2 > r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv-1 R2=inv-1 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=18446744073709551614) R2=inv-1 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1,umax_value=18446744073709551614) R2=inv-1 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #424/u bounds checks mixing signed and unsigned, variant 10 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = 0
  10: (2d) if r2 > r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv0 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv0 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv0 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = 0
  10: (2d) if r2 > r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv0 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv0 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv0 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #425/u bounds checks mixing signed and unsigned, variant 11 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -1
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0) R2=inv-1 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1) R2=inv-1 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #426/u bounds checks mixing signed and unsigned, variant 12 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -6
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=18446744073709551611,var_off=(0xfffffffffffffff8; 0x7)) R2=inv-6 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=18446744073709551610) R2=inv-6 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1,umax_value=18446744073709551610) R2=inv-6 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+9
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -6
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=18446744073709551611,var_off=(0xfffffffffffffff8; 0x7)) R2=inv-6 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=18446744073709551610) R2=inv-6 R10=fp0,call_-1
  13: (65) if r1 s> 0x1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,smax_value=1,umax_value=18446744073709551610) R2=inv-6 R10=fp0,call_-1
  14: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #427/u bounds checks mixing signed and unsigned, variant 13 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+6
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = 2
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R10=fp0,call_-1
  11: (b7) r7 = 1
  12: (65) if r7 s> 0x0 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R7=inv1 R10=fp0,call_-1
  13: (b7) r0 = 0
  14: (95) exit

  from 12 to 15: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R7=inv1 R10=fp0,call_-1
  15: (0f) r7 += r1
  16: (65) if r7 s> 0x4 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R7=inv(id=0,smax_value=4) R10=fp0,call_-1
  17: (0f) r0 += r7
  R7 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+6
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = 2
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R10=fp0,call_-1
  11: (b7) r7 = 1
  12: (65) if r7 s> 0x0 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R7=inv1 R10=fp0,call_-1
  13: (b7) r0 = 0
  14: (95) exit

  from 12 to 15: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R7=inv1 R10=fp0,call_-1
  15: (0f) r7 += r1
  16: (65) if r7 s> 0x4 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=3) R2=inv2 R7=inv(id=0,smax_value=4) R10=fp0,call_-1
  17: (0f) r0 += r7
  R7 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #429/u bounds checks mixing signed and unsigned, variant 15 FAIL
  Unexpected error message!
   EXP: unbounded min value
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -6
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=18446744073709551611,var_off=(0xfffffffffffffff8; 0x7)) R2=inv-6 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=18446744073709551610) R2=inv-6 R10=fp0,call_-1
  13: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (7a) *(u64 *)(r10 -16) = -8
  8: (79) r1 = *(u64 *)(r10 -16)
  9: (b7) r2 = -6
  10: (3d) if r2 >= r1 goto pc+2
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umin_value=18446744073709551611,var_off=(0xfffffffffffffff8; 0x7)) R2=inv-6 R10=fp0,call_-1
  11: (b7) r0 = 0
  12: (95) exit

  from 10 to 13: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=18446744073709551610) R2=inv-6 R10=fp0,call_-1
  13: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #431/u subtraction bounds (map value) variant 2 FAIL
  Unexpected error message!
   EXP: R0 min value is negative, either use unsigned index or do a if (index >=0) check.
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+8
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (71) r1 = *(u8 *)(r0 +0)
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  8: (25) if r1 > 0xff goto pc+6
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R10=fp0,call_-1
  9: (71) r3 = *(u8 *)(r0 +1)
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R10=fp0,call_-1
  10: (25) if r3 > 0xff goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R3=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R10=fp0,call_-1
  11: (1f) r1 -= r3
  12: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (15) if r0 == 0x0 goto pc+8
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  7: (71) r1 = *(u8 *)(r0 +0)
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  8: (25) if r1 > 0xff goto pc+6
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R10=fp0,call_-1
  9: (71) r3 = *(u8 *)(r0 +1)
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R10=fp0,call_-1
  10: (25) if r3 > 0xff goto pc+4
   R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R1=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R3=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R10=fp0,call_-1
  11: (1f) r1 -= r3
  12: (0f) r0 += r1
  R1 has unknown scalar with mixed signed bounds, pointer arithmetic with it prohibited for !root
  #444/u bounds check map access with off+size signed 32bit overflow. test2 FAIL
  Unexpected error message!
   EXP: pointer offset 1073741822
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (55) if r0 != 0x0 goto pc+1
   R0=inv0 R10=fp0,call_-1
  7: (95) exit

  from 6 to 8: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  8: (07) r0 += 536870911
   R0_w=map_value(id=0,off=536870911,ks=8,vs=8,imm=0) R10=fp0,call_-1
  invalid access to map value, value_size=8 off=536870911 size=1
  R0 min value is outside of the array range
  R0 pointer arithmetic of map value goes out of range, prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (55) if r0 != 0x0 goto pc+1
   R0=inv0 R10=fp0,call_-1
  7: (95) exit

  from 6 to 8: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  8: (07) r0 += 536870911
   R0_w=map_value(id=0,off=536870911,ks=8,vs=8,imm=0) R10=fp0,call_-1
  invalid access to map value, value_size=8 off=536870911 size=1
  R0 min value is outside of the array range
  R0 pointer arithmetic of map value goes out of range, prohibited for !root
  #445/u bounds check map access with off+size signed 32bit overflow. test3 FAIL
  Unexpected error message!
   EXP: pointer offset -1073741822
   RES: 0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (55) if r0 != 0x0 goto pc+1
   R0=inv0 R10=fp0,call_-1
  7: (95) exit

  from 6 to 8: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  8: (17) r0 -= 536870911
   R0_w=map_value(id=0,off=-536870911,ks=8,vs=8,imm=0) R10=fp0,call_-1
  invalid access to map value, value_size=8 off=-536870911 size=1
  R0 min value is outside of the array range
  R0 pointer arithmetic of map value goes out of range, prohibited for !root

  0: (7a) *(u64 *)(r10 -8) = 0
  1: (bf) r2 = r10
  2: (07) r2 += -8
  3: (18) r1 = 0x0
  5: (85) call bpf_map_lookup_elem#1
  6: (55) if r0 != 0x0 goto pc+1
   R0=inv0 R10=fp0,call_-1
  7: (95) exit

  from 6 to 8: R0=map_value(id=0,off=0,ks=8,vs=8,imm=0) R10=fp0,call_-1
  8: (17) r0 -= 536870911
   R0_w=map_value(id=0,off=-536870911,ks=8,vs=8,imm=0) R10=fp0,call_-1
  invalid access to map value, value_size=8 off=-536870911 size=1
  R0 min value is outside of the array range
  R0 pointer arithmetic of map value goes out of range, prohibited for !root
  #454/u direct stack access with 32-bit wraparound. test3 FAIL
  Unexpected error message!
   EXP: fp pointer offset 1073741822
   RES: 0: (bf) r1 = r10
  1: (07) r1 += 536870911
  invalid stack off=536870911 size=1
  R1 stack pointer arithmetic goes out of range, prohibited for !root

  0: (bf) r1 = r10
  1: (07) r1 += 536870911
  invalid stack off=536870911 size=1
  R1 stack pointer arithmetic goes out of range, prohibited for !root
  #540/p calls: basic sanity FAIL
  Failed to load prog 'Invalid argument'!
  #545/p calls: overlapping caller/callee FAIL
  Unexpected error message!
   EXP: last insn is not an exit or jmp
   RES:
  #546/p calls: wrong recursive calls FAIL
  Unexpected error message!
   EXP: jump out of range
   RES:
  #547/p calls: wrong src reg FAIL
  Unexpected error message!
   EXP: BPF_CALL uses reserved fields
   RES:
  #548/p calls: wrong off value FAIL
  Unexpected error message!
   EXP: BPF_CALL uses reserved fields
   RES:
  #549/p calls: jump back loop FAIL
  Unexpected error message!
   EXP: back-edge from insn 0 to 0
   RES:
  #550/p calls: conditional call FAIL
  Unexpected error message!
   EXP: jump out of range
   RES:
  #551/p calls: conditional call 2 FAIL
  Failed to load prog 'Invalid argument'!
  #552/p calls: conditional call 3 FAIL
  Unexpected error message!
   EXP: back-edge from insn
   RES:
  #553/p calls: conditional call 4 FAIL
  Failed to load prog 'Invalid argument'!
  #554/p calls: conditional call 5 FAIL
  Unexpected error message!
   EXP: back-edge from insn
   RES:
  #555/p calls: conditional call 6 FAIL
  Unexpected error message!
   EXP: back-edge from insn
   RES:
  #556/p calls: using r0 returned by callee FAIL
  Failed to load prog 'Invalid argument'!
  #557/p calls: using uninit r0 from callee FAIL
  Unexpected error message!
   EXP: !read_ok
   RES:
  #560/p calls: callee using wrong args2 FAIL
  Unexpected error message!
   EXP: R2 !read_ok
   RES:
  #568/p calls: two calls with bad jump FAIL
  Unexpected error message!
   EXP: jump out of range from insn 11 to 9
   RES:
  #569/p calls: recursive call. test1 FAIL
  Unexpected error message!
   EXP: back-edge
   RES:
  #570/p calls: recursive call. test2 FAIL
  Unexpected error message!
   EXP: back-edge
   RES:
  #571/p calls: unreachable code FAIL
  Unexpected error message!
   EXP: unreachable insn 6
   RES:
  #572/p calls: invalid call FAIL
  Unexpected error message!
   EXP: invalid destination
   RES:
  #573/p calls: invalid call 2 FAIL
  Unexpected error message!
   EXP: invalid destination
   RES:
  #574/p calls: jumping across function bodies. test1 FAIL
  Unexpected error message!
   EXP: jump out of range
   RES:
  #575/p calls: jumping across function bodies. test2 FAIL
  Unexpected error message!
   EXP: jump out of range
   RES:
  #576/p calls: call without exit FAIL
  Unexpected error message!
   EXP: not an exit
   RES:
  #577/p calls: call into middle of ld_imm64 FAIL
  Unexpected error message!
   EXP: last insn
   RES:
  #578/p calls: call into middle of other call FAIL
  Unexpected error message!
   EXP: last insn
   RES:
  #580/p calls: two calls with bad fallthrough FAIL
  Unexpected error message!
   EXP: not an exit
   RES:
  #618/p search pruning: all branches should be verified (nop operation) FAIL
  Unexpected error message!
   EXP: R6 invalid mem access 'inv'
   RES:
  #619/p search pruning: all branches should be verified (invalid stack access) FAIL
  Unexpected error message!
   EXP: invalid read from stack off -16+0 size 8
   RES:
  #629/p bpf_get_stack return R0 within range FAIL
  Failed to load prog 'Invalid argument'!

ProblemType: Bug
DistroRelease: Ubuntu 18.10
Package: linux-image-4.18.0-1014-kvm 4.18.0-1014.14
ProcVersionSignature: User Name 4.18.0-1014.14-kvm 4.18.20
Uname: Linux 4.18.0-1014-kvm x86_64
ApportVersion: 2.20.10-0ubuntu13.3
Architecture: amd64
Date: Wed Jun 19 08:47:15 2019
SourcePackage: linux-kvm
UpgradeStatus: No upgrade log present (probably fresh install)

Po-Hsu Lin (cypressyew) wrote :
Po-Hsu Lin (cypressyew) on 2019-06-19
tags: added: sru-20190603 ubuntu-bpf
Po-Hsu Lin (cypressyew) on 2019-06-24
tags: added: linux-kvm
Po-Hsu Lin (cypressyew) wrote :

Test report on B-KVM:
https://pastebin.ubuntu.com/p/ZDWd4ZN7tM/

Summary: 734 PASSED, 64 FAILED

Po-Hsu Lin (cypressyew) wrote :

Test report on D-KVM
https://pastebin.ubuntu.com/p/ZkZHbDqY6p/

Summary: 1070 PASSED, 106 SKIPPED, 3 FAILED

        #180/p unpriv: check that printk is disallowed FAIL
        Failed to load prog 'Success'!
        0: (7a) *(u64 *)(r10 -8) = 0
        1: (bf) r1 = r10
        2: (07) r1 += -8
        3: (b7) r2 = 8
        4: (bf) r3 = r1
        5: (85) call bpf_trace_printk#6
        unknown func bpf_trace_printk#6

        #300/p prevent map lookup in sockmap Failed to create hash map 'Invalid argument'!
        FAIL
        Unexpected error message!
        EXP: cannot pass map_type 15 into func bpf_map_lookup_elem
        RES: fd -1 is not pointing to valid bpf_map

        fd -1 is not pointing to valid bpf_map
        #301/p prevent map lookup in sockhash Failed to create hash map 'Invalid argument'!
        FAIL
        Unexpected error message!
        EXP: cannot pass map_type 18 into func bpf_map_lookup_elem
        RES: fd -1 is not pointing to valid bpf_map

        fd -1 is not pointing to valid bpf_map

Sean Feole (sfeole) on 2019-08-12
tags: added: disco sru-20190722
Sean Feole (sfeole) on 2019-08-29
tags: added: sru-20190812
Sean Feole (sfeole) on 2019-09-24
tags: added: sru-20190902
tags: removed: cosmic
Po-Hsu Lin (cypressyew) wrote :

Bug split into:
  D:
    3 tests in test_verifier failed (bug 1848005)
    test_maps failed with sockmap creation (bug 1848004)
  B:
    test_maps failed with sockmap creation (bug 1848004)

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers