DepSurf

Function: explored_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: Absent ⚠️
• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e031b)
  Location: kernel/bpf/verifier.c:6202
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff811ecae6)
  Location: kernel/bpf/verifier.c:6217
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff8120fb45)
  Location: kernel/bpf/verifier.c:7343
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff812100bc)
  Location: kernel/bpf/verifier.c:8074
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff81211aae)
  Location: kernel/bpf/verifier.c:9238
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff81246cd0)
  Location: kernel/bpf/verifier.c:9553
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff8128cdad)
  Location: kernel/bpf/verifier.c:10535
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff812e5b46)
  Location: kernel/bpf/verifier.c:12506
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff8130d343)
  Location: kernel/bpf/verifier.c:14455
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff81329798)
  Location: kernel/bpf/verifier.c:1441
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:find_prev_entry
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a9aee)
  Location: kernel/bpf/verifier.c:6217
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff811e5106)
  Location: kernel/bpf/verifier.c:6217
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

Differences