DepSurf

Function: stacksafe

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a6384)
  Location: kernel/bpf/verifier.c:3596
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bc6d6)
  Location: kernel/bpf/verifier.c:4434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:5515
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6927
  Inline: True
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In 5.8: ✅

  bool stacksafe(struct bpf_func_state *old, struct bpf_func_state *cur, struct idpair *idmap);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203a90)
  Location: kernel/bpf/verifier.c:8075
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:func_states_equal
  

  Symbols:

  ffffffff81203a90-ffffffff81203b77: stacksafe (STB_LOCAL)
  

• In 5.11: ✅

  bool stacksafe(struct bpf_func_state *old, struct bpf_func_state *cur, struct idpair *idmap);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81202e00)
  Location: kernel/bpf/verifier.c:8863
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:func_states_equal
  

  Symbols:

  ffffffff81202e00-ffffffff81202ee7: stacksafe (STB_LOCAL)
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:10037
  Inline: True
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:10368
  Inline: True
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:11424
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:states_equal
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d384e)
  Location: kernel/bpf/verifier.c:13384
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:func_states_equal
  

• In 6.5: Transformation ⚠️

  bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, struct bpf_func_state *cur, struct bpf_idmap *idmap);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812ff880-ffffffff812ffbca: stacksafe (STB_LOCAL)
  ffffffff820def9d-ffffffff820defc6: stacksafe.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, struct bpf_func_state *cur, struct bpf_idmap *idmap, bool exact);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8131f390-ffffffff8131f7eb: stacksafe (STB_LOCAL)
  ffffffff821bb07a-ffffffff821bb0ac: stacksafe.cold (STB_LOCAL)
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a361c)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6942
  Inline: True
  

Differences

Regular

• No changes between 5.8 and 5.11 ✅
• Changed between 6.5 and 6.8 ⚠️

  • Param added. bool exact