DepSurf

Function: states_equal

Status

Regular

• In 4.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 4.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 4.10: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 4.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

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

• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a6327)
  Location: kernel/bpf/verifier.c:3673
  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 (ffffffff811bc365)
  Location: kernel/bpf/verifier.c:4547
  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 (ffffffff811cd7c9)
  Location: kernel/bpf/verifier.c:5642
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.3: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff811d8940-ffffffff811d8b7d: states_equal.isra.0 (STB_LOCAL)
  

• In 5.4: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff811e5030-ffffffff811e526d: states_equal.isra.0 (STB_LOCAL)
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120fbf7)
  Location: kernel/bpf/verifier.c:8202
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - 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 (ffffffff8121016e)
  Location: kernel/bpf/verifier.c:8990
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.13: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81203d00-ffffffff81203f13: states_equal.part.0 (STB_LOCAL)
  

• In 5.15: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81237050-ffffffff81237375: states_equal.part.0 (STB_LOCAL)
  ffffffff81cb7ca9-ffffffff81cb7cd1: states_equal.part.0.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8127b6c0-ffffffff8127b9ea: states_equal (STB_LOCAL)
  ffffffff81e68e48-ffffffff81e68e70: states_equal.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812d3a60-ffffffff812d3c68: states_equal (STB_LOCAL)
  ffffffff8205fbed-ffffffff8205fc41: states_equal.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812ffbe0-ffffffff812ffeda: states_equal (STB_LOCAL)
  ffffffff820defc6-ffffffff820df01a: states_equal.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur, bool exact);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8131f800-ffffffff8131fb3f: states_equal (STB_LOCAL)
  ffffffff821bb0ac-ffffffff821bb10d: states_equal.cold (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffff800010268278-ffff800010268508: states_equal.isra.0 (STB_LOCAL)
  

• In armhf: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  c049a760-c049a998: states_equal.part.0 (STB_LOCAL)
  

• In ppc64el: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  c00000000030dd80-c00000000030e0a4: states_equal.isra.0 (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffe0001a356c-ffffffe0001a3742: states_equal.isra.0 (STB_LOCAL)
  

Flavor

• In aws: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff811dd650-ffffffff811dd88d: states_equal.isra.0 (STB_LOCAL)
  

• In azure: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff811d0410-ffffffff811d064d: states_equal.isra.0 (STB_LOCAL)
  

• In gcp: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff811db420-ffffffff811db65d: states_equal.isra.0 (STB_LOCAL)
  

• In lowlatency: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff811e9830-ffffffff811e9a6d: states_equal.isra.0 (STB_LOCAL)
  

Differences

Regular

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

  • Param added. bool exact