|
Function Name  |
Hit count  |
_ZN3ana25noop_region_model_context14on_svalue_leakEPKNS_6svalueE |
0 |
_ZN3ana25noop_region_model_context17on_unknown_changeEPKNS_6svalueEb |
0 |
_ZN3ana25noop_region_model_context18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelE |
0 |
_ZN3ana25noop_region_model_context19on_escaped_functionEP9tree_node |
0 |
_ZN3ana25noop_region_model_context23on_unexpected_tree_codeEP9tree_nodeRK15dump_location_t |
0 |
_ZN3ana25noop_region_model_context28on_unusable_in_infinite_loopEv |
0 |
_ZN3ana30region_model_context_decorator12on_conditionEPKNS_6svalueE9tree_codeS3_ |
0 |
_ZN3ana30region_model_context_decorator12on_pop_frameEPKNS_12frame_regionE |
0 |
_ZN3ana30region_model_context_decorator14maybe_did_workEv |
0 |
_ZN3ana30region_model_context_decorator14on_svalue_leakEPKNS_6svalueE |
0 |
_ZN3ana30region_model_context_decorator14terminate_pathEv |
0 |
_ZN3ana30region_model_context_decorator17on_bounded_rangesERKNS_6svalueERKNS_14bounded_rangesE |
0 |
_ZN3ana30region_model_context_decorator17on_unknown_changeEPKNS_6svalueEb |
0 |
_ZN3ana30region_model_context_decorator18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelE |
0 |
_ZN3ana30region_model_context_decorator19on_escaped_functionEP9tree_node |
0 |
_ZN3ana30region_model_context_decorator21purge_state_involvingEPKNS_6svalueE |
0 |
_ZN3ana30region_model_context_decorator23on_unexpected_tree_codeEP9tree_nodeRK15dump_location_t |
0 |
_ZN3ana30region_model_context_decorator28on_unusable_in_infinite_loopEv |
0 |
_ZN3ana30region_model_context_decorator4warnESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS2_EEPKNS_11stmt_finderE |
0 |
_ZN3ana30region_model_context_decorator6on_phiEPK4gphiP9tree_node |
0 |
_ZN3ana30region_model_context_decorator9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS2_EE |
0 |
_ZN3ana30tentative_region_model_context23on_unexpected_tree_codeEP9tree_nodeRK15dump_location_t |
0 |
_ZN3ana8selftest25test_region_model_context23on_unexpected_tree_codeEP9tree_nodeRK15dump_location_t |
0 |
_ZNK3ana14one_way_id_mapINS_14equiv_class_idEE10dump_to_ppEP14pretty_printer |
0 |
_ZNK3ana14one_way_id_mapINS_14equiv_class_idEE4dumpEv |
0 |
_ZNK3ana25noop_region_model_context6get_egEv |
0 |
_ZNK3ana30region_model_context_decorator28checking_for_infinite_loop_pEv |
0 |
_ZNK3ana30region_model_context_decorator6get_egEv |
0 |
_ZN3ana25noop_region_model_context14maybe_did_workEv |
1 |
_ZN3ana8selftest25test_region_model_context4warnESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS3_EEPKNS_11stmt_finderE |
4 |
_ZN3ana25noop_region_model_context4warnESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS2_EEPKNS_11stmt_finderE |
13 |
_ZN3ana7visitor21visit_compound_svalueEPKNS_15compound_svalueE |
42 |
_ZN3ana25noop_region_model_context12on_conditionEPKNS_6svalueE9tree_codeS3_ |
44 |
_ZNK3ana25noop_region_model_context28checking_for_infinite_loop_pEv |
44 |
_ZNK3ana30region_model_context_decorator8get_stmtEv |
97 |
_ZN3ana25noop_region_model_context17on_bounded_rangesERKNS_6svalueERKNS_14bounded_rangesE |
115 |
_ZN3ana12region_model20pop_thrown_exceptionEv |
174 |
_ZN3ana25noop_region_model_context12on_pop_frameEPKNS_12frame_regionE |
178 |
_ZN3ana25noop_region_model_context21purge_state_involvingEPKNS_6svalueE |
185 |
_ZN3ana12region_model20pop_caught_exceptionEv |
204 |
_ZN3ana18annotating_context4warnESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS2_EEPKNS_11stmt_finderE |
232 |
_ZN3ana30region_model_context_decorator8add_noteESt10unique_ptrINS_12pending_noteESt14default_deleteIS2_EE |
233 |
_ZN3ana7visitor19visit_setjmp_svalueEPKNS_13setjmp_svalueE |
1556 |
_ZNK3ana25noop_region_model_context13get_ext_stateEv |
2706 |
_ZN3ana30region_model_context_decorator15get_uncertaintyEv |
4157 |
_ZNK3ana30region_model_context_decorator13get_ext_stateEv |
4982 |
_ZN3ana25noop_region_model_context6on_phiEPK4gphiP9tree_node |
6973 |
_ZN3ana7visitor23visit_asm_output_svalueEPKNS_17asm_output_svalueE |
6988 |
_ZNK3ana25noop_region_model_context8get_stmtEv |
7331 |
_ZN3ana25noop_region_model_context15get_uncertaintyEv |
7375 |
_ZN3ana30region_model_context_decorator21get_state_map_by_nameEPKcPPNS_12sm_state_mapEPPKNS_13state_machineEPjPSt10unique_ptrINS_10sm_contextESt14default_deleteISC_EE |
7380 |
_ZN3ana7visitor24visit_unmergeable_svalueEPKNS_18unmergeable_svalueE |
10684 |
_ZN3ana7visitor21visit_poisoned_svalueEPKNS_15poisoned_svalueE |
15691 |
_ZN3ana25noop_region_model_context21get_state_map_by_nameEPKcPPNS_12sm_state_mapEPPKNS_13state_machineEPjPSt10unique_ptrINS_10sm_contextESt14default_deleteISC_EE |
21390 |
_ZN3ana7visitor24visit_bits_within_svalueEPKNS_18bits_within_svalueE |
21393 |
_ZN3ana25noop_region_model_context10get_loggerEv |
21454 |
_ZN3ana7visitor28visit_const_fn_result_svalueEPKNS_22const_fn_result_svalueE |
24562 |
_ZN3ana30region_model_context_decorator10get_loggerEv |
25304 |
_ZN3ana12region_model19notify_on_pop_frameEPKS0_S2_PKNS_6svalueEPNS_20region_model_contextE |
25642 |
_ZN3ana7visitor24visit_placeholder_svalueEPKNS_18placeholder_svalueE |
55099 |
_ZN3ana7visitor21visit_repeated_svalueEPKNS_15repeated_svalueE |
65884 |
_ZN3ana7visitor21visit_widening_svalueEPKNS_15widening_svalueE |
122869 |
_ZN3ana7visitor16visit_sub_svalueEPKNS_10sub_svalueE |
289213 |
_ZN3ana19region_to_value_mapC2Ev |
352163 |
_ZN3ana7visitor20visit_unaryop_svalueEPKNS_14unaryop_svalueE |
688852 |
_ZN3ana7visitor19visit_region_svalueEPKNS_13region_svalueE |
973811 |
_ZN3ana14one_way_id_mapINS_14equiv_class_idEEC2Ei |
1061013 |
_ZN3ana7visitor18visit_binop_svalueEPKNS_12binop_svalueE |
1123978 |
_ZN3ana7visitor21visit_conjured_svalueEPKNS_15conjured_svalueE |
1466219 |
_ZN3ana7visitor20visit_initial_svalueEPKNS_14initial_svalueE |
1578764 |
_ZN3ana7visitor20visit_unknown_svalueEPKNS_14unknown_svalueE |
2073303 |
_ZN3ana7visitor21visit_constant_svalueEPKNS_15constant_svalueE |
2418583 |
_ZN3ana19region_to_value_mapC2ERKS0_ |
3667286 |
_ZNK3ana14one_way_id_mapINS_14equiv_class_idEE15get_dst_for_srcES1_ |
3944619 |
_ZN3ana7visitor12visit_regionEPKNS_6regionE |
4066762 |