DepSurf

Function: sanitize_check_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: Absent ⚠️
• In 5.11: Absent ⚠️
• In 5.13: ✅

  int sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81209250-ffffffff81209377: sanitize_check_bounds (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8123cee0-ffffffff8123d024: sanitize_check_bounds (STB_LOCAL)
  ffffffff81cb81aa-ffffffff81cb81c8: sanitize_check_bounds.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81282250-ffffffff812823a6: sanitize_check_bounds (STB_LOCAL)
  ffffffff81e693c9-ffffffff81e693e7: sanitize_check_bounds.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812d9d40-ffffffff812d9e96: sanitize_check_bounds (STB_LOCAL)
  ffffffff820601c9-ffffffff820601e7: sanitize_check_bounds.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81309890-ffffffff813099e3: sanitize_check_bounds (STB_LOCAL)
  ffffffff820df7cb-ffffffff820df7e9: sanitize_check_bounds.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8132dc00-ffffffff8132dd53: sanitize_check_bounds (STB_LOCAL)
  ffffffff821bc240-ffffffff821bc25e: sanitize_check_bounds.cold (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.13 and 5.15 ✅
• 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 ✅