DepSurf

Function: __mark_reg_unbounded

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a7c94)
  Location: kernel/bpf/verifier.c:548
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b90e4)
  Location: kernel/bpf/verifier.c:675
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c5ba6)
  Location: kernel/bpf/verifier.c:923
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d6a5e)
  Location: kernel/bpf/verifier.c:982
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e3d3e)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812022c6)
  Location: kernel/bpf/verifier.c:1070
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81201fa6)
  Location: kernel/bpf/verifier.c:1102
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203076)
  Location: kernel/bpf/verifier.c:1196
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81235c84)
  Location: kernel/bpf/verifier.c:1210
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81279ad4)
  Location: kernel/bpf/verifier.c:1414
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812cf841)
  Location: kernel/bpf/verifier.c:1628
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812f8cf1)
  Location: kernel/bpf/verifier.c:2025
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81318081)
  Location: kernel/bpf/verifier.c:1879
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_reg_unknown
    - kernel/bpf/verifier.c:reg_bounds_sanity_check
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010266bf0)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049ec40)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:__mark_reg_unknown
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030c104)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a28fe)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dc35e)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cf11e)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da12e)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e853e)
  Location: kernel/bpf/verifier.c:983
  Inline: True
  

Differences