DepSurf

Function: check_stack_boundary

Status

Regular

• In 4.4: ✅

  int check_stack_boundary(struct verifier_env *env, int regno, int access_size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81173bf0)
  Location: kernel/bpf/verifier.c:781
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
  

  Symbols:

  ffffffff81173bf0-ffffffff81173c7b: check_stack_boundary (STB_LOCAL)
  

• In 4.8: ✅

  int check_stack_boundary(struct verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81181e90)
  Location: kernel/bpf/verifier.c:885
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
  

  Symbols:

  ffffffff81181e90-ffffffff81181f70: check_stack_boundary (STB_LOCAL)
  

• In 4.10: ✅

  int check_stack_boundary(struct bpf_verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8118e390)
  Location: kernel/bpf/verifier.c:917
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
  

  Symbols:

  ffffffff8118e390-ffffffff8118e470: check_stack_boundary (STB_LOCAL)
  

• In 4.13: ✅

  int check_stack_boundary(struct bpf_verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811940e0)
  Location: kernel/bpf/verifier.c:1023
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_func_arg
  

  Symbols:

  ffffffff811940e0-ffffffff811941f3: check_stack_boundary (STB_LOCAL)
  

• In 4.15: ✅

  int check_stack_boundary(struct bpf_verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a1d00)
  Location: kernel/bpf/verifier.c:1306
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_helper_mem_access
  

  Symbols:

  ffffffff811a1d00-ffffffff811a1f43: check_stack_boundary (STB_LOCAL)
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ba772)
  Location: kernel/bpf/verifier.c:1844
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ca2c6)
  Location: kernel/bpf/verifier.c:2106
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dd252)
  Location: kernel/bpf/verifier.c:2962
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e99f2)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In 5.8: ✅

  int check_stack_boundary(struct bpf_verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81209150)
  Location: kernel/bpf/verifier.c:3454
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

  Symbols:

  ffffffff81209150-ffffffff8120958c: check_stack_boundary (STB_LOCAL)
  

• In 5.11: ✅

  int check_stack_boundary(struct bpf_verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120a620)
  Location: kernel/bpf/verifier.c:3684
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

  Symbols:

  ffffffff8120a620-ffffffff8120aa11: check_stack_boundary (STB_LOCAL)
  

• In 5.13: Absent ⚠️
• In 5.15: Absent ⚠️
• In 5.19: Absent ⚠️
• In 6.2: Absent ⚠️
• In 6.5: Absent ⚠️
• In 6.8: Absent ⚠️

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026d230)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049f7c4)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000313a20)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a7342)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e2012)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d4dd2)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dfde2)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ee1f2)
  Location: kernel/bpf/verifier.c:2963
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_mem_access
  

Differences

Regular

• Changed between 4.4 and 4.8 ⚠️

  • Param added. bool zero_size_allowed
  • Param added. struct bpf_call_arg_meta *meta
• Changed between 4.8 and 4.10 ⚠️

  • Param type changed. struct verifier_env *env ➡️ struct bpf_verifier_env *env
• No changes between 4.10 and 4.13 ✅
• No changes between 4.13 and 4.15 ✅
• No changes between 5.8 and 5.11 ✅