DepSurf

Function: propagate_liveness

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 (ffffffff811a69cd)
  Location: kernel/bpf/verifier.c:3756
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bd432)
  Location: kernel/bpf/verifier.c:4575
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ced24)
  Location: kernel/bpf/verifier.c:5676
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 5.8: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81206d80-ffffffff81206f73: propagate_liveness (STB_LOCAL)
  

• In 5.11: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81206b50-ffffffff81206d51: propagate_liveness (STB_LOCAL)
  

• In 5.13: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81206c00-ffffffff81206dce: propagate_liveness (STB_LOCAL)
  

• In 5.15: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81239f50-ffffffff8123a165: propagate_liveness (STB_LOCAL)
  

• In 5.19: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff8127e080-ffffffff8127e2ea: propagate_liveness (STB_LOCAL)
  

• In 6.2: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff812d67a0-ffffffff812d69fc: propagate_liveness (STB_LOCAL)
  

• In 6.5: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff812fcdf0-ffffffff812fd043: propagate_liveness (STB_LOCAL)
  

• In 6.8: ✅

  int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff8131c310-ffffffff8131c563: propagate_liveness (STB_LOCAL)
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

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 ✅
• No changes between 6.2 and 6.5 ✅
• No changes between 6.5 and 6.8 ✅