svf-tools 1.0.855 → 1.0.856
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/AndersenPWC_8h_source.html +4 -4
- package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +2 -2
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +154 -163
- package/SVF-doxygen/html/Andersen_8cpp_source.html +2 -2
- package/SVF-doxygen/html/Andersen_8h_source.html +13 -13
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CFLAlias_8h_source.html +4 -4
- package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLBase_8h_source.html +1 -1
- package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CFLStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CFLVF_8h_source.html +2 -2
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +14 -14
- package/SVF-doxygen/html/ContextDDA_8h_source.html +6 -6
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
- package/SVF-doxygen/html/DDAClient_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAPass_8cpp_source.html +7 -7
- package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +10 -10
- package/SVF-doxygen/html/DDAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/FSMPTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/FSMPTA_8h_source.html +5 -5
- package/SVF-doxygen/html/FlowDDA_8h_source.html +11 -11
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +236 -238
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/FlowSensitive_8h_source.html +7 -7
- package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/MTAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Options_8cpp_source.html +10 -10
- package/SVF-doxygen/html/PCG_8h_source.html +4 -4
- package/SVF-doxygen/html/PTAStat_8cpp_source.html +99 -87
- package/SVF-doxygen/html/PTAStat_8h_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +30 -30
- package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +15 -15
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +42 -42
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +400 -409
- package/SVF-doxygen/html/SVFGBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +16 -19
- package/SVF-doxygen/html/SVFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +196 -186
- package/SVF-doxygen/html/SVFStat_8h_source.html +44 -41
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
- package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
- package/SVF-doxygen/html/TCT_8h_source.html +5 -5
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +3 -3
- package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +3 -3
- package/SVF-doxygen/html/TypeAnalysis_8h_source.html +6 -6
- package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +77 -79
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +6 -6
- package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
- package/SVF-doxygen/html/WPAPass_8cpp_source.html +12 -12
- package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/WPAStat_8h_source.html +9 -9
- package/SVF-doxygen/html/classSVF_1_1Andersen-members.html +121 -123
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +11 -17
- package/SVF-doxygen/html/classSVF_1_1AndersenBase-members.html +100 -102
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +11 -17
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD-members.html +124 -126
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +2 -8
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR-members.html +129 -131
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -7
- package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +21 -20
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +155 -161
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff-members.html +122 -124
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +2 -8
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl-members.html +58 -60
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +26 -32
- package/SVF-doxygen/html/classSVF_1_1CFLAlias-members.html +78 -80
- package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +4 -10
- package/SVF-doxygen/html/classSVF_1_1CFLBase-members.html +75 -77
- package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -7
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +19 -18
- package/SVF-doxygen/html/classSVF_1_1CFLStat.html +5 -2
- package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +77 -79
- package/SVF-doxygen/html/classSVF_1_1CFLVF.html +2 -8
- package/SVF-doxygen/html/classSVF_1_1CondPTAImpl-members.html +50 -52
- package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +9 -15
- package/SVF-doxygen/html/classSVF_1_1ContextDDA-members.html +97 -99
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +18 -24
- package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1DDAPass.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +18 -17
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +12 -9
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FSMPTA-members.html +140 -142
- package/SVF-doxygen/html/classSVF_1_1FSMPTA.html +2 -8
- package/SVF-doxygen/html/classSVF_1_1FlowDDA-members.html +102 -104
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +15 -21
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive-members.html +133 -135
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +18 -24
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +24 -23
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +241 -240
- package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +19 -18
- package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +4 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTA.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +20 -19
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +6 -3
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +24 -23
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +7 -4
- package/SVF-doxygen/html/classSVF_1_1PCG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1POCRAlias-members.html +78 -80
- package/SVF-doxygen/html/classSVF_1_1POCRAlias.html +0 -6
- package/SVF-doxygen/html/classSVF_1_1POCRHybrid-members.html +78 -80
- package/SVF-doxygen/html/classSVF_1_1POCRHybrid.html +0 -6
- package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +19 -18
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +100 -85
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis-members.html +34 -36
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +291 -356
- package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +41 -40
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +18 -18
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +13 -12
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +208 -168
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Steensgaard-members.html +109 -111
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +4 -10
- package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis-members.html +103 -105
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +9 -15
- package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive-members.html +158 -160
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +6 -12
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +24 -23
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +84 -83
- package/SVF-doxygen/html/classSVF_1_1WPAPass.html +12 -12
- package/SVF-doxygen/html/functions_func_g.html +10 -13
- package/SVF-doxygen/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_g.html +4 -7
- package/SVF-doxygen/html/functions_l.html +5 -5
- package/SVF-doxygen/html/functions_n.html +6 -6
- package/SVF-doxygen/html/functions_o.html +4 -4
- package/SVF-doxygen/html/functions_p.html +19 -12
- package/SVF-doxygen/html/functions_r.html +1 -3
- package/SVF-doxygen/html/functions_s.html +10 -12
- package/SVF-doxygen/html/functions_t.html +9 -12
- package/SVF-doxygen/html/functions_v.html +7 -9
- package/SVF-doxygen/html/functions_vars_p.html +3 -0
- package/SVF-doxygen/html/functions_vars_t.html +0 -3
- package/SVF-doxygen/html/functions_w.html +7 -9
- package/SVF-doxygen/html/search/all_10.js +209 -208
- package/SVF-doxygen/html/search/all_11.js +1 -1
- package/SVF-doxygen/html/search/all_12.js +7 -7
- package/SVF-doxygen/html/search/all_13.js +6 -7
- 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 -175
- package/SVF-doxygen/html/search/all_7.js +99 -100
- 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 -74
- 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 -14
- 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 -140
- package/SVF-doxygen/html/search/functions_12.js +289 -289
- package/SVF-doxygen/html/search/functions_13.js +72 -72
- 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 -175
- package/SVF-doxygen/html/search/functions_2.js +91 -91
- package/SVF-doxygen/html/search/functions_3.js +262 -262
- 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 +856 -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 +99 -98
- package/SVF-doxygen/html/search/variables_11.js +45 -45
- package/SVF-doxygen/html/search/variables_12.js +91 -91
- package/SVF-doxygen/html/search/variables_13.js +73 -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/svf-ex_8cpp.html +2 -2
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +3 -3
- package/package.json +1 -1
- package/svf/include/MemoryModel/PointerAnalysis.h +0 -9
- package/svf/include/Util/SVFStat.h +3 -0
- package/svf/lib/DDA/DDAStat.cpp +2 -2
- package/svf/lib/Graphs/SVFGStat.cpp +2 -4
- package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -1
- package/svf/lib/Util/PTAStat.cpp +14 -4
- package/svf/lib/Util/SVFStat.cpp +13 -3
- package/svf/lib/WPA/AndersenStat.cpp +3 -8
- package/svf/lib/WPA/FlowSensitiveStat.cpp +1 -2
- package/svf/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -2
|
@@ -287,9 +287,9 @@ $(function() {
|
|
|
287
287
|
<div class="ttc" id="aMHP_8h_html"><div class="ttname"><a href="MHP_8h.html">MHP.h</a></div></div>
|
|
288
288
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a767a7ea009067e7f82bb70b29688a144"><div class="ttname"><a href="classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144">SVF::PCG::isFollowerFun</a></div><div class="ttdeci">bool isFollowerFun(const SVFFunction *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00083">PCG.h:83</a></div></div>
|
|
289
289
|
<div class="ttc" id="aclassSVF_1_1PCG_html_ab8a16eb34da91f2b7cd5a456653b1da0"><div class="ttname"><a href="classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0">SVF::PCG::printResults</a></div><div class="ttdeci">void printResults()</div><div class="ttdoc">Print analysis results.</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00341">PCG.cpp:341</a></div></div>
|
|
290
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
291
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ade879ee99cae01632d567d3736dcad9e"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e">SVF::PointerAnalysis::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdoc">Get ICFG.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
292
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
290
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
|
|
291
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ade879ee99cae01632d567d3736dcad9e"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e">SVF::PointerAnalysis::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdoc">Get ICFG.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00161">PointerAnalysis.h:161</a></div></div>
|
|
292
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
|
|
293
293
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a96f91b051a8035b614e015bf4d5081e0"><div class="ttname"><a href="classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0">SVF::PCG::mhpfuns</a></div><div class="ttdeci">FunSet mhpfuns</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00064">PCG.h:64</a></div></div>
|
|
294
294
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a5e7e223921c8b4ef098a0f9cd726a7cc"><div class="ttname"><a href="classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc">SVF::PCG::addSpawnerFun</a></div><div class="ttdeci">bool addSpawnerFun(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00087">PCG.h:87</a></div></div>
|
|
295
295
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a2b9a6b5890b11cea31914f5242285525"><div class="ttname"><a href="classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525">SVF::PCG::spawnersEnd</a></div><div class="ttdeci">FunSet::const_iterator spawnersEnd(const SVFFunction *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00194">PCG.h:194</a></div></div>
|
|
@@ -310,7 +310,7 @@ $(function() {
|
|
|
310
310
|
<div class="ttc" id="aclassSVF_1_1PCG_html_aae8a28dfe4a586dbdeebb9889dae6499"><div class="ttname"><a href="classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499">SVF::PCG::FunSet</a></div><div class="ttdeci">Set< const SVFFunction * > FunSet</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00054">PCG.h:54</a></div></div>
|
|
311
311
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a1312d734609f82230d3c00a99b189db9"><div class="ttname"><a href="classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9">SVF::PCG::getFollowers</a></div><div class="ttdeci">const FunSet & getFollowers() const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00182">PCG.h:182</a></div></div>
|
|
312
312
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a1baeae98fd911d67acf644b49e48af8c"><div class="ttname"><a href="classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c">SVF::PCG::FunVec</a></div><div class="ttdeci">std::vector< const SVFFunction * > FunVec</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00055">PCG.h:55</a></div></div>
|
|
313
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad8b71cebf46deaf60e2cd4f6d6bb9433"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">SVF::PointerAnalysis::getModule</a></div><div class="ttdeci">SVFModule * getModule() const</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
313
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad8b71cebf46deaf60e2cd4f6d6bb9433"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">SVF::PointerAnalysis::getModule</a></div><div class="ttdeci">SVFModule * getModule() const</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00210">PointerAnalysis.h:210</a></div></div>
|
|
314
314
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a5f0dfc193e13baa5bc0c159ed76ced7e"><div class="ttname"><a href="classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e">SVF::PCG::addSpawnsite</a></div><div class="ttdeci">bool addSpawnsite(const SVFInstruction *callInst)</div><div class="ttdoc">Add/search spawn sites which directly or indirectly create a thread.</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00109">PCG.h:109</a></div></div>
|
|
315
315
|
<div class="ttc" id="aclassSVF_1_1PCG_html_a4343107dd6908ffb70fc59fa7b4de21b"><div class="ttname"><a href="classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b">SVF::PCG::spawnersBegin</a></div><div class="ttdeci">FunSet::const_iterator spawnersBegin(const SVFFunction *fun) const</div><div class="ttdoc">Iterators for thread properties of a procedure.</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00190">PCG.h:190</a></div></div>
|
|
316
316
|
<div class="ttc" id="aclassSVF_1_1PCG_html_ab3a3d18bac6e1f833583d41fa562caea"><div class="ttname"><a href="classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea">SVF::PCG::followers</a></div><div class="ttdeci">FunSet followers</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00063">PCG.h:63</a></div></div>
|
|
@@ -122,89 +122,99 @@ $(function() {
|
|
|
122
122
|
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  </div>
|
|
123
123
|
<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6"> 52</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">PTAStat::performStat</a>()</div>
|
|
124
124
|
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span> {</div>
|
|
125
|
-
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span> 
|
|
126
|
-
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  </div>
|
|
127
|
-
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span> 
|
|
128
|
-
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  </div>
|
|
129
|
-
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span> 
|
|
130
|
-
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <
|
|
131
|
-
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span> 
|
|
132
|
-
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span> 
|
|
133
|
-
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <
|
|
134
|
-
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span> 
|
|
135
|
-
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span> 
|
|
136
|
-
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span> 
|
|
137
|
-
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span> 
|
|
138
|
-
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span> 
|
|
139
|
-
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span> 
|
|
140
|
-
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span> 
|
|
141
|
-
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span> 
|
|
142
|
-
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  </div>
|
|
143
|
-
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span> 
|
|
144
|
-
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>
|
|
145
|
-
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <a class="code" href="
|
|
146
|
-
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <a class="code" href="
|
|
147
|
-
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <a class="code" href="
|
|
148
|
-
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <a class="code" href="classSVF_1_1SVFStat.html#
|
|
149
|
-
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span> 
|
|
150
|
-
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span> 
|
|
151
|
-
<div class="line"><a name="l00080"></a><span class="lineno"
|
|
152
|
-
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span> 
|
|
153
|
-
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span> 
|
|
154
|
-
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span> 
|
|
155
|
-
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="
|
|
156
|
-
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> 
|
|
157
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  </div>
|
|
158
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span> 
|
|
159
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keywordtype">unsigned</span>
|
|
160
|
-
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordtype">unsigned</span>
|
|
161
|
-
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <span class="keywordtype">unsigned</span>
|
|
162
|
-
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <span class="keywordtype">unsigned</span>
|
|
163
|
-
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordtype">unsigned</span>
|
|
164
|
-
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  </div>
|
|
165
|
-
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> 
|
|
166
|
-
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="
|
|
167
|
-
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">PTACallGraph::iterator</a>
|
|
168
|
-
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <
|
|
169
|
-
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span> 
|
|
170
|
-
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span> 
|
|
171
|
-
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> 
|
|
172
|
-
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span> 
|
|
173
|
-
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span> 
|
|
174
|
-
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span> 
|
|
175
|
-
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> 
|
|
176
|
-
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="
|
|
177
|
-
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span> 
|
|
178
|
-
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span> 
|
|
179
|
-
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span> 
|
|
180
|
-
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span> 
|
|
181
|
-
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <a class="code" href="classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec">PTACallGraphNode::const_iterator</a>
|
|
182
|
-
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <
|
|
183
|
-
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> 
|
|
184
|
-
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span> 
|
|
185
|
-
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span> 
|
|
186
|
-
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span> 
|
|
187
|
-
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span> 
|
|
188
|
-
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span> 
|
|
189
|
-
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span> 
|
|
190
|
-
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span> 
|
|
191
|
-
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span> 
|
|
192
|
-
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span> 
|
|
193
|
-
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span> 
|
|
194
|
-
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span> 
|
|
195
|
-
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span> 
|
|
196
|
-
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"
|
|
197
|
-
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"
|
|
198
|
-
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"
|
|
199
|
-
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"
|
|
200
|
-
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"
|
|
201
|
-
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  </div>
|
|
202
|
-
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span> 
|
|
203
|
-
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  </div>
|
|
204
|
-
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span> 
|
|
205
|
-
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span> 
|
|
125
|
+
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  </div>
|
|
126
|
+
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  <a class="code" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVFStat::performStat</a>();</div>
|
|
127
|
+
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  </div>
|
|
128
|
+
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <a class="code" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">callgraphStat</a>();</div>
|
|
129
|
+
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  </div>
|
|
130
|
+
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div>
|
|
131
|
+
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFIR::iterator</a> it = pag-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(), eit = pag-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it!=eit; ++it)</div>
|
|
132
|
+
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  {</div>
|
|
133
|
+
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = it->second;</div>
|
|
134
|
+
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  <span class="keywordflow">if</span>(SVFUtil::isa<ObjVar>(node))</div>
|
|
135
|
+
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  {</div>
|
|
136
|
+
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">isLocalVarInRecursiveFun</a>(node-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()))</div>
|
|
137
|
+
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  {</div>
|
|
138
|
+
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <a class="code" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a>.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(node-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div>
|
|
139
|
+
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  }</div>
|
|
140
|
+
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  }</div>
|
|
141
|
+
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  }</div>
|
|
142
|
+
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"LocalVarInRecur"</span>] = <a class="code" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a>.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>();</div>
|
|
143
|
+
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  </div>
|
|
144
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss = 0;</div>
|
|
145
|
+
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize = 0;</div>
|
|
146
|
+
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&vmrss, &vmsize);</div>
|
|
147
|
+
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <a class="code" href="classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92">setMemUsageAfter</a>(vmrss, vmsize);</div>
|
|
148
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</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>
|
|
149
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</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>
|
|
150
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span> }</div>
|
|
151
|
+
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  </div>
|
|
152
|
+
<div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe"> 81</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">PTAStat::callgraphStat</a>()</div>
|
|
153
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span> {</div>
|
|
154
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  </div>
|
|
155
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a>* graph = <a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">getPTACallGraph</a>();</div>
|
|
156
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <a class="code" href="classSVF_1_1SCCDetection.html">PointerAnalysis::CallGraphSCC</a>* callgraphSCC = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">PointerAnalysis::CallGraphSCC</a>(graph);</div>
|
|
157
|
+
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  callgraphSCC-><a class="code" href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">find</a>();</div>
|
|
158
|
+
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  </div>
|
|
159
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keywordtype">unsigned</span> totalNode = 0;</div>
|
|
160
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordtype">unsigned</span> totalCycle = 0;</div>
|
|
161
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <span class="keywordtype">unsigned</span> nodeInCycle = 0;</div>
|
|
162
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <span class="keywordtype">unsigned</span> maxNodeInCycle = 0;</div>
|
|
163
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordtype">unsigned</span> totalEdge = 0;</div>
|
|
164
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordtype">unsigned</span> edgeInCycle = 0;</div>
|
|
165
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  </div>
|
|
166
|
+
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a> sccRepNodeSet;</div>
|
|
167
|
+
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">PTACallGraph::iterator</a> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>();</div>
|
|
168
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">PTACallGraph::iterator</a> eit = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>();</div>
|
|
169
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keywordflow">for</span> (; it != eit; ++it)</div>
|
|
170
|
+
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  {</div>
|
|
171
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  totalNode++;</div>
|
|
172
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">if</span>(callgraphSCC-><a class="code" href="classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15">isInCycle</a>(it->first))</div>
|
|
173
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  {</div>
|
|
174
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  sccRepNodeSet.insert(callgraphSCC-><a class="code" href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">repNode</a>(it->first));</div>
|
|
175
|
+
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  nodeInCycle++;</div>
|
|
176
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>& subNodes = callgraphSCC-><a class="code" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">subNodes</a>(it->first);</div>
|
|
177
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">if</span>(subNodes.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>() > maxNodeInCycle)</div>
|
|
178
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  maxNodeInCycle = subNodes.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>();</div>
|
|
179
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  }</div>
|
|
180
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  </div>
|
|
181
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <a class="code" href="classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec">PTACallGraphNode::const_iterator</a> edgeIt = it->second->InEdgeBegin();</div>
|
|
182
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <a class="code" href="classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec">PTACallGraphNode::const_iterator</a> edgeEit = it->second->InEdgeEnd();</div>
|
|
183
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div>
|
|
184
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  {</div>
|
|
185
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  <a class="code" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a> *edge = *edgeIt;</div>
|
|
186
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  totalEdge+= edge-><a class="code" href="classSVF_1_1PTACallGraphEdge.html#af0e9f86be3cf263b868f80d374641fc9">getDirectCalls</a>().size() + edge-><a class="code" href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">getIndirectCalls</a>().size();</div>
|
|
187
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">if</span>(callgraphSCC-><a class="code" href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">repNode</a>(edge-><a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>()) == callgraphSCC-><a class="code" href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">repNode</a>(edge-><a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>()))</div>
|
|
188
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  {</div>
|
|
189
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  edgeInCycle+=edge-><a class="code" href="classSVF_1_1PTACallGraphEdge.html#af0e9f86be3cf263b868f80d374641fc9">getDirectCalls</a>().size() + edge-><a class="code" href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">getIndirectCalls</a>().size();</div>
|
|
190
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  }</div>
|
|
191
|
+
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  }</div>
|
|
192
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  }</div>
|
|
193
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  </div>
|
|
194
|
+
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  totalCycle = sccRepNodeSet.size();</div>
|
|
195
|
+
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  </div>
|
|
196
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"TotalNode"</span>] = totalNode;</div>
|
|
197
|
+
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"TotalCycle"</span>] = totalCycle;</div>
|
|
198
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"NodeInCycle"</span>] = nodeInCycle;</div>
|
|
199
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"MaxNodeInCycle"</span>] = maxNodeInCycle;</div>
|
|
200
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"TotalEdge"</span>] = totalEdge;</div>
|
|
201
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">"CalRetPairInCycle"</span>] = edgeInCycle;</div>
|
|
202
|
+
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  </div>
|
|
203
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() >= PointerAnalysis::PTATY::Andersen_BASE && <a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() <= PointerAnalysis::PTATY::Steensgaard_WPA)</div>
|
|
204
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVFStat::printStat</a>(<span class="stringliteral">"CallGraph Stats (Andersen analysis)"</span>);</div>
|
|
205
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() >= PointerAnalysis::PTATY::FSDATAFLOW_WPA && <a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() <= PointerAnalysis::PTATY::FSCS_WPA)</div>
|
|
206
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVFStat::printStat</a>(<span class="stringliteral">"CallGraph Stats (Flow-sensitive analysis)"</span>);</div>
|
|
207
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() >= PointerAnalysis::PTATY::CFLFICI_WPA && <a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() <= PointerAnalysis::PTATY::CFLFSCS_WPA)</div>
|
|
208
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVFStat::printStat</a>(<span class="stringliteral">"CallGraph Stats (CFL-R analysis)"</span>);</div>
|
|
209
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() >= PointerAnalysis::PTATY::FieldS_DDA && <a class="code" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() <= PointerAnalysis::PTATY::Cxt_DDA)</div>
|
|
210
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVFStat::printStat</a>(<span class="stringliteral">"CallGraph Stats (DDA analysis)"</span>);</div>
|
|
211
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="keywordflow">else</span></div>
|
|
212
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVFStat::printStat</a>(<span class="stringliteral">"CallGraph Stats"</span>);</div>
|
|
213
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  </div>
|
|
214
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keyword">delete</span> callgraphSCC;</div>
|
|
215
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span> }</div>
|
|
206
216
|
</div><!-- fragment --></div><!-- contents -->
|
|
207
|
-
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a77c24aa3409dcbf56f57302f237b1eeb"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat::performStat</a></div><div class="ttdeci">virtual void performStat()=0</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#
|
|
217
|
+
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a77c24aa3409dcbf56f57302f237b1eeb"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat::performStat</a></div><div class="ttdeci">virtual void performStat()=0</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00109">SVFStat.cpp:109</a></div></div>
|
|
208
218
|
<div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
|
|
209
219
|
<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>
|
|
210
220
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
|
|
@@ -212,9 +222,10 @@ $(function() {
|
|
|
212
222
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
213
223
|
<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>
|
|
214
224
|
<div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
|
|
215
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
216
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
217
|
-
<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#
|
|
225
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
|
|
226
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
|
|
227
|
+
<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#l00077">SVFStat.h:77</a></div></div>
|
|
228
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac23f71c1307cda9cba44acc40059f0a3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">SVF::PointerAnalysis::getAnalysisTy</a></div><div class="ttdeci">PTATY getAnalysisTy() const</div><div class="ttdoc">Type of pointer analysis.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00185">PointerAnalysis.h:185</a></div></div>
|
|
218
229
|
<div class="ttc" id="aPTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>
|
|
219
230
|
<div class="ttc" id="aclassSVF_1_1SCCDetection_html_a123b5006a6da7053e5e357140da3c5a3"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection::find</a></div><div class="ttdeci">void find(void)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00308">SCC.h:308</a></div></div>
|
|
220
231
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
@@ -233,14 +244,15 @@ $(function() {
|
|
|
233
244
|
<div class="ttc" id="aclassSVF_1_1SCCDetection_html_a5d699af73b1e7ad4e3a5f6d26b8b6d15"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15">SVF::SCCDetection::isInCycle</a></div><div class="ttdeci">bool isInCycle(NodeID n) const</div><div class="ttdoc">whether the node is in a cycle</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00149">SCC.h:149</a></div></div>
|
|
234
245
|
<div class="ttc" id="aclassSVF_1_1PTACallGraphNode_html_adf17f5699c9f40ffc8837e813e3af3ec"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec">SVF::PTACallGraphNode::const_iterator</a></div><div class="ttdeci">PTACallGraphEdge::CallGraphEdgeSet::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00180">PTACallGraph.h:180</a></div></div>
|
|
235
246
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a108380f6f0b67654bb7c7676686096c8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">SVF::PointerAnalysis::isLocalVarInRecursiveFun</a></div><div class="ttdeci">bool isLocalVarInRecursiveFun(NodeID id) const</div><div class="ttdoc">Whether a local variable is in function recursions.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00137">PointerAnalysis.cpp:137</a></div></div>
|
|
236
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac4ad73782f42f90ad7ac9c66edb27c69"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">SVF::PointerAnalysis::CallGraphSCC</a></div><div class="ttdeci">SCCDetection< PTACallGraph * > CallGraphSCC</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
247
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac4ad73782f42f90ad7ac9c66edb27c69"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">SVF::PointerAnalysis::CallGraphSCC</a></div><div class="ttdeci">SCCDetection< PTACallGraph * > CallGraphSCC</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00106">PointerAnalysis.h:106</a></div></div>
|
|
237
248
|
<div class="ttc" id="aclassSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
|
|
238
249
|
<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>
|
|
239
250
|
<div class="ttc" id="aclassSVF_1_1SCCDetection_html"><div class="ttname"><a href="classSVF_1_1SCCDetection.html">SVF::SCCDetection</a></div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00054">SCC.h:54</a></div></div>
|
|
240
251
|
<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>
|
|
241
252
|
<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>
|
|
242
253
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
|
|
243
|
-
<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#
|
|
254
|
+
<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#l00081">PTAStat.cpp:81</a></div></div>
|
|
255
|
+
<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#l00078">SVFStat.h:78</a></div></div>
|
|
244
256
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph< SVFVar, SVFStmt >::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
|
|
245
257
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00052">PTAStat.cpp:52</a></div></div>
|
|
246
258
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
@@ -154,7 +154,7 @@ $(function() {
|
|
|
154
154
|
<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>
|
|
155
155
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
156
156
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
|
|
157
|
-
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#
|
|
157
|
+
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
|
|
158
158
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
159
159
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a286e5985644f2bc13abbceaa2b586c92"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92">SVF::PTAStat::setMemUsageAfter</a></div><div class="ttdeci">void setMemUsageAfter(u32_t vmrss, u32_t vmsize)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00062">PTAStat.h:62</a></div></div>
|
|
160
160
|
<div class="ttc" id="aPointsTo_8h_html"><div class="ttname"><a href="PointsTo_8h.html">PointsTo.h</a></div></div>
|
|
@@ -162,7 +162,7 @@ $(function() {
|
|
|
162
162
|
<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>
|
|
163
163
|
<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>
|
|
164
164
|
<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>
|
|
165
|
-
<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#
|
|
165
|
+
<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#l00081">PTAStat.cpp:81</a></div></div>
|
|
166
166
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html_a1e5294c49b8bd8a850e938dccd5800a5"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a1e5294c49b8bd8a850e938dccd5800a5">SVF::PTAStat::~PTAStat</a></div><div class="ttdeci">virtual ~PTAStat()</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00052">PTAStat.h:52</a></div></div>
|
|
167
167
|
<div class="ttc" id="aclassSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00052">PTAStat.cpp:52</a></div></div>
|
|
168
168
|
<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>
|