DepSurf

Function: __reg32_deduce_bounds

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Absent ⚠️
• In 4.18: Absent ⚠️
• In 5.0: Absent ⚠️
• In 5.3: Absent ⚠️
• In 5.4: Absent ⚠️
• In 5.8: ✅

  void __reg32_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81201d10)
  Location: kernel/bpf/verifier.c:1134
  Inline: False
  Direct callers:
    - 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_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
  

  Symbols:

  ffffffff81201d10-ffffffff81201d6d: __reg32_deduce_bounds (STB_LOCAL)
  

• In 5.11: ✅

  void __reg32_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812017a0)
  Location: kernel/bpf/verifier.c:1166
  Inline: False
  Direct callers:
    - 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_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
  

  Symbols:

  ffffffff812017a0-ffffffff812017fd: __reg32_deduce_bounds (STB_LOCAL)
  

• In 5.13: ✅

  void __reg32_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81202640)
  Location: kernel/bpf/verifier.c:1260
  Inline: False
  Direct callers:
    - 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_ptr_min_max_vals
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

  Symbols:

  ffffffff81202640-ffffffff812026a4: __reg32_deduce_bounds (STB_LOCAL)
  

• In 5.15: ✅

  void __reg32_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812346a0)
  Location: kernel/bpf/verifier.c:1274
  Inline: False
  Direct callers:
    - 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_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
  

  Symbols:

  ffffffff812346a0-ffffffff81234704: __reg32_deduce_bounds (STB_LOCAL)
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127bcd4)
  Location: kernel/bpf/verifier.c:1478
  Inline: True
  Inline callers:
    - 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 (ffffffff812d22b4)
  Location: kernel/bpf/verifier.c:1692
  Inline: True
  Inline callers:
    - 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 (ffffffff81307773)
  Location: kernel/bpf/verifier.c:2089
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.8: ✅

  void __reg32_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81314880)
  Location: kernel/bpf/verifier.c:1943
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:reg_bounds_sync
  

  Symbols:

  ffffffff81314880-ffffffff81314a09: __reg32_deduce_bounds (STB_LOCAL)
  

Arch

• In arm64: Absent ⚠️
• In armhf: Absent ⚠️
• In ppc64el: Absent ⚠️
• In riscv64: Absent ⚠️

Flavor

• In aws: Absent ⚠️
• In azure: Absent ⚠️
• In gcp: Absent ⚠️
• In lowlatency: Absent ⚠️

Differences

Regular

• No changes between 5.8 and 5.11 ✅
• No changes between 5.11 and 5.13 ✅
• No changes between 5.13 and 5.15 ✅