DepSurf

Function: check_stack_read

Status

Regular

• In 4.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8117410e)
  Location: kernel/bpf/verifier.c:595
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81182656)
  Location: kernel/bpf/verifier.c:601
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.10: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8118ef89)
  Location: kernel/bpf/verifier.c:584
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81194f7d)
  Location: kernel/bpf/verifier.c:605
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a5912)
  Location: kernel/bpf/verifier.c:753
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b9dfd)
  Location: kernel/bpf/verifier.c:1164
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c9a61)
  Location: kernel/bpf/verifier.c:1321
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e1214)
  Location: kernel/bpf/verifier.c:2012
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eda14)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.8: ✅

  int check_stack_read(struct bpf_verifier_env *env, struct bpf_func_state *reg_state, int off, int size, int value_regno);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120f3f0)
  Location: kernel/bpf/verifier.c:2332
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff8120f3f0-ffffffff8120f6ee: check_stack_read (STB_LOCAL)
  

• In 5.11: ✅

  int check_stack_read(struct bpf_verifier_env *env, struct bpf_func_state *reg_state, int off, int size, int value_regno);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81210ad0)
  Location: kernel/bpf/verifier.c:2405
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff81210ad0-ffffffff81210dce: check_stack_read (STB_LOCAL)
  

• In 5.13: ✅

  int check_stack_read(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int dst_regno);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812123c0)
  Location: kernel/bpf/verifier.c:2988
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff812123c0-ffffffff81212546: check_stack_read (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int check_stack_read(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int dst_regno);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81247aa0-ffffffff81247d39: check_stack_read (STB_LOCAL)
  ffffffff81cb8ae6-ffffffff81cb8b2d: check_stack_read.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int check_stack_read(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int dst_regno);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8128dd00-ffffffff8128dfd2: check_stack_read (STB_LOCAL)
  ffffffff81e69d67-ffffffff81e69dae: check_stack_read.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int check_stack_read(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int dst_regno);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812e5130-ffffffff812e5402: check_stack_read (STB_LOCAL)
  ffffffff82060b58-ffffffff82060b9f: check_stack_read.cold (STB_LOCAL)
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81312e72)
  Location: kernel/bpf/verifier.c:4748
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81332d7a)
  Location: kernel/bpf/verifier.c:4906
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102716f0)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a39d8)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000318b94)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001aaa6c)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6034)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d8df4)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e3e04)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f21d4)
  Location: kernel/bpf/verifier.c:2013
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

Differences

Regular

• No changes between 5.8 and 5.11 ✅
• Changed between 5.11 and 5.13 ⚠️

  • Param added. int ptr_regno
  • Param added. int dst_regno
  • Param removed. struct bpf_func_state *reg_state
  • Param removed. int value_regno
• No changes between 5.13 and 5.15 ✅
• No changes between 5.15 and 5.19 ✅
• No changes between 5.19 and 6.2 ✅