LCOV - code coverage report
Current view: top level - gcc/analyzer - sm-taint.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 74.6 % 806 601
Test Date: 2025-01-11 13:11:20 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_propertiesER12sarif_object 0
_ZNK3ana12_GLOBAL__N_116taint_diagnostic26maybe_add_sarif_propertiesER12sarif_object 0
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size26maybe_add_sarif_propertiesER12sarif_object 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_116taint_diagnostic21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 6
_ZN3ana12_GLOBAL__N_112tainted_size20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 8
_ZN3ana12_GLOBAL__N_115tainted_divisor4emitERNS_27diagnostic_emission_contextE 9
_ZNK3ana12_GLOBAL__N_112tainted_size8get_kindEv 11
_ZNK3ana12_GLOBAL__N_112tainted_size22get_controlling_optionEv 12
_ZN3ana12_GLOBAL__N_114tainted_offset4emitERNS_27diagnostic_emission_contextE 16
_ZNK3ana12_GLOBAL__N_126tainted_access_attrib_size8get_kindEv 17
_ZN3ana12_GLOBAL__N_115tainted_divisor20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 18
_ZN3ana12_GLOBAL__N_123tainted_allocation_size4emitERNS_27diagnostic_emission_contextE 20
_ZNK3ana12_GLOBAL__N_115tainted_divisor22get_controlling_optionEv 27
_ZN3ana12_GLOBAL__N_114tainted_offset20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 32
_ZN3ana12_GLOBAL__N_117tainted_assertion4emitERNS_27diagnostic_emission_contextE 34
_ZN3ana12_GLOBAL__N_117tainted_assertionC2ERKNS0_19taint_state_machineEP9tree_nodeS6_ 35
_ZNK3ana12_GLOBAL__N_117tainted_assertion16subclass_equal_pERKNS_18pending_diagnosticE 35
_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
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size22get_controlling_optionEv 48
_ZNK3ana12_GLOBAL__N_114tainted_offset22get_controlling_optionEv 61
_ZNK3ana12_GLOBAL__N_115tainted_divisor8get_kindEv 63
_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
_ZN3ana12region_model15mark_as_taintedEPKNS_6svalueEPNS_20region_model_contextE 79
_ZN3ana12_GLOBAL__N_119tainted_array_index20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 132
_ZN3anaL28index_can_be_out_of_bounds_pEPKNS_14element_regionE 139
_ZNK3ana12_GLOBAL__N_117tainted_assertion8get_kindEv 139
_ZNK3ana14concrete_range8within_pERKS0_ 139
_ZNK3ana12_GLOBAL__N_114tainted_offset8get_kindEv 151
_ZNK3ana12_GLOBAL__N_123tainted_allocation_size8get_kindEv 152
_ZNK3ana12_GLOBAL__N_119tainted_array_index22get_controlling_optionEv 189
_ZN3anaL18get_possible_rangeEPKNS_6svalueEPNS_14concrete_rangeE 215
_ZNK3ana12_GLOBAL__N_116taint_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 269
_ZNK3ana12_GLOBAL__N_117tainted_assertion14fixup_locationEmb 275
_ZNK3ana12_GLOBAL__N_119taint_state_machine25check_for_tainted_divisorERNS_10sm_contextEPKNS_9supernodeEPK7gassign 419
_ZNK3ana12_GLOBAL__N_119tainted_array_index8get_kindEv 435
_ZN3ana12_GLOBAL__N_119taint_state_machineC2EPNS_6loggerE 3180
_ZN3ana24make_taint_state_machineEPNS_6loggerE 3180
_ZNK3ana12_GLOBAL__N_119taint_state_machine17on_bounded_rangesERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRKNS_6svalueERKNS_14bounded_rangesE 6292
_ZNK3ana12region_model28check_dynamic_size_for_taintENS_12memory_spaceEPKNS_6svalueEPNS_20region_model_contextE 8427
_ZNK3ana12_GLOBAL__N_119taint_state_machine26check_for_tainted_size_argERNS_10sm_contextEPKNS_9supernodeEPK5gcallP9tree_node 12218
_ZNK3ana12_GLOBAL__N_119taint_state_machine12on_conditionERNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE9tree_codeSC_ 30096
_ZNK3ana12_GLOBAL__N_119taint_state_machine32check_control_flow_arg_for_taintERNS_10sm_contextEPK6gimpleP9tree_node 40901
_ZNK3ana12_GLOBAL__N_119taint_state_machine9get_taintEPKNS_13state_machine5stateEP9tree_nodePNS0_6boundsE 73378
_ZNK3ana12_GLOBAL__N_119taint_state_machine14combine_statesEPKNS_13state_machine5stateES5_ 99999
_ZNK3ana12_GLOBAL__N_119taint_state_machine7on_stmtERNS_10sm_contextEPKNS_9supernodeEPK6gimple 267430
_ZNK3ana12_GLOBAL__N_119taint_state_machine29has_alt_get_inherited_state_pEv 572370
_ZNK3ana12region_model22check_region_for_taintEPKNS_6regionENS_16access_directionEPNS_20region_model_contextE 681614
_ZNK3ana12_GLOBAL__N_119taint_state_machine11can_purge_pEPKNS_13state_machine5stateE 991127
_ZNK3ana12_GLOBAL__N_119taint_state_machine23alt_get_inherited_stateERKNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE 1339765
_ZNK3ana12_GLOBAL__N_119taint_state_machine17inherited_state_pEv 1399253

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.