DepSurf

Function: signed_sub_overflows

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 (ffffffff811a4096)
  Location: kernel/bpf/verifier.c:1842
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_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 (ffffffff811b94aa)
  Location: kernel/bpf/verifier.c:2609
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c8eff)
  Location: kernel/bpf/verifier.c:3031
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dc159)
  Location: kernel/bpf/verifier.c:4151
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e88bb)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81207a73)
  Location: kernel/bpf/verifier.c:4821
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120882e)
  Location: kernel/bpf/verifier.c:5327
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81209eea)
  Location: kernel/bpf/verifier.c:6325
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123dc33)
  Location: kernel/bpf/verifier.c:6614
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812830a8)
  Location: kernel/bpf/verifier.c:7613
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812dabe8)
  Location: kernel/bpf/verifier.c:9554
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81310566)
  Location: kernel/bpf/verifier.c:11470
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff813310f6)
  Location: kernel/bpf/verifier.c:12404
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026c1ec)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049e5d4)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c0000000003126bc)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a66e0)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e0edb)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d3c9b)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811decab)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ed0bb)
  Location: kernel/bpf/verifier.c:4154
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

Differences