DepSurf

Function: free_verifier_state

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 (ffffffff811a8212)
  Location: kernel/bpf/verifier.c:344
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:pop_stack
  

• In 4.18: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b7050)
  Location: kernel/bpf/verifier.c:429
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811b7050-ffffffff811b70a2: free_verifier_state (STB_LOCAL)
  

• In 5.0: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c61e0)
  Location: kernel/bpf/verifier.c:670
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811c61e0-ffffffff811c6232: free_verifier_state (STB_LOCAL)
  

• In 5.3: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d7c10)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811d7c10-ffffffff811d7c7e: free_verifier_state (STB_LOCAL)
  

• In 5.4: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e4300)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811e4300-ffffffff811e436e: free_verifier_state (STB_LOCAL)
  

• In 5.8: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203450)
  Location: kernel/bpf/verifier.c:810
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:push_stack
  

  Symbols:

  ffffffff81203450-ffffffff812034df: free_verifier_state (STB_LOCAL)
  

• In 5.11: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812037d0)
  Location: kernel/bpf/verifier.c:836
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:push_stack
  

  Symbols:

  ffffffff812037d0-ffffffff8120385f: free_verifier_state (STB_LOCAL)
  

• In 5.13: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204190)
  Location: kernel/bpf/verifier.c:885
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:push_stack
  

  Symbols:

  ffffffff81204190-ffffffff8120421f: free_verifier_state (STB_LOCAL)
  

• In 5.15: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812364b0)
  Location: kernel/bpf/verifier.c:901
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff812364b0-ffffffff8123657a: free_verifier_state (STB_LOCAL)
  

• In 5.19: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127aa70)
  Location: kernel/bpf/verifier.c:1128
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff8127aa70-ffffffff8127ab4a: free_verifier_state (STB_LOCAL)
  

• In 6.2: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d1690)
  Location: kernel/bpf/verifier.c:1330
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff812d1690-ffffffff812d176d: free_verifier_state (STB_LOCAL)
  

• In 6.5: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812fe1d0)
  Location: kernel/bpf/verifier.c:1707
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:push_stack
  

  Symbols:

  ffffffff812fe1d0-ffffffff812fe2ad: free_verifier_state (STB_LOCAL)
  

• In 6.8: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8131d820)
  Location: kernel/bpf/verifier.c:1360
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_callback_call
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:push_stack
  

  Symbols:

  ffffffff8131d820-ffffffff8131d903: free_verifier_state (STB_LOCAL)
  

Arch

• In arm64: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010267498)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffff800010267498-ffff80001026751c: free_verifier_state (STB_LOCAL)
  

• In armhf: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04997f0)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  c04997f0-c0499860: free_verifier_state (STB_LOCAL)
  

• In ppc64el: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030cae0)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  c00000000030cae0-c00000000030cbd0: free_verifier_state (STB_LOCAL)
  

• In riscv64: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a2826)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffe0001a2826-ffffffe0001a28a6: free_verifier_state (STB_LOCAL)
  

Flavor

• In aws: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dc920)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811dc920-ffffffff811dc98e: free_verifier_state (STB_LOCAL)
  

• In azure: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cf6e0)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811cf6e0-ffffffff811cf74e: free_verifier_state (STB_LOCAL)
  

• In gcp: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da6f0)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811da6f0-ffffffff811da75e: free_verifier_state (STB_LOCAL)
  

• In lowlatency: ✅

  void free_verifier_state(struct bpf_verifier_state *state, bool free_self);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e8b00)
  Location: kernel/bpf/verifier.c:683
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:bpf_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:push_stack
    - kernel/bpf/verifier.c:pop_stack
  

  Symbols:

  ffffffff811e8b00-ffffffff811e8b6e: free_verifier_state (STB_LOCAL)
  

Differences

Regular

• No changes between 4.18 and 5.0 ✅
• No changes between 5.0 and 5.3 ✅
• No changes between 5.3 and 5.4 ✅
• No changes between 5.4 and 5.8 ✅
• No changes between 5.8 and 5.11 ✅
• No changes between 5.11 and 5.13 ✅
• No changes between 5.13 and 5.15 ✅
• No changes between 5.15 and 5.19 ✅
• No changes between 5.19 and 6.2 ✅
• No changes between 6.2 and 6.5 ✅
• No changes between 6.5 and 6.8 ✅

Arch

• No changes between amd64 and arm64 ✅
• No changes between amd64 and armhf ✅
• No changes between amd64 and ppc64el ✅
• No changes between amd64 and riscv64 ✅

Flavor

• No changes between generic and aws ✅
• No changes between generic and azure ✅
• No changes between generic and gcp ✅
• No changes between generic and lowlatency ✅