DepSurf

Function: clean_verifier_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 (ffffffff811cd6af)
  Location: kernel/bpf/verifier.c:5341
  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 (ffffffff811e0744)
  Location: kernel/bpf/verifier.c:6743
  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 (ffffffff811ecf2b)
  Location: kernel/bpf/verifier.c:6758
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120445d)
  Location: kernel/bpf/verifier.c:9850
  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 (ffffffff81236ae0)
  Location: kernel/bpf/verifier.c:10181
  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 (ffffffff8127b23f)
  Location: kernel/bpf/verifier.c:11238
  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 (ffffffff812e5ebb)
  Location: kernel/bpf/verifier.c:13210
  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 (ffffffff812fffd5)
  Location: kernel/bpf/verifier.c:15211
  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 (ffffffff8132985e)
  Location: kernel/bpf/verifier.c:16256
  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 (ffff80001027085c)
  Location: kernel/bpf/verifier.c:6758
  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 (c04a2b7c)
  Location: kernel/bpf/verifier.c:6758
  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 (c0000000003179b8)
  Location: kernel/bpf/verifier.c:6758
  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:6758
  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 (ffffffff811e554b)
  Location: kernel/bpf/verifier.c:6758
  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 (ffffffff811d830b)
  Location: kernel/bpf/verifier.c:6758
  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 (ffffffff811e331b)
  Location: kernel/bpf/verifier.c:6758
  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 (ffffffff811f16eb)
  Location: kernel/bpf/verifier.c:6758
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Differences