DepSurf

Function: type_is_pkt_pointer

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 (ffffffff811a6e82)
  Location: kernel/bpf/verifier.c:199
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bcdf0)
  Location: kernel/bpf/verifier.c:246
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c825f)
  Location: kernel/bpf/verifier.c:327
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e302e)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ef8a2)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120dba9)
  Location: kernel/bpf/verifier.c:383
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120e3a9)
  Location: kernel/bpf/verifier.c:387
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120ae7f)
  Location: kernel/bpf/verifier.c:424
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123eadc)
  Location: kernel/bpf/verifier.c:425
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81286ad3)
  Location: kernel/bpf/verifier.c:428
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812e1a66)
  Location: kernel/bpf/verifier.c:430
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8130f0ca)
  Location: kernel/bpf/verifier.c:426
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:clear_all_pkt_pointers
    - kernel/bpf/verifier.c:clear_all_pkt_pointers
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In 6.8: Duplicate, Full Inline ⚠️

  Collision: Static Duplication

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff813304b0)
  Location: include/linux/bpf_verifier.h:867
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:is_branch_taken
    - kernel/bpf/verifier.c:is_branch_taken
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:clear_all_pkt_pointers
    - kernel/bpf/verifier.c:clear_all_pkt_pointers
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_mem_access
  

  In kernel/bpf/log.c (ffffffff81345dd5)
  Location: include/linux/bpf_verifier.h:867
  Inline: True
  Inline callers:
    - kernel/bpf/log.c:print_reg_state
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102737a8)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a5740)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031b134)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001ac30e)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7ec2)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dac82)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e5c92)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f405a)
  Location: kernel/bpf/verifier.c:319
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:print_verifier_state
  

Differences