is_spilled_regRegular
4.4: Absent ⚠️
4.8: Absent ⚠️
4.10: Absent ⚠️
4.13: Absent ⚠️
4.15: Absent ⚠️
4.18: Absent ⚠️
5.0: Absent ⚠️
5.3: Absent ⚠️
5.4: Absent ⚠️
5.8: Absent ⚠️
5.11: Absent ⚠️
5.13: Absent ⚠️
5.15: Absent ⚠️
5.19: Full Inline ⚠️Collision: Unique Static
Inline: Full
Transformation: False
Instances:
In kernel/bpf/verifier.c (ffffffff8128d4cd)
Location: kernel/bpf/verifier.c:803
Inline: True
Inline callers:
- kernel/bpf/verifier.c:is_state_visited
- kernel/bpf/verifier.c:states_equal
- kernel/bpf/verifier.c:check_stack_range_initialized
- kernel/bpf/verifier.c:check_stack_read_fixed_off
- kernel/bpf/verifier.c:check_stack_write_fixed_off
- kernel/bpf/verifier.c:__mark_chain_precision
- kernel/bpf/verifier.c:__mark_chain_precision
- kernel/bpf/verifier.c:print_verifier_state
6.2: Full Inline ⚠️Collision: Unique Static
Inline: Full
Transformation: False
Instances:
In kernel/bpf/verifier.c (ffffffff812e63b8)
Location: kernel/bpf/verifier.c:992
Inline: True
Inline callers:
- kernel/bpf/verifier.c:is_state_visited
- kernel/bpf/verifier.c:propagate_precision
- kernel/bpf/verifier.c:check_stack_range_initialized
- kernel/bpf/verifier.c:check_stack_read_fixed_off
- kernel/bpf/verifier.c:check_stack_write_fixed_off
- kernel/bpf/verifier.c:__mark_chain_precision
- kernel/bpf/verifier.c:__mark_chain_precision
- kernel/bpf/verifier.c:print_verifier_state
6.5: Full Inline ⚠️Collision: Unique Static
Inline: Full
Transformation: False
Instances:
In kernel/bpf/verifier.c (ffffffff8130db7c)
Location: kernel/bpf/verifier.c:1325
Inline: True
Inline callers:
- kernel/bpf/verifier.c:is_state_visited
- kernel/bpf/verifier.c:propagate_precision
- kernel/bpf/verifier.c:check_stack_range_initialized
- kernel/bpf/verifier.c:check_stack_read_fixed_off
- kernel/bpf/verifier.c:mark_all_scalars_precise
6.8: Full Inline ⚠️Collision: Unique Static
Inline: Full
Transformation: False
Instances:
In kernel/bpf/verifier.c (ffffffff8132a449)
Location: kernel/bpf/verifier.c:1147
Inline: True
Inline callers:
- kernel/bpf/verifier.c:is_state_visited
- kernel/bpf/verifier.c:propagate_precision
- kernel/bpf/verifier.c:widen_imprecise_scalars
- kernel/bpf/verifier.c:widen_imprecise_scalars
- kernel/bpf/verifier.c:check_stack_range_initialized
- kernel/bpf/verifier.c:check_stack_read_fixed_off
- kernel/bpf/verifier.c:check_stack_write_fixed_off
- kernel/bpf/verifier.c:mark_all_scalars_precise
arm64: Absent ⚠️
armhf: Absent ⚠️
ppc64el: Absent ⚠️
riscv64: Absent ⚠️
aws: Absent ⚠️
azure: Absent ⚠️
gcp: Absent ⚠️
lowlatency: Absent ⚠️