ubuntu_bpf/test_verifier failed on B-4.15 (bounds check after 32-bit right shift with 64-bit input FAIL)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ubuntu-kernel-tests |
New
|
Undecided
|
Unassigned | ||
linux-kvm (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
Bionic |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
This is not a regression, we don't test ubuntu_bpf on KVM kernels until we have openstack added recently.
Test failed with:
#435/u bounds check after 32-bit right shift with 64-bit input FAIL
Unexpected error message!
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: (b7) r1 = 2
8: (67) r1 <<= 31
9: (74) (u32) r1 >>= (u32) 31
10: (14) (u32) r1 -= (u32) 2
11: (0f) r0 += r1
math between map_value pointer and 4294967294 is not allowed
#435/p bounds check after 32-bit right shift with 64-bit input FAIL
Unexpected error message!
0: (7a) *(u64 *)(r10 -8) = 0
1: (bf) r2 = r10
2: (07) r2 += -8
3: (18) r1 = 0xffff9fe6065f4c00
5: (85) call bpf_map_
6: (15) if r0 == 0x0 goto pc+6
R0=map_
7: (b7) r1 = 2
8: (67) r1 <<= 31
9: (74) (u32) r1 >>= (u32) 31
10: (14) (u32) r1 -= (u32) 2
11: (0f) r0 += r1
math between map_value pointer and 4294967294 is not allowed
Changed in linux-kvm (Ubuntu): | |
status: | New → Fix Released |
Changed in linux-kvm (Ubuntu Bionic): | |
status: | New → Confirmed |
summary: |
- ubuntu_bpf/test_verifier failed on B-KVM (bounds check after 32-bit + ubuntu_bpf/test_verifier failed on B-4.15 (bounds check after 32-bit right shift with 64-bit input FAIL) |
This issue exist in all bionic kernels: linux-aws/ 4.15.0- 1147.159 linux-aws- fips/4. 15.0-2083. 89 linux-azure- 4.15/4. 15.0-1158. 173 linux-azure- fips/4. 15.0-2067. 73 linux-gcp- 4.15/4. 15.0-1142. 158 linux-gcp- fips/4. 15.0-2051. 56 linux-oracle/ 4.15.0- 1109.120
* bionic/
* bionic/
* bionic/
* bionic/
* bionic/
* bionic/
* bionic/