DepSurf

Function: backtrack_insn

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

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da1b0)
  Location: kernel/bpf/verifier.c:1442
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811da1b0-ffffffff811da513: backtrack_insn (STB_LOCAL)
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6fa4)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

• In 5.8: ✅

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206f80)
  Location: kernel/bpf/verifier.c:1752
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff81206f80-ffffffff812072e0: backtrack_insn (STB_LOCAL)
  

• In 5.11: ✅

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206d60)
  Location: kernel/bpf/verifier.c:1804
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff81206d60-ffffffff812070c0: backtrack_insn (STB_LOCAL)
  

• In 5.13: ✅

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81208950)
  Location: kernel/bpf/verifier.c:2106
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff81208950-ffffffff81208cbb: backtrack_insn (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:2174
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff8123c390-ffffffff8123c743: backtrack_insn (STB_LOCAL)
  ffffffff81cb7f3a-ffffffff81cb7fa9: backtrack_insn.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:2524
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff8127eb90-ffffffff8127ef10: backtrack_insn (STB_LOCAL)
  ffffffff81e69081-ffffffff81e690f0: backtrack_insn.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:2780
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff812d4160-ffffffff812d4524: backtrack_insn (STB_LOCAL)
  ffffffff8205fc56-ffffffff8205fcc5: backtrack_insn.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int backtrack_insn(struct bpf_verifier_env *env, int idx, int subseq_idx, struct backtrack_state *bt);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:3390
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff8130b420-ffffffff8130c403: backtrack_insn (STB_LOCAL)
  ffffffff820df83c-ffffffff820df942: backtrack_insn.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int backtrack_insn(struct bpf_verifier_env *env, int idx, int subseq_idx, struct bpf_jmp_history_entry *hist, struct backtrack_state *bt);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:3544
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff813276d0-ffffffff8132877d: backtrack_insn (STB_LOCAL)
  ffffffff821bb7f7-ffffffff821bb8f6: backtrack_insn.cold (STB_LOCAL)
  

Arch

• In arm64: ✅

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026a180)
  Location: kernel/bpf/verifier.c:1443
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffff80001026a180-ffff80001026a564: backtrack_insn (STB_LOCAL)
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049c930)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031066c)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

• In riscv64: ✅

  int backtrack_insn(struct bpf_verifier_env *env, int idx, u32 *reg_mask, u64 *stack_mask);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a49f0)
  Location: kernel/bpf/verifier.c:1443
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffe0001a49f0-ffffffe0001a4d3c: backtrack_insn (STB_LOCAL)
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811df5c4)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d2384)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dd394)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eb7a4)
  Location: kernel/bpf/verifier.c:1443
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__mark_chain_precision
  

Differences

Regular

• 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 ✅
• Changed between 6.2 and 6.5 ⚠️

  • Param added. int subseq_idx
  • Param added. struct backtrack_state *bt
  • Param removed. u32 *reg_mask
  • Param removed. u64 *stack_mask
• Changed between 6.5 and 6.8 ⚠️

  • Param added. struct bpf_jmp_history_entry *hist
  • Param reordered. env, idx, subseq_idx, bt ➡️ env, idx, subseq_idx, hist, bt

Arch