LCOV - code coverage report

Current view: top level - kernel/bpf - verifier.c (source / functions) Hit Total Coverage Test: gcov_data_raspi2_qemu_modules_combined.info Lines: 1490 3800 39.2 % Date: 2020-09-30 20:25:01 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	9696
__clear_all_pkt_pointers	0
__find_good_pkt_pointers	0
__mark_chain_precision	21816
__mark_ptr_or_null_regs	9696
__mark_reg_known	65448
__mark_reg_unknown	155136
__reg_bound_offset	24240
__reg_combine_min_max	0
__reg_deduce_bounds	24240
__update_reg_bounds	19392
acquire_reference_state	0
add_subprog	3232
adjust_btf_func	3232
adjust_insn_aux_data	2424
adjust_ptr_min_max_vals	9696
adjust_reg_min_max_vals	14544
adjust_scalar_min_max_vals	4848
adjust_subprog_starts_after_remove	0
backtrack_insn	179376
bpf_adj_linfo_after_remove	0
bpf_check	3232
bpf_patch_insn_data	2424
bpf_verifier_log_write	0
bpf_verifier_vlog	0
check_alu_op	56560
check_arg_pair_ok	9696
check_btf_func	0
check_btf_info	3232
check_btf_line	0
check_cfg	3232
check_cond_jmp_op	24240
check_ctx_access	2424
check_ctx_reg	7272
check_flow_keys_access	0
check_func_arg	48480
check_func_call	0
check_func_proto	9696
check_generic_ptr_alignment	55752
check_helper_call	9696
check_helper_mem_access	9696
check_ids	0
check_ld_abs	0
check_ld_imm	4848
check_map_access	0
check_map_access_type	0
check_map_func_compatibility	9696
check_map_prog_compatibility	4848
check_max_stack_depth	3232
check_mem_access	55752
check_packet_access	0
check_pkt_ptr_alignment	0
check_ptr_alignment	55752
check_raw_mode_ok	9696
check_refcount_ok	9696
check_reference_leak	10504
check_reg_arg	224624
check_reg_sane_offset	29088
check_return_code	10504
check_sock_access	0
check_stack_access	53328
check_stack_boundary	9696
check_stack_read	0
check_stack_write	53328
check_subprogs	3232
check_tp_buffer_access	0
check_xadd	0
clean_func_state	2424
clean_live_states	50904
clean_verifier_state	9696
clear_all_pkt_pointers	0
cmp_subprogs	0
coerce_reg_to_size	16968
convert_ctx_accesses	3232
copy_func_state	31512
copy_reference_state	31512
copy_stack_state	31512
copy_verifier_state	31512
do_check	3232
do_refine_retval_range	9696
find_good_pkt_pointers	0
find_linfo	0
find_subprog	3232
fixup_bpf_calls	3232
fixup_call_args	3232
free_func_state	25048
free_states	3232
free_verifier_state	25048
func_states_equal	9696
get_callee_stack_depth	0
init_reg_state	3232
insn_has_def32	2424
is_branch_taken	24240
is_reg64	227048
is_sk_reg	0
is_state_visited	115544
jit_subprogs	0
mark_all_scalars_precise	0
mark_ptr_or_null_reg	106656
mark_ptr_or_null_regs	9696
mark_reg_known_zero	16160
mark_reg_not_init	93728
mark_reg_read	163216
mark_reg_unknown	37168
may_access_direct_pkt_data	0
opt_hard_wire_dead_code_branches	3232
opt_remove_dead_code	3232
opt_remove_nops	3232
opt_subreg_zext_lo32_rnd_hi32	3232
pop_stack	16160
prepare_func_exit	0
print_liveness	0
print_verification_stats	3232
print_verifier_state	0
process_spin_lock	0
propagate_liveness	2424
propagate_liveness_reg	26664
propagate_precision	2424
push_insn	188264
push_jmp_history	38784
push_stack	9696
range_within	7272
realloc_func_state	84840
realloc_reference_state	84840
realloc_stack_state	84840
record_func_map	9696
refsafe	2424
reg_combine_min_max	0
reg_is_init_pkt_pointer	0
reg_set_min_max	4848
reg_set_min_max_inv	0
reg_type_mismatch	0
regsafe	92112
release_maps	808
release_reference	0
release_reference_state	0
release_reg_references	0
replace_map_fd_with_map_ptr	3232
retrieve_ptr_limit	0
sanitize_dead_code	0
sanitize_ptr_alu	9696
sanitize_val_alu	0
save_register_state	0
set_lower_bound	0
set_upper_bound	0
stacksafe	2424
states_equal	9696
states_maybe_looping	0
transfer_reference_state	0
try_match_pkt_pointers	4848
update_branch_counts	12928
verbose	3232
verbose_linfo	0
verifier_remove_insns	0

Generated by: LCOV version 1.14