LCOV - code coverage report
Current view: top level - gcc/analyzer - sm-taint.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 75.1 % 806 605
Test Date: 2025-12-13 14:10:19 Functions: 91.8 % 61 56
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
_ZN3ana12_GLOBAL__N_1L13bounds_to_strENS0_6boundsE 0
_ZN3ana12_GLOBAL__N_1L30is_assertion_failure_handler_pEP9tree_node 0
_ZNK3ana12_GLOBAL__N_114tainted_offset26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE 0
_ZNK3ana12_GLOBAL__N_116taint_diagnostic26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE 0
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE 0
_ZN3ana12_GLOBAL__N_126tainted_access_attrib_size4emitERNS_27diagnostic_emission_contextE 2
_ZNK3ana12_GLOBAL__N_116taint_diagnostic28get_meaning_for_state_changeERKNS_6evdesc12state_changeE 2
_ZN3ana12_GLOBAL__N_112tainted_size4emitERNS_27diagnostic_emission_contextE 4
_ZN3ana12_GLOBAL__N_112tainted_size20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 8
_ZN3ana12_GLOBAL__N_115tainted_divisor4emitERNS_27diagnostic_emission_contextE 10
_ZN3ana12_GLOBAL__N_116taint_diagnostic21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 10
_ZNK3ana12_GLOBAL__N_112tainted_size22get_controlling_optionEv 10
_ZNK3ana12_GLOBAL__N_126tainted_access_attrib_size8get_kindEv 14
_ZN3ana12_GLOBAL__N_114tainted_offset4emitERNS_27diagnostic_emission_contextE 16
_ZNK3ana12_GLOBAL__N_112tainted_size8get_kindEv 17
_ZN3ana12_GLOBAL__N_115tainted_divisor20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 20
_ZN3ana12_GLOBAL__N_123tainted_allocation_size4emitERNS_27diagnostic_emission_contextE 20
_ZNK3ana12_GLOBAL__N_115tainted_divisor22get_controlling_optionEv 20
_ZN3ana12_GLOBAL__N_114tainted_offset20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 32
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size16subclass_equal_pERKNS_18pending_diagnosticE 32
_ZN3ana12_GLOBAL__N_117tainted_assertion4emitERNS_27diagnostic_emission_contextE 34
_ZN3ana20region_model_context18possibly_tainted_pEPKNS_6svalueE 34
_ZN3ana12_GLOBAL__N_117tainted_assertionC2ERKNS0_19taint_state_machineEP9tree_nodeS6_ 35
_ZNK3ana12_GLOBAL__N_117tainted_assertion16subclass_equal_pERKNS_18pending_diagnosticE 35
_ZN3ana12_GLOBAL__N_123tainted_allocation_size20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 40
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size22get_controlling_optionEv 40
_ZNK3ana12_GLOBAL__N_114tainted_offset22get_controlling_optionEv 43
_ZN3ana12region_model15mark_as_taintedEPKNS_6svalueEPNS_20region_model_contextE 47
_ZN3ana12_GLOBAL__N_119tainted_array_index4emitERNS_27diagnostic_emission_contextE 66
_ZN3ana12_GLOBAL__N_117tainted_assertion20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 68
_ZN3ana12_GLOBAL__N_117tainted_assertion21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 68
_ZNK3ana12_GLOBAL__N_117tainted_assertion28mention_noreturn_attribute_pEv 68
_ZNK3ana12_GLOBAL__N_117tainted_assertion22get_controlling_optionEv 69
_ZNK3ana12_GLOBAL__N_115tainted_divisor8get_kindEv 122
_ZN3ana12_GLOBAL__N_119tainted_array_index20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 132
_ZN3anaL28index_can_be_out_of_bounds_pEPKNS_14element_regionE 136
_ZNK3ana14concrete_range8within_pERKS0_ 136
_ZNK3ana12_GLOBAL__N_119tainted_array_index22get_controlling_optionEv 186
_ZN3anaL18get_possible_rangeEPKNS_6svalueEPNS_14concrete_rangeE 212
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size8get_kindEv 216
_ZNK3ana12_GLOBAL__N_116taint_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 230
_ZNK3ana12_GLOBAL__N_114tainted_offset8get_kindEv 236
_ZNK3ana12_GLOBAL__N_117tainted_assertion14fixup_locationEmb 275
_ZNK3ana12_GLOBAL__N_119taint_state_machine25check_for_tainted_divisorERNS_10sm_contextEPK7gassign 310
_ZNK3ana12_GLOBAL__N_117tainted_assertion8get_kindEv 618
_ZNK3ana12_GLOBAL__N_119tainted_array_index8get_kindEv 1038
_ZN3ana12_GLOBAL__N_119taint_state_machineC2EPNS_6loggerE 3318
_ZN3ana24make_taint_state_machineEPNS_6loggerE 3318
_ZNK3ana12_GLOBAL__N_119taint_state_machine17on_bounded_rangesERNS_10sm_contextERKNS_6svalueERKNS_14bounded_rangesE 6077
_ZNK3ana12region_model28check_dynamic_size_for_taintENS_12memory_spaceEPKNS_6svalueEPNS_20region_model_contextE 7818
_ZNK3ana12_GLOBAL__N_119taint_state_machine26check_for_tainted_size_argERNS_10sm_contextERK5gcallP9tree_node 11631
_ZNK3ana12_GLOBAL__N_119taint_state_machine12on_conditionERNS_10sm_contextEPKNS_6svalueE9tree_codeS6_ 33687
_ZNK3ana12_GLOBAL__N_119taint_state_machine32check_control_flow_arg_for_taintERNS_10sm_contextEP9tree_node 81375
_ZNK3ana12_GLOBAL__N_119taint_state_machine9get_taintEPKNS_13state_machine5stateEP9tree_nodePNS0_6boundsE 118983
_ZNK3ana12_GLOBAL__N_119taint_state_machine14combine_statesEPKNS_13state_machine5stateES5_ 133275
_ZNK3ana12_GLOBAL__N_119taint_state_machine7on_stmtERNS_10sm_contextEPK6gimple 251501
_ZNK3ana12_GLOBAL__N_119taint_state_machine29has_alt_get_inherited_state_pEv 464551
_ZNK3ana12region_model22check_region_for_taintEPKNS_6regionENS_16access_directionEPNS_20region_model_contextE 731949
_ZNK3ana12_GLOBAL__N_119taint_state_machine11can_purge_pEPKNS_13state_machine5stateE 913720
_ZNK3ana12_GLOBAL__N_119taint_state_machine23alt_get_inherited_stateERKNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE 1582931
_ZNK3ana12_GLOBAL__N_119taint_state_machine17inherited_state_pEv 1773765

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.