DepSurf

Function: sanitize_ptr_alu

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: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c7940)
  Location: kernel/bpf/verifier.c:3143
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811c7940-ffffffff811c7b7b: sanitize_ptr_alu (STB_LOCAL)
  

• In 5.3: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db030)
  Location: kernel/bpf/verifier.c:4266
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811db030-ffffffff811db29c: sanitize_ptr_alu (STB_LOCAL)
  

• In 5.4: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7780)
  Location: kernel/bpf/verifier.c:4269
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811e7780-ffffffff811e79ec: sanitize_ptr_alu (STB_LOCAL)
  

• In 5.8: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81207490)
  Location: kernel/bpf/verifier.c:4946
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff81207490-ffffffff8120772b: sanitize_ptr_alu.constprop.0.isra.0 (STB_LOCAL)
  

• In 5.11: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81207d50)
  Location: kernel/bpf/verifier.c:5457
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff81207d50-ffffffff8120801c: sanitize_ptr_alu.constprop.0.isra.0 (STB_LOCAL)
  

• In 5.13: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81209530)
  Location: kernel/bpf/verifier.c:6489
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff81209530-ffffffff812098b5: sanitize_ptr_alu.isra.0 (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6778
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff8123d1f0-ffffffff8123d5e1: sanitize_ptr_alu (STB_LOCAL)
  ffffffff81cb81dd-ffffffff81cb8301: sanitize_ptr_alu.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:7777
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff812825a0-ffffffff812829c3: sanitize_ptr_alu (STB_LOCAL)
  ffffffff81e693fc-ffffffff81e694f7: sanitize_ptr_alu.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:9713
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff812da0c0-ffffffff812da4e6: sanitize_ptr_alu (STB_LOCAL)
  ffffffff820601fc-ffffffff820602f7: sanitize_ptr_alu.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:11629
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff81302c10-ffffffff81303032: sanitize_ptr_alu (STB_LOCAL)
  ffffffff820df239-ffffffff820df334: sanitize_ptr_alu.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:12563
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff81320cb0-ffffffff813210d2: sanitize_ptr_alu (STB_LOCAL)
  ffffffff821bb1da-ffffffff821bb2d5: sanitize_ptr_alu.cold (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff80001026b158)
  Location: kernel/bpf/verifier.c:4269
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffff80001026b158-ffff80001026b3a0: sanitize_ptr_alu.isra.0 (STB_LOCAL)
  

• In armhf: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049d254)
  Location: kernel/bpf/verifier.c:4269
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  c049d254-c049d424: sanitize_ptr_alu (STB_LOCAL)
  

• In ppc64el: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c0000000003110f0)
  Location: kernel/bpf/verifier.c:4269
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  c0000000003110f0-c00000000031135c: sanitize_ptr_alu.isra.0 (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a57f0)
  Location: kernel/bpf/verifier.c:4269
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffe0001a57f0-ffffffe0001a5992: sanitize_ptr_alu.isra.0 (STB_LOCAL)
  

Flavor

• In aws: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dfda0)
  Location: kernel/bpf/verifier.c:4269
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811dfda0-ffffffff811e000c: sanitize_ptr_alu (STB_LOCAL)
  

• In azure: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d2b60)
  Location: kernel/bpf/verifier.c:4269
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811d2b60-ffffffff811d2dcc: sanitize_ptr_alu (STB_LOCAL)
  

• In gcp: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ddb70)
  Location: kernel/bpf/verifier.c:4269
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811ddb70-ffffffff811ddddc: sanitize_ptr_alu (STB_LOCAL)
  

• In lowlatency: ✅

  int sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, struct bpf_reg_state *dst_reg, bool off_is_neg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ebf80)
  Location: kernel/bpf/verifier.c:4269
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811ebf80-ffffffff811ec1ec: sanitize_ptr_alu (STB_LOCAL)
  

Differences

Regular

• No changes between 5.0 and 5.3 ✅
• No changes between 5.3 and 5.4 ✅
• No changes between 5.15 and 5.19 ✅
• No changes between 5.19 and 6.2 ✅
• No changes between 6.2 and 6.5 ✅
• No changes between 6.5 and 6.8 ✅

Arch

• No changes between amd64 and armhf ✅

Flavor

• No changes between generic and aws ✅
• No changes between generic and azure ✅
• No changes between generic and gcp ✅
• No changes between generic and lowlatency ✅