|
Function Name  |
Hit count  |
_ZN3ana11sval_finder16visit_sub_svalueEPKNS_10sub_svalueE |
0 |
_ZN3ana11sval_finder19visit_setjmp_svalueEPKNS_13setjmp_svalueE |
0 |
_ZN3ana11sval_finder20visit_unknown_svalueEPKNS_14unknown_svalueE |
0 |
_ZN3ana11sval_finder21visit_compound_svalueEPKNS_15compound_svalueE |
0 |
_ZN3ana11sval_finder21visit_poisoned_svalueEPKNS_15poisoned_svalueE |
0 |
_ZN3ana11sval_finder21visit_repeated_svalueEPKNS_15repeated_svalueE |
0 |
_ZN3ana11sval_finder21visit_widening_svalueEPKNS_15widening_svalueE |
0 |
_ZN3ana11sval_finder23visit_asm_output_svalueEPKNS_17asm_output_svalueE |
0 |
_ZN3ana11sval_finder24visit_bits_within_svalueEPKNS_18bits_within_svalueE |
0 |
_ZN3ana11sval_finder24visit_placeholder_svalueEPKNS_18placeholder_svalueE |
0 |
_ZN3ana11sval_finder24visit_unmergeable_svalueEPKNS_18unmergeable_svalueE |
0 |
_ZN3ana11sval_finder28visit_const_fn_result_svalueEPKNS_22const_fn_result_svalueE |
0 |
_ZN3ana13bounded_range13set_json_attrERN4json6objectEPKcP9tree_node |
0 |
_ZN3ana14bounded_ranges3cmpEPKS0_S2_ |
0 |
_ZN3ana18constraint_manageraSERKS0_ |
0 |
_ZN3ana19replay_fact_visitor9on_rangesEPKNS_6svalueEPKNS_14bounded_rangesE |
0 |
_ZN3ana5debugERKNS_18constraint_managerE |
0 |
_ZNK3ana10constraint16make_dump_widgetERKN8text_art16dump_widget_infoERKNS_18constraint_managerE |
0 |
_ZNK3ana10constraint7to_jsonEv |
0 |
_ZNK3ana11equiv_class16make_dump_widgetERKN8text_art16dump_widget_infoEj |
0 |
_ZNK3ana11equiv_class7to_jsonEv |
0 |
_ZNK3ana13bounded_range16make_dump_widgetERKN8text_art16dump_widget_infoE |
0 |
_ZNK3ana13bounded_range4dumpEb |
0 |
_ZNK3ana13bounded_range7to_jsonEv |
0 |
_ZNK3ana14bounded_ranges18add_to_dump_widgetERN8text_art11tree_widgetERKNS1_16dump_widget_infoE |
0 |
_ZNK3ana14bounded_ranges4dumpEb |
0 |
_ZNK3ana14bounded_ranges7to_jsonEv |
0 |
_ZNK3ana18constraint_manager4dumpEP8_IO_FILE |
0 |
_ZNK3ana18constraint_manager4dumpEv |
0 |
_ZNK3ana18constraint_manager5printEP14pretty_printer |
0 |
_ZNK3ana25bounded_ranges_constraint16make_dump_widgetERKN8text_art16dump_widget_infoE |
0 |
_ZNK3ana25bounded_ranges_constraint5printEP14pretty_printerRKNS_18constraint_managerE |
0 |
_ZNK3ana25bounded_ranges_constraint7to_jsonEv |
0 |
_ZNK3ana5bound19get_relation_as_strEv |
0 |
_ZNK3ana5range10dump_to_ppEP14pretty_printer |
0 |
_ZNK3ana5range4dumpEv |
0 |
_ZNK3ana22bounded_ranges_manager9log_statsEPNS_6loggerEb |
2 |
_ZN3ana8selftest36analyzer_constraint_manager_cc_testsEv |
4 |
_ZN3ana8selftestL17test_transitivityEv |
4 |
_ZNK3ana18constraint_manager16make_dump_widgetERKN8text_art16dump_widget_infoE |
4 |
_ZNK3ana18constraint_manager7to_jsonEv |
4 |
_ZN3ana22bounded_ranges_manager19get_or_create_emptyEv |
8 |
_ZN3ana8selftestL10test_rangeEv |
8 |
_ZN3ana8selftestL12test_purgingEv |
8 |
_ZN3ana8selftestL13test_equalityEv |
8 |
_ZN3ana8selftestL18test_bounded_rangeEv |
8 |
_ZN3ana8selftestL19test_bounded_rangesEv |
8 |
_ZN3ana8selftestL19test_many_constantsEv |
8 |
_ZN3ana8selftestL20test_constraint_implEv |
8 |
_ZN3ana8selftestL25test_constant_comparisonsEv |
8 |
_ZN3ana8selftestL26test_constraint_conditionsEv |
8 |
_ZN3ana8selftestL28run_constraint_manager_testsEb |
8 |
_ZN3ana8selftestL9test_bitsEv |
8 |
_ZN3ana11sval_finder21visit_conjured_svalueEPKNS_15conjured_svalueE |
12 |
_ZN3ana11sval_finder20visit_unaryop_svalueEPKNS_14unaryop_svalueE |
24 |
_ZN3ana8selftestL28assert_dump_bounded_range_eqERKN8selftest8locationERKNS_13bounded_rangeEPKc |
64 |
_ZN3ana8selftestL29assert_dump_bounded_ranges_eqERKN8selftest8locationERKNS_14bounded_rangesEPKc |
96 |
_ZN3ana11sval_finder19visit_region_svalueEPKNS_13region_svalueE |
104 |
_ZN3ana11sval_finder18visit_binop_svalueEPKNS_12binop_svalueE |
106 |
_ZN3ana8selftestL29assert_dump_bounded_ranges_eqERKN8selftest8locationEPKNS_14bounded_rangesEPKc |
208 |
_ZN3ana11sval_finder21visit_constant_svalueEPKNS_15constant_svalueE |
270 |
_ZNK3ana14bounded_ranges9contain_pEP9tree_node |
278 |
_ZNK3ana14bounded_ranges10dump_to_ppEP14pretty_printerb |
304 |
_ZNK3ana18constraint_manager18sval_constrained_pEPKNS_6svalueE |
332 |
_ZN3ana22bounded_ranges_manager21get_or_create_inverseEPKNS_14bounded_rangesEP9tree_node |
364 |
_ZN3ana11sval_finder20visit_initial_svalueEPKNS_14initial_svalueE |
390 |
_ZNK3ana13bounded_range10dump_to_ppEP14pretty_printerb |
400 |
_ZNK3ana13bounded_range10contains_pEP9tree_node |
435 |
_ZN3anaL8dump_cstEP14pretty_printerP9tree_nodeb |
680 |
_ZNK3ana14bounded_ranges14eval_conditionE9tree_codeP9tree_nodePNS_22bounded_ranges_managerE |
706 |
_ZN3ana22bounded_ranges_manager26get_or_create_intersectionEPKNS_14bounded_rangesES3_ |
741 |
_ZN3ana19merger_fact_visitor9on_rangesEPKNS_6svalueEPKNS_14bounded_rangesE |
800 |
_ZN3ana14bounded_rangesC2E9tree_codeP9tree_node |
802 |
_ZN3ana18constraint_manager14add_constraintENS_14equiv_class_idE9tree_codeS1_ |
930 |
_ZN3anaL9minus_oneEP9tree_node |
1432 |
_ZN3ana18constraint_manager19replay_call_summaryERNS_19call_summary_replayERKS0_ |
1498 |
_ZNK3ana18constraint_manager10dump_to_ppEP14pretty_printerb |
1961 |
_ZN3ana18constraint_op_codeENS_13constraint_opE |
2050 |
_ZNK3ana10constraint5printEP14pretty_printerRKNS_18constraint_managerE |
2050 |
_ZN3anaL15can_minus_one_pEP9tree_node |
2832 |
_ZN3ana22bounded_ranges_manager24create_ranges_for_switchERKNS_20switch_cfg_superedgeEPK7gswitch |
2974 |
_ZN3ana22bounded_ranges_manager19get_or_create_unionERK3vecIPKNS_14bounded_rangesE7va_heap6vl_ptrE |
3768 |
_ZN3ana22bounded_ranges_managerD2Ev |
3888 |
_ZN3ana14bounded_rangesC2ERK3vecINS_13bounded_rangeE7va_heap6vl_ptrE |
4889 |
_ZNK3ana25bounded_ranges_constrainteqERKS0_ |
5188 |
_ZN3ana22bounded_ranges_manager19get_or_create_pointEPK9tree_node |
5865 |
_ZN3ana14bounded_rangesC2ERKNS_13bounded_rangeE |
6515 |
_ZN3ana22bounded_ranges_manager19get_or_create_rangeEPK9tree_nodeS3_ |
6515 |
_ZN3ana22bounded_ranges_manager22make_case_label_rangesEPK7gswitchP9tree_node |
6703 |
_ZNK3ana11equiv_class5printEP14pretty_printer |
7369 |
_ZNK3ana14equiv_class_id5printEP14pretty_printer |
7369 |
_ZN3ana22bounded_ranges_manager31get_or_create_ranges_for_switchEPKNS_20switch_cfg_superedgeEPK7gswitch |
7849 |
_ZN3ana18constraint_manager18add_bounded_rangesEPKNS_6svalueEPKNS_14bounded_rangesE |
8287 |
_ZNK3ana13bounded_range12intersects_pERKS0_PS0_ |
9379 |
_ZN3ana19replay_fact_visitor7on_factEPKNS_6svalueE9tree_codeS3_ |
9823 |
_ZN3ana13bounded_rangeC2EPK9tree_nodeS3_ |
10908 |
_ZN3ana22bounded_ranges_manager11consolidateEPNS_14bounded_rangesE |
11396 |
_ZN3ana5range9add_boundE9tree_codeP9tree_node |
11397 |
_ZNK3ana5range17below_lower_boundEP9tree_node |
12149 |
_ZN3ana14bounded_ranges12canonicalizeEv |
12206 |
_ZNK3ana14bounded_ranges8validateEv |
12206 |
_ZNK3ana5range17above_upper_boundEP9tree_node |
12490 |
_ZN3ana5range9add_boundENS_5boundENS_10bound_kindE |
12567 |
_ZNK3ana18constraint_manager13get_ec_boundsENS_14equiv_class_idE |
12798 |
_ZNK3ana5range14eval_conditionE9tree_codeP9tree_node |
12798 |
_ZN3ana5range29constrained_to_single_elementEv |
12942 |
_ZN3anaL8plus_oneEP9tree_node |
13629 |
_ZNK3ana18constraint_manager17get_range_managerEv |
13969 |
_ZNK3ana25bounded_ranges_constraint11add_to_hashEPN7inchash4hashE |
15843 |
_ZN3ana5bound13ensure_closedENS_10bound_kindE |
19577 |
_ZN3anaL14can_plus_one_pEP9tree_node |
27183 |
_ZN3ana11equiv_class3delEPKNS_6svalueE |
33941 |
_ZN3ana18constraint_manager21purge_state_involvingEPKNS_6svalueE |
40877 |
_ZNK3ana13bounded_rangeeqERKS0_ |
62600 |
_ZN3ana18constraint_manager5mergeERKS0_S2_PS0_ |
64568 |
_ZNK3ana18constraint_manager31impossible_derived_conditions_pEPKNS_6svalueES3_ |
64618 |
_ZNK3ana18constraint_manager13for_each_factEPNS_12fact_visitorE |
66066 |
_ZNK3ana14bounded_rangeseqERKS0_ |
79212 |
_ZNK3ana18constraint_manager14eval_conditionENS_14equiv_class_idE9tree_codeP9tree_node |
90623 |
_ZN3ana17compare_constantsEP9tree_node9tree_codeS1_ |
105614 |
_ZN3ana20constraint_tree_codeENS_13constraint_opE |
118096 |
_ZNK3ana14equiv_class_id7get_objERNS_18constraint_managerE |
159806 |
_ZN3ana18constraint_manager23add_constraint_internalENS_14equiv_class_idENS_13constraint_opES1_ |
166181 |
_ZN3ana13bounded_range3cmpERKS0_S2_ |
169499 |
_ZN3ana18constraint_manager22add_unknown_constraintENS_14equiv_class_idE9tree_codeS1_ |
201022 |
_ZNK3ana11equiv_class23contains_non_constant_pEv |
202271 |
_ZN3anaL25eval_constraint_op_for_opENS_13constraint_opE9tree_code |
317991 |
_ZN3ana11equiv_classC2Ev |
327546 |
_ZN3ana19merger_fact_visitor7on_factEPKNS_6svalueE9tree_codeS3_ |
356809 |
_ZN3ana11equiv_class3addEPKNS_6svalueE |
365027 |
_ZNK3ana10constraint10implied_byERKS0_RKNS_18constraint_managerE |
374716 |
_ZNK3ana18constraint_managereqERKS0_ |
393157 |
_ZN3ana18constraint_manager22get_or_add_equiv_classEPKNS_6svalueE |
463222 |
_ZN3ana18constraint_manager14add_constraintEPKNS_6svalueE9tree_codeS3_ |
511191 |
_ZNK3ana18constraint_manager14eval_conditionENS_14equiv_class_idE9tree_codeS1_ |
584556 |
_ZN3ana18constraint_manager18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelE |
588961 |
_ZN3ana18constraint_manager5purgeINS_13svalue_purgerEEEvRKT_PNS_11purge_statsE |
629838 |
_ZN3ana18constraint_manager5purgeINS_13svalue_purgerEEEvRKT_PNS_11purge_statsE |
40877 |
_ZN3ana18constraint_manager5purgeINS_18dead_svalue_purgerEEEvRKT_PNS_11purge_statsE |
588961 |
_ZNK3ana10constrainteqERKS0_ |
673498 |
_ZNK3ana18constraint_manager8validateEv |
832420 |
_ZNK3ana18constraint_manager14eval_conditionEPKNS_6svalueE9tree_codeS3_ |
986714 |
_ZN3ana11equiv_classeqERKS0_ |
1034716 |
_ZN3ana18constraint_manager12canonicalizeEv |
1062158 |
_ZNK3ana18constraint_manager4hashEv |
1227366 |
_ZNK3ana14equiv_class_id7get_objERKNS_18constraint_managerE |
1544604 |
_ZNK3ana18constraint_manager25get_equiv_class_by_svalueEPKNS_6svalueEPNS_14equiv_class_idE |
2000195 |
_ZNK3ana10constraint4hashEv |
2134312 |
_ZN3ana11equiv_class12canonicalizeEv |
3027092 |
_ZNK3ana11equiv_class4hashEv |
3287292 |
_ZN3ana18constraint_managerC2ERKS0_ |
3690426 |
_ZN3ana11equiv_classC2ERKS0_ |
11656936 |
_ZN3anaL14constraint_cmpEPKvS1_ |
12288769 |
_ZN3anaL15equiv_class_cmpEPKvS1_ |
23913610 |
_ZNK3ana11equiv_class18get_representativeEv |
53857914 |