DepSurf

Function: sanitize_val_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_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c5950)
  Location: kernel/bpf/verifier.c:3132
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
  

  Symbols:

  ffffffff811c5950-ffffffff811c59a4: sanitize_val_alu (STB_LOCAL)
  

• In 5.3: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d6800)
  Location: kernel/bpf/verifier.c:4255
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff811d6800-ffffffff811d6854: sanitize_val_alu (STB_LOCAL)
  

• In 5.4: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e2ee0)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff811e2ee0-ffffffff811e2f34: sanitize_val_alu (STB_LOCAL)
  

• In 5.8: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203200)
  Location: kernel/bpf/verifier.c:4935
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff81203200-ffffffff81203249: sanitize_val_alu.isra.0 (STB_LOCAL)
  

• In 5.11: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff812030a0)
  Location: kernel/bpf/verifier.c:5446
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff812030a0-ffffffff812030f0: sanitize_val_alu.isra.0 (STB_LOCAL)
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81209ace)
  Location: kernel/bpf/verifier.c:6447
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123d7f4)
  Location: kernel/bpf/verifier.c:6736
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81283218)
  Location: kernel/bpf/verifier.c:7735
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812dad58)
  Location: kernel/bpf/verifier.c:9671
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff813104a6)
  Location: kernel/bpf/verifier.c:11587
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81331036)
  Location: kernel/bpf/verifier.c:12521
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

Arch

• In arm64: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102662a0)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffff8000102662a0-ffff800010266338: sanitize_val_alu (STB_LOCAL)
  

• In armhf: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04981f4)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  c04981f4-c049827c: sanitize_val_alu (STB_LOCAL)
  

• In ppc64el: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030afb0)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  c00000000030afb0-c00000000030b038: sanitize_val_alu (STB_LOCAL)
  

• In riscv64: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a1718)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffe0001a1718-ffffffe0001a178e: sanitize_val_alu (STB_LOCAL)
  

Flavor

• In aws: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db500)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff811db500-ffffffff811db554: sanitize_val_alu (STB_LOCAL)
  

• In azure: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce2c0)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff811ce2c0-ffffffff811ce314: sanitize_val_alu (STB_LOCAL)
  

• In gcp: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d92d0)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff811d92d0-ffffffff811d9324: sanitize_val_alu (STB_LOCAL)
  

• In lowlatency: ✅

  int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e76e0)
  Location: kernel/bpf/verifier.c:4258
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

  Symbols:

  ffffffff811e76e0-ffffffff811e7734: sanitize_val_alu (STB_LOCAL)
  

Differences

Regular

• No changes between 5.0 and 5.3 ✅
• No changes between 5.3 and 5.4 ✅

Arch

• No changes between amd64 and arm64 ✅
• No changes between amd64 and armhf ✅
• No changes between amd64 and ppc64el ✅
• No changes between amd64 and riscv64 ✅

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 ✅