DepSurf

Function: func_states_equal

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: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bc680)
  Location: kernel/bpf/verifier.c:4522
  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 (ffffffff811cd81a)
  Location: kernel/bpf/verifier.c:5614
  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 (ffffffff811d89b4)
  Location: kernel/bpf/verifier.c:7026
  Inline: True
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e50a4)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In 5.8: ✅

  bool func_states_equal(struct bpf_func_state *old, struct bpf_func_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203b80)
  Location: kernel/bpf/verifier.c:8174
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff81203b80-ffffffff81203c5c: func_states_equal (STB_LOCAL)
  

• In 5.11: ✅

  bool func_states_equal(struct bpf_func_state *old, struct bpf_func_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203b10)
  Location: kernel/bpf/verifier.c:8962
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff81203b10-ffffffff81203bec: func_states_equal (STB_LOCAL)
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203d59)
  Location: kernel/bpf/verifier.c:10134
  Inline: True
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81237106)
  Location: kernel/bpf/verifier.c:10465
  Inline: True
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 6.2: ✅

  bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old, struct bpf_func_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff812d37e0-ffffffff812d3a4d: func_states_equal (STB_LOCAL)
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102682f8)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049a7b4)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030de28)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a35b4)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dd6c4)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d0484)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db494)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e98a4)
  Location: kernel/bpf/verifier.c:7041
  Inline: True
  

Differences

Regular

• No changes between 5.8 and 5.11 ✅