LCOV - code coverage report
Current view: top level - gcc/analyzer - sm-taint.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 75.1 % 808 607
Test Date: 2025-07-26 09:32:30 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_116taint_diagnostic21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 8
_ZN3ana12_GLOBAL__N_115tainted_divisor4emitERNS_27diagnostic_emission_contextE 10
_ZNK3ana12_GLOBAL__N_112tainted_size22get_controlling_optionEv 12
_ZN3ana12_GLOBAL__N_114tainted_offset4emitERNS_27diagnostic_emission_contextE 16
_ZN3ana12_GLOBAL__N_115tainted_divisor20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 20
_ZN3ana12_GLOBAL__N_123tainted_allocation_size4emitERNS_27diagnostic_emission_contextE 20
_ZNK3ana12_GLOBAL__N_126tainted_access_attrib_size8get_kindEv 22
_ZNK3ana12_GLOBAL__N_115tainted_divisor22get_controlling_optionEv 29
_ZNK3ana12_GLOBAL__N_112tainted_size8get_kindEv 31
_ZN3ana12_GLOBAL__N_114tainted_offset20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 32
_ZN3ana12_GLOBAL__N_117tainted_assertion4emitERNS_27diagnostic_emission_contextE 34
_ZN3ana20region_model_context18possibly_tainted_pEPKNS_6svalueE 36
_ZN3ana12_GLOBAL__N_123tainted_allocation_size20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 40
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size16subclass_equal_pERKNS_18pending_diagnosticE 40
_ZN3ana12_GLOBAL__N_117tainted_assertionC2ERKNS0_19taint_state_machineEP9tree_nodeS6_ 47
_ZNK3ana12_GLOBAL__N_117tainted_assertion16subclass_equal_pERKNS_18pending_diagnosticE 47
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size22get_controlling_optionEv 48
_ZNK3ana12_GLOBAL__N_114tainted_offset22get_controlling_optionEv 61
_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
_ZN3ana12region_model15mark_as_taintedEPKNS_6svalueEPNS_20region_model_contextE 79
_ZNK3ana12_GLOBAL__N_117tainted_assertion22get_controlling_optionEv 81
_ZN3ana12_GLOBAL__N_119tainted_array_index20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 132
_ZN3anaL28index_can_be_out_of_bounds_pEPKNS_14element_regionE 139
_ZNK3ana14concrete_range8within_pERKS0_ 139
_ZNK3ana12_GLOBAL__N_115tainted_divisor8get_kindEv 175
_ZNK3ana12_GLOBAL__N_119tainted_array_index22get_controlling_optionEv 189
_ZN3anaL18get_possible_rangeEPKNS_6svalueEPNS_14concrete_rangeE 215
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size8get_kindEv 237
_ZNK3ana12_GLOBAL__N_116taint_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 282
_ZNK3ana12_GLOBAL__N_117tainted_assertion14fixup_locationEmb 287
_ZNK3ana12_GLOBAL__N_114tainted_offset8get_kindEv 348
_ZNK3ana12_GLOBAL__N_119taint_state_machine25check_for_tainted_divisorERNS_10sm_contextEPKNS_9supernodeEPK7gassign 358
_ZNK3ana12_GLOBAL__N_117tainted_assertion8get_kindEv 552
_ZNK3ana12_GLOBAL__N_119tainted_array_index8get_kindEv 1102
_ZN3ana12_GLOBAL__N_119taint_state_machineC2EPNS_6loggerE 3281
_ZN3ana24make_taint_state_machineEPNS_6loggerE 3281
_ZNK3ana12_GLOBAL__N_119taint_state_machine17on_bounded_rangesERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRKNS_6svalueERKNS_14bounded_rangesE 6236
_ZNK3ana12region_model28check_dynamic_size_for_taintENS_12memory_spaceEPKNS_6svalueEPNS_20region_model_contextE 8643
_ZNK3ana12_GLOBAL__N_119taint_state_machine26check_for_tainted_size_argERNS_10sm_contextEPKNS_9supernodeERK5gcallP9tree_node 12875
_ZNK3ana12_GLOBAL__N_119taint_state_machine12on_conditionERNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE9tree_codeSC_ 30200
_ZNK3ana12_GLOBAL__N_119taint_state_machine32check_control_flow_arg_for_taintERNS_10sm_contextEPK6gimpleP9tree_node 41069
_ZNK3ana12_GLOBAL__N_119taint_state_machine9get_taintEPKNS_13state_machine5stateEP9tree_nodePNS0_6boundsE 73877
_ZNK3ana12_GLOBAL__N_119taint_state_machine14combine_statesEPKNS_13state_machine5stateES5_ 98242
_ZNK3ana12_GLOBAL__N_119taint_state_machine7on_stmtERNS_10sm_contextEPKNS_9supernodeEPK6gimple 269540
_ZNK3ana12_GLOBAL__N_119taint_state_machine29has_alt_get_inherited_state_pEv 588108
_ZNK3ana12region_model22check_region_for_taintEPKNS_6regionENS_16access_directionEPNS_20region_model_contextE 696489
_ZNK3ana12_GLOBAL__N_119taint_state_machine11can_purge_pEPKNS_13state_machine5stateE 1046275
_ZNK3ana12_GLOBAL__N_119taint_state_machine23alt_get_inherited_stateERKNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE 1390841
_ZNK3ana12_GLOBAL__N_119taint_state_machine17inherited_state_pEv 1451845

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.