DepSurf

Function: type_may_be_null

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: Absent ⚠️
• In 5.4: Absent ⚠️
• In 5.8: Absent ⚠️
• In 5.11: Absent ⚠️
• In 5.13: Absent ⚠️
• In 5.15: Absent ⚠️
• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127b5f3)
  Location: kernel/bpf/verifier.c:475
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:regsafe
    - kernel/bpf/verifier.c:regsafe
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:mark_ptr_or_null_regs
    - kernel/bpf/verifier.c:mark_ptr_or_null_regs
    - 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_func_arg
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_mem_reg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d3543)
  Location: kernel/bpf/verifier.c:484
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:regsafe
    - kernel/bpf/verifier.c:regsafe
    - 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_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_mem_reg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8130f211)
  Location: kernel/bpf/verifier.c:441
  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_kfunc_args
    - 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_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_mem_reg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81330781)
  Location: kernel/bpf/verifier.c:386
  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:is_branch_taken
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_mem_reg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
  

Arch

• In arm64: Absent ⚠️
• In armhf: Absent ⚠️
• In ppc64el: Absent ⚠️
• In riscv64: Absent ⚠️

Flavor

• In aws: Absent ⚠️
• In azure: Absent ⚠️
• In gcp: Absent ⚠️
• In lowlatency: Absent ⚠️

Differences