DepSurf

Function: is_pointer_value

Status

Regular

• In 4.4: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81173c80)
  Location: kernel/bpf/verifier.c:661
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  Direct callers:
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff81173c80-ffffffff81173cad: is_pointer_value.part.0 (STB_LOCAL)
  

• In 4.8: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff8118392f)
  Location: kernel/bpf/verifier.c:698
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff81181f70-ffffffff81181f9d: is_pointer_value.part.1 (STB_LOCAL)
  

• In 4.10: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff8119094e)
  Location: kernel/bpf/verifier.c:699
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff8118e640-ffffffff8118e669: is_pointer_value.part.2 (STB_LOCAL)
  

• In 4.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811969db)
  Location: kernel/bpf/verifier.c:796
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a6e51)
  Location: kernel/bpf/verifier.c:976
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bcda3)
  Location: kernel/bpf/verifier.c:1415
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce329)
  Location: kernel/bpf/verifier.c:1659
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e2fd8)
  Location: kernel/bpf/verifier.c:2433
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ef84c)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81209c48)
  Location: kernel/bpf/verifier.c:2782
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_xadd
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120b3ce)
  Location: kernel/bpf/verifier.c:2866
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_xadd
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8121008c)
  Location: kernel/bpf/verifier.c:3406
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812447bb)
  Location: kernel/bpf/verifier.c:3481
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128a2e6)
  Location: kernel/bpf/verifier.c:4032
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_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 (ffffffff812e273c)
  Location: kernel/bpf/verifier.c:4463
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_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 (ffffffff813090f3)
  Location: kernel/bpf/verifier.c:5383
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8132c89d)
  Location: kernel/bpf/verifier.c:5585
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010273748)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a56f4)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031b0e8)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001ac2c2)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7e6c)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dac2c)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e5c3c)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f4004)
  Location: kernel/bpf/verifier.c:2434
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - 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_mem_access
  

Differences