ubuntu_bpf test failed on KVM kernels
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ubuntu-kernel-tests |
New
|
Undecided
|
Unassigned | ||
linux-kvm (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
Bionic |
New
|
Undecided
|
Unassigned | ||
Disco |
New
|
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_
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_
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_
Failed to load prog 'Invalid argument'!
#385/p helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_
Failed to load prog 'Invalid argument'!
#386/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_
Failed to load prog 'Invalid argument'!
#387/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_
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_
Failed to load prog 'Invalid argument'!
#409/p check bpf_perf_
Failed to load prog 'Invalid argument'!
#410/p check bpf_perf_
Failed to load prog 'Invalid argument'!
#411/p check bpf_perf_
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_
6: (15) if r0 == 0x0 goto pc+7
R0=map_
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_
11: (65) if r1 s> 0x4 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+7
R0=map_
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_
11: (65) if r1 s> 0x4 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+7
R0=map_
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_
11: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+7
R0=map_
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_
11: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r8 = 0
12: (0f) r8 += r1
13: (65) if r8 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r8 = 0
12: (0f) r8 += r1
13: (65) if r8 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+8
R0=map_
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_
11: (bf) r8 = r1
12: (65) if r8 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+8
R0=map_
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_
11: (bf) r8 = r1
12: (65) if r8 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (65) if r1 s> 0x1 goto pc+4
R0=map_
12: (07) r0 += 4
R0_w=
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (65) if r1 s> 0x1 goto pc+4
R0=map_
12: (07) r0 += 4
R0_w=
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+9
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
13: (65) if r1 s> 0x1 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+6
R0=map_
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_
11: (b7) r7 = 1
12: (65) if r7 s> 0x0 goto pc+2
R0=map_
13: (b7) r0 = 0
14: (95) exit
from 12 to 15: R0=map_
15: (0f) r7 += r1
16: (65) if r7 s> 0x4 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+6
R0=map_
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_
11: (b7) r7 = 1
12: (65) if r7 s> 0x0 goto pc+2
R0=map_
13: (b7) r0 = 0
14: (95) exit
from 12 to 15: R0=map_
15: (0f) r7 += r1
16: (65) if r7 s> 0x4 goto pc+2
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+4
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
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_
6: (15) if r0 == 0x0 goto pc+4
R0=map_
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_
11: (b7) r0 = 0
12: (95) exit
from 10 to 13: R0=map_
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_
6: (15) if r0 == 0x0 goto pc+8
R0=map_
7: (71) r1 = *(u8 *)(r0 +0)
R0=map_
8: (25) if r1 > 0xff goto pc+6
R0=map_
9: (71) r3 = *(u8 *)(r0 +1)
R0=map_
10: (25) if r3 > 0xff goto pc+4
R0=map_
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_
6: (15) if r0 == 0x0 goto pc+8
R0=map_
7: (71) r1 = *(u8 *)(r0 +0)
R0=map_
8: (25) if r1 > 0xff goto pc+6
R0=map_
9: (71) r3 = *(u8 *)(r0 +1)
R0=map_
10: (25) if r3 > 0xff goto pc+4
R0=map_
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_
6: (55) if r0 != 0x0 goto pc+1
R0=inv0 R10=fp0,call_-1
7: (95) exit
from 6 to 8: R0=map_
8: (07) r0 += 536870911
R0_w=
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_
6: (55) if r0 != 0x0 goto pc+1
R0=inv0 R10=fp0,call_-1
7: (95) exit
from 6 to 8: R0=map_
8: (07) r0 += 536870911
R0_w=
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_
6: (55) if r0 != 0x0 goto pc+1
R0=inv0 R10=fp0,call_-1
7: (95) exit
from 6 to 8: R0=map_
8: (17) r0 -= 536870911
R0_w=
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_
6: (55) if r0 != 0x0 goto pc+1
R0=inv0 R10=fp0,call_-1
7: (95) exit
from 6 to 8: R0=map_
8: (17) r0 -= 536870911
R0_w=
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-
ProcVersionSign
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)
tags: | added: sru-20190603 ubuntu-bpf |
tags: | added: linux-kvm |
tags: | added: disco sru-20190722 |
tags: | added: sru-20190812 |
tags: | added: sru-20190902 |
tags: | removed: cosmic |
Test report on B-KVM: /pastebin. ubuntu. com/p/ZDWd4ZN7t M/
https:/
Summary: 734 PASSED, 64 FAILED