LCOV - code coverage report

Current view: top level - gcc/analyzer - bounds-checking.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 79.7 % 674 537 Test Date: 2025-01-11 13:11:20 Functions: 90.7 % 54 49 Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name	Hit count
_ZN3ana24concrete_buffer_overflow28describe_final_event_as_bitsER14pretty_printer	0
_ZN3ana25concrete_buffer_over_read28describe_final_event_as_bitsER14pretty_printer	0
_ZN3ana26concrete_buffer_under_read28describe_final_event_as_bitsER14pretty_printer	0
_ZN3ana26concrete_buffer_underwrite28describe_final_event_as_bitsER14pretty_printer	0
_ZNK3ana21symbolic_past_the_end26maybe_add_sarif_propertiesER12sarif_object	0
_ZNK3ana13out_of_bounds26maybe_add_sarif_propertiesER12sarif_object	4
_ZNK3ana21concrete_past_the_end26maybe_add_sarif_propertiesER12sarif_object	4
_ZNK3ana22concrete_out_of_bounds26maybe_add_sarif_propertiesER12sarif_object	4
_ZN3ana25symbolic_buffer_over_read4emitERNS_27diagnostic_emission_contextE	21
_ZNK3ana25symbolic_buffer_over_read7get_dirEv	21
_ZN3ana25symbolic_buffer_over_read20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	42
_ZN3ana26concrete_buffer_underwrite4emitERNS_27diagnostic_emission_contextE	54
_ZNK3ana26concrete_buffer_underwrite7get_dirEv	54
_ZN3ana26concrete_buffer_under_read4emitERNS_27diagnostic_emission_contextE	55
_ZNK3ana26concrete_buffer_under_read7get_dirEv	55
_ZNK3ana13out_of_bounds19make_access_diagramERKNS_16access_operationERN8text_art13style_managerERKNS4_5themeEPNS_6loggerE	72
_ZN3ana26concrete_buffer_underwrite20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	108
_ZN3ana26concrete_buffer_underwrite29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE	108
_ZN3ana26concrete_buffer_under_read20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	110
_ZN3ana26concrete_buffer_under_read29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE	110
_ZN3ana24symbolic_buffer_overflow4emitERNS_27diagnostic_emission_contextE	111
_ZNK3ana24symbolic_buffer_overflow7get_dirEv	111
_ZNK3ana21symbolic_past_the_end16subclass_equal_pERKNS_18pending_diagnosticE	145
_ZN3ana25concrete_buffer_over_read4emitERNS_27diagnostic_emission_contextE	150
_ZNK3ana25concrete_buffer_over_read7get_dirEv	150
_ZN3ana24concrete_buffer_overflow4emitERNS_27diagnostic_emission_contextE	160
_ZNK3ana24concrete_buffer_overflow7get_dirEv	164
_ZNK3ana25symbolic_buffer_over_read8get_kindEv	184
_ZN3ana13out_of_bounds26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE	203
_ZN3ana24symbolic_buffer_overflow20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	222
_ZNK3ana26concrete_buffer_underwrite8get_kindEv	234
_ZN3ana25concrete_buffer_over_read20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	300
_ZN3ana25concrete_buffer_over_read29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE	300
_ZN3ana21concrete_past_the_end26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE	307
_ZN3ana24concrete_buffer_overflow20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	320
_ZN3ana24concrete_buffer_overflow29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE	320
_ZNK3ana26concrete_buffer_under_read8get_kindEv	397
_ZNK3ana21concrete_past_the_end16subclass_equal_pERKNS_18pending_diagnosticE	410
_ZN3ana13out_of_bounds34oob_region_creation_event_capacity20prepare_for_emissionEPNS_12checker_pathEPNS_18pending_diagnosticE21diagnostic_event_id_t	436
_ZN3ana21concrete_past_the_endC2ERKNS_12region_modelEPKNS_6regionEP9tree_nodeNS_9bit_rangeES8_PKNS_6svalueE	436
_ZNK3ana24symbolic_buffer_overflow8get_kindEv	511
_ZN3ana13out_of_bounds22mark_interesting_stuffEPNS_13interesting_tE	551
_ZNK3ana13out_of_bounds16maybe_show_notesERNS_27diagnostic_emission_contextE	551
_ZNK3ana13out_of_bounds18maybe_show_diagramEPNS_6loggerE	551
_ZNK3ana13out_of_bounds27maybe_describe_array_boundsEm	551
_ZNK3ana22concrete_out_of_bounds16subclass_equal_pERKNS_18pending_diagnosticE	570
_ZNK3ana24concrete_buffer_overflow8get_kindEv	694
_ZNK3ana13out_of_bounds16subclass_equal_pERKNS_18pending_diagnosticE	715
_ZNK3ana25concrete_buffer_over_read8get_kindEv	924
_ZNK3ana13out_of_bounds22get_controlling_optionEv	1288
_ZNK3ana12region_model21check_symbolic_boundsEPKNS_6regionEPKNS_6svalueES6_S6_NS_16access_directionES6_PNS_20region_model_contextE	47260
_ZN3ana11strip_typesEPKNS_6svalueERNS_20region_model_managerE	141981
_ZNK3ana12region_model19check_region_boundsEPKNS_6regionENS_16access_directionEPKNS_6svalueEPNS_20region_model_contextE	681614
_ZN3anaL26maybe_get_integer_cst_treeEPKNS_6svalueE	1363208

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.