|
Function Name  |
Hit count  |
| _ZNK3ana12sm_state_map16make_dump_widgetERKN8text_art16dump_widget_infoEPKNS_12region_modelE |
0 |
| _ZNK3ana12sm_state_map4dumpEb |
0 |
| _ZNK3ana12sm_state_map7to_jsonEv |
0 |
| _ZNK3ana13program_state12dump_to_fileERKNS_15extrinsic_stateEbbP8_IO_FILE |
0 |
| _ZNK3ana13program_state16make_dump_widgetERKN8text_art16dump_widget_infoE |
0 |
| _ZNK3ana13program_state23get_representative_treeEPKNS_6svalueE |
0 |
| _ZNK3ana13program_state4dumpERKNS_15extrinsic_stateEb |
0 |
| _ZNK3ana13program_state4dumpEv |
0 |
| _ZNK3ana13program_state5printERKNS_15extrinsic_stateEP14pretty_printer |
0 |
| _ZNK3ana13program_state7to_jsonERKNS_15extrinsic_stateE |
0 |
| _ZNK3ana15extrinsic_state10dump_to_ppEP14pretty_printer |
0 |
| _ZNK3ana15extrinsic_state12dump_to_fileEP8_IO_FILE |
0 |
| _ZNK3ana15extrinsic_state4dumpEv |
0 |
| _ZNK3ana15extrinsic_state7to_jsonEv |
0 |
| _ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEEN15my_path_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteISC_EE |
0 |
| _ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEENK15my_path_context16terminate_path_pEv |
0 |
| _ZN3ana8selftest31analyzer_program_state_cc_testsEv |
4 |
| _ZN3ana8selftestL17test_sm_state_mapEv |
4 |
| _ZN3ana8selftestL20test_program_state_1Ev |
4 |
| _ZN3ana8selftestL20test_program_state_2Ev |
4 |
| _ZN3ana8selftestL26test_program_state_mergingEv |
4 |
| _ZN3ana8selftestL28test_program_state_merging_2Ev |
4 |
| _ZNK3ana12sm_state_map10get_originEPKNS_6svalueERKNS_15extrinsic_stateE |
12 |
| _ZNK3ana13program_state20get_current_functionEv |
22 |
| _ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEEN15my_path_context14terminate_pathEv |
28 |
| _ZN3ana13program_state14returning_callERNS_14exploded_graphEPNS_13exploded_nodeERK5gcallPNS_13uncertainty_tE |
67 |
| _ZN3ana13program_state9push_callERNS_14exploded_graphEPNS_13exploded_nodeERK5gcallPNS_13uncertainty_tE |
77 |
| _ZN3ana13program_state29impl_call_analyzer_dump_stateERK5gcallRKNS_15extrinsic_stateEPNS_20region_model_contextE |
361 |
| _ZN3anaL18log_set_of_svaluesEPNS_6loggerEPKcRK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS7_EE |
496 |
| _ZNK3ana12sm_state_map5printEPKNS_12region_modelEbbP14pretty_printer |
498 |
| _ZN3ana13program_state19replay_call_summaryERNS_19call_summary_replayERKS0_ |
1394 |
| _ZNK3ana13program_state10dump_to_ppERKNS_15extrinsic_stateEbbP14pretty_printer |
1581 |
| _ZN3ana12sm_state_map15clear_any_stateEPKNS_6svalueE |
2712 |
| _ZNK3ana13program_state23can_purge_base_region_pERKNS_15extrinsic_stateEPKNS_6regionE |
5210 |
| _ZN3ana12sm_state_map26clear_all_per_svalue_stateEv |
8954 |
| _ZN3ana12sm_state_map19replay_call_summaryERNS_19call_summary_replayERKS0_ |
9163 |
| _ZN3ana13program_state10push_frameERKNS_15extrinsic_stateERK8function |
9962 |
| _ZNK3ana12sm_state_map10is_empty_pEv |
11083 |
| _ZN3ana12sm_state_map9set_stateERKNS_11equiv_classEPKNS_13state_machine5stateEPKNS_6svalueERKNS_15extrinsic_stateE |
36849 |
| _ZN3ana12sm_state_map9set_stateEPNS_12region_modelEPKNS_6svalueEPKNS_13state_machine5stateES5_RKNS_15extrinsic_stateE |
42353 |
| _ZNK3ana13program_stateeqERKS0_ |
74235 |
| _ZN3ana12sm_state_map7entry_t3cmpERKS1_S3_ |
96427 |
| _ZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tE |
125652 |
| _ZN3ana12sm_state_map21purge_state_involvingEPKNS_6svalueERKNS_15extrinsic_stateE |
155764 |
| _ZN3ana12sm_state_map14impl_set_stateEPKNS_6svalueEPKNS_13state_machine5stateES3_RKNS_15extrinsic_stateE |
192710 |
| _ZN3ana12sm_state_map16set_global_stateEPKNS_13state_machine5stateE |
202526 |
| _ZN3ana13program_stateaSERKS0_ |
298918 |
| _ZNK3ana13program_state16can_merge_with_pERKS0_RKNS_15extrinsic_stateERKNS_13program_pointEPS0_ |
326225 |
| _ZN3ana13program_stateC2ERKNS_15extrinsic_stateE |
339530 |
| _ZN3ana12sm_state_map17on_unknown_changeEPKNS_6svalueEbRKNS_15extrinsic_stateE |
348242 |
| _ZNK3ana13program_state4hashEv |
448820 |
| _ZN3ana12sm_state_map14on_svalue_leakEPKNS_6svalueEPNS_25impl_region_model_contextE |
525927 |
| _ZN3ana12sm_state_map3cmpERKS0_S2_ |
526263 |
| _ZN3ana13program_state12detect_leaksERKS0_S2_PKNS_6svalueERKNS_15extrinsic_stateEPNS_20region_model_contextE |
588199 |
| _ZN3ana13program_stateC2EOS0_ |
623480 |
| _ZNK3ana13program_state15prune_for_pointERNS_14exploded_graphERKNS_13program_pointEPNS_13exploded_nodeEPNS_13uncertainty_tE |
626793 |
| _ZNK3ana15extrinsic_state18get_sm_idx_by_nameEPKcPj |
677940 |
| _ZNK3ana12sm_state_map16get_global_stateEv |
1325270 |
| _ZNK3ana12sm_state_map16can_merge_with_pERKS0_RKNS_13state_machineERKNS_15extrinsic_stateEPPS0_ |
1367784 |
| _ZNK3ana13program_state8validateERKNS_15extrinsic_stateE |
1722719 |
| _ZN3ana13program_stateC2ERKS0_ |
2417996 |
| _ZN3ana12sm_state_mapC2ERKNS_13state_machineE |
2559111 |
| _ZNK3ana12sm_state_mapeqERKS0_ |
2915405 |
| _ZN3ana13program_stateD2Ev |
3381006 |
| _ZN3ana12sm_state_map18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelERKNS_15extrinsic_stateEPNS_25impl_region_model_contextE |
4113209 |
| _ZNK3ana12sm_state_map4hashEv |
8564366 |
| _ZNK3ana12sm_state_map9get_stateEPKNS_6svalueERKNS_15extrinsic_stateE |
8739519 |
| _ZN3ana12sm_state_map19canonicalize_svalueEPKNS_6svalueERKNS_15extrinsic_stateE |
8932241 |
| _ZNK3ana15extrinsic_state17get_model_managerEv |
11444343 |
| _ZNK3ana12sm_state_map5cloneEv |
20179665 |