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")
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")
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")
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")
650 __description("helper access to adjusted map (via variable): wrong max check")
680 __description("helper access to map: bounds check using <, good access")
709 __description("helper access to map: bounds check using <, bad access")
738 __description("helper access to map: bounds check using <=, good access")
767 __description("helper access to map: bounds check using <=, bad 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")
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")
1102 __description("map helper access to adjusted map (via const imm): out-of-bound 2")
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")
1178 __description("map helper access to adjusted map (via const reg): out-of-bound 2")
1203 __description("map helper access to adjusted map (via variable)")
1230 __description("map helper access to adjusted map (via variable): no max check")
1256 __description("map helper access to adjusted map (via variable): wrong max check")