bpf/progs/verifier_helper_value_access.c

42 __description("helper access to map: full range")
68 __description("helper access to map: partial range")
98 __description("helper access to map: empty range")
125 __description("helper access to map: possibly-empty ange")
154 __description("helper access to map: out-of-bound range")
155 __failure __msg("invalid access to map value, value_size=48 off=0 size=56")
180 __description("helper access to map: negative range")
205 __description("helper access to adjusted map (via const imm): full range")
233 __description("helper access to adjusted map (via const imm): partial range")
260 __description("helper access to adjusted map (via const imm): empty range")
286 __description("helper access to adjusted map (via const imm): out-of-bound range")
287 __failure __msg("invalid access to map value, value_size=48 off=4 size=52")
314 __description("helper access to adjusted map (via const imm): negative range (> adjustment)")
341 __description("helper access to adjusted map (via const imm): negative range (< adjustment)")
368 __description("helper access to adjusted map (via const reg): full range")
397 __description("helper access to adjusted map (via const reg): partial range")
425 __description("helper access to adjusted map (via const reg): empty range")
451 __description("helper access to adjusted map (via const reg): out-of-bound range")
452 __failure __msg("invalid access to map value, value_size=48 off=4 size=52")
480 __description("helper access to adjusted map (via const reg): negative range (> adjustment)")
508 __description("helper access to adjusted map (via const reg): negative range (< adjustment)")
536 __description("helper access to adjusted map (via variable): full range")
566 __description("helper access to adjusted map (via variable): partial range")
595 __description("helper access to adjusted map (via variable): empty range")
623 __description("helper access to adjusted map (via variable): no max check")
624 __failure __msg("R1 unbounded memory access")
650 __description("helper access to adjusted map (via variable): wrong max check")
651 __failure __msg("invalid access to map value, value_size=48 off=4 size=45")
680 __description("helper access to map: bounds check using <, good access")
709 __description("helper access to map: bounds check using <, bad access")
710 __failure __msg("R1 unbounded memory access")
738 __description("helper access to map: bounds check using <=, good access")
767 __description("helper access to map: bounds check using <=, bad access")
768 __failure __msg("R1 unbounded memory access")
796 __description("helper access to map: bounds check using s<, good access")
826 __description("helper access to map: bounds check using s<, good access 2")
856 __description("helper access to map: bounds check using s<, bad access")
886 __description("helper access to map: bounds check using s<=, good access")
916 __description("helper access to map: bounds check using s<=, good access 2")
946 __description("helper access to map: bounds check using s<=, bad access")
976 __description("map lookup helper access to map")
999 __description("map update helper access to map")
1025 __description("map update helper access to map: wrong size")
1026 __failure __msg("invalid access to map value, value_size=8 off=0 size=16")
1052 __description("map helper access to adjusted map (via const imm)")
1077 __description("map helper access to adjusted map (via const imm): out-of-bound 1")
1078 __failure __msg("invalid access to map value, value_size=16 off=12 size=8")
1102 __description("map helper access to adjusted map (via const imm): out-of-bound 2")
1103 __failure __msg("invalid access to map value, value_size=16 off=-4 size=8")
1126 __description("map helper access to adjusted map (via const reg)")
1152 __description("map helper access to adjusted map (via const reg): out-of-bound 1")
1153 __failure __msg("invalid access to map value, value_size=16 off=12 size=8")
1178 __description("map helper access to adjusted map (via const reg): out-of-bound 2")
1179 __failure __msg("invalid access to map value, value_size=16 off=-4 size=8")
1203 __description("map helper access to adjusted map (via variable)")
1230 __description("map helper access to adjusted map (via variable): no max check")
1232 __msg("R2 unbounded memory access, make sure to bounds check any such access")
1256 __description("map helper access to adjusted map (via variable): wrong max check")
1257 __failure __msg("invalid access to map value, value_size=16 off=9 size=8")