LCOV - code coverage report

Current view: top level - kernel/bpf - verifier.c (source / functions) Hit Total Coverage Test: gcov_data_raspi2_real_modules_combined.info Lines: 1490 3800 39.2 % Date: 2020-09-30 20:25:40 Functions: 102 156 65.4 % Branches: 958 3473 27.6 %

Function Name	Hit count
__check_map_access	0
__check_packet_access	0
__check_stack_boundary	4968
__clear_all_pkt_pointers	0
__find_good_pkt_pointers	0
__mark_chain_precision	11178
__mark_ptr_or_null_regs	4968
__mark_reg_known	33534
__mark_reg_unknown	79488
__reg_bound_offset	12420
__reg_combine_min_max	0
__reg_deduce_bounds	12420
__update_reg_bounds	9936
acquire_reference_state	0
add_subprog	1656
adjust_btf_func	1656
adjust_insn_aux_data	1242
adjust_ptr_min_max_vals	4968
adjust_reg_min_max_vals	7452
adjust_scalar_min_max_vals	2484
adjust_subprog_starts_after_remove	0
backtrack_insn	91908
bpf_adj_linfo_after_remove	0
bpf_check	1656
bpf_patch_insn_data	1242
bpf_verifier_log_write	0
bpf_verifier_vlog	0
check_alu_op	28980
check_arg_pair_ok	4968
check_btf_func	0
check_btf_info	1656
check_btf_line	0
check_cfg	1656
check_cond_jmp_op	12420
check_ctx_access	1242
check_ctx_reg	3726
check_flow_keys_access	0
check_func_arg	24840
check_func_call	0
check_func_proto	4968
check_generic_ptr_alignment	28566
check_helper_call	4968
check_helper_mem_access	4968
check_ids	0
check_ld_abs	0
check_ld_imm	2484
check_map_access	0
check_map_access_type	0
check_map_func_compatibility	4968
check_map_prog_compatibility	2484
check_max_stack_depth	1656
check_mem_access	28566
check_packet_access	0
check_pkt_ptr_alignment	0
check_ptr_alignment	28566
check_raw_mode_ok	4968
check_refcount_ok	4968
check_reference_leak	5382
check_reg_arg	115092
check_reg_sane_offset	14904
check_return_code	5382
check_sock_access	0
check_stack_access	27324
check_stack_boundary	4968
check_stack_read	0
check_stack_write	27324
check_subprogs	1656
check_tp_buffer_access	0
check_xadd	0
clean_func_state	1242
clean_live_states	26082
clean_verifier_state	4968
clear_all_pkt_pointers	0
cmp_subprogs	0
coerce_reg_to_size	8694
convert_ctx_accesses	1656
copy_func_state	16146
copy_reference_state	16146
copy_stack_state	16146
copy_verifier_state	16146
do_check	1656
do_refine_retval_range	4968
find_good_pkt_pointers	0
find_linfo	0
find_subprog	1656
fixup_bpf_calls	1656
fixup_call_args	1656
free_func_state	12834
free_states	1656
free_verifier_state	12834
func_states_equal	4968
get_callee_stack_depth	0
init_reg_state	1656
insn_has_def32	1242
is_branch_taken	12420
is_reg64	116334
is_sk_reg	0
is_state_visited	59202
jit_subprogs	0
mark_all_scalars_precise	0
mark_ptr_or_null_reg	54648
mark_ptr_or_null_regs	4968
mark_reg_known_zero	8280
mark_reg_not_init	48024
mark_reg_read	83628
mark_reg_unknown	19044
may_access_direct_pkt_data	0
opt_hard_wire_dead_code_branches	1656
opt_remove_dead_code	1656
opt_remove_nops	1656
opt_subreg_zext_lo32_rnd_hi32	1656
pop_stack	8280
prepare_func_exit	0
print_liveness	0
print_verification_stats	1656
print_verifier_state	0
process_spin_lock	0
propagate_liveness	1242
propagate_liveness_reg	13662
propagate_precision	1242
push_insn	96462
push_jmp_history	19872
push_stack	4968
range_within	3726
realloc_func_state	43470
realloc_reference_state	43470
realloc_stack_state	43470
record_func_map	4968
refsafe	1242
reg_combine_min_max	0
reg_is_init_pkt_pointer	0
reg_set_min_max	2484
reg_set_min_max_inv	0
reg_type_mismatch	0
regsafe	47196
release_maps	414
release_reference	0
release_reference_state	0
release_reg_references	0
replace_map_fd_with_map_ptr	1656
retrieve_ptr_limit	0
sanitize_dead_code	0
sanitize_ptr_alu	4968
sanitize_val_alu	0
save_register_state	0
set_lower_bound	0
set_upper_bound	0
stacksafe	1242
states_equal	4968
states_maybe_looping	0
transfer_reference_state	0
try_match_pkt_pointers	2484
update_branch_counts	6624
verbose	1656
verbose_linfo	0
verifier_remove_insns	0

Generated by: LCOV version 1.14