DepSurf

Function: push_jmp_history

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: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d7e50)
  Location: kernel/bpf/verifier.c:1404
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff811d7e50-ffffffff811d7ec3: push_jmp_history.isra.0 (STB_LOCAL)
  

• In 5.4: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e4540)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff811e4540-ffffffff811e45b3: push_jmp_history.isra.0 (STB_LOCAL)
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120ff9a)
  Location: kernel/bpf/verifier.c:1714
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81210517)
  Location: kernel/bpf/verifier.c:1766
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81211ec5)
  Location: kernel/bpf/verifier.c:2057
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812471bd)
  Location: kernel/bpf/verifier.c:2125
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128d2ab)
  Location: kernel/bpf/verifier.c:2470
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In 6.2: Transformation ⚠️

  int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:2721
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff812d1180-ffffffff812d1224: push_jmp_history (STB_LOCAL)
  ffffffff8205fb2c-ffffffff8205fb41: push_jmp_history.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:3171
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff812fc4c0-ffffffff812fc566: push_jmp_history (STB_LOCAL)
  ffffffff820ded31-ffffffff820ded46: push_jmp_history.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur, int insn_flags);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:3293
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

  Symbols:

  ffffffff81318830-ffffffff81318953: push_jmp_history (STB_LOCAL)
  ffffffff821bab3d-ffffffff821bab61: push_jmp_history.cold (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff8000102679d8)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffff8000102679d8-ffff800010267a6c: push_jmp_history.isra.0 (STB_LOCAL)
  

• In armhf: ✅

  int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04989ac)
  Location: kernel/bpf/verifier.c:1405
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  c04989ac-c0498a18: push_jmp_history (STB_LOCAL)
  

• In ppc64el: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c00000000030d330)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  c00000000030d330-c00000000030d3f0: push_jmp_history.isra.0 (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a2e1e)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffe0001a2e1e-ffffffe0001a2ea0: push_jmp_history.isra.0 (STB_LOCAL)
  

Flavor

• In aws: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dcb60)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff811dcb60-ffffffff811dcbd3: push_jmp_history.isra.0 (STB_LOCAL)
  

• In azure: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cf920)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff811cf920-ffffffff811cf993: push_jmp_history.isra.0 (STB_LOCAL)
  

• In gcp: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da930)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff811da930-ffffffff811da9a3: push_jmp_history.isra.0 (STB_LOCAL)
  

• In lowlatency: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e8d40)
  Location: kernel/bpf/verifier.c:1405
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff811e8d40-ffffffff811e8db3: push_jmp_history.isra.0 (STB_LOCAL)
  

Differences

Regular

• No changes between 6.2 and 6.5 ✅
• Changed between 6.5 and 6.8 ⚠️

  • Param added. int insn_flags

Arch