DepSurf

Function: do_refine_retval_range

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: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bb27f)
  Location: kernel/bpf/verifier.c:2414
  Inline: True
  Inline callers:
    - 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 (ffffffff811cb038)
  Location: kernel/bpf/verifier.c:2788
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e20dc)
  Location: kernel/bpf/verifier.c:3866
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ee8e8)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81211a7d)
  Location: kernel/bpf/verifier.c:4482
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812126a9)
  Location: kernel/bpf/verifier.c:4932
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812148d2)
  Location: kernel/bpf/verifier.c:5782
  Inline: True
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8124ac18)
  Location: kernel/bpf/verifier.c:6034
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81291e53)
  Location: kernel/bpf/verifier.c:6936
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812ec68a)
  Location: kernel/bpf/verifier.c:7695
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81318b42)
  Location: kernel/bpf/verifier.c:9131
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8133a1d8)
  Location: kernel/bpf/verifier.c:9822
  Inline: True
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102721cc)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a460c)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000319818)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001ab324)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6f08)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d9cc8)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e4cd8)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f30a8)
  Location: kernel/bpf/verifier.c:3869
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_helper_call
  

Differences