DepSurf

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

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c79b2)
  Location: kernel/bpf/verifier.c:3115
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db0ad)
  Location: kernel/bpf/verifier.c:4238
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e77fd)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203221)
  Location: kernel/bpf/verifier.c:4918
  Inline: True
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812030c8)
  Location: kernel/bpf/verifier.c:5429
  Inline: True
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120a0d7)
  Location: kernel/bpf/verifier.c:6430
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123de70)
  Location: kernel/bpf/verifier.c:6719
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_ptr_alu
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81283255)
  Location: kernel/bpf/verifier.c:7718
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_ptr_alu
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812dad8e)
  Location: kernel/bpf/verifier.c:9654
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_ptr_alu
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff813104d4)
  Location: kernel/bpf/verifier.c:11570
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_ptr_alu
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81331064)
  Location: kernel/bpf/verifier.c:12504
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_ptr_alu
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102662ec)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049d308)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030afe8)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a1762)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_val_alu
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dfe1d)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d2bdd)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ddbed)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ebffd)
  Location: kernel/bpf/verifier.c:4241
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:sanitize_ptr_alu
    - kernel/bpf/verifier.c:sanitize_val_alu
  

Differences