DepSurf

Function: check_stack_access_within_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 check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum stack_access_src src, enum bpf_access_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206930)
  Location: kernel/bpf/verifier.c:3973
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff81206930-ffffffff81206aad: check_stack_access_within_bounds (STB_LOCAL)
  

• In 5.15: ✅

  int check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum stack_access_src src, enum bpf_access_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81239b50)
  Location: kernel/bpf/verifier.c:4074
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff81239b50-ffffffff81239d5d: check_stack_access_within_bounds (STB_LOCAL)
  

• In 5.19: ✅

  int check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum bpf_access_src src, enum bpf_access_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127dc20)
  Location: kernel/bpf/verifier.c:4623
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff8127dc20-ffffffff8127de56: check_stack_access_within_bounds (STB_LOCAL)
  

• In 6.2: ✅

  int check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum bpf_access_src src, enum bpf_access_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d6310)
  Location: kernel/bpf/verifier.c:5129
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff812d6310-ffffffff812d6546: check_stack_access_within_bounds (STB_LOCAL)
  

• In 6.5: ✅

  int check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum bpf_access_src src, enum bpf_access_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812f6dc0)
  Location: kernel/bpf/verifier.c:6209
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff812f6dc0-ffffffff812f6ff6: check_stack_access_within_bounds (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum bpf_access_src src, enum bpf_access_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6584
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff81317830-ffffffff81317b99: check_stack_access_within_bounds (STB_LOCAL)
  ffffffff821baa0f-ffffffff821baa56: check_stack_access_within_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 ✅
• Changed between 5.15 and 5.19 ⚠️

  • Param type changed. enum stack_access_src src ➡️ enum bpf_access_src src
• No changes between 5.19 and 6.2 ✅
• No changes between 6.2 and 6.5 ✅
• No changes between 6.5 and 6.8 ✅