START ubuntu_bpf.test_verifier ubuntu_bpf.test_verifier timestamp=1656545731 timeout=1800 localtime=Jun 29 23:35:31 Persistent state client._record_indent now set to 2 Persistent state client.unexpected_reboot now set to ('ubuntu_bpf.test_verifier', 'ubuntu_bpf.test_verifier') Waiting for pid 18379 for 1800 seconds Could not find GDB installed. Crash handling will operate with limited functionality Running './test_verifier' #0/u add+sub+mul FAIL Failed to load prog 'Operation not permitted'! #0/p add+sub+mul OK #1/u DIV32 by 0, zero check 1 FAIL Failed to load prog 'Operation not permitted'! #1/p DIV32 by 0, zero check 1 OK #2/u DIV32 by 0, zero check 2 FAIL Failed to load prog 'Operation not permitted'! #2/p DIV32 by 0, zero check 2 OK #3/u DIV64 by 0, zero check FAIL Failed to load prog 'Operation not permitted'! #3/p DIV64 by 0, zero check OK #4/u MOD32 by 0, zero check 1 FAIL Failed to load prog 'Operation not permitted'! #4/p MOD32 by 0, zero check 1 OK #5/u MOD32 by 0, zero check 2 FAIL Failed to load prog 'Operation not permitted'! #5/p MOD32 by 0, zero check 2 OK #6/u MOD64 by 0, zero check FAIL Failed to load prog 'Operation not permitted'! #6/p MOD64 by 0, zero check OK #7/p DIV32 by 0, zero check ok, cls OK #8/p DIV32 by 0, zero check 1, cls OK #9/p DIV32 by 0, zero check 2, cls OK #10/p DIV64 by 0, zero check, cls OK #11/p MOD32 by 0, zero check ok, cls OK #12/p MOD32 by 0, zero check 1, cls OK #13/p MOD32 by 0, zero check 2, cls OK #14/p MOD64 by 0, zero check 1, cls OK #15/p MOD64 by 0, zero check 2, cls OK #16/p DIV32 overflow, check 1 OK #17/p DIV32 overflow, check 2 OK #18/p DIV64 overflow, check 1 OK #19/p DIV64 overflow, check 2 OK #20/p MOD32 overflow, check 1 OK #21/p MOD32 overflow, check 2 OK #22/p MOD64 overflow, check 1 OK #23/p MOD64 overflow, check 2 OK #24/p xor32 zero extend check OK #25/u empty prog FAIL Unexpected error message! #25/p empty prog OK #26/u only exit insn FAIL Unexpected error message! #26/p only exit insn OK #27/u unreachable FAIL Unexpected error message! #27/p unreachable OK #28/u unreachable2 FAIL Unexpected error message! #28/p unreachable2 OK #29/u out of range jump FAIL Unexpected error message! #29/p out of range jump OK #30/u out of range jump2 FAIL Unexpected error message! #30/p out of range jump2 OK #31/u test1 ld_imm64 FAIL Unexpected error message! #31/p test1 ld_imm64 OK #32/u test2 ld_imm64 FAIL Unexpected error message! #32/p test2 ld_imm64 OK #33/u test3 ld_imm64 FAIL Unexpected error message! #33/p test3 ld_imm64 OK #34/u test4 ld_imm64 FAIL Unexpected error message! #34/p test4 ld_imm64 OK #35/u test5 ld_imm64 FAIL Unexpected error message! #35/p test5 ld_imm64 OK #36/u test6 ld_imm64 FAIL Failed to load prog 'Operation not permitted'! #36/p test6 ld_imm64 OK #37/u test7 ld_imm64 FAIL Failed to load prog 'Operation not permitted'! #37/p test7 ld_imm64 OK #38/u test8 ld_imm64 FAIL Unexpected error message! #38/p test8 ld_imm64 OK #39/u test9 ld_imm64 FAIL Unexpected error message! #39/p test9 ld_imm64 OK #40/u test10 ld_imm64 FAIL Unexpected error message! #40/p test10 ld_imm64 OK #41/u test11 ld_imm64 FAIL Unexpected error message! #41/p test11 ld_imm64 OK #42/u test12 ld_imm64 FAIL Unexpected error message! #42/p test12 ld_imm64 OK #43/u test13 ld_imm64 FAIL Unexpected error message! #43/p test13 ld_imm64 OK #44/u arsh32 on imm FAIL Unexpected error message! #44/p arsh32 on imm OK #45/u arsh32 on reg FAIL Unexpected error message! #45/p arsh32 on reg OK #46/u arsh64 on imm FAIL Failed to load prog 'Operation not permitted'! #46/p arsh64 on imm OK #47/u arsh64 on reg FAIL Failed to load prog 'Operation not permitted'! #47/p arsh64 on reg OK #48/u no bpf_exit FAIL Unexpected error message! #48/p no bpf_exit OK #49/u loop (back-edge) FAIL Unexpected error message! #49/p loop (back-edge) OK #50/u loop2 (back-edge) FAIL Unexpected error message! #50/p loop2 (back-edge) OK #51/u conditional loop FAIL Unexpected error message! #51/p conditional loop OK #52/u read uninitialized register FAIL Unexpected error message! #52/p read uninitialized register OK #53/u read invalid register FAIL Unexpected error message! #53/p read invalid register OK #54/u program doesn't init R0 before exit FAIL Unexpected error message! #54/p program doesn't init R0 before exit OK #55/u program doesn't init R0 before exit in all branches FAIL Unexpected error message! #55/p program doesn't init R0 before exit in all branches OK #56/u stack out of bounds FAIL Unexpected error message! #56/p stack out of bounds OK #57/u invalid call insn1 FAIL Unexpected error message! #57/p invalid call insn1 OK #58/u invalid call insn2 FAIL Unexpected error message! #58/p invalid call insn2 OK #59/u invalid function call FAIL Unexpected error message! #59/p invalid function call OK #60/u uninitialized stack1 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #60/p uninitialized stack1 OK #61/u uninitialized stack2 FAIL Unexpected error message! #61/p uninitialized stack2 OK #62/u invalid fp arithmetic FAIL Unexpected error message! #62/p invalid fp arithmetic OK #63/u non-invalid fp arithmetic FAIL Failed to load prog 'Operation not permitted'! #63/p non-invalid fp arithmetic OK #64/p invalid argument register OK #65/p non-invalid argument register OK #66/u check valid spill/fill FAIL Unexpected error message! #66/p check valid spill/fill OK #67/u check valid spill/fill, skb mark FAIL Failed to load prog 'Operation not permitted'! #67/p check valid spill/fill, skb mark OK #68/u check corrupted spill/fill FAIL Unexpected error message! #68/p check corrupted spill/fill OK #69/u invalid src register in STX FAIL Unexpected error message! #69/p invalid src register in STX OK #70/u invalid dst register in STX FAIL Unexpected error message! #70/p invalid dst register in STX OK #71/u invalid dst register in ST FAIL Unexpected error message! #71/p invalid dst register in ST OK #72/u invalid src register in LDX FAIL Unexpected error message! #72/p invalid src register in LDX OK #73/u invalid dst register in LDX FAIL Unexpected error message! #73/p invalid dst register in LDX OK #74/u junk insn FAIL Unexpected error message! #74/p junk insn OK #75/u junk insn2 FAIL Unexpected error message! #75/p junk insn2 OK #76/u junk insn3 FAIL Unexpected error message! #76/p junk insn3 OK #77/u junk insn4 FAIL Unexpected error message! #77/p junk insn4 OK #78/u junk insn5 FAIL Unexpected error message! #78/p junk insn5 OK #79/u misaligned read from stack FAIL Unexpected error message! #79/p misaligned read from stack OK #80/u invalid map_fd for function call FAIL Unexpected error message! #80/p invalid map_fd for function call OK #81/u don't check return value before access Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #81/p don't check return value before access OK #82/u access memory with incorrect alignment Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #82/p access memory with incorrect alignment OK #83/u sometimes access memory with incorrect alignment Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #83/p sometimes access memory with incorrect alignment OK #84/u jump test 1 FAIL Unexpected error message! #84/p jump test 1 OK #85/u jump test 2 FAIL Unexpected error message! #85/p jump test 2 OK #86/u jump test 3 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #86/p jump test 3 OK #87/u jump test 4 FAIL Unexpected error message! #87/p jump test 4 OK #88/u jump test 5 FAIL Unexpected error message! #88/p jump test 5 OK #89/u access skb fields ok FAIL Failed to load prog 'Operation not permitted'! #89/p access skb fields ok OK #90/u access skb fields bad1 FAIL Unexpected error message! #90/p access skb fields bad1 OK #91/u access skb fields bad2 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #91/p access skb fields bad2 OK #92/u access skb fields bad3 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #92/p access skb fields bad3 OK #93/u access skb fields bad4 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #93/p access skb fields bad4 OK #94/u invalid access __sk_buff family FAIL Unexpected error message! #94/p invalid access __sk_buff family OK #95/u invalid access __sk_buff remote_ip4 FAIL Unexpected error message! #95/p invalid access __sk_buff remote_ip4 OK #96/u invalid access __sk_buff local_ip4 FAIL Unexpected error message! #96/p invalid access __sk_buff local_ip4 OK #97/u invalid access __sk_buff remote_ip6 FAIL Unexpected error message! #97/p invalid access __sk_buff remote_ip6 OK #98/u invalid access __sk_buff local_ip6 FAIL Unexpected error message! #98/p invalid access __sk_buff local_ip6 OK #99/u invalid access __sk_buff remote_port FAIL Unexpected error message! #99/p invalid access __sk_buff remote_port OK #100/u invalid access __sk_buff remote_port FAIL Unexpected error message! #100/p invalid access __sk_buff remote_port OK #101/p valid access __sk_buff family OK #102/p valid access __sk_buff remote_ip4 OK #103/p valid access __sk_buff local_ip4 OK #104/p valid access __sk_buff remote_ip6 OK #105/p valid access __sk_buff local_ip6 OK #106/p valid access __sk_buff remote_port OK #107/p valid access __sk_buff remote_port OK #108/p invalid access of tc_classid for SK_SKB OK #109/p invalid access of skb->mark for SK_SKB OK #110/p check skb->mark is not writeable by SK_SKB OK #111/p check skb->tc_index is writeable by SK_SKB OK #112/p check skb->priority is writeable by SK_SKB OK #113/p direct packet read for SK_SKB OK #114/p direct packet write for SK_SKB OK #115/p overlapping checks for direct packet access SK_SKB OK #116/u check skb->mark is not writeable by sockets FAIL Unexpected error message! #116/p check skb->mark is not writeable by sockets OK #117/u check skb->tc_index is not writeable by sockets FAIL Unexpected error message! #117/p check skb->tc_index is not writeable by sockets OK #118/u check cb access: byte FAIL Failed to load prog 'Operation not permitted'! #118/p check cb access: byte OK #119/u __sk_buff->hash, offset 0, byte store not permitted FAIL Unexpected error message! #119/p __sk_buff->hash, offset 0, byte store not permitted OK #120/u __sk_buff->tc_index, offset 3, byte store not permitted FAIL Unexpected error message! #120/p __sk_buff->tc_index, offset 3, byte store not permitted OK #121/u check skb->hash byte load permitted FAIL Failed to load prog 'Operation not permitted'! #121/p check skb->hash byte load permitted OK #122/u check skb->hash byte load not permitted 1 FAIL Unexpected error message! #122/p check skb->hash byte load not permitted 1 OK #123/u check skb->hash byte load not permitted 2 FAIL Unexpected error message! #123/p check skb->hash byte load not permitted 2 OK #124/u check skb->hash byte load not permitted 3 FAIL Unexpected error message! #124/p check skb->hash byte load not permitted 3 OK #125/p check cb access: byte, wrong type OK #126/u check cb access: half FAIL Failed to load prog 'Operation not permitted'! #126/p check cb access: half OK #127/u check cb access: half, unaligned FAIL Unexpected error message! #127/p check cb access: half, unaligned OK #128/u check __sk_buff->hash, offset 0, half store not permitted FAIL Unexpected error message! #128/p check __sk_buff->hash, offset 0, half store not permitted OK #129/u check __sk_buff->tc_index, offset 2, half store not permitted FAIL Unexpected error message! #129/p check __sk_buff->tc_index, offset 2, half store not permitted OK #130/u check skb->hash half load permitted FAIL Failed to load prog 'Operation not permitted'! #130/p check skb->hash half load permitted OK #131/u check skb->hash half load not permitted FAIL Unexpected error message! #131/p check skb->hash half load not permitted OK #132/p check cb access: half, wrong type OK #133/u check cb access: word FAIL Failed to load prog 'Operation not permitted'! #133/p check cb access: word OK #134/u check cb access: word, unaligned 1 FAIL Unexpected error message! #134/p check cb access: word, unaligned 1 OK #135/u check cb access: word, unaligned 2 FAIL Unexpected error message! #135/p check cb access: word, unaligned 2 OK #136/u check cb access: word, unaligned 3 FAIL Unexpected error message! #136/p check cb access: word, unaligned 3 OK #137/u check cb access: word, unaligned 4 FAIL Unexpected error message! #137/p check cb access: word, unaligned 4 OK #138/u check cb access: double FAIL Failed to load prog 'Operation not permitted'! #138/p check cb access: double OK #139/u check cb access: double, unaligned 1 FAIL Unexpected error message! #139/p check cb access: double, unaligned 1 OK #140/u check cb access: double, unaligned 2 FAIL Unexpected error message! #140/p check cb access: double, unaligned 2 OK #141/u check cb access: double, oob 1 FAIL Unexpected error message! #141/p check cb access: double, oob 1 OK #142/u check cb access: double, oob 2 FAIL Unexpected error message! #142/p check cb access: double, oob 2 OK #143/u check __sk_buff->ifindex dw store not permitted FAIL Unexpected error message! #143/p check __sk_buff->ifindex dw store not permitted OK #144/u check __sk_buff->ifindex dw load not permitted FAIL Unexpected error message! #144/p check __sk_buff->ifindex dw load not permitted OK #145/p check cb access: double, wrong type OK #146/p check out of range skb->cb access OK #147/u write skb fields from socket prog FAIL Unexpected error message! #147/p write skb fields from socket prog OK #148/p write skb fields from tc_cls_act prog OK #149/u PTR_TO_STACK store/load FAIL Failed to load prog 'Operation not permitted'! #149/p PTR_TO_STACK store/load OK #150/u PTR_TO_STACK store/load - bad alignment on off FAIL Unexpected error message! #150/p PTR_TO_STACK store/load - bad alignment on off OK #151/u PTR_TO_STACK store/load - bad alignment on reg FAIL Unexpected error message! #151/p PTR_TO_STACK store/load - bad alignment on reg OK #152/u PTR_TO_STACK store/load - out of bounds low FAIL Unexpected error message! #152/p PTR_TO_STACK store/load - out of bounds low OK #153/u PTR_TO_STACK store/load - out of bounds high FAIL Unexpected error message! #153/p PTR_TO_STACK store/load - out of bounds high OK #154/u unpriv: return pointer FAIL Unexpected error message! #154/p unpriv: return pointer OK #155/u unpriv: add const to pointer FAIL Failed to load prog 'Operation not permitted'! #155/p unpriv: add const to pointer OK #156/u unpriv: add pointer to pointer FAIL Unexpected error message! #156/p unpriv: add pointer to pointer OK #157/u unpriv: neg pointer FAIL Unexpected error message! #157/p unpriv: neg pointer OK #158/u unpriv: cmp pointer with const FAIL Unexpected error message! #158/p unpriv: cmp pointer with const OK #159/u unpriv: cmp pointer with pointer FAIL Unexpected error message! #159/p unpriv: cmp pointer with pointer OK #160/u unpriv: check that printk is disallowed FAIL Unexpected error message! #160/p unpriv: check that printk is disallowed OK #161/u unpriv: pass pointer to helper function Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #161/p unpriv: pass pointer to helper function OK #162/u unpriv: indirectly pass pointer on stack to helper function Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #162/p unpriv: indirectly pass pointer on stack to helper function OK #163/u unpriv: mangle pointer on stack 1 FAIL Unexpected error message! #163/p unpriv: mangle pointer on stack 1 OK #164/u unpriv: mangle pointer on stack 2 FAIL Unexpected error message! #164/p unpriv: mangle pointer on stack 2 OK #165/u unpriv: read pointer from stack in small chunks FAIL Unexpected error message! #165/p unpriv: read pointer from stack in small chunks OK #166/u unpriv: write pointer into ctx FAIL Unexpected error message! #166/p unpriv: write pointer into ctx OK #167/u unpriv: spill/fill of ctx FAIL Failed to load prog 'Operation not permitted'! #167/p unpriv: spill/fill of ctx OK #168/p unpriv: spill/fill of ctx 2 OK #169/p unpriv: spill/fill of ctx 3 OK #170/p unpriv: spill/fill of ctx 4 OK #171/p unpriv: spill/fill of different pointers stx OK #172/p unpriv: spill/fill of different pointers ldx OK #173/u unpriv: write pointer into map elem value Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #173/p unpriv: write pointer into map elem value OK #174/u alu32: mov u32 const FAIL Failed to load prog 'Operation not permitted'! #174/p alu32: mov u32 const OK #175/u unpriv: partial copy of pointer FAIL Unexpected error message! #175/p unpriv: partial copy of pointer OK #176/u unpriv: pass pointer to tail_call Failed to create prog array 'Operation not permitted'! FAIL Unexpected error message! #176/p unpriv: pass pointer to tail_call OK #177/u unpriv: cmp map pointer with zero Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #177/p unpriv: cmp map pointer with zero OK #178/u unpriv: write into frame pointer FAIL Unexpected error message! #178/p unpriv: write into frame pointer OK #179/u unpriv: spill/fill frame pointer FAIL Unexpected error message! #179/p unpriv: spill/fill frame pointer OK #180/u unpriv: cmp of frame pointer FAIL Unexpected error message! #180/p unpriv: cmp of frame pointer OK #181/u unpriv: adding of fp, reg FAIL Unexpected error message! #181/p unpriv: adding of fp, reg OK #182/u unpriv: adding of fp, imm FAIL Unexpected error message! #182/p unpriv: adding of fp, imm OK #183/u unpriv: cmp of stack pointer FAIL Unexpected error message! #183/p unpriv: cmp of stack pointer OK #184/u runtime/jit: pass negative index to tail_call Failed to create prog array 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #184/p runtime/jit: pass negative index to tail_call OK #185/u runtime/jit: pass > 32bit index to tail_call Failed to create prog array 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #185/p runtime/jit: pass > 32bit index to tail_call OK #186/u PTR_TO_STACK check high 1 FAIL Failed to load prog 'Operation not permitted'! #186/p PTR_TO_STACK check high 1 OK #187/u PTR_TO_STACK check high 2 FAIL Failed to load prog 'Operation not permitted'! #187/p PTR_TO_STACK check high 2 OK #188/u PTR_TO_STACK check high 3 FAIL Unexpected error message! #188/p PTR_TO_STACK check high 3 OK #189/u PTR_TO_STACK check high 4 FAIL Unexpected error message! #189/p PTR_TO_STACK check high 4 OK #190/u PTR_TO_STACK check high 5 FAIL Unexpected error message! #190/p PTR_TO_STACK check high 5 OK #191/u PTR_TO_STACK check high 6 FAIL Unexpected error message! #191/p PTR_TO_STACK check high 6 OK #192/u PTR_TO_STACK check high 7 FAIL Unexpected error message! #192/p PTR_TO_STACK check high 7 OK #193/u PTR_TO_STACK check low 1 FAIL Failed to load prog 'Operation not permitted'! #193/p PTR_TO_STACK check low 1 OK #194/u PTR_TO_STACK check low 2 FAIL Unexpected error message! #194/p PTR_TO_STACK check low 2 OK #195/u PTR_TO_STACK check low 3 FAIL Unexpected error message! #195/p PTR_TO_STACK check low 3 OK #196/u PTR_TO_STACK check low 4 FAIL Unexpected error message! #196/p PTR_TO_STACK check low 4 OK #197/u PTR_TO_STACK check low 5 FAIL Unexpected error message! #197/p PTR_TO_STACK check low 5 OK #198/u PTR_TO_STACK check low 6 FAIL Unexpected error message! #198/p PTR_TO_STACK check low 6 OK #199/u PTR_TO_STACK check low 7 FAIL Unexpected error message! #199/p PTR_TO_STACK check low 7 OK #200/u PTR_TO_STACK mixed reg/k, 1 FAIL Failed to load prog 'Operation not permitted'! #200/p PTR_TO_STACK mixed reg/k, 1 OK #201/u PTR_TO_STACK mixed reg/k, 2 FAIL Failed to load prog 'Operation not permitted'! #201/p PTR_TO_STACK mixed reg/k, 2 OK #202/u PTR_TO_STACK mixed reg/k, 3 FAIL Failed to load prog 'Operation not permitted'! #202/p PTR_TO_STACK mixed reg/k, 3 OK #203/u PTR_TO_STACK reg FAIL Failed to load prog 'Operation not permitted'! #203/p PTR_TO_STACK reg OK #204/u stack pointer arithmetic FAIL Failed to load prog 'Operation not permitted'! #204/p stack pointer arithmetic OK #205/p raw_stack: no skb_load_bytes OK #206/p raw_stack: skb_load_bytes, negative len OK #207/p raw_stack: skb_load_bytes, negative len 2 OK #208/p raw_stack: skb_load_bytes, zero len OK #209/p raw_stack: skb_load_bytes, no init OK #210/p raw_stack: skb_load_bytes, init OK #211/p raw_stack: skb_load_bytes, spilled regs around bounds OK #212/p raw_stack: skb_load_bytes, spilled regs corruption OK #213/p raw_stack: skb_load_bytes, spilled regs corruption 2 OK #214/p raw_stack: skb_load_bytes, spilled regs + data OK #215/p raw_stack: skb_load_bytes, invalid access 1 OK #216/p raw_stack: skb_load_bytes, invalid access 2 OK #217/p raw_stack: skb_load_bytes, invalid access 3 OK #218/p raw_stack: skb_load_bytes, invalid access 4 OK #219/p raw_stack: skb_load_bytes, invalid access 5 OK #220/p raw_stack: skb_load_bytes, invalid access 6 OK #221/p raw_stack: skb_load_bytes, large access OK #222/p context stores via ST OK #223/p context stores via XADD OK #224/p direct packet access: test1 OK #225/p direct packet access: test2 OK #226/p direct packet access: test3 OK #227/p direct packet access: test4 (write) OK #228/p direct packet access: test5 (pkt_end >= reg, good access) OK #229/p direct packet access: test6 (pkt_end >= reg, bad access) OK #230/p direct packet access: test7 (pkt_end >= reg, both accesses) OK #231/p direct packet access: test8 (double test, variant 1) OK #232/p direct packet access: test9 (double test, variant 2) OK #233/p direct packet access: test10 (write invalid) OK #234/p direct packet access: test11 (shift, good access) OK #235/p direct packet access: test12 (and, good access) OK #236/p direct packet access: test13 (branches, good access) OK #237/p direct packet access: test14 (pkt_ptr += 0, CONST_IMM, good access) OK #238/p direct packet access: test15 (spill with xadd) OK #239/p direct packet access: test16 (arith on data_end) OK #240/p direct packet access: test17 (pruning, alignment) OK #241/p direct packet access: test18 (imm += pkt_ptr, 1) OK #242/p direct packet access: test19 (imm += pkt_ptr, 2) OK #243/p direct packet access: test20 (x += pkt_ptr, 1) OK #244/p direct packet access: test21 (x += pkt_ptr, 2) OK #245/p direct packet access: test22 (x += pkt_ptr, 3) OK #246/p direct packet access: test23 (x += pkt_ptr, 4) OK #247/p direct packet access: test24 (x += pkt_ptr, 5) OK #248/p direct packet access: test25 (marking on <, good access) OK #249/p direct packet access: test26 (marking on <, bad access) OK #250/p direct packet access: test27 (marking on <=, good access) OK #251/p direct packet access: test28 (marking on <=, bad access) OK #252/p helper access to packet: test1, valid packet_ptr range OK #253/p helper access to packet: test2, unchecked packet_ptr OK #254/p helper access to packet: test3, variable add OK #255/p helper access to packet: test4, packet_ptr with bad range OK #256/p helper access to packet: test5, packet_ptr with too short range OK #257/p helper access to packet: test6, cls valid packet_ptr range OK #258/p helper access to packet: test7, cls unchecked packet_ptr OK #259/p helper access to packet: test8, cls variable add OK #260/p helper access to packet: test9, cls packet_ptr with bad range OK #261/p helper access to packet: test10, cls packet_ptr with too short range OK #262/p helper access to packet: test11, cls unsuitable helper 1 OK #263/p helper access to packet: test12, cls unsuitable helper 2 OK #264/p helper access to packet: test13, cls helper ok OK #265/p helper access to packet: test14, cls helper ok sub OK #266/p helper access to packet: test15, cls helper fail sub OK #267/p helper access to packet: test16, cls helper fail range 1 OK #268/p helper access to packet: test17, cls helper fail range 2 OK #269/p helper access to packet: test18, cls helper fail range 3 OK #270/p helper access to packet: test19, cls helper range zero OK #271/p helper access to packet: test20, pkt end as input OK #272/p helper access to packet: test21, wrong reg OK #273/u valid map access into an array with a constant Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #273/p valid map access into an array with a constant OK #274/u valid map access into an array with a register Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #274/p valid map access into an array with a register OK #275/u valid map access into an array with a variable Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #275/p valid map access into an array with a variable OK #276/u valid map access into an array with a signed variable Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #276/p valid map access into an array with a signed variable OK #277/u invalid map access into an array with a constant Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #277/p invalid map access into an array with a constant OK #278/u invalid map access into an array with a register Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #278/p invalid map access into an array with a register OK #279/u invalid map access into an array with a variable Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #279/p invalid map access into an array with a variable OK #280/u invalid map access into an array with no floor check Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #280/p invalid map access into an array with no floor check OK #281/u invalid map access into an array with a invalid max check Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #281/p invalid map access into an array with a invalid max check OK #282/u invalid map access into an array with a invalid max check Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #282/p invalid map access into an array with a invalid max check OK #283/p multiple registers share map_lookup_elem result OK #284/p alu ops on ptr_to_map_value_or_null, 1 OK #285/p alu ops on ptr_to_map_value_or_null, 2 OK #286/p alu ops on ptr_to_map_value_or_null, 3 OK #287/p invalid memory access with multiple map_lookup_elem calls OK #288/p valid indirect map_lookup_elem access with 2nd lookup in branch OK #289/u invalid map access from else condition Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #289/p invalid map access from else condition OK #290/p constant register |= constant should keep constant type OK #291/p constant register |= constant should not bypass stack boundary checks OK #292/p constant register |= constant register should keep constant type OK #293/p constant register |= constant register should not bypass stack boundary checks OK #294/p invalid direct packet write for LWT_IN OK #295/p invalid direct packet write for LWT_OUT OK #296/p direct packet write for LWT_XMIT OK #297/p direct packet read for LWT_IN OK #298/p direct packet read for LWT_OUT OK #299/p direct packet read for LWT_XMIT OK #300/p overlapping checks for direct packet access OK #301/p make headroom for LWT_XMIT OK #302/u invalid access of tc_classid for LWT_IN FAIL Unexpected error message! #302/p invalid access of tc_classid for LWT_IN OK #303/u invalid access of tc_classid for LWT_OUT FAIL Unexpected error message! #303/p invalid access of tc_classid for LWT_OUT OK #304/u invalid access of tc_classid for LWT_XMIT FAIL Unexpected error message! #304/p invalid access of tc_classid for LWT_XMIT OK #305/u leak pointer into ctx 1 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #305/p leak pointer into ctx 1 OK #306/u leak pointer into ctx 2 FAIL Unexpected error message! #306/p leak pointer into ctx 2 OK #307/u leak pointer into ctx 3 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #307/p leak pointer into ctx 3 OK #308/u leak pointer into map val Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #308/p leak pointer into map val OK #309/p helper access to map: full range OK #310/p helper access to map: partial range OK #311/p helper access to map: empty range OK #312/p helper access to map: out-of-bound range OK #313/p helper access to map: negative range OK #314/p helper access to adjusted map (via const imm): full range OK #315/p helper access to adjusted map (via const imm): partial range OK #316/p helper access to adjusted map (via const imm): empty range OK #317/p helper access to adjusted map (via const imm): out-of-bound range OK #318/p helper access to adjusted map (via const imm): negative range (> adjustment) OK #319/p helper access to adjusted map (via const imm): negative range (< adjustment) OK #320/p helper access to adjusted map (via const reg): full range OK #321/p helper access to adjusted map (via const reg): partial range OK #322/p helper access to adjusted map (via const reg): empty range OK #323/p helper access to adjusted map (via const reg): out-of-bound range OK #324/p helper access to adjusted map (via const reg): negative range (> adjustment) OK #325/p helper access to adjusted map (via const reg): negative range (< adjustment) OK #326/p helper access to adjusted map (via variable): full range OK #327/p helper access to adjusted map (via variable): partial range OK #328/p helper access to adjusted map (via variable): empty range OK #329/p helper access to adjusted map (via variable): no max check OK #330/p helper access to adjusted map (via variable): wrong max check OK #331/p helper access to map: bounds check using <, good access OK #332/p helper access to map: bounds check using <, bad access OK #333/p helper access to map: bounds check using <=, good access OK #334/p helper access to map: bounds check using <=, bad access OK #335/p helper access to map: bounds check using s<, good access OK #336/p helper access to map: bounds check using s<, good access 2 OK #337/p helper access to map: bounds check using s<, bad access OK #338/p helper access to map: bounds check using s<=, good access OK #339/p helper access to map: bounds check using s<=, good access 2 OK #340/p helper access to map: bounds check using s<=, bad access OK #341/u map element value is preserved across register spilling Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #341/p map element value is preserved across register spilling OK #342/u map element value or null is marked on register spilling Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #342/p map element value or null is marked on register spilling OK #343/u map element value store of cleared call register Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #343/p map element value store of cleared call register OK #344/u map element value with unaligned store Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #344/p map element value with unaligned store OK #345/u map element value with unaligned load Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #345/p map element value with unaligned load OK #346/u map element value illegal alu op, 1 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #346/p map element value illegal alu op, 1 OK #347/u map element value illegal alu op, 2 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #347/p map element value illegal alu op, 2 OK #348/u map element value illegal alu op, 3 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #348/p map element value illegal alu op, 3 OK #349/u map element value illegal alu op, 4 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #349/p map element value illegal alu op, 4 OK #350/u map element value illegal alu op, 5 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #350/p map element value illegal alu op, 5 OK #351/u map element value is preserved across register spilling Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #351/p map element value is preserved across register spilling OK #352/p helper access to variable memory: stack, bitwise AND + JMP, correct bounds OK #353/p helper access to variable memory: stack, bitwise AND, zero included OK #354/p helper access to variable memory: stack, bitwise AND + JMP, wrong max OK #355/p helper access to variable memory: stack, JMP, correct bounds OK #356/p helper access to variable memory: stack, JMP (signed), correct bounds OK #357/p helper access to variable memory: stack, JMP, bounds + offset OK #358/p helper access to variable memory: stack, JMP, wrong max OK #359/p helper access to variable memory: stack, JMP, no max check OK #360/p helper access to variable memory: stack, JMP, no min check OK #361/p helper access to variable memory: stack, JMP (signed), no min check OK #362/p helper access to variable memory: map, JMP, correct bounds OK #363/p helper access to variable memory: map, JMP, wrong max OK #364/p helper access to variable memory: map adjusted, JMP, correct bounds OK #365/p helper access to variable memory: map adjusted, JMP, wrong max OK #366/p helper access to variable memory: size = 0 allowed on NULL (ARG_PTR_TO_MEM_OR_NULL) OK #367/p helper access to variable memory: size > 0 not allowed on NULL (ARG_PTR_TO_MEM_OR_NULL) OK #368/p helper access to variable memory: size = 0 allowed on != NULL stack pointer (ARG_PTR_TO_MEM_OR_NULL) OK #369/p helper access to variable memory: size = 0 allowed on != NULL map pointer (ARG_PTR_TO_MEM_OR_NULL) OK #370/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (ARG_PTR_TO_MEM_OR_NULL) OK #371/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (ARG_PTR_TO_MEM_OR_NULL) OK #372/p helper access to variable memory: size possible = 0 allowed on != NULL packet pointer (ARG_PTR_TO_MEM_OR_NULL) OK #373/p helper access to variable memory: size = 0 not allowed on NULL (!ARG_PTR_TO_MEM_OR_NULL) OK #374/p helper access to variable memory: size > 0 not allowed on NULL (!ARG_PTR_TO_MEM_OR_NULL) OK #375/p helper access to variable memory: size = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) OK #376/p helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) OK #377/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) OK #378/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) OK #379/p helper access to variable memory: 8 bytes leak OK #380/p helper access to variable memory: 8 bytes no leak (init memory) OK #381/u invalid and of negative number Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #381/p invalid and of negative number OK #382/u invalid range check Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #382/p invalid range check OK #383/u map in map access Failed to create array 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #383/p map in map access OK #384/u invalid inner map pointer Failed to create array 'Operation not permitted'! FAIL Unexpected error message! #384/p invalid inner map pointer OK #385/u forgot null checking on the inner map pointer Failed to create array 'Operation not permitted'! FAIL Unexpected error message! #385/p forgot null checking on the inner map pointer OK #386/u ld_abs: check calling conv, r1 FAIL Unexpected error message! #386/p ld_abs: check calling conv, r1 OK #387/u ld_abs: check calling conv, r2 FAIL Unexpected error message! #387/p ld_abs: check calling conv, r2 OK #388/u ld_abs: check calling conv, r3 FAIL Unexpected error message! #388/p ld_abs: check calling conv, r3 OK #389/u ld_abs: check calling conv, r4 FAIL Unexpected error message! #389/p ld_abs: check calling conv, r4 OK #390/u ld_abs: check calling conv, r5 FAIL Unexpected error message! #390/p ld_abs: check calling conv, r5 OK #391/u ld_abs: check calling conv, r7 FAIL Failed to load prog 'Operation not permitted'! #391/p ld_abs: check calling conv, r7 OK #392/p ld_abs: tests on r6 and skb data reload helper OK #393/u ld_ind: check calling conv, r1 FAIL Unexpected error message! #393/p ld_ind: check calling conv, r1 OK #394/u ld_ind: check calling conv, r2 FAIL Unexpected error message! #394/p ld_ind: check calling conv, r2 OK #395/u ld_ind: check calling conv, r3 FAIL Unexpected error message! #395/p ld_ind: check calling conv, r3 OK #396/u ld_ind: check calling conv, r4 FAIL Unexpected error message! #396/p ld_ind: check calling conv, r4 OK #397/u ld_ind: check calling conv, r5 FAIL Unexpected error message! #397/p ld_ind: check calling conv, r5 OK #398/u ld_ind: check calling conv, r7 FAIL Failed to load prog 'Operation not permitted'! #398/p ld_ind: check calling conv, r7 OK #399/p check bpf_perf_event_data->sample_period byte load permitted OK #400/p check bpf_perf_event_data->sample_period half load permitted OK #401/p check bpf_perf_event_data->sample_period word load permitted OK #402/p check bpf_perf_event_data->sample_period dword load permitted OK #403/u check skb->data half load not permitted FAIL Unexpected error message! #403/p check skb->data half load not permitted OK #404/p check skb->tc_classid half load not permitted for lwt prog OK #405/u bounds checks mixing signed and unsigned, positive bounds Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #405/p bounds checks mixing signed and unsigned, positive bounds OK #406/u bounds checks mixing signed and unsigned Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #406/p bounds checks mixing signed and unsigned OK #407/u bounds checks mixing signed and unsigned, variant 2 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #407/p bounds checks mixing signed and unsigned, variant 2 OK #408/u bounds checks mixing signed and unsigned, variant 3 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #408/p bounds checks mixing signed and unsigned, variant 3 OK #409/u bounds checks mixing signed and unsigned, variant 4 Failed to create hash map 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #409/p bounds checks mixing signed and unsigned, variant 4 OK #410/u bounds checks mixing signed and unsigned, variant 5 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #410/p bounds checks mixing signed and unsigned, variant 5 OK #411/u bounds checks mixing signed and unsigned, variant 6 FAIL Unexpected error message! #411/p bounds checks mixing signed and unsigned, variant 6 OK #412/u bounds checks mixing signed and unsigned, variant 7 Failed to create hash map 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #412/p bounds checks mixing signed and unsigned, variant 7 OK #413/u bounds checks mixing signed and unsigned, variant 8 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #413/p bounds checks mixing signed and unsigned, variant 8 OK #414/u bounds checks mixing signed and unsigned, variant 9 Failed to create hash map 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #414/p bounds checks mixing signed and unsigned, variant 9 OK #415/u bounds checks mixing signed and unsigned, variant 10 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #415/p bounds checks mixing signed and unsigned, variant 10 OK #416/u bounds checks mixing signed and unsigned, variant 11 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #416/p bounds checks mixing signed and unsigned, variant 11 OK #417/u bounds checks mixing signed and unsigned, variant 12 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #417/p bounds checks mixing signed and unsigned, variant 12 OK #418/u bounds checks mixing signed and unsigned, variant 13 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #418/p bounds checks mixing signed and unsigned, variant 13 OK #419/u bounds checks mixing signed and unsigned, variant 14 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #419/p bounds checks mixing signed and unsigned, variant 14 OK #420/u bounds checks mixing signed and unsigned, variant 15 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #420/p bounds checks mixing signed and unsigned, variant 15 OK #421/u subtraction bounds (map value) variant 1 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #421/p subtraction bounds (map value) variant 1 OK #422/u subtraction bounds (map value) variant 2 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #422/p subtraction bounds (map value) variant 2 OK #423/u check subtraction on pointers for unpriv Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #423/p check subtraction on pointers for unpriv OK #424/u bounds check based on zero-extended MOV Failed to create hash map 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #424/p bounds check based on zero-extended MOV OK #425/u bounds check based on sign-extended MOV. test1 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #425/p bounds check based on sign-extended MOV. test1 OK #426/u bounds check based on sign-extended MOV. test2 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #426/p bounds check based on sign-extended MOV. test2 OK #427/p bounds check based on reg_off + var_off + insn_off. test1 OK #428/p bounds check based on reg_off + var_off + insn_off. test2 OK #429/u bounds check after truncation of non-boundary-crossing range Failed to create hash map 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #429/p bounds check after truncation of non-boundary-crossing range OK #430/u bounds check after truncation of boundary-crossing range (1) Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #430/p bounds check after truncation of boundary-crossing range (1) OK #431/u bounds check after truncation of boundary-crossing range (2) Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #431/p bounds check after truncation of boundary-crossing range (2) OK #432/u bounds check after wrapping 32-bit addition Failed to create hash map 'Operation not permitted'! FAIL Failed to load prog 'Operation not permitted'! #432/p bounds check after wrapping 32-bit addition OK #433/u bounds check after shift with oversized count operand Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #433/p bounds check after shift with oversized count operand OK #434/u bounds check after right shift of maybe-negative number Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #434/p bounds check after right shift of maybe-negative number OK #435/u bounds check after 32-bit right shift with 64-bit input Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #435/p bounds check after 32-bit right shift with 64-bit input OK #436/u bounds check map access with off+size signed 32bit overflow. test1 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #436/p bounds check map access with off+size signed 32bit overflow. test1 OK #437/u bounds check map access with off+size signed 32bit overflow. test2 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #437/p bounds check map access with off+size signed 32bit overflow. test2 OK #438/u bounds check map access with off+size signed 32bit overflow. test3 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #438/p bounds check map access with off+size signed 32bit overflow. test3 OK #439/u bounds check map access with off+size signed 32bit overflow. test4 Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #439/p bounds check map access with off+size signed 32bit overflow. test4 OK #440/u pointer/scalar confusion in state equality check (way 1) Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #440/p pointer/scalar confusion in state equality check (way 1) OK #441/u pointer/scalar confusion in state equality check (way 2) Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #441/p pointer/scalar confusion in state equality check (way 2) OK #442/p variable-offset ctx access OK #443/p variable-offset stack access OK #444/p indirect variable-offset stack access OK #445/u direct stack access with 32-bit wraparound. test1 FAIL Unexpected error message! #445/p direct stack access with 32-bit wraparound. test1 OK #446/u direct stack access with 32-bit wraparound. test2 FAIL Unexpected error message! #446/p direct stack access with 32-bit wraparound. test2 OK #447/u direct stack access with 32-bit wraparound. test3 FAIL Unexpected error message! #447/p direct stack access with 32-bit wraparound. test3 OK #448/p liveness pruning and write screening OK #449/u varlen_map_value_access pruning Failed to create hash map 'Operation not permitted'! FAIL Unexpected error message! #449/p varlen_map_value_access pruning OK #450/u invalid 64-bit BPF_END FAIL Unexpected error message! #450/p invalid 64-bit BPF_END OK #451/p meta access, test1 OK #452/p meta access, test2 OK #453/p meta access, test3 OK #454/p meta access, test4 OK #455/p meta access, test5 OK #456/p meta access, test6 OK #457/p meta access, test7 OK #458/p meta access, test8 OK #459/p meta access, test9 OK #460/p meta access, test10 OK #461/p meta access, test11 OK #462/p meta access, test12 OK #463/p arithmetic ops make PTR_TO_CTX unusable OK #464/p pkt_end - pkt_start is allowed OK #465/p XDP pkt read, pkt_end mangling, bad access 1 OK #466/p XDP pkt read, pkt_end mangling, bad access 2 OK #467/p XDP pkt read, pkt_data' > pkt_end, good access OK #468/p XDP pkt read, pkt_data' > pkt_end, bad access 1 OK #469/p XDP pkt read, pkt_data' > pkt_end, bad access 2 OK #470/p XDP pkt read, pkt_end > pkt_data', good access OK #471/p XDP pkt read, pkt_end > pkt_data', bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +0) 1: (61) r3 = *(u32 *)(r1 +4) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (2d) if r3 > r1 goto pc+1 R1=pkt(id=0,off=8,r=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0 5: (05) goto pc+1 7: (b7) r0 = 0 8: (95) exit from 4 to 6: R1=pkt(id=0,off=8,r=9,imm=0) R2=pkt(id=0,off=0,r=9,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0 6: (79) r0 = *(u64 *)(r1 -8) 7: (b7) r0 = 0 8: (95) exit processed 11 insns, stack depth 0 #472/p XDP pkt read, pkt_end > pkt_data', bad access 2 OK #473/p XDP pkt read, pkt_data' < pkt_end, good access OK #474/p XDP pkt read, pkt_data' < pkt_end, bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +0) 1: (61) r3 = *(u32 *)(r1 +4) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (ad) if r1 < r3 goto pc+1 R1=pkt(id=0,off=8,r=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0 5: (05) goto pc+1 7: (b7) r0 = 0 8: (95) exit from 4 to 6: R1=pkt(id=0,off=8,r=9,imm=0) R2=pkt(id=0,off=0,r=9,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0 6: (79) r0 = *(u64 *)(r1 -8) 7: (b7) r0 = 0 8: (95) exit processed 11 insns, stack depth 0 #475/p XDP pkt read, pkt_data' < pkt_end, bad access 2 OK #476/p XDP pkt read, pkt_end < pkt_data', good access OK #477/p XDP pkt read, pkt_end < pkt_data', bad access 1 OK #478/p XDP pkt read, pkt_end < pkt_data', bad access 2 OK #479/p XDP pkt read, pkt_data' >= pkt_end, good access OK #480/p XDP pkt read, pkt_data' >= pkt_end, bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +0) 1: (61) r3 = *(u32 *)(r1 +4) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (3d) if r1 >= r3 goto pc+1 R1=pkt(id=0,off=8,r=9,imm=0) R2=pkt(id=0,off=0,r=9,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0 5: (79) r0 = *(u64 *)(r1 -8) 6: (b7) r0 = 0 7: (95) exit from 4 to 6: safe processed 9 insns, stack depth 0 #481/p XDP pkt read, pkt_data' >= pkt_end, bad access 2 OK #482/p XDP pkt read, pkt_end >= pkt_data', good access OK #483/p XDP pkt read, pkt_end >= pkt_data', bad access 1 OK #484/p XDP pkt read, pkt_end >= pkt_data', bad access 2 OK #485/p XDP pkt read, pkt_data' <= pkt_end, good access OK #486/p XDP pkt read, pkt_data' <= pkt_end, bad access 1 OK #487/p XDP pkt read, pkt_data' <= pkt_end, bad access 2 OK #488/p XDP pkt read, pkt_end <= pkt_data', good access OK #489/p XDP pkt read, pkt_end <= pkt_data', bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +0) 1: (61) r3 = *(u32 *)(r1 +4) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (bd) if r3 <= r1 goto pc+1 R1=pkt(id=0,off=8,r=9,imm=0) R2=pkt(id=0,off=0,r=9,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0 5: (79) r0 = *(u64 *)(r1 -8) 6: (b7) r0 = 0 7: (95) exit from 4 to 6: safe processed 9 insns, stack depth 0 #490/p XDP pkt read, pkt_end <= pkt_data', bad access 2 OK #491/p XDP pkt read, pkt_meta' > pkt_data, good access OK #492/p XDP pkt read, pkt_meta' > pkt_data, bad access 1 OK #493/p XDP pkt read, pkt_meta' > pkt_data, bad access 2 OK #494/p XDP pkt read, pkt_data > pkt_meta', good access OK #495/p XDP pkt read, pkt_data > pkt_meta', bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +8) 1: (61) r3 = *(u32 *)(r1 +0) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (2d) if r3 > r1 goto pc+1 R1=pkt_meta(id=0,off=8,r=0,imm=0) R2=pkt_meta(id=0,off=0,r=0,imm=0) R3=pkt(id=0,off=0,r=0,imm=0) R10=fp0 5: (05) goto pc+1 7: (b7) r0 = 0 8: (95) exit from 4 to 6: R1=pkt_meta(id=0,off=8,r=9,imm=0) R2=pkt_meta(id=0,off=0,r=9,imm=0) R3=pkt(id=0,off=0,r=0,imm=0) R10=fp0 6: (79) r0 = *(u64 *)(r1 -8) 7: (b7) r0 = 0 8: (95) exit processed 11 insns, stack depth 0 #496/p XDP pkt read, pkt_data > pkt_meta', bad access 2 OK #497/p XDP pkt read, pkt_meta' < pkt_data, good access OK #498/p XDP pkt read, pkt_meta' < pkt_data, bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +8) 1: (61) r3 = *(u32 *)(r1 +0) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (ad) if r1 < r3 goto pc+1 R1=pkt_meta(id=0,off=8,r=0,imm=0) R2=pkt_meta(id=0,off=0,r=0,imm=0) R3=pkt(id=0,off=0,r=0,imm=0) R10=fp0 5: (05) goto pc+1 7: (b7) r0 = 0 8: (95) exit from 4 to 6: R1=pkt_meta(id=0,off=8,r=9,imm=0) R2=pkt_meta(id=0,off=0,r=9,imm=0) R3=pkt(id=0,off=0,r=0,imm=0) R10=fp0 6: (79) r0 = *(u64 *)(r1 -8) 7: (b7) r0 = 0 8: (95) exit processed 11 insns, stack depth 0 #499/p XDP pkt read, pkt_meta' < pkt_data, bad access 2 OK #500/p XDP pkt read, pkt_data < pkt_meta', good access OK #501/p XDP pkt read, pkt_data < pkt_meta', bad access 1 OK #502/p XDP pkt read, pkt_data < pkt_meta', bad access 2 OK #503/p XDP pkt read, pkt_meta' >= pkt_data, good access OK #504/p XDP pkt read, pkt_meta' >= pkt_data, bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +8) 1: (61) r3 = *(u32 *)(r1 +0) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (3d) if r1 >= r3 goto pc+1 R1=pkt_meta(id=0,off=8,r=9,imm=0) R2=pkt_meta(id=0,off=0,r=9,imm=0) R3=pkt(id=0,off=0,r=0,imm=0) R10=fp0 5: (79) r0 = *(u64 *)(r1 -8) 6: (b7) r0 = 0 7: (95) exit from 4 to 6: safe processed 9 insns, stack depth 0 #505/p XDP pkt read, pkt_meta' >= pkt_data, bad access 2 OK #506/p XDP pkt read, pkt_data >= pkt_meta', good access OK #507/p XDP pkt read, pkt_data >= pkt_meta', bad access 1 OK #508/p XDP pkt read, pkt_data >= pkt_meta', bad access 2 OK #509/p XDP pkt read, pkt_meta' <= pkt_data, good access OK #510/p XDP pkt read, pkt_meta' <= pkt_data, bad access 1 OK #511/p XDP pkt read, pkt_meta' <= pkt_data, bad access 2 OK #512/p XDP pkt read, pkt_data <= pkt_meta', good access OK #513/p XDP pkt read, pkt_data <= pkt_meta', bad access 1 FAIL Unexpected success to load! 0: (61) r2 = *(u32 *)(r1 +8) 1: (61) r3 = *(u32 *)(r1 +0) 2: (bf) r1 = r2 3: (07) r1 += 8 4: (bd) if r3 <= r1 goto pc+1 R1=pkt_meta(id=0,off=8,r=9,imm=0) R2=pkt_meta(id=0,off=0,r=9,imm=0) R3=pkt(id=0,off=0,r=0,imm=0) R10=fp0 5: (79) r0 = *(u64 *)(r1 -8) 6: (b7) r0 = 0 7: (95) exit from 4 to 6: safe processed 9 insns, stack depth 0 #514/p XDP pkt read, pkt_data <= pkt_meta', bad access 2 OK #515/u check deducing bounds from const, 1 FAIL Unexpected error message! #515/p check deducing bounds from const, 1 OK #516/u check deducing bounds from const, 2 FAIL Unexpected error message! #516/p check deducing bounds from const, 2 OK #517/u check deducing bounds from const, 3 FAIL Unexpected error message! #517/p check deducing bounds from const, 3 OK #518/u check deducing bounds from const, 4 FAIL Unexpected error message! #518/p check deducing bounds from const, 4 OK #519/u check deducing bounds from const, 5 FAIL Unexpected error message! #519/p check deducing bounds from const, 5 OK #520/u check deducing bounds from const, 6 FAIL Unexpected error message! #520/p check deducing bounds from const, 6 OK #521/u check deducing bounds from const, 7 FAIL Unexpected error message! #521/p check deducing bounds from const, 7 OK #522/u check deducing bounds from const, 8 FAIL Unexpected error message! #522/p check deducing bounds from const, 8 OK #523/u check deducing bounds from const, 9 FAIL Unexpected error message! #523/p check deducing bounds from const, 9 OK #524/u check deducing bounds from const, 10 FAIL Unexpected error message! #524/p check deducing bounds from const, 10 OK #525/p bpf_exit with invalid return code. test1 OK #526/p bpf_exit with invalid return code. test2 OK #527/p bpf_exit with invalid return code. test3 OK #528/p bpf_exit with invalid return code. test4 OK #529/p bpf_exit with invalid return code. test5 OK #530/p bpf_exit with invalid return code. test6 OK #531/p bpf_exit with invalid return code. test7 OK #532/p xadd/w check unaligned stack OK #533/p xadd/w check unaligned map OK #534/p xadd/w check unaligned pkt OK #535/p pass unmodified ctx pointer to helper OK #536/p pass modified ctx pointer to helper, 1 OK #537/u pass modified ctx pointer to helper, 2 FAIL Unexpected error message! #537/p pass modified ctx pointer to helper, 2 OK #538/p pass modified ctx pointer to helper, 3 OK #539/u masking, test out of bounds 1 FAIL Failed to load prog 'Operation not permitted'! #539/p masking, test out of bounds 1 OK #540/u masking, test out of bounds 2 FAIL Failed to load prog 'Operation not permitted'! #540/p masking, test out of bounds 2 OK #541/u masking, test out of bounds 3 FAIL Failed to load prog 'Operation not permitted'! #541/p masking, test out of bounds 3 OK #542/u masking, test out of bounds 4 FAIL Failed to load prog 'Operation not permitted'! #542/p masking, test out of bounds 4 OK #543/u masking, test out of bounds 5 FAIL Failed to load prog 'Operation not permitted'! #543/p masking, test out of bounds 5 OK #544/u masking, test out of bounds 6 FAIL Failed to load prog 'Operation not permitted'! #544/p masking, test out of bounds 6 OK #545/u masking, test out of bounds 7 FAIL Failed to load prog 'Operation not permitted'! #545/p masking, test out of bounds 7 OK #546/u masking, test out of bounds 8 FAIL Failed to load prog 'Operation not permitted'! #546/p masking, test out of bounds 8 OK #547/u masking, test out of bounds 9 FAIL Failed to load prog 'Operation not permitted'! #547/p masking, test out of bounds 9 OK #548/u masking, test out of bounds 10 FAIL Failed to load prog 'Operation not permitted'! #548/p masking, test out of bounds 10 OK #549/u masking, test out of bounds 11 FAIL Failed to load prog 'Operation not permitted'! #549/p masking, test out of bounds 11 OK #550/u masking, test out of bounds 12 FAIL Failed to load prog 'Operation not permitted'! #550/p masking, test out of bounds 12 OK #551/u masking, test in bounds 1 FAIL Failed to load prog 'Operation not permitted'! #551/p masking, test in bounds 1 OK #552/u masking, test in bounds 2 FAIL Failed to load prog 'Operation not permitted'! #552/p masking, test in bounds 2 OK #553/u masking, test in bounds 3 FAIL Failed to load prog 'Operation not permitted'! #553/p masking, test in bounds 3 OK #554/u masking, test in bounds 4 FAIL Failed to load prog 'Operation not permitted'! #554/p masking, test in bounds 4 OK #555/u masking, test in bounds 5 FAIL Failed to load prog 'Operation not permitted'! #555/p masking, test in bounds 5 OK #556/u masking, test in bounds 6 FAIL Failed to load prog 'Operation not permitted'! #556/p masking, test in bounds 6 OK #557/u masking, test in bounds 7 FAIL Failed to load prog 'Operation not permitted'! #557/p masking, test in bounds 7 OK #558/u masking, test in bounds 8 FAIL Failed to load prog 'Operation not permitted'! #558/p masking, test in bounds 8 OK Summary: 551 PASSED, 286 FAILED