DepSurf

Function: cmp_val_with_extended_s64

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 (ffffffff811d715a)
  Location: kernel/bpf/verifier.c:5310
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e37ba)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In 5.8: Absent ⚠️
• In 5.11: Absent ⚠️
• In 5.13: Absent ⚠️
• In 5.15: Absent ⚠️
• In 5.19: Absent ⚠️
• In 6.2: Absent ⚠️
• In 6.5: Absent ⚠️
• In 6.8: Absent ⚠️

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026ea78)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049914c)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030b980)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a1db0)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dbdda)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ceb9a)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d9baa)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7fba)
  Location: kernel/bpf/verifier.c:5320
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
  

Differences