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: 2026-02-28 14:20:25 Functions: 93.4 % 61 57 Legend: Lines:     hit not hit

Function Name	Hit count
_ZN3ana12_GLOBAL__N_1L13bounds_to_strENS0_6boundsE	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
_ZN3ana12_GLOBAL__N_117tainted_assertionC2ERKNS0_19taint_state_machineEP9tree_nodeS6_	35
_ZN3ana20region_model_context18possibly_tainted_pEPKNS_6svalueE	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	449
_ZNK3ana12_GLOBAL__N_117tainted_assertion8get_kindEv	618
_ZNK3ana12_GLOBAL__N_119tainted_array_index8get_kindEv	1038
_ZN3ana12_GLOBAL__N_119taint_state_machineC2EPNS_6loggerE	3377
_ZN3ana24make_taint_state_machineEPNS_6loggerE	3377
_ZNK3ana12_GLOBAL__N_119taint_state_machine17on_bounded_rangesERNS_10sm_contextERKNS_6svalueERKNS_14bounded_rangesE	6099
_ZNK3ana12region_model28check_dynamic_size_for_taintENS_12memory_spaceEPKNS_6svalueEPNS_20region_model_contextE	7810
_ZNK3ana12_GLOBAL__N_119taint_state_machine26check_for_tainted_size_argERNS_10sm_contextERK5gcallP9tree_node	11575
_ZNK3ana12_GLOBAL__N_119taint_state_machine12on_conditionERNS_10sm_contextEPKNS_6svalueE9tree_codeS6_	34595
_ZN3ana12_GLOBAL__N_1L30is_assertion_failure_handler_pEP9tree_node	45369
_ZNK3ana12_GLOBAL__N_119taint_state_machine32check_control_flow_arg_for_taintERNS_10sm_contextEP9tree_node	83451
_ZNK3ana12_GLOBAL__N_119taint_state_machine9get_taintEPKNS_13state_machine5stateEP9tree_nodePNS0_6boundsE	125449
_ZNK3ana12_GLOBAL__N_119taint_state_machine14combine_statesEPKNS_13state_machine5stateES5_	130973
_ZNK3ana12_GLOBAL__N_119taint_state_machine7on_stmtERNS_10sm_contextEPK6gimple	263888
_ZNK3ana12_GLOBAL__N_119taint_state_machine29has_alt_get_inherited_state_pEv	483724
_ZNK3ana12region_model22check_region_for_taintEPKNS_6regionENS_16access_directionEPNS_20region_model_contextE	837030
_ZNK3ana12_GLOBAL__N_119taint_state_machine11can_purge_pEPKNS_13state_machine5stateE	1556982
_ZNK3ana12_GLOBAL__N_119taint_state_machine23alt_get_inherited_stateERKNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE	2391997
_ZNK3ana12_GLOBAL__N_119taint_state_machine17inherited_state_pEv	2659038

Generated by: LCOV version 2.4-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.