svf-tools 1.0.853 → 1.0.855
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/AE_2CMakeLists_8txt.html +106 -0
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +19 -12
- package/SVF-doxygen/html/Andersen_8cpp_source.html +3 -3
- package/SVF-doxygen/html/Andersen_8h_source.html +4 -4
- package/SVF-doxygen/html/CFLStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CMakeLists_8txt.html +5 -5
- package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/ConsG_8cpp_source.html +663 -644
- package/SVF-doxygen/html/ConsG_8h_source.html +335 -332
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +4 -4
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +249 -252
- package/SVF-doxygen/html/DDAStat_8h_source.html +70 -93
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PTAStat_8cpp_source.html +107 -83
- package/SVF-doxygen/html/PTAStat_8h_source.html +38 -13
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WPAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/ae_8cpp.html +179 -0
- package/SVF-doxygen/html/ae_8cpp_source.html +738 -0
- package/SVF-doxygen/html/annotated.html +1 -0
- package/SVF-doxygen/html/classSVF_1_1AddrCGEdge.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +20 -20
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +10 -10
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +8 -2
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +34 -12
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +8 -2
- package/SVF-doxygen/html/classSVF_1_1CFLStat.html +16 -1
- package/SVF-doxygen/html/classSVF_1_1CSC.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph-members.html +81 -80
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +672 -623
- package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1DDAClient.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +283 -463
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +17 -2
- package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +7 -1
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +7 -1
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +300 -84
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +7 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +15 -0
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +9 -3
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +17 -2
- package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +99 -0
- package/SVF-doxygen/html/classSymblicAbstractionTest.html +1282 -0
- package/SVF-doxygen/html/classes.html +56 -55
- package/SVF-doxygen/html/dir_454f632bef84d62ecd1cf13bd508acc9.html +86 -0
- package/SVF-doxygen/html/dir_e5d21102e3a998263c6c7812ac857e9d.html +2 -0
- package/SVF-doxygen/html/files.html +22 -20
- package/SVF-doxygen/html/functions.html +4 -4
- package/SVF-doxygen/html/functions_b.html +16 -10
- package/SVF-doxygen/html/functions_c.html +27 -24
- package/SVF-doxygen/html/functions_f.html +3 -3
- package/SVF-doxygen/html/functions_func_b.html +9 -3
- package/SVF-doxygen/html/functions_func_c.html +22 -19
- package/SVF-doxygen/html/functions_func_g.html +17 -16
- package/SVF-doxygen/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/functions_func_r.html +5 -2
- package/SVF-doxygen/html/functions_func_s.html +18 -15
- package/SVF-doxygen/html/functions_func_t.html +41 -1
- package/SVF-doxygen/html/functions_func_~.html +3 -0
- package/SVF-doxygen/html/functions_g.html +16 -15
- package/SVF-doxygen/html/functions_i.html +3 -3
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_n.html +6 -6
- package/SVF-doxygen/html/functions_o.html +3 -3
- package/SVF-doxygen/html/functions_p.html +12 -12
- package/SVF-doxygen/html/functions_r.html +9 -6
- package/SVF-doxygen/html/functions_s.html +22 -19
- package/SVF-doxygen/html/functions_t.html +47 -7
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_vars.html +4 -4
- package/SVF-doxygen/html/functions_w.html +9 -7
- package/SVF-doxygen/html/functions_~.html +3 -0
- package/SVF-doxygen/html/globals_a.html +2 -2
- package/SVF-doxygen/html/globals_func_a.html +2 -2
- package/SVF-doxygen/html/globals_func_m.html +5 -4
- package/SVF-doxygen/html/globals_m.html +5 -4
- package/SVF-doxygen/html/globals_s.html +3 -0
- package/SVF-doxygen/html/globals_vars.html +3 -0
- package/SVF-doxygen/html/hierarchy.html +40 -39
- package/SVF-doxygen/html/search/all_0.js +4 -4
- package/SVF-doxygen/html/search/all_1.js +133 -132
- package/SVF-doxygen/html/search/all_10.js +325 -325
- package/SVF-doxygen/html/search/all_11.js +225 -224
- package/SVF-doxygen/html/search/all_12.js +554 -552
- package/SVF-doxygen/html/search/all_13.js +203 -190
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +168 -168
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +175 -174
- package/SVF-doxygen/html/search/all_2.js +173 -171
- package/SVF-doxygen/html/search/all_3.js +649 -648
- package/SVF-doxygen/html/search/all_4.js +230 -230
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +226 -226
- package/SVF-doxygen/html/search/all_7.js +1048 -1048
- package/SVF-doxygen/html/search/all_8.js +196 -196
- package/SVF-doxygen/html/search/all_9.js +605 -605
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +197 -197
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +74 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +81 -81
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +34 -34
- package/SVF-doxygen/html/search/classes_8.js +57 -57
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +14 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +57 -57
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +364 -364
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -139
- package/SVF-doxygen/html/search/functions_12.js +289 -288
- package/SVF-doxygen/html/search/functions_13.js +72 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +175 -174
- package/SVF-doxygen/html/search/functions_2.js +91 -89
- package/SVF-doxygen/html/search/functions_3.js +262 -261
- package/SVF-doxygen/html/search/functions_4.js +78 -78
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +60 -60
- package/SVF-doxygen/html/search/functions_7.js +857 -857
- package/SVF-doxygen/html/search/functions_8.js +148 -148
- package/SVF-doxygen/html/search/functions_9.js +421 -421
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +79 -79
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +3 -3
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +62 -62
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +56 -56
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +76 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +45 -45
- package/SVF-doxygen/html/search/variables_12.js +91 -90
- package/SVF-doxygen/html/search/variables_13.js +74 -74
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +50 -50
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +55 -55
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +118 -118
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +1 -1
- package/build.sh +1 -1
- package/package.json +1 -1
- package/svf/include/DDA/DDAStat.h +0 -17
- package/svf/include/Graphs/ConsG.h +2 -0
- package/svf/include/Util/PTAStat.h +19 -1
- package/svf/lib/DDA/DDAStat.cpp +0 -3
- package/svf/lib/Graphs/ConsG.cpp +20 -0
- package/svf/lib/Util/PTAStat.cpp +17 -1
- package/svf/lib/WPA/Andersen.cpp +2 -2
- package/svf/lib/WPA/AndersenStat.cpp +3 -0
- package/svf-llvm/tools/AE/CMakeLists.txt +2 -0
- package/svf-llvm/tools/AE/ae.cpp +607 -0
- package/svf-llvm/tools/CMakeLists.txt +3 -2
|
@@ -104,10 +104,6 @@ Public Member Functions</h2></td></tr>
|
|
|
104
104
|
<tr class="separator:ae695696e5cd06eb27635887f0de30eff"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
105
|
<tr class="memitem:ab508281a78749ec5d7b5dc8231a4be11"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11">getNumOfOOBQuery</a> ()</td></tr>
|
|
106
106
|
<tr class="separator:ab508281a78749ec5d7b5dc8231a4be11"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
|
-
<tr class="memitem:accadfa44f7cf9f107e4c8d100ce8db0d"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">setMemUsageBefore</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize)</td></tr>
|
|
108
|
-
<tr class="separator:accadfa44f7cf9f107e4c8d100ce8db0d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
109
|
-
<tr class="memitem:a9353910ceb01b53da6e880ebeb157433"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433">setMemUsageAfter</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize)</td></tr>
|
|
110
|
-
<tr class="separator:a9353910ceb01b53da6e880ebeb157433"><td class="memSeparator" colspan="2"> </td></tr>
|
|
111
107
|
<tr class="memitem:a519cde27934fec9bbe28b4110948a418"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a519cde27934fec9bbe28b4110948a418">getSVFG</a> () const</td></tr>
|
|
112
108
|
<tr class="separator:a519cde27934fec9bbe28b4110948a418"><td class="memSeparator" colspan="2"> </td></tr>
|
|
113
109
|
<tr class="memitem:a55fa3ce574d128a89c1aa5f6a7dc17c6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a> () const</td></tr>
|
|
@@ -119,6 +115,10 @@ Public Member Functions</h2></td></tr>
|
|
|
119
115
|
<tr class="separator:ac9b65b591200c16c420fbd26710b448f inherit pub_methods_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
120
116
|
<tr class="memitem:a1e5294c49b8bd8a850e938dccd5800a5 inherit pub_methods_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a1e5294c49b8bd8a850e938dccd5800a5">~PTAStat</a> ()</td></tr>
|
|
121
117
|
<tr class="separator:a1e5294c49b8bd8a850e938dccd5800a5 inherit pub_methods_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
118
|
+
<tr class="memitem:a206fdc31ee7bd8fce1695847c40785e0 inherit pub_methods_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a206fdc31ee7bd8fce1695847c40785e0">setMemUsageBefore</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize)</td></tr>
|
|
119
|
+
<tr class="separator:a206fdc31ee7bd8fce1695847c40785e0 inherit pub_methods_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
120
|
+
<tr class="memitem:a286e5985644f2bc13abbceaa2b586c92 inherit pub_methods_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92">setMemUsageAfter</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize)</td></tr>
|
|
121
|
+
<tr class="separator:a286e5985644f2bc13abbceaa2b586c92 inherit pub_methods_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
122
122
|
<tr class="memitem:ad6de9d3f25c20705768000c987af0eb6 inherit pub_methods_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">performStat</a> () override</td></tr>
|
|
123
123
|
<tr class="separator:ad6de9d3f25c20705768000c987af0eb6 inherit pub_methods_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
124
124
|
<tr class="memitem:af2eb88d1563be9e6290a5fc69bec3bbe inherit pub_methods_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">callgraphStat</a> () override</td></tr>
|
|
@@ -215,14 +215,6 @@ Private Attributes</h2></td></tr>
|
|
|
215
215
|
<tr class="separator:a967b0def2602a596538973703ffaad5d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
216
216
|
<tr class="memitem:af3f359ca7c620695b124573377bda407"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">_NumOfBlackholePtr</a></td></tr>
|
|
217
217
|
<tr class="separator:af3f359ca7c620695b124573377bda407"><td class="memSeparator" colspan="2"> </td></tr>
|
|
218
|
-
<tr class="memitem:a057c651a89d1dba04102bfc08ce7d372"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372">_vmrssUsageBefore</a></td></tr>
|
|
219
|
-
<tr class="separator:a057c651a89d1dba04102bfc08ce7d372"><td class="memSeparator" colspan="2"> </td></tr>
|
|
220
|
-
<tr class="memitem:ae9ab20769220af396b72de5ae873f865"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865">_vmrssUsageAfter</a></td></tr>
|
|
221
|
-
<tr class="separator:ae9ab20769220af396b72de5ae873f865"><td class="memSeparator" colspan="2"> </td></tr>
|
|
222
|
-
<tr class="memitem:acab872c897c747157bb81f324bbab323"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323">_vmsizeUsageBefore</a></td></tr>
|
|
223
|
-
<tr class="separator:acab872c897c747157bb81f324bbab323"><td class="memSeparator" colspan="2"> </td></tr>
|
|
224
|
-
<tr class="memitem:a4410e9704211836a96936a7c400562a3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3">_vmsizeUsageAfter</a></td></tr>
|
|
225
|
-
<tr class="separator:a4410e9704211836a96936a7c400562a3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
226
218
|
<tr class="memitem:a36eafce8cdbb6492f6dd550606cfbd81"><td class="memItemLeft" align="right" valign="top">double </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">_AvgNumOfDPMAtSVFGNode</a></td></tr>
|
|
227
219
|
<tr class="separator:a36eafce8cdbb6492f6dd550606cfbd81"><td class="memSeparator" colspan="2"> </td></tr>
|
|
228
220
|
<tr class="memitem:a7b83dd2c2719ed3b308c65aa037d446b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">_MaxNumOfDPMAtSVFGNode</a></td></tr>
|
|
@@ -251,6 +243,17 @@ Additional Inherited Members</h2></td></tr>
|
|
|
251
243
|
<tr class="separator:ae89293bc063bdc74a988e9c37c70321e inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
252
244
|
<tr class="memitem:aea75388c973674686d1f2b7498b4095c inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">static double </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">timeOfBuildingSVFIR</a> = 0</td></tr>
|
|
253
245
|
<tr class="separator:aea75388c973674686d1f2b7498b4095c inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
246
|
+
<tr class="inherit_header pro_attribs_classSVF_1_1PTAStat"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1PTAStat')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td></tr>
|
|
247
|
+
<tr class="memitem:a608441b95be0861d8c1b0a035281f4d5 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a></td></tr>
|
|
248
|
+
<tr class="separator:a608441b95be0861d8c1b0a035281f4d5 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
249
|
+
<tr class="memitem:ae72a3119a03e30084383defacf62264d inherit pro_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d">_vmrssUsageBefore</a></td></tr>
|
|
250
|
+
<tr class="separator:ae72a3119a03e30084383defacf62264d inherit pro_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
251
|
+
<tr class="memitem:a6f10f5904d5260b331a9a1506986abe8 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8">_vmrssUsageAfter</a></td></tr>
|
|
252
|
+
<tr class="separator:a6f10f5904d5260b331a9a1506986abe8 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
253
|
+
<tr class="memitem:a4ca7e1972a14b48225a2bd0f4bd8e825 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825">_vmsizeUsageBefore</a></td></tr>
|
|
254
|
+
<tr class="separator:a4ca7e1972a14b48225a2bd0f4bd8e825 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
255
|
+
<tr class="memitem:a6ab3ed046a39fdf3862509304e7777d7 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7">_vmsizeUsageAfter</a></td></tr>
|
|
256
|
+
<tr class="separator:a6ab3ed046a39fdf3862509304e7777d7 inherit pro_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
254
257
|
</table>
|
|
255
258
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
256
259
|
<div class="textblock"><p>Statistics of demand-driven analysis </p>
|
|
@@ -321,13 +324,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
321
324
|
</table>
|
|
322
325
|
</div><div class="memdoc">
|
|
323
326
|
|
|
324
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
325
|
-
<div class="fragment"><div class="line"><a name="
|
|
326
|
-
<div class="line"><a name="
|
|
327
|
-
<div class="line"><a name="
|
|
328
|
-
<div class="line"><a name="
|
|
329
|
-
<div class="line"><a name="
|
|
330
|
-
<div class="line"><a name="
|
|
327
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00209">209</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
328
|
+
<div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno"> 210</span> {</div>
|
|
329
|
+
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>)</div>
|
|
330
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <a class="code" href="classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015">_TotalNumOfOutOfBudgetQuery</a> = <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880">outOfBudgetDpms</a>.size();</div>
|
|
331
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>)</div>
|
|
332
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <a class="code" href="classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015">_TotalNumOfOutOfBudgetQuery</a> = <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880">outOfBudgetDpms</a>.size();</div>
|
|
333
|
+
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span> }</div>
|
|
331
334
|
</div><!-- fragment -->
|
|
332
335
|
</div>
|
|
333
336
|
</div>
|
|
@@ -346,13 +349,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
346
349
|
</table>
|
|
347
350
|
</div><div class="memdoc">
|
|
348
351
|
|
|
349
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
350
|
-
<div class="fragment"><div class="line"><a name="
|
|
351
|
-
<div class="line"><a name="
|
|
352
|
-
<div class="line"><a name="
|
|
353
|
-
<div class="line"><a name="
|
|
354
|
-
<div class="line"><a name="
|
|
355
|
-
<div class="line"><a name="
|
|
352
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00096">96</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
353
|
+
<div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno"> 97</span> {</div>
|
|
354
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>)</div>
|
|
355
|
+
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>;</div>
|
|
356
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keywordflow">else</span></div>
|
|
357
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>;</div>
|
|
358
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span> }</div>
|
|
356
359
|
</div><!-- fragment -->
|
|
357
360
|
</div>
|
|
358
361
|
</div>
|
|
@@ -379,10 +382,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
379
382
|
</table>
|
|
380
383
|
</div><div class="memdoc">
|
|
381
384
|
|
|
382
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
383
|
-
<div class="fragment"><div class="line"><a name="
|
|
384
|
-
<div class="line"><a name="
|
|
385
|
-
<div class="line"><a name="
|
|
385
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00113">113</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
386
|
+
<div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  {</div>
|
|
387
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">_StrongUpdateStores</a>;</div>
|
|
388
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  }</div>
|
|
386
389
|
</div><!-- fragment -->
|
|
387
390
|
</div>
|
|
388
391
|
</div>
|
|
@@ -401,14 +404,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
401
404
|
</table>
|
|
402
405
|
</div><div class="memdoc">
|
|
403
406
|
|
|
404
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
405
|
-
<div class="fragment"><div class="line"><a name="
|
|
406
|
-
<div class="line"><a name="
|
|
407
|
-
<div class="line"><a name="
|
|
408
|
-
<div class="line"><a name="
|
|
409
|
-
<div class="line"><a name="
|
|
410
|
-
<div class="line"><a name="
|
|
411
|
-
<div class="line"><a name="
|
|
407
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00087">87</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
408
|
+
<div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span> {</div>
|
|
409
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>)</div>
|
|
410
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">getSVFG</a>();</div>
|
|
411
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <span class="keywordflow">else</span></div>
|
|
412
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">getSVFG</a>();</div>
|
|
413
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  </div>
|
|
414
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> }</div>
|
|
412
415
|
</div><!-- fragment -->
|
|
413
416
|
</div>
|
|
414
417
|
</div>
|
|
@@ -469,10 +472,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
469
472
|
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <a class="code" href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">_AnaTimePerQuery</a> = 0;</div>
|
|
470
473
|
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <a class="code" href="classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4">_AnaTimeCyclePerQuery</a> = 0;</div>
|
|
471
474
|
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100">_TotalTimeOfQueries</a> = 0;</div>
|
|
472
|
-
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> 
|
|
473
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  <a class="code" href="classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372">_vmrssUsageBefore</a> = <a class="code" href="classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865">_vmrssUsageAfter</a> = 0;</div>
|
|
474
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <a class="code" href="classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323">_vmsizeUsageBefore</a> = <a class="code" href="classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3">_vmsizeUsageAfter</a> = 0;</div>
|
|
475
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span> }</div>
|
|
475
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> }</div>
|
|
476
476
|
</div><!-- fragment -->
|
|
477
477
|
</div>
|
|
478
478
|
</div>
|
|
@@ -501,60 +501,60 @@ Additional Inherited Members</h2></td></tr>
|
|
|
501
501
|
|
|
502
502
|
<p>Implements <a class="el" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat</a>.</p>
|
|
503
503
|
|
|
504
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
505
|
-
<div class="fragment"><div class="line"><a name="
|
|
506
|
-
<div class="line"><a name="
|
|
507
|
-
<div class="line"><a name="
|
|
508
|
-
<div class="line"><a name="
|
|
509
|
-
<div class="line"><a name="
|
|
510
|
-
<div class="line"><a name="
|
|
511
|
-
<div class="line"><a name="
|
|
512
|
-
<div class="line"><a name="
|
|
513
|
-
<div class="line"><a name="
|
|
514
|
-
<div class="line"><a name="
|
|
515
|
-
<div class="line"><a name="
|
|
516
|
-
<div class="line"><a name="
|
|
517
|
-
<div class="line"><a name="
|
|
518
|
-
<div class="line"><a name="
|
|
519
|
-
<div class="line"><a name="
|
|
520
|
-
<div class="line"><a name="
|
|
521
|
-
<div class="line"><a name="
|
|
522
|
-
<div class="line"><a name="
|
|
523
|
-
<div class="line"><a name="
|
|
524
|
-
<div class="line"><a name="
|
|
525
|
-
<div class="line"><a name="
|
|
526
|
-
<div class="line"><a name="
|
|
527
|
-
<div class="line"><a name="
|
|
528
|
-
<div class="line"><a name="
|
|
529
|
-
<div class="line"><a name="
|
|
530
|
-
<div class="line"><a name="
|
|
531
|
-
<div class="line"><a name="
|
|
532
|
-
<div class="line"><a name="
|
|
533
|
-
<div class="line"><a name="
|
|
534
|
-
<div class="line"><a name="
|
|
535
|
-
<div class="line"><a name="
|
|
536
|
-
<div class="line"><a name="
|
|
537
|
-
<div class="line"><a name="
|
|
538
|
-
<div class="line"><a name="
|
|
539
|
-
<div class="line"><a name="
|
|
540
|
-
<div class="line"><a name="
|
|
541
|
-
<div class="line"><a name="
|
|
542
|
-
<div class="line"><a name="
|
|
543
|
-
<div class="line"><a name="
|
|
544
|
-
<div class="line"><a name="
|
|
545
|
-
<div class="line"><a name="
|
|
546
|
-
<div class="line"><a name="
|
|
547
|
-
<div class="line"><a name="
|
|
548
|
-
<div class="line"><a name="
|
|
549
|
-
<div class="line"><a name="
|
|
550
|
-
<div class="line"><a name="
|
|
551
|
-
<div class="line"><a name="
|
|
552
|
-
<div class="line"><a name="
|
|
553
|
-
<div class="line"><a name="
|
|
554
|
-
<div class="line"><a name="
|
|
555
|
-
<div class="line"><a name="
|
|
556
|
-
<div class="line"><a name="
|
|
557
|
-
<div class="line"><a name="
|
|
504
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00217">217</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
505
|
+
<div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno"> 218</span> {</div>
|
|
506
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  </div>
|
|
507
|
+
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.clear();</div>
|
|
508
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.clear();</div>
|
|
509
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.clear();</div>
|
|
510
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  </div>
|
|
511
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <a class="code" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">callgraphStat</a>();</div>
|
|
512
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  </div>
|
|
513
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <a class="code" href="classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11">getNumOfOOBQuery</a>();</div>
|
|
514
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  </div>
|
|
515
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVFIR::const_iterator</a> nodeIt = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()->begin(), nodeEit = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()->end(); nodeIt != nodeEit; nodeIt++)</div>
|
|
516
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  {</div>
|
|
517
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pagNode = nodeIt->second;</div>
|
|
518
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="keywordflow">if</span>(SVFUtil::isa<ObjVar>(pagNode))</div>
|
|
519
|
+
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  {</div>
|
|
520
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()->isLocalVarInRecursiveFun(nodeIt->first))</div>
|
|
521
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  {</div>
|
|
522
|
+
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <a class="code" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a>.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(nodeIt->first);</div>
|
|
523
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  }</div>
|
|
524
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  }</div>
|
|
525
|
+
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  }</div>
|
|
526
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  </div>
|
|
527
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"TotalQueryTime"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100">_TotalTimeOfQueries</a>/<a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div>
|
|
528
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"AvgTimePerQuery"</span>] = (<a class="code" href="classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100">_TotalTimeOfQueries</a>/<a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>)/<a class="code" href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">_TotalNumOfQuery</a>;</div>
|
|
529
|
+
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"TotalBKCondTime"</span>] = (<a class="code" href="classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54">_TotalTimeOfBKCondition</a>/<a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>);</div>
|
|
530
|
+
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  </div>
|
|
531
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfQuery"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">_TotalNumOfQuery</a>;</div>
|
|
532
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfOOBQuery"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015">_TotalNumOfOutOfBudgetQuery</a>;</div>
|
|
533
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfDPM"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183">_TotalNumOfDPM</a>;</div>
|
|
534
|
+
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfSU"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1">_TotalNumOfStrongUpdates</a>;</div>
|
|
535
|
+
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfStoreSU"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">_StrongUpdateStores</a>.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>();</div>
|
|
536
|
+
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfStep"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172">_TotalNumOfStep</a>;</div>
|
|
537
|
+
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfStepInCycle"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605">_TotalNumOfStepInCycle</a>;</div>
|
|
538
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"AvgDPMAtLoc"</span>] = (double)<a class="code" href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">_AvgNumOfDPMAtSVFGNode</a>/<a class="code" href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">_TotalNumOfQuery</a>;</div>
|
|
539
|
+
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MaxDPMAtLoc"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">_MaxNumOfDPMAtSVFGNode</a>;</div>
|
|
540
|
+
<div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MaxPathPerQuery"</span>] = <a class="code" href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">ContextCond::maximumPath</a>;</div>
|
|
541
|
+
<div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MaxCxtPerQuery"</span>] = <a class="code" href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">ContextCond::maximumCxt</a>;</div>
|
|
542
|
+
<div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MaxCPtsSize"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348">_MaxCPtsSize</a>;</div>
|
|
543
|
+
<div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MaxPtsSize"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86">_MaxPtsSize</a>;</div>
|
|
544
|
+
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"AvgCPtsSize"</span>] = (double)<a class="code" href="classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c">_TotalCPtsSize</a>/<a class="code" href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">_TotalNumOfQuery</a>;</div>
|
|
545
|
+
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"AvgPtsSize"</span>] = (double)<a class="code" href="classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0">_TotalPtsSize</a>/<a class="code" href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">_TotalNumOfQuery</a>;</div>
|
|
546
|
+
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"IndEdgeSolved"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">getNumOfResolvedIndCallEdge</a>();</div>
|
|
547
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfNullPtr"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904">_NumOfNullPtr</a>;</div>
|
|
548
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"PointsToConstPtr"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d">_NumOfConstantPtr</a>;</div>
|
|
549
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"PointsToBlkPtr"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">_NumOfBlackholePtr</a>;</div>
|
|
550
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfMustAA"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1">_TotalNumOfMustAliases</a>;</div>
|
|
551
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfInfePath"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730">_TotalNumOfInfeasiblePath</a>;</div>
|
|
552
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NumOfStore"</span>] = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-><a class="code" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVFStmt::Store</a>).size();</div>
|
|
553
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MemoryUsageVmrss"</span>] = <a class="code" href="classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8">_vmrssUsageAfter</a> - <a class="code" href="classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d">_vmrssUsageBefore</a>;</div>
|
|
554
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MemoryUsageVmsize"</span>] = <a class="code" href="classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7">_vmsizeUsageAfter</a> - <a class="code" href="classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825">_vmsizeUsageBefore</a>;</div>
|
|
555
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  </div>
|
|
556
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <a class="code" href="classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49">printStat</a>();</div>
|
|
557
|
+
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span> }</div>
|
|
558
558
|
</div><!-- fragment -->
|
|
559
559
|
</div>
|
|
560
560
|
</div>
|
|
@@ -585,109 +585,109 @@ Additional Inherited Members</h2></td></tr>
|
|
|
585
585
|
|
|
586
586
|
<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">SVF::SVFStat</a>.</p>
|
|
587
587
|
|
|
588
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
589
|
-
<div class="fragment"><div class="line"><a name="
|
|
590
|
-
<div class="line"><a name="
|
|
591
|
-
<div class="line"><a name="
|
|
592
|
-
<div class="line"><a name="
|
|
593
|
-
<div class="line"><a name="
|
|
594
|
-
<div class="line"><a name="
|
|
595
|
-
<div class="line"><a name="
|
|
596
|
-
<div class="line"><a name="
|
|
597
|
-
<div class="line"><a name="
|
|
598
|
-
<div class="line"><a name="
|
|
599
|
-
<div class="line"><a name="
|
|
600
|
-
<div class="line"><a name="
|
|
601
|
-
<div class="line"><a name="
|
|
602
|
-
<div class="line"><a name="
|
|
603
|
-
<div class="line"><a name="
|
|
604
|
-
<div class="line"><a name="
|
|
605
|
-
<div class="line"><a name="
|
|
606
|
-
<div class="line"><a name="
|
|
607
|
-
<div class="line"><a name="
|
|
608
|
-
<div class="line"><a name="
|
|
609
|
-
<div class="line"><a name="
|
|
610
|
-
<div class="line"><a name="
|
|
611
|
-
<div class="line"><a name="
|
|
612
|
-
<div class="line"><a name="
|
|
613
|
-
<div class="line"><a name="
|
|
614
|
-
<div class="line"><a name="
|
|
615
|
-
<div class="line"><a name="
|
|
616
|
-
<div class="line"><a name="
|
|
617
|
-
<div class="line"><a name="
|
|
618
|
-
<div class="line"><a name="
|
|
619
|
-
<div class="line"><a name="
|
|
620
|
-
<div class="line"><a name="
|
|
621
|
-
<div class="line"><a name="
|
|
622
|
-
<div class="line"><a name="
|
|
623
|
-
<div class="line"><a name="
|
|
624
|
-
<div class="line"><a name="
|
|
625
|
-
<div class="line"><a name="
|
|
626
|
-
<div class="line"><a name="
|
|
627
|
-
<div class="line"><a name="
|
|
628
|
-
<div class="line"><a name="
|
|
629
|
-
<div class="line"><a name="
|
|
630
|
-
<div class="line"><a name="
|
|
631
|
-
<div class="line"><a name="
|
|
632
|
-
<div class="line"><a name="
|
|
633
|
-
<div class="line"><a name="
|
|
634
|
-
<div class="line"><a name="
|
|
635
|
-
<div class="line"><a name="
|
|
636
|
-
<div class="line"><a name="
|
|
637
|
-
<div class="line"><a name="
|
|
638
|
-
<div class="line"><a name="
|
|
639
|
-
<div class="line"><a name="
|
|
588
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00104">104</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
589
|
+
<div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno"> 105</span> {</div>
|
|
590
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  </div>
|
|
591
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> NumOfDPM = 0;</div>
|
|
592
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> NumOfLoc = 0;</div>
|
|
593
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxNumOfDPMPerLoc = 0;</div>
|
|
594
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> cptsSize = 0;</div>
|
|
595
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a> pts;</div>
|
|
596
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>)</div>
|
|
597
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  {</div>
|
|
598
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  <span class="keywordflow">for</span>(FlowDDA::LocToDPMVecMap::const_iterator it = <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">getLocToDPMVecMap</a>().begin(),</div>
|
|
599
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  eit = <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">getLocToDPMVecMap</a>().end(); it!=eit; ++it)</div>
|
|
600
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  {</div>
|
|
601
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  NumOfLoc++;</div>
|
|
602
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = it->second.size();</div>
|
|
603
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  NumOfDPM += num;</div>
|
|
604
|
+
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="keywordflow">if</span>(num > maxNumOfDPMPerLoc)</div>
|
|
605
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  maxNumOfDPMPerLoc = num;</div>
|
|
606
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  }</div>
|
|
607
|
+
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  cptsSize = <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(ptr).<a class="code" href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">count</a>();</div>
|
|
608
|
+
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  pts = <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(ptr);</div>
|
|
609
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  }</div>
|
|
610
|
+
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>)</div>
|
|
611
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  {</div>
|
|
612
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keywordflow">for</span>(ContextDDA::LocToDPMVecMap::const_iterator it = <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">getLocToDPMVecMap</a>().begin(),</div>
|
|
613
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  eit = <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">getLocToDPMVecMap</a>().end(); it!=eit; ++it)</div>
|
|
614
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  {</div>
|
|
615
|
+
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  NumOfLoc++;</div>
|
|
616
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = it->second.size();</div>
|
|
617
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  NumOfDPM += num;</div>
|
|
618
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="keywordflow">if</span>(num > maxNumOfDPMPerLoc)</div>
|
|
619
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  maxNumOfDPMPerLoc = num;</div>
|
|
620
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  }</div>
|
|
621
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a> cxt;</div>
|
|
622
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <a class="code" href="classSVF_1_1CondVar.html">CxtVar</a> var(cxt,ptr);</div>
|
|
623
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  cptsSize = <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">getPts</a>(var).<a class="code" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">count</a>();</div>
|
|
624
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  pts = <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">getBVPointsTo</a>(<a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">getPts</a>(var));</div>
|
|
625
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  }</div>
|
|
626
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> ptsSize = pts.<a class="code" href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">count</a>();</div>
|
|
627
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  </div>
|
|
628
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="keywordtype">double</span> avgDPMAtLoc = NumOfLoc!=0 ? (double)NumOfDPM/NumOfLoc : 0;</div>
|
|
629
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <a class="code" href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">_AvgNumOfDPMAtSVFGNode</a> += avgDPMAtLoc;</div>
|
|
630
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">if</span>(maxNumOfDPMPerLoc > <a class="code" href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">_MaxNumOfDPMAtSVFGNode</a>)</div>
|
|
631
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">_MaxNumOfDPMAtSVFGNode</a> = maxNumOfDPMPerLoc;</div>
|
|
632
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  </div>
|
|
633
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <a class="code" href="classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c">_TotalCPtsSize</a> += cptsSize;</div>
|
|
634
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348">_MaxCPtsSize</a> < cptsSize)</div>
|
|
635
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <a class="code" href="classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348">_MaxCPtsSize</a> = cptsSize;</div>
|
|
636
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  </div>
|
|
637
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <a class="code" href="classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0">_TotalPtsSize</a> += ptsSize;</div>
|
|
638
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86">_MaxPtsSize</a> < ptsSize)</div>
|
|
639
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  <a class="code" href="classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86">_MaxPtsSize</a> = ptsSize;</div>
|
|
640
|
+
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  </div>
|
|
641
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="keywordflow">if</span>(cptsSize == 0)</div>
|
|
642
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <a class="code" href="classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904">_NumOfNullPtr</a>++;</div>
|
|
640
643
|
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  </div>
|
|
641
|
-
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">if</span>(
|
|
642
|
-
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span> 
|
|
643
|
-
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  </div>
|
|
644
|
-
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span> 
|
|
645
|
-
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span> 
|
|
646
|
-
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span> 
|
|
647
|
-
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span> 
|
|
648
|
-
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span> 
|
|
649
|
-
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span> 
|
|
650
|
-
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span> 
|
|
651
|
-
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span> 
|
|
652
|
-
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  </div>
|
|
653
|
-
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
654
|
-
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
655
|
-
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span> 
|
|
656
|
-
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
657
|
-
<div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
644
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#a56368369bc37e37b13f19e5eb1890063">containBlackHoleNode</a>(pts))</div>
|
|
645
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div>
|
|
646
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <a class="code" href="classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d">_NumOfConstantPtr</a>++;</div>
|
|
647
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div>
|
|
648
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#afa7d9f6209904acd7893ae583e28dafd">containConstantNode</a>(pts))</div>
|
|
649
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  {</div>
|
|
650
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <a class="code" href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">_NumOfBlackholePtr</a>++;</div>
|
|
651
|
+
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  }</div>
|
|
652
|
+
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  </div>
|
|
653
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <a class="code" href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">_TotalNumOfQuery</a>++;</div>
|
|
654
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <a class="code" href="classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183">_TotalNumOfDPM</a> += <a class="code" href="classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa">_NumOfDPM</a>;</div>
|
|
655
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  <a class="code" href="classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1">_TotalNumOfStrongUpdates</a> += <a class="code" href="classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1">_NumOfStrongUpdates</a>;</div>
|
|
656
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <a class="code" href="classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1">_TotalNumOfMustAliases</a> += <a class="code" href="classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38">_NumOfMustAliases</a>;</div>
|
|
657
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <a class="code" href="classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730">_TotalNumOfInfeasiblePath</a> += <a class="code" href="classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166">_NumOfInfeasiblePath</a>;</div>
|
|
658
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  </div>
|
|
659
|
+
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  <a class="code" href="classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172">_TotalNumOfStep</a> += <a class="code" href="classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e">_NumOfStep</a>;</div>
|
|
660
|
+
<div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  <a class="code" href="classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605">_TotalNumOfStepInCycle</a> += <a class="code" href="classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21">_NumOfStepInCycle</a>;</div>
|
|
658
661
|
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  </div>
|
|
659
|
-
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <a class="code" href="
|
|
660
|
-
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
662
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.clear();</div>
|
|
663
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>.clear();</div>
|
|
661
664
|
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  </div>
|
|
662
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a
|
|
663
|
-
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
665
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"TimePerQuery"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">_AnaTimePerQuery</a>/<a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div>
|
|
666
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"CyleTimePerQuery"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4">_AnaTimeCyclePerQuery</a>/<a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div>
|
|
664
667
|
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  </div>
|
|
665
|
-
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <a class="code" href="
|
|
666
|
-
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <a class="code" href="
|
|
667
|
-
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  </div>
|
|
668
|
-
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
669
|
-
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
670
|
-
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
671
|
-
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
672
|
-
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
673
|
-
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
674
|
-
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
675
|
-
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
676
|
-
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
677
|
-
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"
|
|
678
|
-
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span> 
|
|
679
|
-
<div class="line"><a name="
|
|
680
|
-
<div class="line"><a name="
|
|
681
|
-
<div class="line"><a name="
|
|
682
|
-
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
683
|
-
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
684
|
-
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
685
|
-
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
686
|
-
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <a class="code" href="classSVF_1_1DDAStat.html#
|
|
687
|
-
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span> 
|
|
688
|
-
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <a class="code" href="classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4">_AnaTimeCyclePerQuery</a> = 0;</div>
|
|
689
|
-
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <a class="code" href="classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d">_NumOfIndCallEdgeSolved</a> = <a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">getNumOfResolvedIndCallEdge</a>();</div>
|
|
690
|
-
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span> }</div>
|
|
668
|
+
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"CPtsSize"</span>] = cptsSize;</div>
|
|
669
|
+
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"PtsSize"</span>] = ptsSize;</div>
|
|
670
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"NumOfStep"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e">_NumOfStep</a>;</div>
|
|
671
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"NumOfStepInCycle"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21">_NumOfStepInCycle</a>;</div>
|
|
672
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"NumOfDPM"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa">_NumOfDPM</a>;</div>
|
|
673
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"NumOfSU"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1">_NumOfStrongUpdates</a>;</div>
|
|
674
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"IndEdgeResolved"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">getNumOfResolvedIndCallEdge</a>() - <a class="code" href="classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d">_NumOfIndCallEdgeSolved</a>;</div>
|
|
675
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"AvgDPMAtLoc"</span>] = avgDPMAtLoc;</div>
|
|
676
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"MaxDPMAtLoc"</span>] = maxNumOfDPMPerLoc;</div>
|
|
677
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"MaxPathPerQuery"</span>] = <a class="code" href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">ContextCond::maximumPath</a>;</div>
|
|
678
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"MaxCxtPerQuery"</span>] = <a class="code" href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">ContextCond::maximumCxt</a>;</div>
|
|
679
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"NumOfMustAA"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38">_NumOfMustAliases</a>;</div>
|
|
680
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>[<span class="stringliteral">"NumOfInfePath"</span>] = <a class="code" href="classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166">_NumOfInfeasiblePath</a>;</div>
|
|
681
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  </div>
|
|
682
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <a class="code" href="classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e">_NumOfStep</a> = 0;</div>
|
|
683
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <a class="code" href="classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21">_NumOfStepInCycle</a> = 0;</div>
|
|
684
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <a class="code" href="classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa">_NumOfDPM</a> = 0;</div>
|
|
685
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  <a class="code" href="classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1">_NumOfStrongUpdates</a> = 0;</div>
|
|
686
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <a class="code" href="classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38">_NumOfMustAliases</a> = 0;</div>
|
|
687
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <a class="code" href="classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166">_NumOfInfeasiblePath</a> = 0;</div>
|
|
688
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <a class="code" href="classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4">_AnaTimeCyclePerQuery</a> = 0;</div>
|
|
689
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <a class="code" href="classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d">_NumOfIndCallEdgeSolved</a> = <a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">getNumOfResolvedIndCallEdge</a>();</div>
|
|
690
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span> }</div>
|
|
691
691
|
</div><!-- fragment -->
|
|
692
692
|
</div>
|
|
693
693
|
</div>
|
|
@@ -717,22 +717,22 @@ Additional Inherited Members</h2></td></tr>
|
|
|
717
717
|
|
|
718
718
|
<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat</a>.</p>
|
|
719
719
|
|
|
720
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
721
|
-
<div class="fragment"><div class="line"><a name="
|
|
722
|
-
<div class="line"><a name="
|
|
723
|
-
<div class="line"><a name="
|
|
724
|
-
<div class="line"><a name="
|
|
725
|
-
<div class="line"><a name="
|
|
726
|
-
<div class="line"><a name="
|
|
727
|
-
<div class="line"><a name="
|
|
728
|
-
<div class="line"><a name="
|
|
729
|
-
<div class="line"><a name="
|
|
730
|
-
<div class="line"><a name="
|
|
731
|
-
<div class="line"><a name="
|
|
732
|
-
<div class="line"><a name="
|
|
733
|
-
<div class="line"><a name="
|
|
734
|
-
<div class="line"><a name="
|
|
735
|
-
<div class="line"><a name="
|
|
720
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00295">295</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
721
|
+
<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno"> 296</span> {</div>
|
|
722
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  </div>
|
|
723
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>)</div>
|
|
724
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div>
|
|
725
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <a class="code" href="classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303">FlowDDA::ConstSVFGEdgeSet</a> edgeSet;</div>
|
|
726
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <a class="code" href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">flowDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">getSVFG</a>()-><a class="code" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>()-><a class="code" href="classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f">performSCCStat</a>(edgeSet);</div>
|
|
727
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div>
|
|
728
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>)</div>
|
|
729
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div>
|
|
730
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">getSVFG</a>()-><a class="code" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>()-><a class="code" href="classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f">performSCCStat</a>(<a class="code" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">contextDDA</a>-><a class="code" href="classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41">getInsensitiveEdgeSet</a>());</div>
|
|
731
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div>
|
|
732
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  </div>
|
|
733
|
+
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"\n****Demand-Driven Pointer Analysis Statistics****\n"</span>;</div>
|
|
734
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">PTAStat::printStat</a>(str);</div>
|
|
735
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span> }</div>
|
|
736
736
|
</div><!-- fragment -->
|
|
737
737
|
</div>
|
|
738
738
|
</div>
|
|
@@ -772,111 +772,27 @@ Additional Inherited Members</h2></td></tr>
|
|
|
772
772
|
|
|
773
773
|
<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">SVF::SVFStat</a>.</p>
|
|
774
774
|
|
|
775
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#
|
|
776
|
-
<div class="fragment"><div class="line"><a name="
|
|
777
|
-
<div class="line"><a name="
|
|
778
|
-
<div class="line"><a name="
|
|
779
|
-
<div class="line"><a name="
|
|
780
|
-
<div class="line"><a name="
|
|
781
|
-
<div class="line"><a name="
|
|
782
|
-
<div class="line"><a name="
|
|
783
|
-
<div class="line"><a name="
|
|
784
|
-
<div class="line"><a name="
|
|
785
|
-
<div class="line"><a name="
|
|
786
|
-
<div class="line"><a name="
|
|
787
|
-
<div class="line"><a name="
|
|
788
|
-
<div class="line"><a name="
|
|
789
|
-
<div class="line"><a name="
|
|
790
|
-
<div class="line"><a name="
|
|
791
|
-
<div class="line"><a name="
|
|
792
|
-
<div class="line"><a name="
|
|
793
|
-
<div class="line"><a name="
|
|
794
|
-
<div class="line"><a name="
|
|
795
|
-
<div class="line"><a name="
|
|
796
|
-
</div><!-- fragment -->
|
|
797
|
-
</div>
|
|
798
|
-
</div>
|
|
799
|
-
<a id="a9353910ceb01b53da6e880ebeb157433"></a>
|
|
800
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a9353910ceb01b53da6e880ebeb157433">◆ </a></span>setMemUsageAfter()</h2>
|
|
801
|
-
|
|
802
|
-
<div class="memitem">
|
|
803
|
-
<div class="memproto">
|
|
804
|
-
<table class="mlabels">
|
|
805
|
-
<tr>
|
|
806
|
-
<td class="mlabels-left">
|
|
807
|
-
<table class="memname">
|
|
808
|
-
<tr>
|
|
809
|
-
<td class="memname">void SVF::DDAStat::setMemUsageAfter </td>
|
|
810
|
-
<td>(</td>
|
|
811
|
-
<td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td>
|
|
812
|
-
<td class="paramname"><em>vmrss</em>, </td>
|
|
813
|
-
</tr>
|
|
814
|
-
<tr>
|
|
815
|
-
<td class="paramkey"></td>
|
|
816
|
-
<td></td>
|
|
817
|
-
<td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td>
|
|
818
|
-
<td class="paramname"><em>vmsize</em> </td>
|
|
819
|
-
</tr>
|
|
820
|
-
<tr>
|
|
821
|
-
<td></td>
|
|
822
|
-
<td>)</td>
|
|
823
|
-
<td></td><td></td>
|
|
824
|
-
</tr>
|
|
825
|
-
</table>
|
|
826
|
-
</td>
|
|
827
|
-
<td class="mlabels-right">
|
|
828
|
-
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
829
|
-
</tr>
|
|
830
|
-
</table>
|
|
831
|
-
</div><div class="memdoc">
|
|
832
|
-
|
|
833
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00084">84</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
834
|
-
<div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  {</div>
|
|
835
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  <a class="code" href="classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865">_vmrssUsageAfter</a> = vmrss;</div>
|
|
836
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <a class="code" href="classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3">_vmsizeUsageAfter</a> = vmsize;</div>
|
|
837
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  }</div>
|
|
838
|
-
</div><!-- fragment -->
|
|
839
|
-
</div>
|
|
840
|
-
</div>
|
|
841
|
-
<a id="accadfa44f7cf9f107e4c8d100ce8db0d"></a>
|
|
842
|
-
<h2 class="memtitle"><span class="permalink"><a href="#accadfa44f7cf9f107e4c8d100ce8db0d">◆ </a></span>setMemUsageBefore()</h2>
|
|
843
|
-
|
|
844
|
-
<div class="memitem">
|
|
845
|
-
<div class="memproto">
|
|
846
|
-
<table class="mlabels">
|
|
847
|
-
<tr>
|
|
848
|
-
<td class="mlabels-left">
|
|
849
|
-
<table class="memname">
|
|
850
|
-
<tr>
|
|
851
|
-
<td class="memname">void SVF::DDAStat::setMemUsageBefore </td>
|
|
852
|
-
<td>(</td>
|
|
853
|
-
<td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td>
|
|
854
|
-
<td class="paramname"><em>vmrss</em>, </td>
|
|
855
|
-
</tr>
|
|
856
|
-
<tr>
|
|
857
|
-
<td class="paramkey"></td>
|
|
858
|
-
<td></td>
|
|
859
|
-
<td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td>
|
|
860
|
-
<td class="paramname"><em>vmsize</em> </td>
|
|
861
|
-
</tr>
|
|
862
|
-
<tr>
|
|
863
|
-
<td></td>
|
|
864
|
-
<td>)</td>
|
|
865
|
-
<td></td><td></td>
|
|
866
|
-
</tr>
|
|
867
|
-
</table>
|
|
868
|
-
</td>
|
|
869
|
-
<td class="mlabels-right">
|
|
870
|
-
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
871
|
-
</tr>
|
|
872
|
-
</table>
|
|
873
|
-
</div><div class="memdoc">
|
|
874
|
-
|
|
875
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00078">78</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
876
|
-
<div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  {</div>
|
|
877
|
-
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <a class="code" href="classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372">_vmrssUsageBefore</a> = vmrss;</div>
|
|
878
|
-
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323">_vmsizeUsageBefore</a> = vmsize;</div>
|
|
879
|
-
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  }</div>
|
|
775
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8cpp_source.html#l00272">272</a> of file <a class="el" href="DDAStat_8cpp_source.html">DDAStat.cpp</a>.</p>
|
|
776
|
+
<div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span> {</div>
|
|
777
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  </div>
|
|
778
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.empty() == <span class="keyword">false</span> && <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>.empty() == <span class="keyword">false</span>)</div>
|
|
779
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  {</div>
|
|
780
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div>
|
|
781
|
+
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <span class="keywordtype">unsigned</span> field_width = 20;</div>
|
|
782
|
+
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"---------------------Stat Per Query--------------------------------\n"</span>;</div>
|
|
783
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <span class="keywordflow">for</span> (TIMEStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.end(); it != eit; ++it)</div>
|
|
784
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div>
|
|
785
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="comment">// format out put with width 20 space</span></div>
|
|
786
|
+
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << std::setw(field_width) << it->first << it->second << <span class="stringliteral">"\n"</span>;</div>
|
|
787
|
+
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  }</div>
|
|
788
|
+
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="keywordflow">for</span> (NUMStatMap::iterator it = <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>.end(); it != eit; ++it)</div>
|
|
789
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  {</div>
|
|
790
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="comment">// format out put with width 20 space</span></div>
|
|
791
|
+
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << std::setw(field_width) << it->first << it->second << <span class="stringliteral">"\n"</span>;</div>
|
|
792
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  }</div>
|
|
793
|
+
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  }</div>
|
|
794
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <a class="code" href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#a1a6cee7e690ccb3e53cdc4c3e67b386d">dumpPts</a>(ptr, pts);</div>
|
|
795
|
+
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span> }</div>
|
|
880
796
|
</div><!-- fragment -->
|
|
881
797
|
</div>
|
|
882
798
|
</div>
|
|
@@ -933,7 +849,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
933
849
|
</table>
|
|
934
850
|
</div><div class="memdoc">
|
|
935
851
|
|
|
936
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
852
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00101">101</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
937
853
|
|
|
938
854
|
</div>
|
|
939
855
|
</div>
|
|
@@ -957,7 +873,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
957
873
|
</table>
|
|
958
874
|
</div><div class="memdoc">
|
|
959
875
|
|
|
960
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
876
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00093">93</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
961
877
|
|
|
962
878
|
</div>
|
|
963
879
|
</div>
|
|
@@ -981,7 +897,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
981
897
|
</table>
|
|
982
898
|
</div><div class="memdoc">
|
|
983
899
|
|
|
984
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
900
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00102">102</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
985
901
|
|
|
986
902
|
</div>
|
|
987
903
|
</div>
|
|
@@ -1005,7 +921,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1005
921
|
</table>
|
|
1006
922
|
</div><div class="memdoc">
|
|
1007
923
|
|
|
1008
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
924
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00094">94</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1009
925
|
|
|
1010
926
|
</div>
|
|
1011
927
|
</div>
|
|
@@ -1029,7 +945,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1029
945
|
</table>
|
|
1030
946
|
</div><div class="memdoc">
|
|
1031
947
|
|
|
1032
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
948
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00099">99</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1033
949
|
|
|
1034
950
|
</div>
|
|
1035
951
|
</div>
|
|
@@ -1053,7 +969,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1053
969
|
</table>
|
|
1054
970
|
</div><div class="memdoc">
|
|
1055
971
|
|
|
1056
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
972
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00098">98</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1057
973
|
|
|
1058
974
|
</div>
|
|
1059
975
|
</div>
|
|
@@ -1093,7 +1009,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1093
1009
|
</table>
|
|
1094
1010
|
</div><div class="memdoc">
|
|
1095
1011
|
|
|
1096
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1012
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00092">92</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1097
1013
|
|
|
1098
1014
|
</div>
|
|
1099
1015
|
</div>
|
|
@@ -1149,7 +1065,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1149
1065
|
</table>
|
|
1150
1066
|
</div><div class="memdoc">
|
|
1151
1067
|
|
|
1152
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1068
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00097">97</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1153
1069
|
|
|
1154
1070
|
</div>
|
|
1155
1071
|
</div>
|
|
@@ -1237,7 +1153,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1237
1153
|
</table>
|
|
1238
1154
|
</div><div class="memdoc">
|
|
1239
1155
|
|
|
1240
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1156
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00095">95</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1241
1157
|
|
|
1242
1158
|
</div>
|
|
1243
1159
|
</div>
|
|
@@ -1261,7 +1177,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1261
1177
|
</table>
|
|
1262
1178
|
</div><div class="memdoc">
|
|
1263
1179
|
|
|
1264
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1180
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00084">84</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1265
1181
|
|
|
1266
1182
|
</div>
|
|
1267
1183
|
</div>
|
|
@@ -1285,7 +1201,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1285
1201
|
</table>
|
|
1286
1202
|
</div><div class="memdoc">
|
|
1287
1203
|
|
|
1288
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1204
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00087">87</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1289
1205
|
|
|
1290
1206
|
</div>
|
|
1291
1207
|
</div>
|
|
@@ -1309,7 +1225,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1309
1225
|
</table>
|
|
1310
1226
|
</div><div class="memdoc">
|
|
1311
1227
|
|
|
1312
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1228
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00086">86</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1313
1229
|
|
|
1314
1230
|
</div>
|
|
1315
1231
|
</div>
|
|
@@ -1333,7 +1249,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1333
1249
|
</table>
|
|
1334
1250
|
</div><div class="memdoc">
|
|
1335
1251
|
|
|
1336
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1252
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00083">83</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1337
1253
|
|
|
1338
1254
|
</div>
|
|
1339
1255
|
</div>
|
|
@@ -1357,7 +1273,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1357
1273
|
</table>
|
|
1358
1274
|
</div><div class="memdoc">
|
|
1359
1275
|
|
|
1360
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1276
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00082">82</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1361
1277
|
|
|
1362
1278
|
</div>
|
|
1363
1279
|
</div>
|
|
@@ -1381,7 +1297,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1381
1297
|
</table>
|
|
1382
1298
|
</div><div class="memdoc">
|
|
1383
1299
|
|
|
1384
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1300
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00089">89</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1385
1301
|
|
|
1386
1302
|
</div>
|
|
1387
1303
|
</div>
|
|
@@ -1405,7 +1321,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1405
1321
|
</table>
|
|
1406
1322
|
</div><div class="memdoc">
|
|
1407
1323
|
|
|
1408
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1324
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00090">90</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1409
1325
|
|
|
1410
1326
|
</div>
|
|
1411
1327
|
</div>
|
|
@@ -1429,7 +1345,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1429
1345
|
</table>
|
|
1430
1346
|
</div><div class="memdoc">
|
|
1431
1347
|
|
|
1432
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1348
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00085">85</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1433
1349
|
|
|
1434
1350
|
</div>
|
|
1435
1351
|
</div>
|
|
@@ -1453,7 +1369,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1453
1369
|
</table>
|
|
1454
1370
|
</div><div class="memdoc">
|
|
1455
1371
|
|
|
1456
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1372
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00096">96</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1457
1373
|
|
|
1458
1374
|
</div>
|
|
1459
1375
|
</div>
|
|
@@ -1487,102 +1403,6 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1487
1403
|
|
|
1488
1404
|
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00063">63</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1489
1405
|
|
|
1490
|
-
</div>
|
|
1491
|
-
</div>
|
|
1492
|
-
<a id="ae9ab20769220af396b72de5ae873f865"></a>
|
|
1493
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ae9ab20769220af396b72de5ae873f865">◆ </a></span>_vmrssUsageAfter</h2>
|
|
1494
|
-
|
|
1495
|
-
<div class="memitem">
|
|
1496
|
-
<div class="memproto">
|
|
1497
|
-
<table class="mlabels">
|
|
1498
|
-
<tr>
|
|
1499
|
-
<td class="mlabels-left">
|
|
1500
|
-
<table class="memname">
|
|
1501
|
-
<tr>
|
|
1502
|
-
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::DDAStat::_vmrssUsageAfter</td>
|
|
1503
|
-
</tr>
|
|
1504
|
-
</table>
|
|
1505
|
-
</td>
|
|
1506
|
-
<td class="mlabels-right">
|
|
1507
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
1508
|
-
</tr>
|
|
1509
|
-
</table>
|
|
1510
|
-
</div><div class="memdoc">
|
|
1511
|
-
|
|
1512
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00114">114</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1513
|
-
|
|
1514
|
-
</div>
|
|
1515
|
-
</div>
|
|
1516
|
-
<a id="a057c651a89d1dba04102bfc08ce7d372"></a>
|
|
1517
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a057c651a89d1dba04102bfc08ce7d372">◆ </a></span>_vmrssUsageBefore</h2>
|
|
1518
|
-
|
|
1519
|
-
<div class="memitem">
|
|
1520
|
-
<div class="memproto">
|
|
1521
|
-
<table class="mlabels">
|
|
1522
|
-
<tr>
|
|
1523
|
-
<td class="mlabels-left">
|
|
1524
|
-
<table class="memname">
|
|
1525
|
-
<tr>
|
|
1526
|
-
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::DDAStat::_vmrssUsageBefore</td>
|
|
1527
|
-
</tr>
|
|
1528
|
-
</table>
|
|
1529
|
-
</td>
|
|
1530
|
-
<td class="mlabels-right">
|
|
1531
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
1532
|
-
</tr>
|
|
1533
|
-
</table>
|
|
1534
|
-
</div><div class="memdoc">
|
|
1535
|
-
|
|
1536
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00113">113</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1537
|
-
|
|
1538
|
-
</div>
|
|
1539
|
-
</div>
|
|
1540
|
-
<a id="a4410e9704211836a96936a7c400562a3"></a>
|
|
1541
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a4410e9704211836a96936a7c400562a3">◆ </a></span>_vmsizeUsageAfter</h2>
|
|
1542
|
-
|
|
1543
|
-
<div class="memitem">
|
|
1544
|
-
<div class="memproto">
|
|
1545
|
-
<table class="mlabels">
|
|
1546
|
-
<tr>
|
|
1547
|
-
<td class="mlabels-left">
|
|
1548
|
-
<table class="memname">
|
|
1549
|
-
<tr>
|
|
1550
|
-
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::DDAStat::_vmsizeUsageAfter</td>
|
|
1551
|
-
</tr>
|
|
1552
|
-
</table>
|
|
1553
|
-
</td>
|
|
1554
|
-
<td class="mlabels-right">
|
|
1555
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
1556
|
-
</tr>
|
|
1557
|
-
</table>
|
|
1558
|
-
</div><div class="memdoc">
|
|
1559
|
-
|
|
1560
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00116">116</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1561
|
-
|
|
1562
|
-
</div>
|
|
1563
|
-
</div>
|
|
1564
|
-
<a id="acab872c897c747157bb81f324bbab323"></a>
|
|
1565
|
-
<h2 class="memtitle"><span class="permalink"><a href="#acab872c897c747157bb81f324bbab323">◆ </a></span>_vmsizeUsageBefore</h2>
|
|
1566
|
-
|
|
1567
|
-
<div class="memitem">
|
|
1568
|
-
<div class="memproto">
|
|
1569
|
-
<table class="mlabels">
|
|
1570
|
-
<tr>
|
|
1571
|
-
<td class="mlabels-left">
|
|
1572
|
-
<table class="memname">
|
|
1573
|
-
<tr>
|
|
1574
|
-
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::DDAStat::_vmsizeUsageBefore</td>
|
|
1575
|
-
</tr>
|
|
1576
|
-
</table>
|
|
1577
|
-
</td>
|
|
1578
|
-
<td class="mlabels-right">
|
|
1579
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
1580
|
-
</tr>
|
|
1581
|
-
</table>
|
|
1582
|
-
</div><div class="memdoc">
|
|
1583
|
-
|
|
1584
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00115">115</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1585
|
-
|
|
1586
1406
|
</div>
|
|
1587
1407
|
</div>
|
|
1588
1408
|
<a id="ac3fb8b15c5308c926209a941c7cf62e1"></a>
|
|
@@ -1605,7 +1425,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1605
1425
|
</table>
|
|
1606
1426
|
</div><div class="memdoc">
|
|
1607
1427
|
|
|
1608
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1428
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00080">80</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1609
1429
|
|
|
1610
1430
|
</div>
|
|
1611
1431
|
</div>
|
|
@@ -1629,7 +1449,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1629
1449
|
</table>
|
|
1630
1450
|
</div><div class="memdoc">
|
|
1631
1451
|
|
|
1632
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1452
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00079">79</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1633
1453
|
|
|
1634
1454
|
</div>
|
|
1635
1455
|
</div>
|
|
@@ -1653,7 +1473,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1653
1473
|
</table>
|
|
1654
1474
|
</div><div class="memdoc">
|
|
1655
1475
|
|
|
1656
|
-
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#
|
|
1476
|
+
<p class="definition">Definition at line <a class="el" href="DDAStat_8h_source.html#l00104">104</a> of file <a class="el" href="DDAStat_8h_source.html">DDAStat.h</a>.</p>
|
|
1657
1477
|
|
|
1658
1478
|
</div>
|
|
1659
1479
|
</div>
|
|
@@ -1665,15 +1485,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1665
1485
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ad53ad7a958c05b45624d2859a6a9e647"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">SVF::DDAStat::_StrongUpdateStores</a></div><div class="ttdeci">NodeBS _StrongUpdateStores</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00066">DDAStat.h:66</a></div></div>
|
|
1666
1486
|
<div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_aad57a954473f3099188cf8c8fba87880"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880">SVF::DDAVFSolver::outOfBudgetDpms</a></div><div class="ttdeci">DPTItemSet outOfBudgetDpms</div><div class="ttdoc">out of budget dpm set</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00787">DDAVFSolver.h:787</a></div></div>
|
|
1667
1487
|
<div class="ttc" id="aclassSVF_1_1CondStdSet_html_aa19e82905537f3ae41f64fce070ee555"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00178">ConditionalPT.h:178</a></div></div>
|
|
1668
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_af3f359ca7c620695b124573377bda407"><div class="ttname"><a href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">SVF::DDAStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1488
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_af3f359ca7c620695b124573377bda407"><div class="ttname"><a href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">SVF::DDAStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00099">DDAStat.h:99</a></div></div>
|
|
1669
1489
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad2c8654a6672472f9bf17681aa9b60bb"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">SVF::PointerAnalysis::getNumOfResolvedIndCallEdge</a></div><div class="ttdeci">u32_t getNumOfResolvedIndCallEdge() const</div><div class="ttdoc">Return number of resolved indirect call edges.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00169">PointerAnalysis.h:169</a></div></div>
|
|
1670
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ae6fd32471e0b9bf51233a36676658b49"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49">SVF::DDAStat::printStat</a></div><div class="ttdeci">void printStat(std::string str="") override</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#
|
|
1490
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ae6fd32471e0b9bf51233a36676658b49"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49">SVF::DDAStat::printStat</a></div><div class="ttdeci">void printStat(std::string str="") override</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00295">DDAStat.cpp:295</a></div></div>
|
|
1671
1491
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a5b4095f427c9c7b9ec0db497ba33baea"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">SVF::PTAStat::localVarInRecursion</a></div><div class="ttdeci">NodeBS localVarInRecursion</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00054">PTAStat.h:54</a></div></div>
|
|
1672
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a1afb47b898f646f71d00c666373281e0"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0">SVF::DDAStat::_TotalPtsSize</a></div><div class="ttdeci">u32_t _TotalPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1673
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a55fa3ce574d128a89c1aa5f6a7dc17c6"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">SVF::DDAStat::getPTA</a></div><div class="ttdeci">PointerAnalysis * getPTA() const</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#
|
|
1674
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ac3fb8b15c5308c926209a941c7cf62e1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">SVF::DDAStat::contextDDA</a></div><div class="ttdeci">ContextDDA * contextDDA</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1675
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a2197491d64e5cf18f8cfa7bbd19edf86"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86">SVF::DDAStat::_MaxPtsSize</a></div><div class="ttdeci">u32_t _MaxPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1676
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ab508281a78749ec5d7b5dc8231a4be11"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11">SVF::DDAStat::getNumOfOOBQuery</a></div><div class="ttdeci">void getNumOfOOBQuery()</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#
|
|
1492
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a1afb47b898f646f71d00c666373281e0"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0">SVF::DDAStat::_TotalPtsSize</a></div><div class="ttdeci">u32_t _TotalPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00096">DDAStat.h:96</a></div></div>
|
|
1493
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a55fa3ce574d128a89c1aa5f6a7dc17c6"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">SVF::DDAStat::getPTA</a></div><div class="ttdeci">PointerAnalysis * getPTA() const</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00096">DDAStat.cpp:96</a></div></div>
|
|
1494
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ac3fb8b15c5308c926209a941c7cf62e1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">SVF::DDAStat::contextDDA</a></div><div class="ttdeci">ContextDDA * contextDDA</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00080">DDAStat.h:80</a></div></div>
|
|
1495
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a2197491d64e5cf18f8cfa7bbd19edf86"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86">SVF::DDAStat::_MaxPtsSize</a></div><div class="ttdeci">u32_t _MaxPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00094">DDAStat.h:94</a></div></div>
|
|
1496
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ab508281a78749ec5d7b5dc8231a4be11"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11">SVF::DDAStat::getNumOfOOBQuery</a></div><div class="ttdeci">void getNumOfOOBQuery()</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00209">DDAStat.cpp:209</a></div></div>
|
|
1677
1497
|
<div class="ttc" id="aclassSVF_1_1CondPTAImpl_html_a94f3e4d073b8c5bab3c46058ddba3f43"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl::getBVPointsTo</a></div><div class="ttdeci">virtual PointsTo getBVPointsTo(const CPtSet &cpts) const</div><div class="ttdoc">Given a conditional pts return its bit vector points-to.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00473">PointerAnalysisImpl.h:473</a></div></div>
|
|
1678
1498
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a1a6cee7e690ccb3e53cdc4c3e67b386d"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a1a6cee7e690ccb3e53cdc4c3e67b386d">SVF::PointerAnalysis::dumpPts</a></div><div class="ttdeci">virtual void dumpPts(NodeID ptr, const PointsTo &pts)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00257">PointerAnalysis.cpp:257</a></div></div>
|
|
1679
1499
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a9625c4623acc4f6ccaca1ec8f04f5a54"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54">SVF::DDAStat::_TotalTimeOfBKCondition</a></div><div class="ttdeci">double _TotalTimeOfBKCondition</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00064">DDAStat.h:64</a></div></div>
|
|
@@ -1681,63 +1501,63 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1681
1501
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
|
|
1682
1502
|
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
|
|
1683
1503
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a65a4af3d6f0bfc11e31f020bb2966576"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">SVF::SVFIR::getPTASVFStmtSet</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy & getPTASVFStmtSet(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get PTA edges set according to its kind.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00193">SVFIR.h:193</a></div></div>
|
|
1684
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_adfe649818cc19a9cd432ae25aa80018d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d">SVF::DDAStat::_NumOfIndCallEdgeSolved</a></div><div class="ttdeci">u32_t _NumOfIndCallEdgeSolved</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1504
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_adfe649818cc19a9cd432ae25aa80018d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d">SVF::DDAStat::_NumOfIndCallEdgeSolved</a></div><div class="ttdeci">u32_t _NumOfIndCallEdgeSolved</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00092">DDAStat.h:92</a></div></div>
|
|
1685
1505
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
|
|
1686
1506
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ac7275c99ddd118696853188154ad6fbd"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd">SVF::DDAStat::initDefault</a></div><div class="ttdeci">void initDefault()</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00051">DDAStat.cpp:51</a></div></div>
|
|
1687
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a89a4b18ce34e6899637ea183e4331ccd"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">SVF::DDAStat::_TotalNumOfQuery</a></div><div class="ttdeci">u32_t _TotalNumOfQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1507
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a89a4b18ce34e6899637ea183e4331ccd"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd">SVF::DDAStat::_TotalNumOfQuery</a></div><div class="ttdeci">u32_t _TotalNumOfQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00082">DDAStat.h:82</a></div></div>
|
|
1688
1508
|
<div class="ttc" id="aclassSVF_1_1PointsTo_html_aa0d4ee196b91fce626f3f15bcc5599e4"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">SVF::PointsTo::count</a></div><div class="ttdeci">u32_t count() const</div><div class="ttdoc">Returns number of elements.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00111">PointsTo.cpp:111</a></div></div>
|
|
1689
1509
|
<div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_acb7980c7e0d1d8ad6abab0b80831d2a9"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">SVF::DDAVFSolver::getSVFG</a></div><div class="ttdeci">SVFG * getSVFG() const</div><div class="ttdoc">Return SVFG.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00118">DDAVFSolver.h:118</a></div></div>
|
|
1690
1510
|
<div class="ttc" id="aclassSVF_1_1ContextCond_html_a151b9f21eedd4fdd8f46b78bb456582d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">SVF::ContextCond::maximumCxt</a></div><div class="ttdeci">static u32_t maximumCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00378">DPItem.h:378</a></div></div>
|
|
1691
1511
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a674248754300d58fcef8eaf09436249e"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e">SVF::DDAStat::_NumOfStep</a></div><div class="ttdeci">u64_t _NumOfStep</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00059">DDAStat.h:59</a></div></div>
|
|
1692
1512
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a8ba934714a7f2caf2e041002fdb66137"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">SVF::SVFG::getStat</a></div><div class="ttdeci">SVFGStat * getStat() const</div><div class="ttdoc">Return statistics.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00126">SVFG.h:126</a></div></div>
|
|
1693
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a86e03ef25f150b98bc1f8c89bfd7fc77"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">SVF::DDAStat::flowDDA</a></div><div class="ttdeci">FlowDDA * flowDDA</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1513
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a86e03ef25f150b98bc1f8c89bfd7fc77"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">SVF::DDAStat::flowDDA</a></div><div class="ttdeci">FlowDDA * flowDDA</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00079">DDAStat.h:79</a></div></div>
|
|
1694
1514
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ac3189db5d8e17f64fdfcc9b040cf6100"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100">SVF::DDAStat::_TotalTimeOfQueries</a></div><div class="ttdeci">double _TotalTimeOfQueries</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00063">DDAStat.h:63</a></div></div>
|
|
1695
1515
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a0aec64ca944ea4f914a6fa799b7a8b38"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38">SVF::DDAStat::_NumOfMustAliases</a></div><div class="ttdeci">u32_t _NumOfMustAliases</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00056">DDAStat.h:56</a></div></div>
|
|
1696
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a65008c43bee55d59fd3975d4ad7f44a1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1">SVF::DDAStat::_TotalNumOfStrongUpdates</a></div><div class="ttdeci">u32_t _TotalNumOfStrongUpdates</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1697
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a967b0def2602a596538973703ffaad5d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d">SVF::DDAStat::_NumOfConstantPtr</a></div><div class="ttdeci">u32_t _NumOfConstantPtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1516
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a65008c43bee55d59fd3975d4ad7f44a1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1">SVF::DDAStat::_TotalNumOfStrongUpdates</a></div><div class="ttdeci">u32_t _TotalNumOfStrongUpdates</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00085">DDAStat.h:85</a></div></div>
|
|
1517
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a967b0def2602a596538973703ffaad5d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d">SVF::DDAStat::_NumOfConstantPtr</a></div><div class="ttdeci">u32_t _NumOfConstantPtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00098">DDAStat.h:98</a></div></div>
|
|
1698
1518
|
<div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_aef98e8e9144a69bb7481fef5d2dcb303"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem >::ConstSVFGEdgeSet</a></div><div class="ttdeci">OrderedSet< const SVFGEdge * > ConstSVFGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00060">DDAVFSolver.h:60</a></div></div>
|
|
1699
1519
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
|
|
1700
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ad07ab73cc0bc650c692de9983b126348"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348">SVF::DDAStat::_MaxCPtsSize</a></div><div class="ttdeci">u32_t _MaxCPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1701
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a4410e9704211836a96936a7c400562a3"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3">SVF::DDAStat::_vmsizeUsageAfter</a></div><div class="ttdeci">u32_t _vmsizeUsageAfter</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00116">DDAStat.h:116</a></div></div>
|
|
1520
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ad07ab73cc0bc650c692de9983b126348"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348">SVF::DDAStat::_MaxCPtsSize</a></div><div class="ttdeci">u32_t _MaxCPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00093">DDAStat.h:93</a></div></div>
|
|
1702
1521
|
<div class="ttc" id="aclassSVF_1_1ContextCond_html"><div class="ttname"><a href="classSVF_1_1ContextCond.html">SVF::ContextCond</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00206">DPItem.h:206</a></div></div>
|
|
1703
1522
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a178fcefed6ffffc78bbe9b23e0e1babe"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str="")</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00066">SVFStat.cpp:66</a></div></div>
|
|
1704
1523
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a2b788792447d4bccceff2426b45a21b2"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">SVF::DDAStat::_AnaTimePerQuery</a></div><div class="ttdeci">double _AnaTimePerQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00061">DDAStat.h:61</a></div></div>
|
|
1705
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a7b83dd2c2719ed3b308c65aa037d446b"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">SVF::DDAStat::_MaxNumOfDPMAtSVFGNode</a></div><div class="ttdeci">u32_t _MaxNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1524
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a7b83dd2c2719ed3b308c65aa037d446b"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">SVF::DDAStat::_MaxNumOfDPMAtSVFGNode</a></div><div class="ttdeci">u32_t _MaxNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00102">DDAStat.h:102</a></div></div>
|
|
1706
1525
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a5c007645d73bfc5cfefef672f3c1dcf1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1">SVF::DDAStat::_NumOfStrongUpdates</a></div><div class="ttdeci">u32_t _NumOfStrongUpdates</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00055">DDAStat.h:55</a></div></div>
|
|
1707
1526
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a07b6f8cb424b84b468c4518140fa3a41"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat::generalNumMap</a></div><div class="ttdeci">NUMStatMap generalNumMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00073">SVFStat.h:73</a></div></div>
|
|
1708
1527
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
|
|
1709
1528
|
<div class="ttc" id="aclassSVF_1_1ContextDDA_html_a0d407903c4b0d976da30538ff0c5fc41"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41">SVF::ContextDDA::getInsensitiveEdgeSet</a></div><div class="ttdeci">ConstSVFGEdgeSet & getInsensitiveEdgeSet()</div><div class="ttdoc">Return insensitive edge set.</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00207">ContextDDA.h:207</a></div></div>
|
|
1710
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a36eafce8cdbb6492f6dd550606cfbd81"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">SVF::DDAStat::_AvgNumOfDPMAtSVFGNode</a></div><div class="ttdeci">double _AvgNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1529
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a36eafce8cdbb6492f6dd550606cfbd81"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">SVF::DDAStat::_AvgNumOfDPMAtSVFGNode</a></div><div class="ttdeci">double _AvgNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00101">DDAStat.h:101</a></div></div>
|
|
1711
1530
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a5ad94d2109b293d306f67741effc73aa"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa">SVF::DDAStat::_NumOfDPM</a></div><div class="ttdeci">u32_t _NumOfDPM</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00054">DDAStat.h:54</a></div></div>
|
|
1712
1531
|
<div class="ttc" id="aclassSVF_1_1CondPTAImpl_html_a63fa2b3a96696ffc67a119c1ba5ce748"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl::getPts</a></div><div class="ttdeci">virtual const CPtSet & getPts(CVar id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00308">PointerAnalysisImpl.h:308</a></div></div>
|
|
1713
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a1f72d0026a7ab26aa8ac857e658c1015"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015">SVF::DDAStat::_TotalNumOfOutOfBudgetQuery</a></div><div class="ttdeci">u32_t _TotalNumOfOutOfBudgetQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1714
|
-
<div class="ttc" id="
|
|
1715
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ae9ab20769220af396b72de5ae873f865"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865">SVF::DDAStat::_vmrssUsageAfter</a></div><div class="ttdeci">u32_t _vmrssUsageAfter</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00114">DDAStat.h:114</a></div></div>
|
|
1532
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a1f72d0026a7ab26aa8ac857e658c1015"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015">SVF::DDAStat::_TotalNumOfOutOfBudgetQuery</a></div><div class="ttdeci">u32_t _TotalNumOfOutOfBudgetQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00083">DDAStat.h:83</a></div></div>
|
|
1533
|
+
<div class="ttc" id="aclassSVF_1_1PTAStat_html_ae72a3119a03e30084383defacf62264d"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d">SVF::PTAStat::_vmrssUsageBefore</a></div><div class="ttdeci">u32_t _vmrssUsageBefore</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00075">PTAStat.h:75</a></div></div>
|
|
1716
1534
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html_ac9b65b591200c16c420fbd26710b448f"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat::PTAStat</a></div><div class="ttdeci">PTAStat(PointerAnalysis *p)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00039">PTAStat.cpp:39</a></div></div>
|
|
1535
|
+
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a6ab3ed046a39fdf3862509304e7777d7"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7">SVF::PTAStat::_vmsizeUsageAfter</a></div><div class="ttdeci">u32_t _vmsizeUsageAfter</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00078">PTAStat.h:78</a></div></div>
|
|
1717
1536
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_afa7d9f6209904acd7893ae583e28dafd"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#afa7d9f6209904acd7893ae583e28dafd">SVF::PointerAnalysis::containConstantNode</a></div><div class="ttdeci">bool containConstantNode(const PointsTo &pts)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00296">PointerAnalysis.h:296</a></div></div>
|
|
1718
1537
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
1719
|
-
<div class="ttc" id="aclassSVF_1_1PTAStat_html_af2eb88d1563be9e6290a5fc69bec3bbe"><div class="ttname"><a href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">SVF::PTAStat::callgraphStat</a></div><div class="ttdeci">void callgraphStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#
|
|
1538
|
+
<div class="ttc" id="aclassSVF_1_1PTAStat_html_af2eb88d1563be9e6290a5fc69bec3bbe"><div class="ttname"><a href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">SVF::PTAStat::callgraphStat</a></div><div class="ttdeci">void callgraphStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00080">PTAStat.cpp:80</a></div></div>
|
|
1720
1539
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a5383691a34426a1a997b5eed387f1831"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat::timeStatMap</a></div><div class="ttdeci">TIMEStatMap timeStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00075">SVFStat.h:75</a></div></div>
|
|
1721
1540
|
<div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_ad849ae4509e88832f784c748468ab959"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver::getLocToDPMVecMap</a></div><div class="ttdeci">const LocToDPMVecMap & getLocToDPMVecMap() const</div><div class="ttdoc">Map a SVFGNode to its dpms for handling value-flow cycles.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00660">DDAVFSolver.h:660</a></div></div>
|
|
1722
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a4f8bf2dd8409398ddf5659d0f52bb5e1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1">SVF::DDAStat::_TotalNumOfMustAliases</a></div><div class="ttdeci">u32_t _TotalNumOfMustAliases</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1723
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a0a5f8453f5347087d0f208101119a172"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172">SVF::DDAStat::_TotalNumOfStep</a></div><div class="ttdeci">u32_t _TotalNumOfStep</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1541
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a4f8bf2dd8409398ddf5659d0f52bb5e1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1">SVF::DDAStat::_TotalNumOfMustAliases</a></div><div class="ttdeci">u32_t _TotalNumOfMustAliases</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00086">DDAStat.h:86</a></div></div>
|
|
1542
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a0a5f8453f5347087d0f208101119a172"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172">SVF::DDAStat::_TotalNumOfStep</a></div><div class="ttdeci">u32_t _TotalNumOfStep</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00089">DDAStat.h:89</a></div></div>
|
|
1724
1543
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph< SVFVar, SVFStmt >::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00360">GenericGraph.h:360</a></div></div>
|
|
1725
1544
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_aa9daed44e9d2ca2722ea9ab9d4517a21"><div class="ttname"><a href="classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21">SVF::DDAStat::_NumOfStepInCycle</a></div><div class="ttdeci">u64_t _NumOfStepInCycle</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00060">DDAStat.h:60</a></div></div>
|
|
1726
1545
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a5ebc592d6bd7ef40aff848fb63e9e166"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166">SVF::DDAStat::_NumOfInfeasiblePath</a></div><div class="ttdeci">u32_t _NumOfInfeasiblePath</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00057">DDAStat.h:57</a></div></div>
|
|
1727
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_acca22153ac81b5e37734c9786856e605"><div class="ttname"><a href="classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605">SVF::DDAStat::_TotalNumOfStepInCycle</a></div><div class="ttdeci">u32_t _TotalNumOfStepInCycle</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1546
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_acca22153ac81b5e37734c9786856e605"><div class="ttname"><a href="classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605">SVF::DDAStat::_TotalNumOfStepInCycle</a></div><div class="ttdeci">u32_t _TotalNumOfStepInCycle</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00090">DDAStat.h:90</a></div></div>
|
|
1728
1547
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a56368369bc37e37b13f19e5eb1890063"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a56368369bc37e37b13f19e5eb1890063">SVF::PointerAnalysis::containBlackHoleNode</a></div><div class="ttdeci">bool containBlackHoleNode(const PointsTo &pts)</div><div class="ttdoc">Determine whether a points-to contains a black hole or constant node.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00292">PointerAnalysis.h:292</a></div></div>
|
|
1729
1548
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</a></div></div>
|
|
1730
1549
|
<div class="ttc" id="aclassSVF_1_1CondVar_html"><div class="ttname"><a href="classSVF_1_1CondVar.html">SVF::CondVar</a></div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00046">ConditionalPT.h:46</a></div></div>
|
|
1731
1550
|
<div class="ttc" id="aclassSVF_1_1ContextCond_html_a7d89351906ef4dff9adb1196f45bc9be"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">SVF::ContextCond::maximumPath</a></div><div class="ttdeci">static u32_t maximumPath</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00379">DPItem.h:379</a></div></div>
|
|
1732
|
-
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a608441b95be0861d8c1b0a035281f4d5"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">SVF::PTAStat::pta</a></div><div class="ttdeci">PointerAnalysis * pta</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#
|
|
1551
|
+
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a608441b95be0861d8c1b0a035281f4d5"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">SVF::PTAStat::pta</a></div><div class="ttdeci">PointerAnalysis * pta</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00074">PTAStat.h:74</a></div></div>
|
|
1733
1552
|
<div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac9897a09cad8a99169f2da2116807b1b"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">const PointsTo & getPts(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00088">PointerAnalysisImpl.h:88</a></div></div>
|
|
1734
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_aaa9a3e110cb291530154e733428cd904"><div class="ttname"><a href="classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904">SVF::DDAStat::_NumOfNullPtr</a></div><div class="ttdeci">u32_t _NumOfNullPtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1735
|
-
<div class="ttc" id="
|
|
1553
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_aaa9a3e110cb291530154e733428cd904"><div class="ttname"><a href="classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904">SVF::DDAStat::_NumOfNullPtr</a></div><div class="ttdeci">u32_t _NumOfNullPtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00097">DDAStat.h:97</a></div></div>
|
|
1554
|
+
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a6f10f5904d5260b331a9a1506986abe8"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8">SVF::PTAStat::_vmrssUsageAfter</a></div><div class="ttdeci">u32_t _vmrssUsageAfter</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00076">PTAStat.h:76</a></div></div>
|
|
1736
1555
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01104">SparseBitVector.h:1104</a></div></div>
|
|
1737
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a54ac2369d36af7fc5b91e0a07cc3619c"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c">SVF::DDAStat::_TotalCPtsSize</a></div><div class="ttdeci">u32_t _TotalCPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1738
|
-
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a7dabcdacf00844415bd23ca241d885e9"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">SVF::DDAStat::NumPerQueryStatMap</a></div><div class="ttdeci">NUMStatMap NumPerQueryStatMap</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#
|
|
1739
|
-
<div class="ttc" id="
|
|
1740
|
-
<div class="ttc" id="
|
|
1556
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a54ac2369d36af7fc5b91e0a07cc3619c"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c">SVF::DDAStat::_TotalCPtsSize</a></div><div class="ttdeci">u32_t _TotalCPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00095">DDAStat.h:95</a></div></div>
|
|
1557
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a7dabcdacf00844415bd23ca241d885e9"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">SVF::DDAStat::NumPerQueryStatMap</a></div><div class="ttdeci">NUMStatMap NumPerQueryStatMap</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00104">DDAStat.h:104</a></div></div>
|
|
1558
|
+
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a4ca7e1972a14b48225a2bd0f4bd8e825"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825">SVF::PTAStat::_vmsizeUsageBefore</a></div><div class="ttdeci">u32_t _vmsizeUsageBefore</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00077">PTAStat.h:77</a></div></div>
|
|
1559
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a5106639ea8a0d8ca38c2b1e11de9f183"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183">SVF::DDAStat::_TotalNumOfDPM</a></div><div class="ttdeci">u32_t _TotalNumOfDPM</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00084">DDAStat.h:84</a></div></div>
|
|
1560
|
+
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a1388b2d218d5c28eaf3f487950c99730"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730">SVF::DDAStat::_TotalNumOfInfeasiblePath</a></div><div class="ttdeci">u32_t _TotalNumOfInfeasiblePath</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00087">DDAStat.h:87</a></div></div>
|
|
1741
1561
|
<div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
|
|
1742
1562
|
<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1743
1563
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a87d5e8ec0e13416cff36a18644a5b94f"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f">SVF::SVFGStat::performSCCStat</a></div><div class="ttdeci">virtual void performSCCStat(SVFGEdgeSet insensitiveCalRetEdges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00369">SVFGStat.cpp:369</a></div></div>
|