DepSurf

Function: init_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 (ffffffff811e4b02)
  Location: kernel/bpf/verifier.c:6212
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f1362)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120f15e)
  Location: kernel/bpf/verifier.c:7353
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cfg
    - kernel/bpf/verifier.c:check_cfg
    - kernel/bpf/verifier.c:check_cfg
    - kernel/bpf/verifier.c:check_cfg
    - kernel/bpf/verifier.c:check_cfg
    - kernel/bpf/verifier.c:push_insn
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120fca0)
  Location: kernel/bpf/verifier.c:8084
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:push_insn
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81211700)
  Location: kernel/bpf/verifier.c:9248
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:push_insn
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812468e0)
  Location: kernel/bpf/verifier.c:9563
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:push_insn
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128c9c2)
  Location: kernel/bpf/verifier.c:10545
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:visit_insn
    - kernel/bpf/verifier.c:push_insn
  

• In 6.2: Absent ⚠️
• In 6.5: Absent ⚠️
• In 6.8: Absent ⚠️

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010274ab8)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a7010)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031ca20)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001ad300)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e9982)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dc742)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7752)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f5b02)
  Location: kernel/bpf/verifier.c:6227
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:push_insn
  

Differences