DepSurf

Function: mark_insn_zext

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 (ffffffff811e090f)
  Location: kernel/bpf/verifier.c:1345
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ed10f)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206e24)
  Location: kernel/bpf/verifier.c:1655
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206bf4)
  Location: kernel/bpf/verifier.c:1707
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206c5e)
  Location: kernel/bpf/verifier.c:1998
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81239fc2)
  Location: kernel/bpf/verifier.c:2066
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127e132)
  Location: kernel/bpf/verifier.c:2409
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d6852)
  Location: kernel/bpf/verifier.c:2650
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812fce9f)
  Location: kernel/bpf/verifier.c:3100
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:check_reg_arg
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8131c3bf)
  Location: kernel/bpf/verifier.c:3200
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_liveness
    - kernel/bpf/verifier.c:__check_reg_arg
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010270a7c)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a2d3c)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000317c74)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001aa018)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e572f)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d84ef)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e34ff)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f18cf)
  Location: kernel/bpf/verifier.c:1346
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_reg_arg
  

Differences