DepSurf

Function: realloc_func_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: ✅

  int realloc_func_state(struct bpf_func_state *state, int size, bool copy_old);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b7550)
  Location: kernel/bpf/verifier.c:387
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

  Symbols:

  ffffffff811b7550-ffffffff811b7691: realloc_func_state (STB_LOCAL)
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c9c54)
  Location: kernel/bpf/verifier.c:583
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e1449)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811edc49)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120f73a)
  Location: kernel/bpf/verifier.c:733
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812106ca)
  Location: kernel/bpf/verifier.c:759
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120c0e7)
  Location: kernel/bpf/verifier.c:808
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
    - kernel/bpf/verifier.c:copy_verifier_state
  

• 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 (ffff800010270dfc)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:copy_verifier_state
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a30a4)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031804c)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:copy_verifier_state
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001aa306)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:copy_verifier_state
    - kernel/bpf/verifier.c:copy_verifier_state
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6269)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d9029)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e4039)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f2409)
  Location: kernel/bpf/verifier.c:606
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:copy_verifier_state
  

Differences

Regular