DepSurf

Function: states_maybe_looping

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 (ffffffff811e039c)
  Location: kernel/bpf/verifier.c:7204
  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 (ffffffff811ecb87)
  Location: kernel/bpf/verifier.c:7219
  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 (ffffffff8120fbb5)
  Location: kernel/bpf/verifier.c:8352
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812e5cea)
  Location: kernel/bpf/verifier.c:13689
  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 (ffffffff8130d629)
  Location: kernel/bpf/verifier.c:15755
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81329db8)
  Location: kernel/bpf/verifier.c:16813
  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 (ffff8000102704c0)
  Location: kernel/bpf/verifier.c:7219
  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 (c04a2778)
  Location: kernel/bpf/verifier.c:7219
  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 (c0000000003174e0)
  Location: kernel/bpf/verifier.c:7219
  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 (ffffffe0001a9b72)
  Location: kernel/bpf/verifier.c:7219
  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 (ffffffff811e51a7)
  Location: kernel/bpf/verifier.c:7219
  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 (ffffffff811d7f67)
  Location: kernel/bpf/verifier.c:7219
  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 (ffffffff811e2f77)
  Location: kernel/bpf/verifier.c:7219
  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 (ffffffff811f1347)
  Location: kernel/bpf/verifier.c:7219
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Differences