DepSurf

Function: clean_func_state

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

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cd6c2)
  Location: kernel/bpf/verifier.c:5312
  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 (ffffffff811e075d)
  Location: kernel/bpf/verifier.c:6714
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ecf51)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.8: ✅

  void clean_func_state(struct bpf_verifier_env *env, struct bpf_func_state *st);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81202310)
  Location: kernel/bpf/verifier.c:7862
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:clean_live_states
  

  Symbols:

  ffffffff81202310-ffffffff812023f4: clean_func_state (STB_LOCAL)
  

• In 5.11: ✅

  void clean_func_state(struct bpf_verifier_env *env, struct bpf_func_state *st);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81201ff0)
  Location: kernel/bpf/verifier.c:8650
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:clean_live_states
  

  Symbols:

  ffffffff81201ff0-ffffffff812020d4: clean_func_state (STB_LOCAL)
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204470)
  Location: kernel/bpf/verifier.c:9821
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:clean_live_states
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81236b03)
  Location: kernel/bpf/verifier.c:10152
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:clean_live_states
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127b263)
  Location: kernel/bpf/verifier.c:11209
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:clean_live_states
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812e5efc)
  Location: kernel/bpf/verifier.c:13181
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812ffff9)
  Location: kernel/bpf/verifier.c:15182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:clean_live_states
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81329896)
  Location: kernel/bpf/verifier.c:16227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010270870)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a2b8c)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c0000000003179e0)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a9b22)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e5571)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d8331)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e3341)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f1711)
  Location: kernel/bpf/verifier.c:6729
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Differences

Regular

• No changes between 5.8 and 5.11 ✅