LCOV - code coverage report
Current view: top level - gcc/analyzer - engine.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 84.2 % 3048 2567
Test Date: 2025-07-12 13:27:34 Functions: 82.7 % 220 182
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
_ZN3ana13exploded_node13status_to_strENS0_6statusE 0
_ZN3ana13setjmp_record3cmpERKS0_S2_ 0
_ZN3ana17supernode_cluster11cmp_ptr_ptrEPKvS2_ 0
_ZN3ana17supernode_cluster8add_nodeEPNS_13exploded_nodeE 0
_ZN3anaL18dump_analyzer_jsonERKNS_10supergraphERKNS_14exploded_graphE 0
_ZNK3ana11enode_label8get_textEj 0
_ZNK3ana13exploded_edge7to_jsonEv 0
_ZNK3ana13exploded_node10dump_to_ppEP14pretty_printerRKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_node20dump_succs_and_predsEP8_IO_FILE 0
_ZNK3ana13exploded_node4dumpEP8_IO_FILERKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_node4dumpERKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_node7to_jsonERKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_path10dump_to_ppEP14pretty_printerPKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_path12dump_to_fileEPKcRKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_path4dumpEP8_IO_FILEPKNS_15extrinsic_stateE 0
_ZNK3ana13exploded_path4dumpEPKNS_15extrinsic_stateE 0
_ZNK3ana13setjmp_svalue10dump_to_ppEP14pretty_printerb 0
_ZNK3ana13setjmp_svalue15get_enode_indexEv 0
_ZNK3ana13setjmp_svalue23print_dump_widget_labelEP14pretty_printer 0
_ZNK3ana13setjmp_svalue24add_dump_widget_childrenERN8text_art11tree_widgetERKNS1_16dump_widget_infoE 0
_ZNK3ana14exploded_graph10dump_statsEP8_IO_FILE 0
_ZNK3ana14exploded_graph17get_node_by_indexEi 0
_ZNK3ana14exploded_graph25dump_states_for_supernodeEP8_IO_FILEPKNS_9supernodeE 0
_ZNK3ana14exploded_graph26get_per_program_point_dataERKNS_13program_pointE 0
_ZNK3ana14exploded_graph7to_jsonEv 0
_ZNK3ana17throw_custom_edge10print_descER14pretty_printer 0
_ZNK3ana17throw_custom_edge5printEP14pretty_printer 0
_ZNK3ana18unwind_custom_edge5printEP14pretty_printer 0
_ZNK3ana22tainted_args_call_info12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 0
_ZNK3ana22tainted_args_call_info5printEP14pretty_printer 0
_ZNK3ana26tainted_args_function_info12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 0
_ZNK3ana26tainted_args_function_info5printEP14pretty_printer 0
_ZNK3ana29strongly_connected_components4dumpEv 0
_ZNK3ana29strongly_connected_components7to_jsonEv 0
_ZNK3ana5stats4dumpEP8_IO_FILE 0
_ZNK3ana8worklist7to_jsonEv 0
_ZN3ana25plugin_analyzer_init_impl22register_state_machineESt10unique_ptrINS_13state_machineESt14default_deleteIS2_EE 1
_ZNK3ana14exploded_graph16print_bar_chartsEP14pretty_printer 2
_ZNK3ana5stats16get_total_enodesEv 2
_ZN3ana12root_clusterD0Ev 4
_ZN3ana12root_clusterD0Ev 0
_ZN3ana12root_clusterD2Ev 4
_ZN3ana13exploded_pathC2ERKS0_ 4
_ZN3ana13viz_callgraphC2ERKNS_10supergraphE 4
_ZN3ana24exploded_graph_annotatorC2ERKNS_14exploded_graphE 4
_ZN3ana25impl_region_model_contextC2EPNS_13program_stateERKNS_15extrinsic_stateEPNS_13uncertainty_tEPNS_6loggerE 4
_ZN3ana31tainted_args_field_custom_eventC2EP9tree_node 4
_ZN3anaL14dump_callgraphERKNS_10supergraphEPKNS_14exploded_graphE 4
_ZN3anaL14dump_callgraphERKNS_10supergraphEPKcPKNS_14exploded_graphE 4
_ZNK3ana12root_cluster8dump_dotEP12graphviz_outRKNS_9eg_traits11dump_args_tE 4
_ZNK3ana13exploded_path10feasible_pEPNS_6loggerEPSt10unique_ptrINS_19feasibility_problemESt14default_deleteIS4_EEPNS_6engineEPKNS_14exploded_graphE 4
_ZNK3ana18viz_callgraph_edge8dump_dotEP12graphviz_outRKNS_20viz_callgraph_traits11dump_args_tE 4
_ZNK3ana19feasibility_problem10dump_to_ppEP14pretty_printer 4
_ZNK3ana22tainted_args_call_info18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeE 4
_ZNK3ana5stats3logEPNS_6loggerE 4
_ZN3ana13stale_jmp_buf4emitERNS_27diagnostic_emission_contextE 5
_ZNK3ana24exploded_graph_annotator22print_saved_diagnosticEP12graphviz_outPKNS_16saved_diagnosticE 8
_ZNK3ana31tainted_args_field_custom_event10print_descER14pretty_printer 8
_ZNK3ana34tainted_args_callback_custom_event10print_descER14pretty_printer 8
_ZN3ana13stale_jmp_buf20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 10
_ZN3ana15impl_sm_context20on_custom_transitionEPNS_17custom_transitionE 10
_ZN3anaL25add_tainted_args_callbackEPNS_14exploded_graphEP9tree_nodeS3_m 10
_ZNK3ana13stale_jmp_buf22get_controlling_optionEv 10
_ZNK3ana13rewind_info_t12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 11
_ZN3ana18viz_callgraph_nodeC2EP8functioni 12
_ZNK3ana18viz_callgraph_node8dump_dotEP12graphviz_outRKNS_20viz_callgraph_traits11dump_args_tE 12
_ZNK3ana13rewind_info_t18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeE 15
_ZN3ana17jump_through_null4emitERNS_27diagnostic_emission_contextE 16
_ZNK3ana18unwind_custom_edge12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 16
_ZNK3ana18unwind_custom_edge18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeE 16
_ZNK3ana15impl_sm_context16get_path_contextEv 24
_ZNK3ana13stale_jmp_buf8get_kindEv 25
_ZN3ana13stale_jmp_buf37maybe_add_custom_events_for_superedgeERKNS_13exploded_edgeEPNS_12checker_pathE 30
_ZN3ana17jump_through_null20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 32
_ZNK3ana17jump_through_null22get_controlling_optionEv 32
_ZNK3ana25plugin_analyzer_init_impl10get_loggerEv 39
_ZNK3ana19dynamic_call_info_t18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeE 51
_ZN3ana25impl_region_model_context23on_unexpected_tree_codeEP9tree_nodeRK15dump_location_t 54
_ZN3ana13exploded_node10on_longjmpERNS_14exploded_graphERK5gcallPNS_13program_stateEPNS_20region_model_contextE 63
_ZNK3ana17throw_custom_edge18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeE 63
_ZN3anaL21valid_longjmp_stack_pERKNS_13program_pointES2_ 75
_ZNK3ana24exploded_graph_annotator26add_after_node_annotationsEP12graphviz_outRKNS_9supernodeE 76
_ZNK3ana22call_summary_edge_info10print_descER14pretty_printer 94
_ZN3ana25plugin_analyzer_init_impl23register_known_functionEPKcSt10unique_ptrINS_14known_functionESt14default_deleteIS4_EE 107
_ZNK3ana26tainted_args_function_info18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeE 107
_ZNK3ana22call_summary_edge_info12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 112
_ZN3ana15impl_sm_context4warnEPKNS_9supernodeEPK6gimplePKNS_6svalueESt10unique_ptrINS_18pending_diagnosticESt14default_deleteISB_EE 113
_ZNK3ana17feasibility_state10dump_to_ppEP14pretty_printerbb 116
_ZN3ana15impl_sm_context19get_diagnostic_treeEPKNS_6svalueE 132
_ZNK3ana24exploded_graph_annotator20add_node_annotationsEP12graphviz_outRKNS_9supernodeEb 152
_ZN3ana14exploded_graph25maybe_create_dynamic_callERK5gcallP9tree_nodePNS_13exploded_nodeENS_13program_stateERNS_13program_pointEPNS_13uncertainty_tEPNS_6loggerE 154
_ZNK3ana17jump_through_null8get_kindEv 170
_ZN3anaL22mark_params_as_taintedEPNS_13program_stateEP9tree_nodeRKNS_15extrinsic_stateE 184
_ZN3ana25impl_region_model_context9add_eventESt10unique_ptrINS_13checker_eventESt14default_deleteIS2_EE 188
_ZN3ana13exploded_node8on_throwERNS_14exploded_graphERK5gcallPNS_13program_stateEbPNS_20region_model_contextE 199
_ZNK3ana34tainted_args_function_custom_event10print_descER14pretty_printer 214
_ZN3ana25impl_region_model_context8add_noteESt10unique_ptrINS_12pending_noteESt14default_deleteIS2_EE 224
_ZNK3ana24exploded_graph_annotator20add_stmt_annotationsEP12graphviz_outPK6gimpleb 270
_ZNK3ana17throw_custom_edge12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 274
_ZNK3ana19dynamic_call_info_t12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 304
_ZN3ana14exploded_graph19on_escaped_functionEP9tree_node 380
_ZN3ana25impl_region_model_context19on_escaped_functionEP9tree_node 380
_ZN3ana20function_call_stringC2EP8functionPKNS_11call_stringE 473
_ZN3ana28function_call_string_cluster8add_nodeEPNS_13exploded_nodeE 473
_ZNK3ana17supernode_cluster8dump_dotEP12graphviz_outRKNS_9eg_traits11dump_args_tE 473
_ZNK3ana28function_call_string_cluster8dump_dotEP12graphviz_outRKNS_9eg_traits11dump_args_tE 473
_ZN3ana12root_cluster8add_nodeEPNS_13exploded_nodeE 477
_ZNK3ana24exploded_graph_annotator11print_enodeEP12graphviz_outPKNS_13exploded_nodeE 481
_ZN3ana16leak_stmt_finder21update_event_loc_infoERNS_14event_loc_infoE 578
_ZNK3ana13exploded_node8dump_dotEP12graphviz_outRKNS_9eg_traits11dump_args_tE 601
_ZNK3ana9eg_traits11dump_args_t20show_enode_details_pERKNS_13exploded_nodeE 601
_ZNK3ana13exploded_edge8dump_dotEP12graphviz_outRKNS_9eg_traits11dump_args_tE 605
_ZN3ana13exploded_node7on_resxERNS_14exploded_graphERK5gresxPNS_13program_stateEPNS_20region_model_contextE 639
_ZNK3ana13exploded_edge14dump_dot_labelEP14pretty_printer 721
_ZNK3ana13exploded_node20dump_processed_stmtsEP14pretty_printer 725
_ZNK3ana13exploded_node22dump_saved_diagnosticsEP14pretty_printer 725
_ZNK3ana13exploded_path19find_stmt_backwardsEPK6gimplePi 796
_ZN3ana16leak_stmt_finder9find_stmtERKNS_13exploded_pathE 842
_ZN3ana13exploded_node21replay_call_summariesERNS_14exploded_graphEPKNS_9supernodeERK5gcallPNS_13program_stateEPNS_12path_contextERK8functionRNS_17per_function_dataEPNS_20region_model_contextE 917
_ZN3ana28function_call_string_clusterD0Ev 946
_ZN3ana28function_call_string_clusterD0Ev 473
_ZN3ana28function_call_string_clusterD2Ev 473
_ZNK3ana14exploded_graph21get_per_function_dataEP8function 999
_ZNK3ana13exploded_node17get_dot_fillcolorEv 1206
_ZNK3ana16leak_stmt_finder5cloneEv 1369
_ZNK3ana22call_summary_edge_info12update_stateEPNS_13program_stateEPKNS_13exploded_edgeEPNS_20region_model_contextE 1386
_ZNK3ana13setjmp_svalue6acceptEPNS_7visitorE 1556
_ZN3ana25impl_region_model_context14terminate_pathEv 1664
_ZNK3ana15impl_sm_context21get_new_program_stateEv 1784
_ZNK3ana13exploded_node11dump_dot_idEP14pretty_printer 1831
_ZN3ana25impl_region_model_context13on_state_leakERKNS_13state_machineEPKNS_6svalueEPKNS1_5stateE 1884
_ZN3anaL25returning_from_function_pEPKNS_9supernodeE 1884
_ZN3ana13exploded_node19replay_call_summaryERNS_14exploded_graphEPKNS_9supernodeERK5gcallPNS_13program_stateEPNS_12path_contextERK8functionRNS_12call_summaryEPNS_20region_model_contextE 2169
_ZN3anaL19print_enode_indicesEP14pretty_printerRK8auto_vecIPNS_13exploded_nodeELm0EE 2820
_ZN3ana12run_checkersEv 3308
_ZN3ana14exploded_graph16process_worklistEv 3308
_ZN3ana14exploded_graph22build_initial_worklistEv 3308
_ZN3ana14exploded_graphC2ERKNS_10supergraphEPNS_6loggerERKNS_15extrinsic_stateEPKNS_15state_purge_mapERKNS_13analysis_planEi 3308
_ZN3ana14exploded_graphD0Ev 3308
_ZN3ana14exploded_graphD0Ev 0
_ZN3ana14exploded_graphD2Ev 3308
_ZN3ana17impl_run_checkersEPNS_6loggerE 3308
_ZN3ana29strongly_connected_componentsC2ERKNS_10supergraphEPNS_6loggerE 3308
_ZN3ana8worklistC2ERKNS_14exploded_graphERKNS_13analysis_planE 3308
_ZNK3ana14exploded_graph19dump_exploded_nodesEv 3308
_ZNK3ana14exploded_graph9log_statsEv 3308
_ZN3ana25impl_region_model_context4warnESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS2_EEPKNS_11stmt_finderE 3327
_ZN3ana17impl_path_context14terminate_pathEv 3428
_ZN3ana15impl_sm_context14set_next_stateEPK6gimplePKNS_6svalueEPKNS_13state_machine5stateEP9tree_node 4236
_ZN3ana17feasibility_stateC2ERKNS_12region_modelERKNS_10supergraphE 5109
_ZN3ana15impl_sm_context4warnEPKNS_9supernodeEPK6gimpleP9tree_nodeSt10unique_ptrINS_18pending_diagnosticESt14default_deleteISA_EE 5761
_ZN3ana14exploded_graph21unwind_from_exceptionERNS_13exploded_nodeEPK6gimplePNS_20region_model_contextE 6087
_ZN3ana15impl_sm_context19get_diagnostic_treeEP9tree_node 6233
_ZN3ana25impl_region_model_context17on_bounded_rangesERKNS_6svalueERKNS_14bounded_rangesE 6236
_ZN3ana25get_or_create_any_logfileEv 6658
_ZN3ana17feasibility_stateC2EPNS_20region_model_managerERKNS_10supergraphE 6750
_ZN3anaL14get_eh_outedgeERKNS_9supernodeE 7413
_ZN3ana17per_function_dataD2Ev 8333
_ZN3anaL9print_runEP14pretty_printeriiPb 8907
_ZN3ana15impl_sm_context26clear_all_per_svalue_stateEv 8968
_ZN3anaL19toplevel_function_pERK8functionPNS_6loggerE 10109
_ZN3ana14exploded_graph31get_or_create_per_function_dataEP8function 10245
_ZN3ana17per_function_data16add_call_summaryEPNS_13exploded_nodeE 10245
_ZN3ana14exploded_graph18add_function_entryERK8function 10332
_ZN3ana22readability_comparatorEPKvS1_ 10349
_ZN3ana25impl_region_model_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS2_EE 10692
_ZNK3ana13exploded_path15get_final_enodeEv 11949
_ZN3ana17impl_path_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS2_EE 12861
_ZN3ana13exploded_node12detect_leaksERNS_14exploded_graphE 16982
_ZN3ana17feasibility_stateaSERKS0_ 17031
_ZNK3ana17impl_path_context24get_state_at_bifurcationEv 19220
_ZN3ana28function_call_string_cluster11cmp_ptr_ptrEPKvS2_ 20078
_ZN3anaL11readabilityEPK9tree_node 20698
_ZN3ana15impl_sm_context16set_global_stateEPKNS_13state_machine5stateE 21292
_ZN3ana25impl_region_model_context21purge_state_involvingEPKNS_6svalueE 22205
_ZN3ana25impl_region_model_context12on_pop_frameEPKNS_12frame_regionE 23534
_ZN3ana25impl_region_model_context6on_phiEPK4gphiP9tree_node 24021
_ZN3ana5statsC2Ei 25123
_ZN3anaL17add_any_callbacksEPP9tree_nodePiPv 27680
_ZN3ana25impl_region_model_context14maybe_did_workEv 28369
_Z24fndecl_has_gimple_body_pP9tree_node 29982
_ZN3ana25impl_region_model_context12on_conditionEPKNS_6svalueE9tree_codeS3_ 30236
_ZN3ana15impl_sm_context14set_next_stateEPK6gimpleP9tree_nodePKNS_13state_machine5stateES5_ 37166
_ZNK3ana15impl_sm_context22unknown_side_effects_pEv 56096
_ZN3ana29strongly_connected_components14strong_connectEj 61778
_ZN3ana25impl_region_model_context17on_unknown_changeEPKNS_6svalueEb 63390
_ZN3ana25impl_region_model_context14on_svalue_leakEPKNS_6svalueE 75298
_ZN3ana15impl_sm_context9get_stateEPK6gimpleP9tree_node 77586
_ZN3ana15impl_sm_context9get_stateEPK6gimplePKNS_6svalueE 95076
_ZN3ana17feasibility_state15update_for_stmtEPK6gimple 109831
_ZNK3ana13exploded_node18get_processed_stmtEj 110854
_ZN3anaL25stmt_requires_new_enode_pEPK6gimpleS2_ 127420
_ZN3ana13exploded_node7on_edgeERNS_14exploded_graphEPKNS_9superedgeEPNS_13program_pointEPNS_13program_stateEPNS_13uncertainty_tE 148073
_ZN3ana17feasibility_state21maybe_update_for_edgeEPNS_6loggerEPKNS_13exploded_edgeEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 181085
_ZN3ana15impl_sm_context18is_zero_assignmentEPK6gimple 221832
_ZN3ana13exploded_node12on_stmt_postEPK6gimplePNS_13program_stateEbPNS_20region_model_contextE 240745
_ZN3anaL33state_change_requires_new_enode_pERKNS_13program_stateES2_ 240978
_ZNK3ana17impl_path_context16terminate_path_pEv 241518
_ZN3ana13exploded_node11on_stmt_preERNS_14exploded_graphEPK6gimplePNS_13program_stateEPbS8_PNS_20region_model_contextE 242419
_ZNK3ana15impl_sm_context16get_global_stateEv 242718
_ZN3ana13exploded_node7on_stmtERNS_14exploded_graphEPKNS_9supernodeEPK6gimplePNS_13program_stateEPNS_13uncertainty_tEPbPNS_12path_contextE 243336
_ZNK3ana15impl_sm_context21get_old_program_stateEv 265604
_ZN3ana14exploded_graph12process_nodeEPNS_13exploded_nodeE 331139
_ZN3ana14exploded_graph44maybe_process_run_of_before_supernode_enodesEPNS_13exploded_nodeE 337450
_ZNK3ana8worklist6lengthEv 347825
_ZN3ana8worklist9take_nextEv 372315
_ZN3ana8worklist8add_nodeEPNS_13exploded_nodeE 373027
_ZN3ana13exploded_nodeC2ERKNS_15point_and_stateEi 379450
_ZN3ana17feasibility_stateC2ERKS0_ 382700
_ZN3ana14exploded_graph36get_or_create_per_program_point_dataERKNS_13program_pointE 383433
_ZN3ana14exploded_graph28get_or_create_function_statsEP8function 385979
_ZN3ana14exploded_graph34get_or_create_per_call_string_dataERKNS_11call_stringE 385979
_ZN3ana14exploded_graph18get_or_create_nodeERKNS_13program_pointERKNS_13program_stateEPNS_13exploded_nodeEb 385983
_ZN3ana13exploded_edgeC2EPNS_13exploded_nodeES2_PKNS_9superedgeEbSt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS7_EE 392390
_ZN3ana14exploded_graph8add_edgeEPNS_13exploded_nodeES2_PKNS_9superedgeEbSt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS7_EE 392390
_ZN3ana15impl_sm_context19get_fndecl_for_callERK5gcall 403799
_ZN3ana8worklist9peek_nextEv 453450
_ZN3ana25impl_region_model_context18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelE 588961
_ZN3ana25impl_region_model_context21get_state_map_by_nameEPKcPPNS_12sm_state_mapEPPKNS_13state_machineEPjPSt10unique_ptrINS_10sm_contextESt14default_deleteISC_EE 682505
_ZNK3ana15point_and_state8validateERKNS_15extrinsic_stateE 765429
_ZN3ana8worklist5key_t3cmpERKS1_S3_ 1332465
_ZN3ana25impl_region_model_contextC2ERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_13program_stateEPS5_PNS_13uncertainty_tEPNS_12path_contextEPK6gimplePNS_11stmt_finderEPb 1420360
_ZN3ana25impl_region_model_context15get_uncertaintyEv 4916366

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.