LCOV - code coverage report
Current view: top level - gcc/analyzer - sm-fd.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 94.4 % 1182 1116
Test Date: 2024-04-27 14:03:13 Functions: 90.7 % 108 98
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name Sort by function name Hit count Sort by function hit count
_ZNK3ana12_GLOBAL__N_116fd_state_machine13is_valid_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine14is_closed_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine16is_constant_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine16is_readonly_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine16mark_as_valid_fdEPNS_12region_modelEPNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine17is_unchecked_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine17is_writeonly_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine23is_datagram_socket_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_readEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcallP9tree_node 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_writeEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcallP9tree_node 0
_ZN3ana12_GLOBAL__N_116fd_type_mismatch4emitERNS_27diagnostic_emission_contextE 5
_ZN3ana12_GLOBAL__N_118fd_use_after_close4emitERNS_27diagnostic_emission_contextE 7
_ZNK3ana12_GLOBAL__N_116fd_state_machine24valid_to_unchecked_stateEPKNS_13state_machine5stateE 9
_ZN3ana12_GLOBAL__N_116fd_type_mismatch20describe_final_eventERKNS_6evdesc11final_eventE 10
_ZN3ana12_GLOBAL__N_123fd_access_mode_mismatch4emitERNS_27diagnostic_emission_contextE 12
_ZN3ana12_GLOBAL__N_118fd_use_after_close20describe_final_eventERKNS_6evdesc11final_eventE 14
_ZNK3ana12_GLOBAL__N_116fd_type_mismatch16subclass_equal_pERKNS_18pending_diagnosticE 14
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_creatEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcall 17
_ZNK3ana7kf_pipe7success12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 17
_ZNK3ana12_GLOBAL__N_116fd_type_mismatch22get_controlling_optionEv 19
_ZNK3ana7kf_pipe7failure12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 21
_ZN3ana12_GLOBAL__N_123fd_access_mode_mismatch20describe_final_eventERKNS_6evdesc11final_eventE 24
_ZNK3ana12_GLOBAL__N_123fd_access_mode_mismatch22get_controlling_optionEv 24
_ZN3ana12_GLOBAL__N_117fd_phase_mismatch4emitERNS_27diagnostic_emission_contextE 25
_ZNK3ana7kf_pipe14impl_call_postERKNS_12call_detailsE 29
_ZNK3ana12_GLOBAL__N_116fd_state_machine13check_for_dupEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcallP9tree_nodeNS0_3dupE 31
_ZN3ana12_GLOBAL__N_118fd_use_after_close21describe_state_changeERKNS_6evdesc12state_changeE 32
_ZN3ana12region_model16mark_as_valid_fdEPKNS_6svalueEPNS_20region_model_contextE 34
_ZN3ana12_GLOBAL__N_115fd_double_close4emitERNS_27diagnostic_emission_contextE 35
_ZNK3ana12_GLOBAL__N_118fd_use_after_close22get_controlling_optionEv 45
_ZN3ana12_GLOBAL__N_120fd_use_without_check4emitERNS_27diagnostic_emission_contextE 46
_ZNK3ana12_GLOBAL__N_116fd_type_mismatch8get_kindEv 47
_ZNK3ana12_GLOBAL__N_123fd_access_mode_mismatch8get_kindEv 48
_ZN3ana12_GLOBAL__N_117fd_phase_mismatch20describe_final_eventERKNS_6evdesc11final_eventE 50
_ZNK3ana9kf_accept14impl_call_postERKNS_12call_detailsE 53
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_acceptERKNS_12call_detailsEbPNS_10sm_contextERKNS_15extrinsic_stateE 54
_ZNK3ana12_GLOBAL__N_116fd_state_machine21is_stream_socket_fd_pEPKNS_13state_machine5stateE 58
_ZNK3ana12_GLOBAL__N_118fd_use_after_close8get_kindEv 61
_ZNK3ana12_GLOBAL__N_116fd_state_machine10on_connectERKNS_12call_detailsEbPNS_10sm_contextERKNS_15extrinsic_stateE 64
_ZN3ana12_GLOBAL__N_119fd_param_diagnostic31inform_filedescriptor_attributeENS0_17access_directionsE 65
_ZNK3ana9kf_accept17outcome_of_accept12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 66
_ZN3ana12_GLOBAL__N_115fd_double_close20describe_final_eventERKNS_6evdesc11final_eventE 70
_ZN3ana12_GLOBAL__N_117fd_phase_mismatchC2ERKNS0_16fd_state_machineEP9tree_nodeS6_PKNS_13state_machine5stateENS0_14expected_phaseE 70
_ZNK3ana12_GLOBAL__N_115fd_double_close22get_controlling_optionEv 70
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch16subclass_equal_pERKNS_18pending_diagnosticE 70
_ZN3ana12_GLOBAL__N_120fd_use_without_check21describe_state_changeERKNS_6evdesc12state_changeE 74
_ZNK3ana9kf_listen14impl_call_postERKNS_12call_detailsE 77
_ZN3ana12_GLOBAL__N_17fd_leak4emitERNS_27diagnostic_emission_contextE 87
_ZNK3ana7kf_read13impl_call_preERKNS_12call_detailsE 90
_ZN3ana12_GLOBAL__N_120fd_use_without_check20describe_final_eventERKNS_6evdesc11final_eventE 92
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch22get_controlling_optionEv 95
_ZNK3ana12_GLOBAL__N_116fd_state_machine25get_access_mode_from_flagEi 100
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_openEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcall 110
_ZNK3ana12_GLOBAL__N_17fd_leak22get_controlling_optionEv 113
_ZNK3ana12_GLOBAL__N_116fd_state_machine25get_state_for_socket_typeEPKNS_6svalueE 118
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_listenERKNS_12call_detailsEbPNS_10sm_contextERKNS_15extrinsic_stateE 118
_ZNK3ana12_GLOBAL__N_113fd_diagnostic28get_meaning_for_state_changeERKNS_6evdesc12state_changeE 120
_ZNK3ana7kf_pipe20matches_call_types_pERKNS_12call_detailsE 124
_ZNK3ana9kf_listen17outcome_of_listen12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 127
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_leakEP9tree_node 138
_ZNK3ana12_GLOBAL__N_115fd_double_close8get_kindEv 140
_ZNK3ana12_GLOBAL__N_120fd_use_without_check22get_controlling_optionEv 144
_ZN3ana12_GLOBAL__N_17fd_leak21describe_state_changeERKNS_6evdesc12state_changeE 162
_ZN3ana12_GLOBAL__N_115fd_double_close21describe_state_changeERKNS_6evdesc12state_changeE 170
_ZNK3ana12_GLOBAL__N_119fd_param_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 172
_ZN3ana12_GLOBAL__N_17fd_leak20describe_final_eventERKNS_6evdesc11final_eventE 174
_ZNK3ana12_GLOBAL__N_113fd_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 191
_ZNK3ana12_GLOBAL__N_116fd_state_machine17check_for_open_fdEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcallP9tree_nodeNS0_17access_directionsE 223
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch8get_kindEv 235
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_socketERKNS_12call_detailsEbPNS_10sm_contextERKNS_15extrinsic_stateE 250
_ZNK3ana7kf_bind14impl_call_postERKNS_12call_detailsE 251
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_bindERKNS_12call_detailsEbPNS_10sm_contextERKNS_15extrinsic_stateE 256
_ZNK3ana12_GLOBAL__N_120fd_use_without_check8get_kindEv 280
_ZN3ana12_GLOBAL__N_113fd_diagnostic21describe_state_changeERKNS_6evdesc12state_changeE 288
_ZNK3ana9kf_isatty14impl_call_postERKNS_12call_detailsE 298
_ZNK3ana9kf_isatty17outcome_of_isatty10feasible_pERKNS_12call_detailsEPNS_20region_model_contextE 308
_ZNK3ana9kf_isatty17outcome_of_isatty12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 308
_ZNK3ana12_GLOBAL__N_116fd_state_machine23check_for_new_socket_fdERKNS_12call_detailsEbPNS_10sm_contextEPKNS_6svalueEPKNS_9supernodeEPKNS_13state_machine5stateENS0_14expected_phaseE 320
_ZNK3ana9kf_accept20matches_call_types_pERKNS_12call_detailsE 330
_ZNK3ana7kf_bind15outcome_of_bind12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 354
_ZN3ana12_GLOBAL__N_1L22add_constraint_ge_zeroEPNS_12region_modelEPKNS_6svalueEPNS_20region_model_contextE 370
_ZNK3ana7kf_read20matches_call_types_pERKNS_12call_detailsE 387
_ZNK3ana9kf_listen20matches_call_types_pERKNS_12call_detailsE 426
_ZNK3ana12_GLOBAL__N_116fd_state_machine19check_for_socket_fdERKNS_12call_detailsEbPNS_10sm_contextEPKNS_6svalueEPKNS_9supernodeEPKNS_13state_machine5stateEPb 492
_ZNK3ana10kf_connect14impl_call_postERKNS_12call_detailsE 500
_ZNK3ana10kf_connect18outcome_of_connect12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 514
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_closeEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcall 567
_ZNK3ana12_GLOBAL__N_17fd_leak8get_kindEv 611
_ZNK3ana12_GLOBAL__N_116fd_state_machine37make_invalid_transitions_on_conditionEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE 874
_ZNK3ana12_GLOBAL__N_116fd_state_machine35make_valid_transitions_on_conditionEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE 1068
_ZNK3ana7kf_bind20matches_call_types_pERKNS_12call_detailsE 1158
_ZNK3ana10kf_connect20matches_call_types_pERKNS_12call_detailsE 1200
_ZNK3ana9kf_socket14impl_call_postERKNS_12call_detailsE 1636
_ZNK3ana9kf_isatty20matches_call_types_pERKNS_12call_detailsE 1708
_ZNK3ana9kf_socket17outcome_of_socket12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 1739
_ZN3anaL12get_fd_stateEPNS_20region_model_contextEPPNS_12sm_state_mapEPPKNS_12_GLOBAL__N_116fd_state_machineEPjPSt10unique_ptrINS_10sm_contextESt14default_deleteISC_EE 2988
_ZN3ana12_GLOBAL__N_116fd_state_machineC2EPNS_6loggerE 3745
_ZN3ana21make_fd_state_machineEPNS_6loggerE 3745
_ZN3ana27register_known_fd_functionsERNS_22known_function_managerE 3745
_ZNK3ana9kf_socket20matches_call_types_pERKNS_12call_detailsE 3860
_ZN3ana7kf_pipeC2Ej 7490
_ZNK3ana12_GLOBAL__N_116fd_state_machine12on_conditionEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE9tree_codeSC_ 35409
_ZNK3ana12_GLOBAL__N_116fd_state_machine18check_for_fd_attrsEPNS_10sm_contextEPKNS_9supernodeEPK6gimplePK5gcallP9tree_nodePKcNS0_17access_directionsE 192897
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_stmtEPNS_10sm_contextEPKNS_9supernodeEPK6gimple 320317
_ZNK3ana12_GLOBAL__N_116fd_state_machine14is_socket_fd_pEPKNS_13state_machine5stateE 1203370
_ZNK3ana12_GLOBAL__N_116fd_state_machine11can_purge_pEPKNS_13state_machine5stateE 1203632
_ZNK3ana12_GLOBAL__N_116fd_state_machine17get_default_stateEPKNS_6svalueE 1215215
_ZNK3ana12_GLOBAL__N_116fd_state_machine17inherited_state_pEv 1217187

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.