DepSurf

Function: __update_reg_bounds

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a54ac)
  Location: kernel/bpf/verifier.c:491
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bbec4)
  Location: kernel/bpf/verifier.c:618
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cc0c6)
  Location: kernel/bpf/verifier.c:866
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d6c5d)
  Location: kernel/bpf/verifier.c:925
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e32bd)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203faa)
  Location: kernel/bpf/verifier.c:1127
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203f3a)
  Location: kernel/bpf/verifier.c:1159
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204f12)
  Location: kernel/bpf/verifier.c:1253
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81237a42)
  Location: kernel/bpf/verifier.c:1267
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81282e3f)
  Location: kernel/bpf/verifier.c:1471
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812da97f)
  Location: kernel/bpf/verifier.c:1685
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81310733)
  Location: kernel/bpf/verifier.c:2082
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff813312c3)
  Location: kernel/bpf/verifier.c:1936
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:reg_bounds_sync
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026e90c)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In armhf: ✅

  void __update_reg_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c0497f38)
  Location: kernel/bpf/verifier.c:926
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  c0497f38-c0497fd8: __update_reg_bounds (STB_LOCAL)
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030b36c)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a197c)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db8dd)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce69d)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d96ad)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7abd)
  Location: kernel/bpf/verifier.c:926
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

Differences

Arch