svf-tools 1.0.838 → 1.0.839
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/CFLSVFGBuilder_8cpp.html +86 -0
- package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +195 -0
- package/SVF-doxygen/html/CFLSVFGBuilder_8h.html +98 -0
- package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +148 -0
- package/SVF-doxygen/html/CFLVF_8h.html +1 -1
- package/SVF-doxygen/html/CFLVF_8h_source.html +5 -5
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/DoubleFreeChecker_8cpp_source.html +4 -4
- package/SVF-doxygen/html/DoubleFreeChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/FileChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/FileChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/LeakChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/ProgSlice_8cpp_source.html +170 -136
- package/SVF-doxygen/html/ProgSlice_8h_source.html +314 -298
- package/SVF-doxygen/html/SVFGOPT_8h_source.html +5 -5
- package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8cpp_source.html +29 -29
- package/SVF-doxygen/html/SVFG_8h_source.html +446 -444
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +246 -235
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp.html +1 -0
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +271 -265
- package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +75 -62
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +257 -256
- package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +18 -18
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/WPAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/annotated.html +377 -376
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder-members.html +121 -0
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +473 -0
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLVF.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1FileChecker.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1ProgSlice-members.html +25 -22
- package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +493 -366
- package/SVF-doxygen/html/classSVF_1_1SVFG-members.html +182 -181
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +324 -298
- package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator-members.html +22 -19
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +238 -159
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder-members.html +11 -9
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +347 -285
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +259 -257
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1WPAPass.html +1 -1
- package/SVF-doxygen/html/classes.html +95 -94
- package/SVF-doxygen/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +2 -0
- package/SVF-doxygen/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -0
- package/SVF-doxygen/html/files.html +6 -4
- package/SVF-doxygen/html/functions_b.html +4 -3
- package/SVF-doxygen/html/functions_c.html +38 -29
- package/SVF-doxygen/html/functions_f.html +6 -6
- package/SVF-doxygen/html/functions_func_b.html +3 -2
- package/SVF-doxygen/html/functions_func_c.html +29 -23
- package/SVF-doxygen/html/functions_func_g.html +14 -10
- package/SVF-doxygen/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/functions_func_r.html +6 -5
- package/SVF-doxygen/html/functions_func_s.html +20 -17
- package/SVF-doxygen/html/functions_func_~.html +3 -0
- package/SVF-doxygen/html/functions_g.html +10 -6
- package/SVF-doxygen/html/functions_i.html +5 -5
- package/SVF-doxygen/html/functions_m.html +1 -1
- package/SVF-doxygen/html/functions_n.html +8 -7
- package/SVF-doxygen/html/functions_p.html +15 -15
- package/SVF-doxygen/html/functions_r.html +12 -6
- package/SVF-doxygen/html/functions_rela_c.html +3 -0
- package/SVF-doxygen/html/functions_s.html +22 -11
- package/SVF-doxygen/html/functions_t.html +7 -7
- package/SVF-doxygen/html/functions_type_n.html +2 -1
- package/SVF-doxygen/html/functions_type_s.html +6 -1
- package/SVF-doxygen/html/functions_type_w.html +1 -0
- package/SVF-doxygen/html/functions_v.html +4 -6
- package/SVF-doxygen/html/functions_vars_m.html +1 -1
- package/SVF-doxygen/html/functions_vars_r.html +3 -0
- package/SVF-doxygen/html/functions_vars_s.html +2 -1
- package/SVF-doxygen/html/functions_w.html +4 -3
- package/SVF-doxygen/html/functions_~.html +3 -0
- package/SVF-doxygen/html/hierarchy.html +2 -1
- package/SVF-doxygen/html/namespaceSVF.html +2 -0
- package/SVF-doxygen/html/search/all_10.js +325 -325
- package/SVF-doxygen/html/search/all_11.js +224 -223
- package/SVF-doxygen/html/search/all_12.js +553 -551
- package/SVF-doxygen/html/search/all_13.js +190 -190
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- 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 +173 -172
- package/SVF-doxygen/html/search/all_2.js +1 -1
- package/SVF-doxygen/html/search/all_3.js +466 -462
- 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 +1047 -1046
- package/SVF-doxygen/html/search/all_8.js +198 -198
- package/SVF-doxygen/html/search/all_9.js +608 -608
- 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 +73 -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 -80
- 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 +56 -56
- 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 +9 -9
- 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 +13 -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 -55
- 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 +362 -362
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +139 -139
- package/SVF-doxygen/html/search/functions_12.js +289 -288
- package/SVF-doxygen/html/search/functions_13.js +59 -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 +173 -172
- package/SVF-doxygen/html/search/functions_2.js +89 -89
- package/SVF-doxygen/html/search/functions_3.js +260 -258
- 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 -855
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +424 -424
- 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 -2
- 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 -61
- 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 +75 -75
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +45 -44
- package/SVF-doxygen/html/search/variables_12.js +90 -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 +48 -48
- 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_01SVFG_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
- package/package.json +1 -1
- package/svf/include/CFL/CFLSVFGBuilder.h +58 -0
- package/svf/include/CFL/CFLVF.h +2 -2
- package/svf/include/Graphs/SVFG.h +1 -0
- package/svf/include/SABER/ProgSlice.h +11 -0
- package/svf/include/SABER/SaberCondAllocator.h +8 -0
- package/svf/include/SABER/SaberSVFGBuilder.h +12 -2
- package/svf/lib/CFL/CFLSVFGBuilder.cpp +100 -0
- package/svf/lib/SABER/ProgSlice.cpp +48 -1
- package/svf/lib/SABER/SaberSVFGBuilder.cpp +5 -0
- package/svf/lib/SABER/SrcSnkDDA.cpp +1 -0
|
@@ -705,6 +705,8 @@ Friends</h2></td></tr>
|
|
|
705
705
|
<tr class="separator:ab2f81db3935389480baa5cb14e15e9d7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
706
706
|
<tr class="memitem:a93a4287b55425abc188e5f5f2de54297"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297">SaberSVFGBuilder</a></td></tr>
|
|
707
707
|
<tr class="separator:a93a4287b55425abc188e5f5f2de54297"><td class="memSeparator" colspan="2"> </td></tr>
|
|
708
|
+
<tr class="memitem:a17841bd17e7595f8feef1002b26ff188"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a17841bd17e7595f8feef1002b26ff188">CFLSVFGBuilder</a></td></tr>
|
|
709
|
+
<tr class="separator:a17841bd17e7595f8feef1002b26ff188"><td class="memSeparator" colspan="2"> </td></tr>
|
|
708
710
|
<tr class="memitem:a665c93b68f49078c281270a028d04445"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445">TaintSVFGBuilder</a></td></tr>
|
|
709
711
|
<tr class="separator:a665c93b68f49078c281270a028d04445"><td class="memSeparator" colspan="2"> </td></tr>
|
|
710
712
|
<tr class="memitem:a9ccd530dc4c49b0df372a2ce95b66921"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921">DDASVFGBuilder</a></td></tr>
|
|
@@ -741,7 +743,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
741
743
|
</table>
|
|
742
744
|
</div><div class="memdoc">
|
|
743
745
|
|
|
744
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
746
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00079">79</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
745
747
|
|
|
746
748
|
</div>
|
|
747
749
|
</div>
|
|
@@ -757,7 +759,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
757
759
|
</table>
|
|
758
760
|
</div><div class="memdoc">
|
|
759
761
|
|
|
760
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
762
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00080">80</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
761
763
|
|
|
762
764
|
</div>
|
|
763
765
|
</div>
|
|
@@ -773,7 +775,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
773
775
|
</table>
|
|
774
776
|
</div><div class="memdoc">
|
|
775
777
|
|
|
776
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
778
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00096">96</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
777
779
|
|
|
778
780
|
</div>
|
|
779
781
|
</div>
|
|
@@ -789,7 +791,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
789
791
|
</table>
|
|
790
792
|
</div><div class="memdoc">
|
|
791
793
|
|
|
792
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
794
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00097">97</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
793
795
|
|
|
794
796
|
</div>
|
|
795
797
|
</div>
|
|
@@ -805,7 +807,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
805
807
|
</table>
|
|
806
808
|
</div><div class="memdoc">
|
|
807
809
|
|
|
808
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
810
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00083">83</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
809
811
|
|
|
810
812
|
</div>
|
|
811
813
|
</div>
|
|
@@ -821,7 +823,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
821
823
|
</table>
|
|
822
824
|
</div><div class="memdoc">
|
|
823
825
|
|
|
824
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
826
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00084">84</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
825
827
|
|
|
826
828
|
</div>
|
|
827
829
|
</div>
|
|
@@ -837,7 +839,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
837
839
|
</table>
|
|
838
840
|
</div><div class="memdoc">
|
|
839
841
|
|
|
840
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
842
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00091">91</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
841
843
|
|
|
842
844
|
</div>
|
|
843
845
|
</div>
|
|
@@ -853,7 +855,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
853
855
|
</table>
|
|
854
856
|
</div><div class="memdoc">
|
|
855
857
|
|
|
856
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
858
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00088">88</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
857
859
|
|
|
858
860
|
</div>
|
|
859
861
|
</div>
|
|
@@ -869,7 +871,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
869
871
|
</table>
|
|
870
872
|
</div><div class="memdoc">
|
|
871
873
|
|
|
872
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
874
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00095">95</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
873
875
|
|
|
874
876
|
</div>
|
|
875
877
|
</div>
|
|
@@ -885,7 +887,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
885
887
|
</table>
|
|
886
888
|
</div><div class="memdoc">
|
|
887
889
|
|
|
888
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
890
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00081">81</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
889
891
|
|
|
890
892
|
</div>
|
|
891
893
|
</div>
|
|
@@ -901,7 +903,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
901
903
|
</table>
|
|
902
904
|
</div><div class="memdoc">
|
|
903
905
|
|
|
904
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
906
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00082">82</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
905
907
|
|
|
906
908
|
</div>
|
|
907
909
|
</div>
|
|
@@ -917,7 +919,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
917
919
|
</table>
|
|
918
920
|
</div><div class="memdoc">
|
|
919
921
|
|
|
920
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
922
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00085">85</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
921
923
|
|
|
922
924
|
</div>
|
|
923
925
|
</div>
|
|
@@ -933,7 +935,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
933
935
|
</table>
|
|
934
936
|
</div><div class="memdoc">
|
|
935
937
|
|
|
936
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
938
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00086">86</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
937
939
|
|
|
938
940
|
</div>
|
|
939
941
|
</div>
|
|
@@ -949,7 +951,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
949
951
|
</table>
|
|
950
952
|
</div><div class="memdoc">
|
|
951
953
|
|
|
952
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
954
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00092">92</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
953
955
|
|
|
954
956
|
</div>
|
|
955
957
|
</div>
|
|
@@ -965,7 +967,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
965
967
|
</table>
|
|
966
968
|
</div><div class="memdoc">
|
|
967
969
|
|
|
968
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
970
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00078">78</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
969
971
|
|
|
970
972
|
</div>
|
|
971
973
|
</div>
|
|
@@ -981,7 +983,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
981
983
|
</table>
|
|
982
984
|
</div><div class="memdoc">
|
|
983
985
|
|
|
984
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
986
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00090">90</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
985
987
|
|
|
986
988
|
</div>
|
|
987
989
|
</div>
|
|
@@ -997,7 +999,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
997
999
|
</table>
|
|
998
1000
|
</div><div class="memdoc">
|
|
999
1001
|
|
|
1000
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1002
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00087">87</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1001
1003
|
|
|
1002
1004
|
</div>
|
|
1003
1005
|
</div>
|
|
@@ -1013,7 +1015,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1013
1015
|
</table>
|
|
1014
1016
|
</div><div class="memdoc">
|
|
1015
1017
|
|
|
1016
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1018
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00077">77</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1017
1019
|
|
|
1018
1020
|
</div>
|
|
1019
1021
|
</div>
|
|
@@ -1029,7 +1031,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1029
1031
|
</table>
|
|
1030
1032
|
</div><div class="memdoc">
|
|
1031
1033
|
|
|
1032
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1034
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00089">89</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1033
1035
|
|
|
1034
1036
|
</div>
|
|
1035
1037
|
</div>
|
|
@@ -1045,7 +1047,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1045
1047
|
</table>
|
|
1046
1048
|
</div><div class="memdoc">
|
|
1047
1049
|
|
|
1048
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1050
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00094">94</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1049
1051
|
|
|
1050
1052
|
</div>
|
|
1051
1053
|
</div>
|
|
@@ -1061,7 +1063,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1061
1063
|
</table>
|
|
1062
1064
|
</div><div class="memdoc">
|
|
1063
1065
|
|
|
1064
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1066
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00093">93</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1065
1067
|
|
|
1066
1068
|
</div>
|
|
1067
1069
|
</div>
|
|
@@ -1077,7 +1079,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1077
1079
|
</table>
|
|
1078
1080
|
</div><div class="memdoc">
|
|
1079
1081
|
|
|
1080
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1082
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00076">76</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1081
1083
|
|
|
1082
1084
|
</div>
|
|
1083
1085
|
</div>
|
|
@@ -1152,10 +1154,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1152
1154
|
|
|
1153
1155
|
<p>Destructor. </p>
|
|
1154
1156
|
|
|
1155
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1156
|
-
<div class="fragment"><div class="line"><a name="
|
|
1157
|
-
<div class="line"><a name="
|
|
1158
|
-
<div class="line"><a name="
|
|
1157
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00120">120</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1158
|
+
<div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  {</div>
|
|
1159
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <a class="code" href="classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e">destroy</a>();</div>
|
|
1160
|
+
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  }</div>
|
|
1159
1161
|
</div><!-- fragment -->
|
|
1160
1162
|
</div>
|
|
1161
1163
|
</div>
|
|
@@ -1202,12 +1204,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1202
1204
|
|
|
1203
1205
|
<p>Add memory callsite mu <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
1204
1206
|
|
|
1205
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1206
|
-
<div class="fragment"><div class="line"><a name="
|
|
1207
|
-
<div class="line"><a name="
|
|
1208
|
-
<div class="line"><a name="
|
|
1209
|
-
<div class="line"><a name="
|
|
1210
|
-
<div class="line"><a name="
|
|
1207
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00420">420</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1208
|
+
<div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  {</div>
|
|
1209
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  ActualINSVFGNode* sNode = <span class="keyword">new</span> ActualINSVFGNode(nodeId, callsite, ver);</div>
|
|
1210
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode,<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">getCallICFGNode</a>(callsite->getCallSite()));</div>
|
|
1211
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  <a class="code" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a>[callsite].set(sNode->getId());</div>
|
|
1212
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  }</div>
|
|
1211
1213
|
</div><!-- fragment -->
|
|
1212
1214
|
</div>
|
|
1213
1215
|
</div>
|
|
@@ -1253,13 +1255,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1253
1255
|
|
|
1254
1256
|
<p>Add memory callsite chi <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
1255
1257
|
|
|
1256
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1257
|
-
<div class="fragment"><div class="line"><a name="
|
|
1258
|
-
<div class="line"><a name="
|
|
1259
|
-
<div class="line"><a name="
|
|
1260
|
-
<div class="line"><a name="
|
|
1261
|
-
<div class="line"><a name="
|
|
1262
|
-
<div class="line"><a name="
|
|
1258
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00428">428</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1259
|
+
<div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  {</div>
|
|
1260
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  ActualOUTSVFGNode* sNode = <span class="keyword">new</span> ActualOUTSVFGNode(nodeId, callsite, resVer);</div>
|
|
1261
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, <a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf">getRetICFGNode</a>(callsite->getCallSite()));</div>
|
|
1262
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  <a class="code" href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">setDef</a>(resVer,sNode);</div>
|
|
1263
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <a class="code" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a>[callsite].set(sNode->getId());</div>
|
|
1264
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  }</div>
|
|
1263
1265
|
</div><!-- fragment -->
|
|
1264
1266
|
</div>
|
|
1265
1267
|
</div>
|
|
@@ -1363,13 +1365,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1363
1365
|
</div><div class="memdoc">
|
|
1364
1366
|
<p>Used <em>only</em> for Versioned FSPTA to encode propagation of versions in the worklist (allowing for breadth-first propagation). Returns the created node. </p>
|
|
1365
1367
|
|
|
1366
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1367
|
-
<div class="fragment"><div class="line"><a name="
|
|
1368
|
-
<div class="line"><a name="
|
|
1369
|
-
<div class="line"><a name="
|
|
1370
|
-
<div class="line"><a name="
|
|
1371
|
-
<div class="line"><a name="
|
|
1372
|
-
<div class="line"><a name="
|
|
1368
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00263">263</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1369
|
+
<div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  {</div>
|
|
1370
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  DummyVersionPropSVFGNode *dvpNode = <span class="keyword">new</span> DummyVersionPropSVFGNode(<a class="code" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a>++, <span class="keywordtype">object</span>, version);</div>
|
|
1371
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="comment">// Not going through add[S]VFGNode because we have no ICFG edge.</span></div>
|
|
1372
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(dvpNode->getId(), dvpNode);</div>
|
|
1373
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  <span class="keywordflow">return</span> dvpNode;</div>
|
|
1374
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  }</div>
|
|
1373
1375
|
</div><!-- fragment -->
|
|
1374
1376
|
</div>
|
|
1375
1377
|
</div>
|
|
@@ -1415,13 +1417,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1415
1417
|
|
|
1416
1418
|
<p>Add memory Function entry chi <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
1417
1419
|
|
|
1418
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1419
|
-
<div class="fragment"><div class="line"><a name="
|
|
1420
|
-
<div class="line"><a name="
|
|
1421
|
-
<div class="line"><a name="
|
|
1422
|
-
<div class="line"><a name="
|
|
1423
|
-
<div class="line"><a name="
|
|
1424
|
-
<div class="line"><a name="
|
|
1420
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00403">403</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1421
|
+
<div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  {</div>
|
|
1422
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  FormalINSVFGNode* sNode = <span class="keyword">new</span> FormalINSVFGNode(nodeId, resVer, funEntry);</div>
|
|
1423
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, <a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">getFunEntryICFGNode</a>(funEntry->getFun()));</div>
|
|
1424
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <a class="code" href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">setDef</a>(resVer,sNode);</div>
|
|
1425
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  <a class="code" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a>[funEntry->getFun()].set(sNode->getId());</div>
|
|
1426
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  }</div>
|
|
1425
1427
|
</div><!-- fragment -->
|
|
1426
1428
|
</div>
|
|
1427
1429
|
</div>
|
|
@@ -1467,12 +1469,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1467
1469
|
|
|
1468
1470
|
<p>Add memory Function return mu <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
1469
1471
|
|
|
1470
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1471
|
-
<div class="fragment"><div class="line"><a name="
|
|
1472
|
-
<div class="line"><a name="
|
|
1473
|
-
<div class="line"><a name="
|
|
1474
|
-
<div class="line"><a name="
|
|
1475
|
-
<div class="line"><a name="
|
|
1472
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00412">412</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1473
|
+
<div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  {</div>
|
|
1474
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  FormalOUTSVFGNode* sNode = <span class="keyword">new</span> FormalOUTSVFGNode(nodeId, ver, funExit);</div>
|
|
1475
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode,<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919">getFunExitICFGNode</a>(funExit->getFun()));</div>
|
|
1476
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  <a class="code" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a>[funExit->getFun()].set(sNode->getId());</div>
|
|
1477
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  }</div>
|
|
1476
1478
|
</div><!-- fragment -->
|
|
1477
1479
|
</div>
|
|
1478
1480
|
</div>
|
|
@@ -1706,14 +1708,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1706
1708
|
|
|
1707
1709
|
<p>Add memory SSA PHI <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
1708
1710
|
|
|
1709
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1710
|
-
<div class="fragment"><div class="line"><a name="
|
|
1711
|
-
<div class="line"><a name="
|
|
1712
|
-
<div class="line"><a name="
|
|
1713
|
-
<div class="line"><a name="
|
|
1714
|
-
<div class="line"><a name="
|
|
1715
|
-
<div class="line"><a name="
|
|
1716
|
-
<div class="line"><a name="
|
|
1711
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00437">437</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1712
|
+
<div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  {</div>
|
|
1713
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  IntraMSSAPHISVFGNode* sNode = <span class="keyword">new</span> IntraMSSAPHISVFGNode(nodeId, resVer);</div>
|
|
1714
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <a class="code" href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">addSVFGNode</a>(sNode, BlockICFGNode);</div>
|
|
1715
|
+
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  <span class="keywordflow">for</span>(MemSSA::PHI::OPVers::const_iterator it = opVerBegin, eit=opVerEnd; it!=eit; ++it)</div>
|
|
1716
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  sNode->setOpVer(it->first,it->second);</div>
|
|
1717
|
+
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  <a class="code" href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">setDef</a>(resVer,sNode);</div>
|
|
1718
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  }</div>
|
|
1717
1719
|
</div><!-- fragment -->
|
|
1718
1720
|
</div>
|
|
1719
1721
|
</div>
|
|
@@ -1808,10 +1810,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1808
1810
|
|
|
1809
1811
|
<p>Add <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> edge. </p>
|
|
1810
1812
|
|
|
1811
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1812
|
-
<div class="fragment"><div class="line"><a name="
|
|
1813
|
-
<div class="line"><a name="
|
|
1814
|
-
<div class="line"><a name="
|
|
1813
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00249">249</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1814
|
+
<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  {</div>
|
|
1815
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d">addVFGEdge</a>(edge);</div>
|
|
1816
|
+
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  }</div>
|
|
1815
1817
|
</div><!-- fragment -->
|
|
1816
1818
|
</div>
|
|
1817
1819
|
</div>
|
|
@@ -1851,10 +1853,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1851
1853
|
|
|
1852
1854
|
<p>Add <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
1853
1855
|
|
|
1854
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
1855
|
-
<div class="fragment"><div class="line"><a name="
|
|
1856
|
-
<div class="line"><a name="
|
|
1857
|
-
<div class="line"><a name="
|
|
1856
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00397">397</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
1857
|
+
<div class="fragment"><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  {</div>
|
|
1858
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <a class="code" href="classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383">addVFGNode</a>(node, icfgNode);</div>
|
|
1859
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  }</div>
|
|
1858
1860
|
</div><!-- fragment -->
|
|
1859
1861
|
</div>
|
|
1860
1862
|
</div>
|
|
@@ -2094,10 +2096,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2094
2096
|
|
|
2095
2097
|
<p>Clear MSSA. </p>
|
|
2096
2098
|
|
|
2097
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2098
|
-
<div class="fragment"><div class="line"><a name="
|
|
2099
|
-
<div class="line"><a name="
|
|
2100
|
-
<div class="line"><a name="
|
|
2099
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00132">132</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2100
|
+
<div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  {</div>
|
|
2101
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <a class="code" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">mssa</a> = <span class="keyword">nullptr</span>;</div>
|
|
2102
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  }</div>
|
|
2101
2103
|
</div><!-- fragment -->
|
|
2102
2104
|
</div>
|
|
2103
2105
|
</div>
|
|
@@ -2152,12 +2154,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2152
2154
|
|
|
2153
2155
|
<p>Reimplemented in <a class="el" href="classSVF_1_1SVFGOPT.html#a624c36b40fd301d67a71952adf206e47">SVF::SVFGOPT</a>.</p>
|
|
2154
2156
|
|
|
2155
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2156
|
-
<div class="fragment"><div class="line"><a name="
|
|
2157
|
-
<div class="line"><a name="
|
|
2158
|
-
<div class="line"><a name="
|
|
2159
|
-
<div class="line"><a name="
|
|
2160
|
-
<div class="line"><a name="
|
|
2157
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00293">293</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2158
|
+
<div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div>
|
|
2159
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = <a class="code" href="classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2">addInterIndirectVFCallEdge</a>(actualIn, formalIn,csId);</div>
|
|
2160
|
+
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  <span class="keywordflow">if</span> (edge != <span class="keyword">nullptr</span>)</div>
|
|
2161
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  edges.insert(edge);</div>
|
|
2162
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  }</div>
|
|
2161
2163
|
</div><!-- fragment -->
|
|
2162
2164
|
</div>
|
|
2163
2165
|
</div>
|
|
@@ -2302,12 +2304,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2302
2304
|
|
|
2303
2305
|
<p>Reimplemented in <a class="el" href="classSVF_1_1SVFGOPT.html#ad88f85a4d5c397b3b6896608ba035bd3">SVF::SVFGOPT</a>.</p>
|
|
2304
2306
|
|
|
2305
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2306
|
-
<div class="fragment"><div class="line"><a name="
|
|
2307
|
-
<div class="line"><a name="
|
|
2308
|
-
<div class="line"><a name="
|
|
2309
|
-
<div class="line"><a name="
|
|
2310
|
-
<div class="line"><a name="
|
|
2307
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00300">300</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2308
|
+
<div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  {</div>
|
|
2309
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = <a class="code" href="classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9">addInterIndirectVFRetEdge</a>(formalOut, actualOut,csId);</div>
|
|
2310
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">if</span> (edge != <span class="keyword">nullptr</span>)</div>
|
|
2311
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  edges.insert(edge);</div>
|
|
2312
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  }</div>
|
|
2311
2313
|
</div><!-- fragment -->
|
|
2312
2314
|
</div>
|
|
2313
2315
|
</div>
|
|
@@ -2591,10 +2593,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2591
2593
|
|
|
2592
2594
|
<p>Get SVFGNode set. </p>
|
|
2593
2595
|
|
|
2594
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2595
|
-
<div class="fragment"><div class="line"><a name="
|
|
2596
|
-
<div class="line"><a name="
|
|
2597
|
-
<div class="line"><a name="
|
|
2596
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00210">210</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2597
|
+
<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  {</div>
|
|
2598
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a>[cs];</div>
|
|
2599
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  }</div>
|
|
2598
2600
|
</div><!-- fragment -->
|
|
2599
2601
|
</div>
|
|
2600
2602
|
</div>
|
|
@@ -2622,10 +2624,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2622
2624
|
</table>
|
|
2623
2625
|
</div><div class="memdoc">
|
|
2624
2626
|
|
|
2625
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2626
|
-
<div class="fragment"><div class="line"><a name="
|
|
2627
|
-
<div class="line"><a name="
|
|
2628
|
-
<div class="line"><a name="
|
|
2627
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00215">215</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2628
|
+
<div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  {</div>
|
|
2629
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a>[cs];</div>
|
|
2630
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  }</div>
|
|
2629
2631
|
</div><!-- fragment -->
|
|
2630
2632
|
</div>
|
|
2631
2633
|
</div>
|
|
@@ -2653,12 +2655,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2653
2655
|
</table>
|
|
2654
2656
|
</div><div class="memdoc">
|
|
2655
2657
|
|
|
2656
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2657
|
-
<div class="fragment"><div class="line"><a name="
|
|
2658
|
-
<div class="line"><a name="
|
|
2659
|
-
<div class="line"><a name="
|
|
2660
|
-
<div class="line"><a name="
|
|
2661
|
-
<div class="line"><a name="
|
|
2658
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00381">381</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2659
|
+
<div class="fragment"><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  {</div>
|
|
2660
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  MSSAVarToDefMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a>.find(mvar);</div>
|
|
2661
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  assert(it!=<a class="code" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a>.end() && <span class="stringliteral">"memory SSA does not have a definition??"</span>);</div>
|
|
2662
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
2663
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  }</div>
|
|
2662
2664
|
</div><!-- fragment -->
|
|
2663
2665
|
</div>
|
|
2664
2666
|
</div>
|
|
@@ -2686,10 +2688,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2686
2688
|
</table>
|
|
2687
2689
|
</div><div class="memdoc">
|
|
2688
2690
|
|
|
2689
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2690
|
-
<div class="fragment"><div class="line"><a name="
|
|
2691
|
-
<div class="line"><a name="
|
|
2692
|
-
<div class="line"><a name="
|
|
2691
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00356">356</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2692
|
+
<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  {</div>
|
|
2693
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFG.html#a7343f970332391634f79b2023bba6650">VFG::getDef</a>(pagNode);</div>
|
|
2694
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  }</div>
|
|
2693
2695
|
</div><!-- fragment -->
|
|
2694
2696
|
</div>
|
|
2695
2697
|
</div>
|
|
@@ -2719,10 +2721,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2719
2721
|
|
|
2720
2722
|
<p>Given a pagNode, return its definition site. </p>
|
|
2721
2723
|
|
|
2722
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2723
|
-
<div class="fragment"><div class="line"><a name="
|
|
2724
|
-
<div class="line"><a name="
|
|
2725
|
-
<div class="line"><a name="
|
|
2724
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00171">171</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2725
|
+
<div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  {</div>
|
|
2726
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(pagNode));</div>
|
|
2727
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  }</div>
|
|
2726
2728
|
</div><!-- fragment -->
|
|
2727
2729
|
</div>
|
|
2728
2730
|
</div>
|
|
@@ -2750,10 +2752,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2750
2752
|
</table>
|
|
2751
2753
|
</div><div class="memdoc">
|
|
2752
2754
|
|
|
2753
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2754
|
-
<div class="fragment"><div class="line"><a name="
|
|
2755
|
-
<div class="line"><a name="
|
|
2756
|
-
<div class="line"><a name="
|
|
2755
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00220">220</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2756
|
+
<div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  {</div>
|
|
2757
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a>[fun];</div>
|
|
2758
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  }</div>
|
|
2757
2759
|
</div><!-- fragment -->
|
|
2758
2760
|
</div>
|
|
2759
2761
|
</div>
|
|
@@ -2781,10 +2783,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2781
2783
|
</table>
|
|
2782
2784
|
</div><div class="memdoc">
|
|
2783
2785
|
|
|
2784
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2785
|
-
<div class="fragment"><div class="line"><a name="
|
|
2786
|
-
<div class="line"><a name="
|
|
2787
|
-
<div class="line"><a name="
|
|
2786
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00225">225</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2787
|
+
<div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  {</div>
|
|
2788
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a>[fun];</div>
|
|
2789
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  }</div>
|
|
2788
2790
|
</div><!-- fragment -->
|
|
2789
2791
|
</div>
|
|
2790
2792
|
</div>
|
|
@@ -2828,15 +2830,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2828
2830
|
</table>
|
|
2829
2831
|
</div><div class="memdoc">
|
|
2830
2832
|
|
|
2831
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2832
|
-
<div class="fragment"><div class="line"><a name="
|
|
2833
|
-
<div class="line"><a name="
|
|
2834
|
-
<div class="line"><a name="
|
|
2835
|
-
<div class="line"><a name="
|
|
2836
|
-
<div class="line"><a name="
|
|
2837
|
-
<div class="line"><a name="
|
|
2838
|
-
<div class="line"><a name="
|
|
2839
|
-
<div class="line"><a name="
|
|
2833
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00328">328</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2834
|
+
<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  {</div>
|
|
2835
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> outIt = actualIn->OutEdgeBegin(), outEit = actualIn->OutEdgeEnd(); outIt != outEit; ++outIt)</div>
|
|
2836
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  {</div>
|
|
2837
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = *outIt;</div>
|
|
2838
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keywordflow">if</span> (edge->getDstNode()->getFun() == callee)</div>
|
|
2839
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  edges.insert(edge);</div>
|
|
2840
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  }</div>
|
|
2841
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  }</div>
|
|
2840
2842
|
</div><!-- fragment -->
|
|
2841
2843
|
</div>
|
|
2842
2844
|
</div>
|
|
@@ -2894,14 +2896,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2894
2896
|
|
|
2895
2897
|
<p>Get inter value flow edges between indirect call site and callee. </p>
|
|
2896
2898
|
|
|
2897
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2898
|
-
<div class="fragment"><div class="line"><a name="
|
|
2899
|
-
<div class="line"><a name="
|
|
2900
|
-
<div class="line"><a name="
|
|
2901
|
-
<div class="line"><a name="
|
|
2902
|
-
<div class="line"><a name="
|
|
2903
|
-
<div class="line"><a name="
|
|
2904
|
-
<div class="line"><a name="
|
|
2899
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00310">310</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2900
|
+
<div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  {</div>
|
|
2901
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <a class="code" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a>* actualParam = <a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(cs_arg));</div>
|
|
2902
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <a class="code" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a>* formalParam = <a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(fun_arg));</div>
|
|
2903
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = <a class="code" href="classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9">hasInterVFGEdge</a>(actualParam, formalParam, <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a">SVFGEdge::CallDirVF</a>, csId);</div>
|
|
2904
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  assert(edge != <span class="keyword">nullptr</span> && <span class="stringliteral">"Can not find inter value flow edge from aparam to fparam"</span>);</div>
|
|
2905
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  edges.insert(edge);</div>
|
|
2906
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  }</div>
|
|
2905
2907
|
</div><!-- fragment -->
|
|
2906
2908
|
</div>
|
|
2907
2909
|
</div>
|
|
@@ -2945,15 +2947,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2945
2947
|
</table>
|
|
2946
2948
|
</div><div class="memdoc">
|
|
2947
2949
|
|
|
2948
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
2949
|
-
<div class="fragment"><div class="line"><a name="
|
|
2950
|
-
<div class="line"><a name="
|
|
2951
|
-
<div class="line"><a name="
|
|
2952
|
-
<div class="line"><a name="
|
|
2953
|
-
<div class="line"><a name="
|
|
2954
|
-
<div class="line"><a name="
|
|
2955
|
-
<div class="line"><a name="
|
|
2956
|
-
<div class="line"><a name="
|
|
2950
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00338">338</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
2951
|
+
<div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  {</div>
|
|
2952
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> inIt = actualOut->InEdgeBegin(), inEit = actualOut->InEdgeEnd(); inIt != inEit; ++inIt)</div>
|
|
2953
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  {</div>
|
|
2954
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = *inIt;</div>
|
|
2955
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">if</span> (edge->getSrcNode()->getFun() == callee)</div>
|
|
2956
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  edges.insert(edge);</div>
|
|
2957
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  }</div>
|
|
2958
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  }</div>
|
|
2957
2959
|
</div><!-- fragment -->
|
|
2958
2960
|
</div>
|
|
2959
2961
|
</div>
|
|
@@ -3003,14 +3005,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3003
3005
|
</table>
|
|
3004
3006
|
</div><div class="memdoc">
|
|
3005
3007
|
|
|
3006
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3007
|
-
<div class="fragment"><div class="line"><a name="
|
|
3008
|
-
<div class="line"><a name="
|
|
3009
|
-
<div class="line"><a name="
|
|
3010
|
-
<div class="line"><a name="
|
|
3011
|
-
<div class="line"><a name="
|
|
3012
|
-
<div class="line"><a name="
|
|
3013
|
-
<div class="line"><a name="
|
|
3008
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00319">319</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3009
|
+
<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  {</div>
|
|
3010
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <a class="code" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a>* formalRet = <a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(fun_ret));</div>
|
|
3011
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <a class="code" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a>* actualRet = <a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(cs_ret));</div>
|
|
3012
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = <a class="code" href="classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9">hasInterVFGEdge</a>(formalRet, actualRet, <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">SVFGEdge::RetDirVF</a>, csId);</div>
|
|
3013
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  assert(edge != <span class="keyword">nullptr</span> && <span class="stringliteral">"Can not find inter value flow edge from fret to aret"</span>);</div>
|
|
3014
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  edges.insert(edge);</div>
|
|
3015
|
+
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  }</div>
|
|
3014
3016
|
</div><!-- fragment -->
|
|
3015
3017
|
</div>
|
|
3016
3018
|
</div>
|
|
@@ -3223,10 +3225,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3223
3225
|
|
|
3224
3226
|
<p>Get <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> memory SSA. </p>
|
|
3225
3227
|
|
|
3226
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3227
|
-
<div class="fragment"><div class="line"><a name="
|
|
3228
|
-
<div class="line"><a name="
|
|
3229
|
-
<div class="line"><a name="
|
|
3228
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00138">138</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3229
|
+
<div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div>
|
|
3230
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">mssa</a>.get();</div>
|
|
3231
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  }</div>
|
|
3230
3232
|
</div><!-- fragment -->
|
|
3231
3233
|
</div>
|
|
3232
3234
|
</div>
|
|
@@ -3255,10 +3257,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3255
3257
|
|
|
3256
3258
|
<p>Get Pointer Analysis. </p>
|
|
3257
3259
|
|
|
3258
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3259
|
-
<div class="fragment"><div class="line"><a name="
|
|
3260
|
-
<div class="line"><a name="
|
|
3261
|
-
<div class="line"><a name="
|
|
3260
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00144">144</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3261
|
+
<div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  {</div>
|
|
3262
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">pta</a>;</div>
|
|
3263
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  }</div>
|
|
3262
3264
|
</div><!-- fragment -->
|
|
3263
3265
|
</div>
|
|
3264
3266
|
</div>
|
|
@@ -3287,10 +3289,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3287
3289
|
|
|
3288
3290
|
<p>Return statistics. </p>
|
|
3289
3291
|
|
|
3290
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3291
|
-
<div class="fragment"><div class="line"><a name="
|
|
3292
|
-
<div class="line"><a name="
|
|
3293
|
-
<div class="line"><a name="
|
|
3292
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00126">126</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3293
|
+
<div class="fragment"><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  {</div>
|
|
3294
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">stat</a>;</div>
|
|
3295
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  }</div>
|
|
3294
3296
|
</div><!-- fragment -->
|
|
3295
3297
|
</div>
|
|
3296
3298
|
</div>
|
|
@@ -3320,10 +3322,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3320
3322
|
|
|
3321
3323
|
<p>Get a <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node. </p>
|
|
3322
3324
|
|
|
3323
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3324
|
-
<div class="fragment"><div class="line"><a name="
|
|
3325
|
-
<div class="line"><a name="
|
|
3326
|
-
<div class="line"><a name="
|
|
3325
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00150">150</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3326
|
+
<div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  {</div>
|
|
3327
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc">getVFGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
3328
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  }</div>
|
|
3327
3329
|
</div><!-- fragment -->
|
|
3328
3330
|
</div>
|
|
3329
3331
|
</div>
|
|
@@ -3352,10 +3354,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3352
3354
|
|
|
3353
3355
|
<p>Return total <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node number. </p>
|
|
3354
3356
|
|
|
3355
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3356
|
-
<div class="fragment"><div class="line"><a name="
|
|
3357
|
-
<div class="line"><a name="
|
|
3358
|
-
<div class="line"><a name="
|
|
3357
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00255">255</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3358
|
+
<div class="fragment"><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  {</div>
|
|
3359
|
+
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a>;</div>
|
|
3360
|
+
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  }</div>
|
|
3359
3361
|
</div><!-- fragment -->
|
|
3360
3362
|
</div>
|
|
3361
3363
|
</div>
|
|
@@ -3385,10 +3387,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3385
3387
|
|
|
3386
3388
|
<p>Has a SVFGNode. </p>
|
|
3387
3389
|
|
|
3388
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3389
|
-
<div class="fragment"><div class="line"><a name="
|
|
3390
|
-
<div class="line"><a name="
|
|
3391
|
-
<div class="line"><a name="
|
|
3390
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00187">187</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3391
|
+
<div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  {</div>
|
|
3392
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a>.find(cs)!=<a class="code" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a>.end();</div>
|
|
3393
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  }</div>
|
|
3392
3394
|
</div><!-- fragment -->
|
|
3393
3395
|
</div>
|
|
3394
3396
|
</div>
|
|
@@ -3416,10 +3418,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3416
3418
|
</table>
|
|
3417
3419
|
</div><div class="memdoc">
|
|
3418
3420
|
|
|
3419
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3420
|
-
<div class="fragment"><div class="line"><a name="
|
|
3421
|
-
<div class="line"><a name="
|
|
3422
|
-
<div class="line"><a name="
|
|
3421
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00192">192</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3422
|
+
<div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  {</div>
|
|
3423
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a>.find(cs)!=<a class="code" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a>.end();</div>
|
|
3424
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  }</div>
|
|
3423
3425
|
</div><!-- fragment -->
|
|
3424
3426
|
</div>
|
|
3425
3427
|
</div>
|
|
@@ -3447,10 +3449,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3447
3449
|
</table>
|
|
3448
3450
|
</div><div class="memdoc">
|
|
3449
3451
|
|
|
3450
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3451
|
-
<div class="fragment"><div class="line"><a name="
|
|
3452
|
-
<div class="line"><a name="
|
|
3453
|
-
<div class="line"><a name="
|
|
3452
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00457">457</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3453
|
+
<div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  {</div>
|
|
3454
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a>.find(cs) != <a class="code" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a>.end());</div>
|
|
3455
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  }</div>
|
|
3454
3456
|
</div><!-- fragment -->
|
|
3455
3457
|
</div>
|
|
3456
3458
|
</div>
|
|
@@ -3478,10 +3480,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3478
3480
|
</table>
|
|
3479
3481
|
</div><div class="memdoc">
|
|
3480
3482
|
|
|
3481
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3482
|
-
<div class="fragment"><div class="line"><a name="
|
|
3483
|
-
<div class="line"><a name="
|
|
3484
|
-
<div class="line"><a name="
|
|
3483
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00461">461</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3484
|
+
<div class="fragment"><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  {</div>
|
|
3485
|
+
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a>.find(cs) != <a class="code" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">callSiteToActualINMap</a>.end());</div>
|
|
3486
|
+
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span>  }</div>
|
|
3485
3487
|
</div><!-- fragment -->
|
|
3486
3488
|
</div>
|
|
3487
3489
|
</div>
|
|
@@ -3509,10 +3511,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3509
3511
|
</table>
|
|
3510
3512
|
</div><div class="memdoc">
|
|
3511
3513
|
|
|
3512
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3513
|
-
<div class="fragment"><div class="line"><a name="
|
|
3514
|
-
<div class="line"><a name="
|
|
3515
|
-
<div class="line"><a name="
|
|
3514
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00360">360</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3515
|
+
<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  {</div>
|
|
3516
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4">VFG::hasDef</a>(pagNode);</div>
|
|
3517
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  }</div>
|
|
3516
3518
|
</div><!-- fragment -->
|
|
3517
3519
|
</div>
|
|
3518
3520
|
</div>
|
|
@@ -3542,10 +3544,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3542
3544
|
|
|
3543
3545
|
<p>Given a pagNode, return whether it has definition site. </p>
|
|
3544
3546
|
|
|
3545
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3546
|
-
<div class="fragment"><div class="line"><a name="
|
|
3547
|
-
<div class="line"><a name="
|
|
3548
|
-
<div class="line"><a name="
|
|
3547
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00177">177</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3548
|
+
<div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  {</div>
|
|
3549
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190">hasDef</a>(pagNode) && <a class="code" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">hasSVFGNode</a>(<a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(pagNode));</div>
|
|
3550
|
+
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  }</div>
|
|
3549
3551
|
</div><!-- fragment -->
|
|
3550
3552
|
</div>
|
|
3551
3553
|
</div>
|
|
@@ -3573,10 +3575,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3573
3575
|
</table>
|
|
3574
3576
|
</div><div class="memdoc">
|
|
3575
3577
|
|
|
3576
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3577
|
-
<div class="fragment"><div class="line"><a name="
|
|
3578
|
-
<div class="line"><a name="
|
|
3579
|
-
<div class="line"><a name="
|
|
3578
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00197">197</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3579
|
+
<div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  {</div>
|
|
3580
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a>.find(fun)!=<a class="code" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a>.end();</div>
|
|
3581
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  }</div>
|
|
3580
3582
|
</div><!-- fragment -->
|
|
3581
3583
|
</div>
|
|
3582
3584
|
</div>
|
|
@@ -3604,10 +3606,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3604
3606
|
</table>
|
|
3605
3607
|
</div><div class="memdoc">
|
|
3606
3608
|
|
|
3607
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3608
|
-
<div class="fragment"><div class="line"><a name="
|
|
3609
|
-
<div class="line"><a name="
|
|
3610
|
-
<div class="line"><a name="
|
|
3609
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00202">202</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3610
|
+
<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  {</div>
|
|
3611
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a>.find(fun)!=<a class="code" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a>.end();</div>
|
|
3612
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  }</div>
|
|
3611
3613
|
</div><!-- fragment -->
|
|
3612
3614
|
</div>
|
|
3613
3615
|
</div>
|
|
@@ -3637,10 +3639,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3637
3639
|
|
|
3638
3640
|
<p>Has function for EntryCHI/RetMU/CallCHI/CallMU. </p>
|
|
3639
3641
|
|
|
3640
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3641
|
-
<div class="fragment"><div class="line"><a name="
|
|
3642
|
-
<div class="line"><a name="
|
|
3643
|
-
<div class="line"><a name="
|
|
3642
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00449">449</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3643
|
+
<div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  {</div>
|
|
3644
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a>.find(func) != <a class="code" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a>.end());</div>
|
|
3645
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  }</div>
|
|
3644
3646
|
</div><!-- fragment -->
|
|
3645
3647
|
</div>
|
|
3646
3648
|
</div>
|
|
@@ -3668,10 +3670,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3668
3670
|
</table>
|
|
3669
3671
|
</div><div class="memdoc">
|
|
3670
3672
|
|
|
3671
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3672
|
-
<div class="fragment"><div class="line"><a name="
|
|
3673
|
-
<div class="line"><a name="
|
|
3674
|
-
<div class="line"><a name="
|
|
3673
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00453">453</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3674
|
+
<div class="fragment"><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  {</div>
|
|
3675
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a>.find(func) != <a class="code" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a>.end());</div>
|
|
3676
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  }</div>
|
|
3675
3677
|
</div><!-- fragment -->
|
|
3676
3678
|
</div>
|
|
3677
3679
|
</div>
|
|
@@ -3701,10 +3703,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
3701
3703
|
|
|
3702
3704
|
<p>Whether has the SVFGNode. </p>
|
|
3703
3705
|
|
|
3704
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
3705
|
-
<div class="fragment"><div class="line"><a name="
|
|
3706
|
-
<div class="line"><a name="
|
|
3707
|
-
<div class="line"><a name="
|
|
3706
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00156">156</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
3707
|
+
<div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  {</div>
|
|
3708
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1">hasVFGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
3709
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  }</div>
|
|
3708
3710
|
</div><!-- fragment -->
|
|
3709
3711
|
</div>
|
|
3710
3712
|
</div>
|
|
@@ -4097,10 +4099,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4097
4099
|
|
|
4098
4100
|
<p>Remove a <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> edge. </p>
|
|
4099
4101
|
|
|
4100
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4101
|
-
<div class="fragment"><div class="line"><a name="
|
|
4102
|
-
<div class="line"><a name="
|
|
4103
|
-
<div class="line"><a name="
|
|
4102
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00238">238</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4103
|
+
<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  {</div>
|
|
4104
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <a class="code" href="classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a">removeVFGEdge</a>(edge);</div>
|
|
4105
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  }</div>
|
|
4104
4106
|
</div><!-- fragment -->
|
|
4105
4107
|
</div>
|
|
4106
4108
|
</div>
|
|
@@ -4130,10 +4132,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4130
4132
|
|
|
4131
4133
|
<p>Remove a SVFGNode. </p>
|
|
4132
4134
|
|
|
4133
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4134
|
-
<div class="fragment"><div class="line"><a name="
|
|
4135
|
-
<div class="line"><a name="
|
|
4136
|
-
<div class="line"><a name="
|
|
4135
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00243">243</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4136
|
+
<div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  {</div>
|
|
4137
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <a class="code" href="classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e">removeVFGNode</a>(node);</div>
|
|
4138
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  }</div>
|
|
4137
4139
|
</div><!-- fragment -->
|
|
4138
4140
|
</div>
|
|
4139
4141
|
</div>
|
|
@@ -4173,19 +4175,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4173
4175
|
|
|
4174
4176
|
<p>Given a MSSADef, set/get its def <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node (definition of address-taken variables) </p>
|
|
4175
4177
|
|
|
4176
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4177
|
-
<div class="fragment"><div class="line"><a name="
|
|
4178
|
-
<div class="line"><a name="
|
|
4179
|
-
<div class="line"><a name="
|
|
4180
|
-
<div class="line"><a name="
|
|
4181
|
-
<div class="line"><a name="
|
|
4182
|
-
<div class="line"><a name="
|
|
4183
|
-
<div class="line"><a name="
|
|
4184
|
-
<div class="line"><a name="
|
|
4185
|
-
<div class="line"><a name="
|
|
4186
|
-
<div class="line"><a name="
|
|
4187
|
-
<div class="line"><a name="
|
|
4188
|
-
<div class="line"><a name="
|
|
4178
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00368">368</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4179
|
+
<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  {</div>
|
|
4180
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  MSSAVarToDefMapTy::iterator it = <a class="code" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a>.find(mvar);</div>
|
|
4181
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <span class="keywordflow">if</span>(it==<a class="code" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a>.end())</div>
|
|
4182
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  {</div>
|
|
4183
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <a class="code" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a>[mvar] = node->getId();</div>
|
|
4184
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  assert(<a class="code" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">hasSVFGNode</a>(node->getId()) && <span class="stringliteral">"not in the map!!"</span>);</div>
|
|
4185
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  }</div>
|
|
4186
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">else</span></div>
|
|
4187
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  {</div>
|
|
4188
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  assert((it->second == node->getId()) && <span class="stringliteral">"a SVFIR node can only have unique definition "</span>);</div>
|
|
4189
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  }</div>
|
|
4190
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  }</div>
|
|
4189
4191
|
</div><!-- fragment -->
|
|
4190
4192
|
</div>
|
|
4191
4193
|
</div>
|
|
@@ -4225,10 +4227,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4225
4227
|
|
|
4226
4228
|
<p>Given a PAGNode, set/get its def <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node (definition of top level pointers) </p>
|
|
4227
4229
|
|
|
4228
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4229
|
-
<div class="fragment"><div class="line"><a name="
|
|
4230
|
-
<div class="line"><a name="
|
|
4231
|
-
<div class="line"><a name="
|
|
4230
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00352">352</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4231
|
+
<div class="fragment"><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  {</div>
|
|
4232
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  <a class="code" href="classSVF_1_1VFG.html#a1e0b8c7df55e05739775e8a1c50cf660">VFG::setDef</a>(pagNode, node);</div>
|
|
4233
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  }</div>
|
|
4232
4234
|
</div><!-- fragment -->
|
|
4233
4235
|
</div>
|
|
4234
4236
|
</div>
|
|
@@ -4419,6 +4421,30 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4419
4421
|
</div>
|
|
4420
4422
|
</div>
|
|
4421
4423
|
<h2 class="groupheader">Friends And Related Function Documentation</h2>
|
|
4424
|
+
<a id="a17841bd17e7595f8feef1002b26ff188"></a>
|
|
4425
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a17841bd17e7595f8feef1002b26ff188">◆ </a></span>CFLSVFGBuilder</h2>
|
|
4426
|
+
|
|
4427
|
+
<div class="memitem">
|
|
4428
|
+
<div class="memproto">
|
|
4429
|
+
<table class="mlabels">
|
|
4430
|
+
<tr>
|
|
4431
|
+
<td class="mlabels-left">
|
|
4432
|
+
<table class="memname">
|
|
4433
|
+
<tr>
|
|
4434
|
+
<td class="memname">friend class <a class="el" href="classSVF_1_1CFLSVFGBuilder.html">CFLSVFGBuilder</a></td>
|
|
4435
|
+
</tr>
|
|
4436
|
+
</table>
|
|
4437
|
+
</td>
|
|
4438
|
+
<td class="mlabels-right">
|
|
4439
|
+
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
|
|
4440
|
+
</tr>
|
|
4441
|
+
</table>
|
|
4442
|
+
</div><div class="memdoc">
|
|
4443
|
+
|
|
4444
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00069">69</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4445
|
+
|
|
4446
|
+
</div>
|
|
4447
|
+
</div>
|
|
4422
4448
|
<a id="a9ccd530dc4c49b0df372a2ce95b66921"></a>
|
|
4423
4449
|
<h2 class="memtitle"><span class="permalink"><a href="#a9ccd530dc4c49b0df372a2ce95b66921">◆ </a></span>DDASVFGBuilder</h2>
|
|
4424
4450
|
|
|
@@ -4439,7 +4465,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4439
4465
|
</table>
|
|
4440
4466
|
</div><div class="memdoc">
|
|
4441
4467
|
|
|
4442
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4468
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00071">71</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4443
4469
|
|
|
4444
4470
|
</div>
|
|
4445
4471
|
</div>
|
|
@@ -4463,7 +4489,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4463
4489
|
</table>
|
|
4464
4490
|
</div><div class="memdoc">
|
|
4465
4491
|
|
|
4466
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4492
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00072">72</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4467
4493
|
|
|
4468
4494
|
</div>
|
|
4469
4495
|
</div>
|
|
@@ -4487,7 +4513,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4487
4513
|
</table>
|
|
4488
4514
|
</div><div class="memdoc">
|
|
4489
4515
|
|
|
4490
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4516
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00073">73</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4491
4517
|
|
|
4492
4518
|
</div>
|
|
4493
4519
|
</div>
|
|
@@ -4559,7 +4585,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4559
4585
|
</table>
|
|
4560
4586
|
</div><div class="memdoc">
|
|
4561
4587
|
|
|
4562
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4588
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00070">70</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4563
4589
|
|
|
4564
4590
|
</div>
|
|
4565
4591
|
</div>
|
|
@@ -4584,7 +4610,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4584
4610
|
</table>
|
|
4585
4611
|
</div><div class="memdoc">
|
|
4586
4612
|
|
|
4587
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4613
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00101">101</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4588
4614
|
|
|
4589
4615
|
</div>
|
|
4590
4616
|
</div>
|
|
@@ -4608,7 +4634,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4608
4634
|
</table>
|
|
4609
4635
|
</div><div class="memdoc">
|
|
4610
4636
|
|
|
4611
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4637
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00102">102</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4612
4638
|
|
|
4613
4639
|
</div>
|
|
4614
4640
|
</div>
|
|
@@ -4632,7 +4658,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4632
4658
|
</table>
|
|
4633
4659
|
</div><div class="memdoc">
|
|
4634
4660
|
|
|
4635
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4661
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00103">103</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4636
4662
|
|
|
4637
4663
|
</div>
|
|
4638
4664
|
</div>
|
|
@@ -4656,7 +4682,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4656
4682
|
</table>
|
|
4657
4683
|
</div><div class="memdoc">
|
|
4658
4684
|
|
|
4659
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4685
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00104">104</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4660
4686
|
|
|
4661
4687
|
</div>
|
|
4662
4688
|
</div>
|
|
@@ -4680,7 +4706,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4680
4706
|
</table>
|
|
4681
4707
|
</div><div class="memdoc">
|
|
4682
4708
|
|
|
4683
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4709
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00106">106</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4684
4710
|
|
|
4685
4711
|
</div>
|
|
4686
4712
|
</div>
|
|
@@ -4706,7 +4732,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4706
4732
|
|
|
4707
4733
|
<p>map a memory SSA operator to its definition <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> node </p>
|
|
4708
4734
|
|
|
4709
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4735
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00100">100</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4710
4736
|
|
|
4711
4737
|
</div>
|
|
4712
4738
|
</div>
|
|
@@ -4730,7 +4756,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4730
4756
|
</table>
|
|
4731
4757
|
</div><div class="memdoc">
|
|
4732
4758
|
|
|
4733
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4759
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00107">107</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4734
4760
|
|
|
4735
4761
|
</div>
|
|
4736
4762
|
</div>
|
|
@@ -4754,7 +4780,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4754
4780
|
</table>
|
|
4755
4781
|
</div><div class="memdoc">
|
|
4756
4782
|
|
|
4757
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#
|
|
4783
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00105">105</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
|
|
4758
4784
|
|
|
4759
4785
|
</div>
|
|
4760
4786
|
</div>
|
|
@@ -4767,30 +4793,30 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4767
4793
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a16756e0545fd3d50ab89f45a2e83bb79"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">SVF::SparseBitVector::intersects</a></div><div class="ttdeci">bool intersects(const SparseBitVector< ElementSize > *RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01031">SparseBitVector.h:1031</a></div></div>
|
|
4768
4794
|
<div class="ttc" id="aclassSVF_1_1MSSAPHI_html_a2a49ad9d2eedf1dea98d725b13878d88"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88">SVF::MSSAPHI::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00677">MSSAMuChi.h:677</a></div></div>
|
|
4769
4795
|
<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7bde256bc906af7f7204929019f4a33e"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">SVF::SVFBasicBlock::front</a></div><div class="ttdeci">const SVFInstruction * front() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00593">SVFValue.h:593</a></div></div>
|
|
4770
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ac9ab2a95cd7a09bbe4b4aa3e6fafaf62"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG::connectAInAndFIn</a></div><div class="ttdeci">virtual void connectAInAndFIn(const ActualINSVFGNode *actualIn, const FormalINSVFGNode *formalIn, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call site.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4796
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ac9ab2a95cd7a09bbe4b4aa3e6fafaf62"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG::connectAInAndFIn</a></div><div class="ttdeci">virtual void connectAInAndFIn(const ActualINSVFGNode *actualIn, const FormalINSVFGNode *formalIn, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call site.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00293">SVFG.h:293</a></div></div>
|
|
4771
4797
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a2e182f7e90a3519a2147a300470a88f1"><div class="ttname"><a href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">SVF::VFG::getPAGEdgeSet</a></div><div class="ttdeci">virtual SVFStmt::SVFStmtSetTy & getPAGEdgeSet(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get PAGEdge set.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00436">VFG.h:436</a></div></div>
|
|
4772
4798
|
<div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html_a89cb274936513df411a75fb33a86702f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Callsite.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00244">SVFGNode.h:244</a></div></div>
|
|
4773
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a88e1f6f77421c5274ceeb14928bdcb43"><div class="ttname"><a href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">SVF::SVFG::addSVFGNode</a></div><div class="ttdeci">virtual void addSVFGNode(SVFGNode *node, ICFGNode *icfgNode)</div><div class="ttdoc">Add SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4799
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a88e1f6f77421c5274ceeb14928bdcb43"><div class="ttname"><a href="classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43">SVF::SVFG::addSVFGNode</a></div><div class="ttdeci">virtual void addSVFGNode(SVFGNode *node, ICFGNode *icfgNode)</div><div class="ttdoc">Add SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00397">SVFG.h:397</a></div></div>
|
|
4774
4800
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a2bdfa37167b5496629e5cae62705d5f2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt::PAGEdgeSetTy</a></div><div class="ttdeci">SVFStmtSetTy PAGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00220">SVFStatements.h:220</a></div></div>
|
|
4775
4801
|
<div class="ttc" id="aclassSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
|
|
4776
4802
|
<div class="ttc" id="aclassSVF_1_1MSSAPHISVFGNode_html"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00276">SVFGNode.h:276</a></div></div>
|
|
4777
4803
|
<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>
|
|
4778
4804
|
<div class="ttc" id="acJSON_8cpp_html_a2599f74bdbbc1b3fd1ba8db3789a0be7"><div class="ttname"><a href="cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7">next</a></div><div class="ttdeci">item next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02224">cJSON.cpp:2224</a></div></div>
|
|
4779
4805
|
<div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
|
|
4780
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a8859409373454b6b3d1252776e169cf5"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">SVF::SVFG::FormalINSVFGNodeSet</a></div><div class="ttdeci">NodeBS FormalINSVFGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4806
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a8859409373454b6b3d1252776e169cf5"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">SVF::SVFG::FormalINSVFGNodeSet</a></div><div class="ttdeci">NodeBS FormalINSVFGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00081">SVFG.h:81</a></div></div>
|
|
4781
4807
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a5921483cd5e1bf77b1b2bc8fb3250612"><div class="ttname"><a href="classSVF_1_1SVFG.html#a5921483cd5e1bf77b1b2bc8fb3250612">SVF::SVFG::connectFromGlobalToProgEntry</a></div><div class="ttdeci">void connectFromGlobalToProgEntry()</div><div class="ttdoc">Connect indirect SVFG edges from global initializers (store) to main function entry.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00424">SVFG.cpp:424</a></div></div>
|
|
4782
4808
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a30eb9d717ad5bc8a9109a7bdef38f4a1"><div class="ttname"><a href="classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1">SVF::VFG::hasVFGNode</a></div><div class="ttdeci">bool hasVFGNode(NodeID id) const</div><div class="ttdoc">Whether has the VFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00151">VFG.h:151</a></div></div>
|
|
4783
4809
|
<div class="ttc" id="aclassSVF_1_1CallICFGNode_html_a90fd0b8e44fba1a7eb76d15bce085d66"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">SVF::CallICFGNode::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00409">ICFGNode.h:409</a></div></div>
|
|
4784
4810
|
<div class="ttc" id="anamespaceSVF_html_aa4745cf70b26e17d59752356f0b19dd9"><div class="ttname"><a href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVF::SVFGEdge</a></div><div class="ttdeci">VFGEdge SVFGEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00040">SVFG.h:40</a></div></div>
|
|
4785
4811
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ab5b63b4f6317bfb5875f2b977bcf26a4"><div class="ttname"><a href="classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4">SVF::VFG::hasDef</a></div><div class="ttdeci">bool hasDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00426">VFG.h:426</a></div></div>
|
|
4786
4812
|
<div class="ttc" id="aclassSVF_1_1FormalOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html">SVF::FormalOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00138">SVFGNode.h:138</a></div></div>
|
|
4787
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7ace06b6c893b31f7dec2abe54e33e11"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">SVF::SVFG::getSVFGNode</a></div><div class="ttdeci">SVFGNode * getSVFGNode(NodeID id) const</div><div class="ttdoc">Get a SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4813
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7ace06b6c893b31f7dec2abe54e33e11"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">SVF::SVFG::getSVFGNode</a></div><div class="ttdeci">SVFGNode * getSVFGNode(NodeID id) const</div><div class="ttdoc">Get a SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00150">SVFG.h:150</a></div></div>
|
|
4788
4814
|
<div class="ttc" id="aclassSVF_1_1ActualRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00967">VFGNode.h:967</a></div></div>
|
|
4789
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_aeba803e60699f9d9422596d161d44241"><div class="ttname"><a href="classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241">SVF::SVFG::clearMSSA</a></div><div class="ttdeci">void clearMSSA()</div><div class="ttdoc">Clear MSSA.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4790
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_aafa1b445bd3578daaba8f82e517745f1"><div class="ttname"><a href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">SVF::SVFG::MSSAVarToDefMap</a></div><div class="ttdeci">MSSAVarToDefMapTy MSSAVarToDefMap</div><div class="ttdoc">map a memory SSA operator to its definition SVFG node</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4815
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_aeba803e60699f9d9422596d161d44241"><div class="ttname"><a href="classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241">SVF::SVFG::clearMSSA</a></div><div class="ttdeci">void clearMSSA()</div><div class="ttdoc">Clear MSSA.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00132">SVFG.h:132</a></div></div>
|
|
4816
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_aafa1b445bd3578daaba8f82e517745f1"><div class="ttname"><a href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">SVF::SVFG::MSSAVarToDefMap</a></div><div class="ttdeci">MSSAVarToDefMapTy MSSAVarToDefMap</div><div class="ttdoc">map a memory SSA operator to its definition SVFG node</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00100">SVFG.h:100</a></div></div>
|
|
4791
4817
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a7343f970332391634f79b2023bba6650"><div class="ttname"><a href="classSVF_1_1VFG.html#a7343f970332391634f79b2023bba6650">SVF::VFG::getDef</a></div><div class="ttdeci">NodeID getDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00420">VFG.h:420</a></div></div>
|
|
4792
4818
|
<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>
|
|
4793
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_af9313ebec4a52fd887169b7c6373a7d4"><div class="ttname"><a href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">SVF::SVFG::callSiteToActualINMap</a></div><div class="ttdeci">CallSiteToActualINsMapTy callSiteToActualINMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4819
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_af9313ebec4a52fd887169b7c6373a7d4"><div class="ttname"><a href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">SVF::SVFG::callSiteToActualINMap</a></div><div class="ttdeci">CallSiteToActualINsMapTy callSiteToActualINMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00101">SVFG.h:101</a></div></div>
|
|
4794
4820
|
<div class="ttc" id="aclassSVF_1_1MRVer_html"><div class="ttname"><a href="classSVF_1_1MRVer.html">SVF::MRVer</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00043">MSSAMuChi.h:43</a></div></div>
|
|
4795
4821
|
<div class="ttc" id="aclassSVF_1_1MemRegion_html_a1e5befaa1a46943e101b33adaf141ca1"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1">SVF::MemRegion::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdoc">Return points-to.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00083">MemRegion.h:83</a></div></div>
|
|
4796
4822
|
<div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
|
|
@@ -4801,14 +4827,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4801
4827
|
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
|
|
4802
4828
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a9da50b8f467066b478143af64f7c9858"><div class="ttname"><a href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">SVF::SVFG::readFile</a></div><div class="ttdeci">virtual void readFile(const std::string &filename)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGReadWrite_8cpp_source.html#l00207">SVFGReadWrite.cpp:207</a></div></div>
|
|
4803
4829
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ad8c76cdb73541eed5aa1c2ba9de60383"><div class="ttname"><a href="classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383">SVF::VFG::addVFGNode</a></div><div class="ttdeci">virtual void addVFGNode(VFGNode *vfgNode, ICFGNode *icfgNode)</div><div class="ttdoc">Add a VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00464">VFG.h:464</a></div></div>
|
|
4804
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a923924d3887c668b355f4029502a3754"><div class="ttname"><a href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">SVF::SVFG::addActualINSVFGNode</a></div><div class="ttdeci">void addActualINSVFGNode(const CallICFGNode *callsite, const MRVer *ver, const NodeID nodeId)</div><div class="ttdoc">Add memory callsite mu SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4830
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a923924d3887c668b355f4029502a3754"><div class="ttname"><a href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">SVF::SVFG::addActualINSVFGNode</a></div><div class="ttdeci">void addActualINSVFGNode(const CallICFGNode *callsite, const MRVer *ver, const NodeID nodeId)</div><div class="ttdoc">Add memory callsite mu SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00420">SVFG.h:420</a></div></div>
|
|
4805
4831
|
<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>
|
|
4806
4832
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a8cd7b6c6fd8b030b1421d95a086359f4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt::SVFStmtSetTy</a></div><div class="ttdeci">GenericNode< SVFVar, SVFStmt >::GEdgeSetTy SVFStmtSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00217">SVFStatements.h:217</a></div></div>
|
|
4807
4833
|
<div class="ttc" id="aclassSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00084">VFGNode.h:84</a></div></div>
|
|
4808
4834
|
<div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00237">ICFG.cpp:237</a></div></div>
|
|
4809
4835
|
<div class="ttc" id="aclassSVF_1_1CallCHI_html"><div class="ttname"><a href="classSVF_1_1CallCHI.html">SVF::CallCHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00521">MSSAMuChi.h:521</a></div></div>
|
|
4810
4836
|
<div class="ttc" id="aclassSVF_1_1ICFG_html_a881fe977f3a6fde223bd786121e35fcf"><div class="ttname"><a href="classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf">SVF::ICFG::getRetICFGNode</a></div><div class="ttdeci">RetICFGNode * getRetICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00250">ICFG.cpp:250</a></div></div>
|
|
4811
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a475205e221890204c7770c414ee63975"><div class="ttname"><a href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">SVF::SVFG::getActualINSVFGNodes</a></div><div class="ttdeci">ActualINSVFGNodeSet & getActualINSVFGNodes(const CallICFGNode *cs)</div><div class="ttdoc">Get SVFGNode set.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4837
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a475205e221890204c7770c414ee63975"><div class="ttname"><a href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">SVF::SVFG::getActualINSVFGNodes</a></div><div class="ttdeci">ActualINSVFGNodeSet & getActualINSVFGNodes(const CallICFGNode *cs)</div><div class="ttdoc">Get SVFGNode set.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00210">SVFG.h:210</a></div></div>
|
|
4812
4838
|
<div class="ttc" id="aclassSVF_1_1Options_html_a034a83cdac580c1f8b10805e29ca50e4"><div class="ttname"><a href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options::ReadSVFG</a></div><div class="ttdeci">static const Option< std::string > ReadSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00151">Options.h:151</a></div></div>
|
|
4813
4839
|
<div class="ttc" id="aclassSVF_1_1ActualINSVFGNode_html_aab3b2931f60adeb9fd8c87087074d834"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834">SVF::ActualINSVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Callsite.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00194">SVFGNode.h:194</a></div></div>
|
|
4814
4840
|
<div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
|
|
@@ -4816,9 +4842,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4816
4842
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ad86631f70bd702b5635bdbeab7d884b9"><div class="ttname"><a href="classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9">SVF::VFG::hasInterVFGEdge</a></div><div class="ttdeci">VFGEdge * hasInterVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00909">VFG.cpp:909</a></div></div>
|
|
4817
4843
|
<div class="ttc" id="aclassSVF_1_1VFG_html_acb181d4f9faa40578c80e2018e2742b8"><div class="ttname"><a href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">SVF::VFG::totalVFGNode</a></div><div class="ttdeci">NodeID totalVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00088">VFG.h:88</a></div></div>
|
|
4818
4844
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
|
|
4819
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a86d4a41a881a3d2e5def103d7ba8bb2f"><div class="ttname"><a href="classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f">SVF::SVFG::LOADMU</a></div><div class="ttdeci">MemSSA::LOADMU LOADMU</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4845
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a86d4a41a881a3d2e5def103d7ba8bb2f"><div class="ttname"><a href="classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f">SVF::SVFG::LOADMU</a></div><div class="ttdeci">MemSSA::LOADMU LOADMU</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00092">SVFG.h:92</a></div></div>
|
|
4820
4846
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a164a3df08fc24bacc0b97aee8b6eec38"><div class="ttname"><a href="classSVF_1_1SVFG.html#a164a3df08fc24bacc0b97aee8b6eec38">SVF::SVFG::connectIndirectSVFGEdges</a></div><div class="ttdeci">void connectIndirectSVFGEdges()</div><div class="ttdoc">Connect direct SVFG edges between two SVFG nodes (value-flow of top address-taken variables)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00326">SVFG.cpp:326</a></div></div>
|
|
4821
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_aa9f520779475e4783eccc45c460e346a"><div class="ttname"><a href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">SVF::SVFG::ActualINSVFGNodeSet</a></div><div class="ttdeci">NodeBS ActualINSVFGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4847
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_aa9f520779475e4783eccc45c460e346a"><div class="ttname"><a href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">SVF::SVFG::ActualINSVFGNodeSet</a></div><div class="ttdeci">NodeBS ActualINSVFGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00079">SVFG.h:79</a></div></div>
|
|
4822
4848
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a910298ed854a6b88b9dae44181ca72de"><div class="ttname"><a href="classSVF_1_1SVFG.html#a910298ed854a6b88b9dae44181ca72de">SVF::SVFG::getMRVERFromString</a></div><div class="ttdeci">virtual MRVer * getMRVERFromString(const std::string &input)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGReadWrite_8cpp_source.html#l00431">SVFGReadWrite.cpp:431</a></div></div>
|
|
4823
4849
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">SVF::VFGEdge::RetDirVF</a></div><div class="ttdeci">@ RetDirVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00056">VFGEdge.h:56</a></div></div>
|
|
4824
4850
|
<div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_adbedb15ac0f9395c5264f087a63bad3b"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b">SVF::PTACallGraphEdge::CallInstSet</a></div><div class="ttdeci">Set< const CallICFGNode * > CallInstSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00055">PTACallGraph.h:55</a></div></div>
|
|
@@ -4838,9 +4864,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4838
4864
|
<div class="ttc" id="aclassSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00055">MemRegion.h:55</a></div></div>
|
|
4839
4865
|
<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
4840
4866
|
<div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
|
|
4841
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a5b7ae610bee28acc2905ca82928e714f"><div class="ttname"><a href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">SVF::SVFG::getActualOUTSVFGNodes</a></div><div class="ttdeci">ActualOUTSVFGNodeSet & getActualOUTSVFGNodes(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4867
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a5b7ae610bee28acc2905ca82928e714f"><div class="ttname"><a href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">SVF::SVFG::getActualOUTSVFGNodes</a></div><div class="ttdeci">ActualOUTSVFGNodeSet & getActualOUTSVFGNodes(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00215">SVFG.h:215</a></div></div>
|
|
4842
4868
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_af8ceb1ebf745e6803c606c41f7a482ac"><div class="ttname"><a href="classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac">SVF::SVFG::addCallIndirectVFEdge</a></div><div class="ttdeci">SVFGEdge * addCallIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &cpts, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00503">SVFG.cpp:503</a></div></div>
|
|
4843
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ae51cd0493e4e767848b96b69045762fd"><div class="ttname"><a href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">SVF::SVFG::funToFormalINMap</a></div><div class="ttdeci">FunctionToFormalINsMapTy funToFormalINMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4869
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ae51cd0493e4e767848b96b69045762fd"><div class="ttname"><a href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">SVF::SVFG::funToFormalINMap</a></div><div class="ttdeci">FunctionToFormalINsMapTy funToFormalINMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00103">SVFG.h:103</a></div></div>
|
|
4844
4870
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_ac359813747b4f75920c5f395ba74f410"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">SVF::SVFIR::hasFunArgsList</a></div><div class="ttdeci">bool hasFunArgsList(const SVFFunction *func) const</div><div class="ttdoc">Function has arguments list.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00252">SVFIR.h:252</a></div></div>
|
|
4845
4871
|
<div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html_a50ac2e33c6a4a41291c0a476ed07de53"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge::addPointsTo</a></div><div class="ttdeci">bool addPointsTo(const NodeBS &c)</div><div class="ttdoc">Handle memory region.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00056">SVFGEdge.h:56</a></div></div>
|
|
4846
4872
|
<div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
|
|
@@ -4852,29 +4878,29 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4852
4878
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7ce9ec638995467c211958262be08ee1"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1">SVF::SVFG::writeToFile</a></div><div class="ttdeci">virtual void writeToFile(const std::string &filename)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGReadWrite_8cpp_source.html#l00047">SVFGReadWrite.cpp:47</a></div></div>
|
|
4853
4879
|
<div class="ttc" id="aclassSVF_1_1VFG_html_aa055ce3c4fe1cde5529cd63dd1ef2ed6"><div class="ttname"><a href="classSVF_1_1VFG.html#aa055ce3c4fe1cde5529cd63dd1ef2ed6">SVF::VFG::connectCallerAndCallee</a></div><div class="ttdeci">virtual void connectCallerAndCallee(const CallICFGNode *cs, const SVFFunction *callee, VFGEdgeSetTy &edges)</div><div class="ttdoc">Connect VFG nodes between caller and callee for indirect call site.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00972">VFG.cpp:972</a></div></div>
|
|
4854
4880
|
<div class="ttc" id="aclassSVF_1_1RetMU_html"><div class="ttname"><a href="classSVF_1_1RetMU.html">SVF::RetMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00277">MSSAMuChi.h:277</a></div></div>
|
|
4855
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad5c1415f488ec4412d5457262269eff3"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">SVF::SVFG::stat</a></div><div class="ttdeci">SVFGStat * stat</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4856
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a287c337697eed7d92889bca0a0e370d7"><div class="ttname"><a href="classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7">SVF::SVFG::getFormalOUTSVFGNodes</a></div><div class="ttdeci">FormalOUTSVFGNodeSet & getFormalOUTSVFGNodes(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4881
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad5c1415f488ec4412d5457262269eff3"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">SVF::SVFG::stat</a></div><div class="ttdeci">SVFGStat * stat</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00105">SVFG.h:105</a></div></div>
|
|
4882
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a287c337697eed7d92889bca0a0e370d7"><div class="ttname"><a href="classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7">SVF::SVFG::getFormalOUTSVFGNodes</a></div><div class="ttdeci">FormalOUTSVFGNodeSet & getFormalOUTSVFGNodes(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00225">SVFG.h:225</a></div></div>
|
|
4857
4883
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a5f82b3c2e8e6412e2781b960ffa98387"><div class="ttname"><a href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">SVF::VFG::getCallSiteID</a></div><div class="ttdeci">CallSiteID getCallSiteID(const CallICFGNode *cs, const SVFFunction *func) const</div><div class="ttdoc">Get callsite given a callsiteID.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00178">VFG.h:178</a></div></div>
|
|
4858
4884
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a122aa5ad874170ef644cee8705f1ef3e"><div class="ttname"><a href="classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e">SVF::VFG::removeVFGNode</a></div><div class="ttdeci">void removeVFGNode(VFGNode *node)</div><div class="ttdoc">Remove a VFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00326">VFG.h:326</a></div></div>
|
|
4859
4885
|
<div class="ttc" id="aclassSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00373">MSSAMuChi.h:373</a></div></div>
|
|
4860
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ab4690114393820f580e805d2e0d6a41d"><div class="ttname"><a href="classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d">SVF::SVFG::addFormalINSVFGNode</a></div><div class="ttdeci">void addFormalINSVFGNode(const FunEntryICFGNode *funEntry, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory Function entry chi SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4861
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_abd917826bf50ed409a307ce00562c97d"><div class="ttname"><a href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">SVF::SVFG::getDef</a></div><div class="ttdeci">NodeID getDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4886
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ab4690114393820f580e805d2e0d6a41d"><div class="ttname"><a href="classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d">SVF::SVFG::addFormalINSVFGNode</a></div><div class="ttdeci">void addFormalINSVFGNode(const FunEntryICFGNode *funEntry, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory Function entry chi SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00403">SVFG.h:403</a></div></div>
|
|
4887
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_abd917826bf50ed409a307ce00562c97d"><div class="ttname"><a href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">SVF::SVFG::getDef</a></div><div class="ttdeci">NodeID getDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00356">SVFG.h:356</a></div></div>
|
|
4862
4888
|
<div class="ttc" id="aclassSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
|
|
4863
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ac1acdf7bc468d7734359591e45f485fe"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">SVF::SVFG::getInterVFEdgeAtIndCSFromAPToFP</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromAPToFP(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Get inter value flow edges between indirect call site and callee.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4889
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ac1acdf7bc468d7734359591e45f485fe"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">SVF::SVFG::getInterVFEdgeAtIndCSFromAPToFP</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromAPToFP(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Get inter value flow edges between indirect call site and callee.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00310">SVFG.h:310</a></div></div>
|
|
4864
4890
|
<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>
|
|
4865
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a67750c461e3543f6b75d2dd510d67297"><div class="ttname"><a href="classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297">SVF::SVFG::addSVFGEdge</a></div><div class="ttdeci">bool addSVFGEdge(SVFGEdge *edge)</div><div class="ttdoc">Add SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4891
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a67750c461e3543f6b75d2dd510d67297"><div class="ttname"><a href="classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297">SVF::SVFG::addSVFGEdge</a></div><div class="ttdeci">bool addSVFGEdge(SVFGEdge *edge)</div><div class="ttdoc">Add SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00249">SVFG.h:249</a></div></div>
|
|
4866
4892
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a6c3daf2777cc5f76ce07241f803720f3"><div class="ttname"><a href="classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3">SVF::VFG::globalVFGNodes</a></div><div class="ttdeci">GlobalVFGNodeSet globalVFGNodes</div><div class="ttdoc">set of global store VFG nodes</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00102">VFG.h:102</a></div></div>
|
|
4867
4893
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a38122734cbe71551a420dfb7fee2012e"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">SVF::GenericGraph::nodeNum</a></div><div class="ttdeci">u32_t nodeNum</div><div class="ttdoc">total num of edge</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00456">GenericGraph.h:456</a></div></div>
|
|
4868
4894
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00188">SVFValue.cpp:188</a></div></div>
|
|
4869
4895
|
<div class="ttc" id="anamespaceSVF_html_a5dfa3fa5129bacdc0be0c051ccf386df"><div class="ttname"><a href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVF::SVFGNode</a></div><div class="ttdeci">VFGNode SVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00043">SVFG.h:43</a></div></div>
|
|
4870
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a74aa824a68f99756ac3e65231c7bc2e9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9">SVF::SVFG::addActualOUTSVFGNode</a></div><div class="ttdeci">void addActualOUTSVFGNode(const CallICFGNode *callsite, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory callsite chi SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4896
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a74aa824a68f99756ac3e65231c7bc2e9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9">SVF::SVFG::addActualOUTSVFGNode</a></div><div class="ttdeci">void addActualOUTSVFGNode(const CallICFGNode *callsite, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory callsite chi SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00428">SVFG.h:428</a></div></div>
|
|
4871
4897
|
<div class="ttc" id="aclassSVF_1_1CallMU_html"><div class="ttname"><a href="classSVF_1_1CallMU.html">SVF::CallMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00221">MSSAMuChi.h:221</a></div></div>
|
|
4872
4898
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
4873
4899
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a037600bfff11659542f8595d8700dec4"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">SVF::SVFGStat::performStat</a></div><div class="ttdeci">virtual void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00178">SVFGStat.cpp:178</a></div></div>
|
|
4874
4900
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a85360d0242ea7d2ec7da670f2cc17962"><div class="ttname"><a href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">SVF::VFG::isInterestedPAGNode</a></div><div class="ttdeci">virtual bool isInterestedPAGNode(const SVFVar *node) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00444">VFG.h:444</a></div></div>
|
|
4875
4901
|
<div class="ttc" id="aclassSVF_1_1MRSVFGNode_html_a28fe266d0e4618aa4448aa218495a332"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332">SVF::MRSVFGNode::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdoc">Return points-to of the MR.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00052">SVFGNode.h:52</a></div></div>
|
|
4876
4902
|
<div class="ttc" id="aclassSVF_1_1EntryCHI_html"><div class="ttname"><a href="classSVF_1_1EntryCHI.html">SVF::EntryCHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00578">MSSAMuChi.h:578</a></div></div>
|
|
4877
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a804824faa3a042cb1b63edd9e9eb7207"><div class="ttname"><a href="classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207">SVF::SVFG::addFormalOUTSVFGNode</a></div><div class="ttdeci">void addFormalOUTSVFGNode(const FunExitICFGNode *funExit, const MRVer *ver, const NodeID nodeId)</div><div class="ttdoc">Add memory Function return mu SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4903
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a804824faa3a042cb1b63edd9e9eb7207"><div class="ttname"><a href="classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207">SVF::SVFG::addFormalOUTSVFGNode</a></div><div class="ttdeci">void addFormalOUTSVFGNode(const FunExitICFGNode *funExit, const MRVer *ver, const NodeID nodeId)</div><div class="ttdoc">Add memory Function return mu SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00412">SVFG.h:412</a></div></div>
|
|
4878
4904
|
<div class="ttc" id="aclassSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18">SVF::MSSADEF::DEFTYPE</a></div><div class="ttdeci">DEFTYPE</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00329">MSSAMuChi.h:329</a></div></div>
|
|
4879
4905
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
|
|
4880
4906
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
@@ -4887,78 +4913,78 @@ Additional Inherited Members</h2></td></tr>
|
|
|
4887
4913
|
<div class="ttc" id="aclassSVF_1_1ICFG_html_a0dca4655c2f6112a5be1f921b8e81076"><div class="ttname"><a href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG::getFunEntryICFGNode</a></div><div class="ttdeci">FunEntryICFGNode * getFunEntryICFGNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00270">ICFG.cpp:270</a></div></div>
|
|
4888
4914
|
<div class="ttc" id="aclassSVF_1_1Options_html_a26711c33c9247a296f6dfaaf36d38e47"><div class="ttname"><a href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options::WriteSVFG</a></div><div class="ttdeci">static const Option< std::string > WriteSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00150">Options.h:150</a></div></div>
|
|
4889
4915
|
<div class="ttc" id="aclassSVF_1_1VFG_html_aeb24b155fe31813b2e6dc0564f55738a"><div class="ttname"><a href="classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a">SVF::VFG::removeVFGEdge</a></div><div class="ttdeci">void removeVFGEdge(VFGEdge *edge)</div><div class="ttdoc">Remove a SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00319">VFG.h:319</a></div></div>
|
|
4890
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a8843ab4a4608f7f5f46f68ad31314c07"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07">SVF::SVFG::CHISet</a></div><div class="ttdeci">MemSSA::CHISet CHISet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4916
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a8843ab4a4608f7f5f46f68ad31314c07"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07">SVF::SVFG::CHISet</a></div><div class="ttdeci">MemSSA::CHISet CHISet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00088">SVFG.h:88</a></div></div>
|
|
4891
4917
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a32b1586d326fbe47080bd1fa2d3270e6"><div class="ttname"><a href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">SVF::VFG::getStmtVFGNode</a></div><div class="ttdeci">StmtVFGNode * getStmtVFGNode(const PAGEdge *pagEdge) const</div><div class="ttdoc">Get an VFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00199">VFG.h:199</a></div></div>
|
|
4892
4918
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aa8017e3e5100b3f63ee338b66118d266"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">SVF::SVFUtil::getProgEntryFunction</a></div><div class="ttdeci">const SVFFunction * getProgEntryFunction(SVFModule *svfModule)</div><div class="ttdoc">Get program entry function from module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00374">SVFUtil.h:374</a></div></div>
|
|
4893
4919
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad03f0064d3a1ff397b35a606304a9c80"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80">SVF::SVFG::addIntraIndirectVFEdge</a></div><div class="ttdeci">SVFGEdge * addIntraIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &cpts)</div><div class="ttdoc">Add indirect def-use edges of a memory region between two statements,.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00461">SVFG.cpp:461</a></div></div>
|
|
4894
4920
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_ac9666ae7266cf1a9c0a5f7d28b39d1e9"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9">SVF::SVFG::addInterIndirectVFRetEdge</a></div><div class="ttdeci">SVFGEdge * addInterIndirectVFRetEdge(const FormalOUTSVFGNode *src, const ActualOUTSVFGNode *dst, CallSiteID csId)</div><div class="ttdoc">Add inter VF edge from function exit mu to callsite chi.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00558">SVFG.cpp:558</a></div></div>
|
|
4895
4921
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a915fa50effaeea10716b86528b15c6dc"><div class="ttname"><a href="classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc">SVF::VFG::getVFGNode</a></div><div class="ttdeci">VFGNode * getVFGNode(NodeID id) const</div><div class="ttdoc">Get a VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00145">VFG.h:145</a></div></div>
|
|
4896
4922
|
<div class="ttc" id="aclassSVF_1_1CallCHI_html_af7f9fb3c01c487686453e25104a5bfc7"><div class="ttname"><a href="classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7">SVF::CallCHI::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00544">MSSAMuChi.h:544</a></div></div>
|
|
4897
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a926c79813d5cfbd16201832024b95190"><div class="ttname"><a href="classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190">SVF::SVFG::hasDef</a></div><div class="ttdeci">bool hasDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4923
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a926c79813d5cfbd16201832024b95190"><div class="ttname"><a href="classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190">SVF::SVFG::hasDef</a></div><div class="ttdeci">bool hasDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00360">SVFG.h:360</a></div></div>
|
|
4898
4924
|
<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>
|
|
4899
4925
|
<div class="ttc" id="aclassSVF_1_1MSSADEF_html"><div class="ttname"><a href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00325">MSSAMuChi.h:325</a></div></div>
|
|
4900
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_accd1cbd26c9b194971f3107a57a0ab2e"><div class="ttname"><a href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">SVF::SVFG::setDef</a></div><div class="ttdeci">void setDef(const PAGNode *pagNode, const SVFGNode *node)</div><div class="ttdoc">Given a PAGNode, set/get its def SVFG node (definition of top level pointers)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4926
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_accd1cbd26c9b194971f3107a57a0ab2e"><div class="ttname"><a href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">SVF::SVFG::setDef</a></div><div class="ttdeci">void setDef(const PAGNode *pagNode, const SVFGNode *node)</div><div class="ttdoc">Given a PAGNode, set/get its def SVFG node (definition of top level pointers)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00352">SVFG.h:352</a></div></div>
|
|
4901
4927
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
|
|
4902
4928
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
|
|
4903
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a9d0714075d6071c26d26cf16c4dec7c5"><div class="ttname"><a href="classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5">SVF::SVFG::getFormalINSVFGNodes</a></div><div class="ttdeci">FormalINSVFGNodeSet & getFormalINSVFGNodes(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4929
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a9d0714075d6071c26d26cf16c4dec7c5"><div class="ttname"><a href="classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5">SVF::SVFG::getFormalINSVFGNodes</a></div><div class="ttdeci">FormalINSVFGNodeSet & getFormalINSVFGNodes(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00220">SVFG.h:220</a></div></div>
|
|
4904
4930
|
<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>
|
|
4905
4931
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a82a93d9b7fcf1938e3090a0826a1ca7e"><div class="ttname"><a href="classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e">SVF::SVFG::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00208">SVFG.cpp:208</a></div></div>
|
|
4906
4932
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a57629591037e16e57a0178d102a405f2"><div class="ttname"><a href="classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2">SVF::SVFG::addInterIndirectVFCallEdge</a></div><div class="ttdeci">SVFGEdge * addInterIndirectVFCallEdge(const ActualINSVFGNode *src, const FormalINSVFGNode *dst, CallSiteID csId)</div><div class="ttdoc">Add inter VF edge from callsite mu to function entry chi.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00543">SVFG.cpp:543</a></div></div>
|
|
4907
4933
|
<div class="ttc" id="aclassSVF_1_1LoadVFGNode_html"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html">SVF::LoadVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00199">VFGNode.h:199</a></div></div>
|
|
4908
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a32378226c18a0b1e22271a2338a635f6"><div class="ttname"><a href="classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6">SVF::SVFG::hasFuncRetMu</a></div><div class="ttdeci">bool hasFuncRetMu(const SVFFunction *func) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4909
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7a88391e0c2cf8a57238dec32c2474a3"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3">SVF::SVFG::getInterVFEdgeAtIndCSFromFOutToAOut</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromFOutToAOut(ActualOUTSVFGNode *actualOut, const SVFFunction *callee, SVFGEdgeSetTy &edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4934
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a32378226c18a0b1e22271a2338a635f6"><div class="ttname"><a href="classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6">SVF::SVFG::hasFuncRetMu</a></div><div class="ttdeci">bool hasFuncRetMu(const SVFFunction *func) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00453">SVFG.h:453</a></div></div>
|
|
4935
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7a88391e0c2cf8a57238dec32c2474a3"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3">SVF::SVFG::getInterVFEdgeAtIndCSFromFOutToAOut</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromFOutToAOut(ActualOUTSVFGNode *actualOut, const SVFFunction *callee, SVFGEdgeSetTy &edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00338">SVFG.h:338</a></div></div>
|
|
4910
4936
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a25c2bbbc2e966e2aaa59a5b83363557a"><div class="ttname"><a href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">SVF::VFG::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00104">VFG.h:104</a></div></div>
|
|
4911
4937
|
<div class="ttc" id="aclassSVF_1_1FormalParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html">SVF::FormalParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00898">VFGNode.h:898</a></div></div>
|
|
4912
4938
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdeci">@ TheadMHPIndirectVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
|
|
4913
4939
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
|
|
4914
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a402dfe93b8692be453c4f76d048b690a"><div class="ttname"><a href="classSVF_1_1SVFG.html#a402dfe93b8692be453c4f76d048b690a">SVF::SVFG::connectFOutAndAOut</a></div><div class="ttdeci">virtual void connectFOutAndAOut(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Connect formal-out and actual-out.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4940
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a402dfe93b8692be453c4f76d048b690a"><div class="ttname"><a href="classSVF_1_1SVFG.html#a402dfe93b8692be453c4f76d048b690a">SVF::SVFG::connectFOutAndAOut</a></div><div class="ttdeci">virtual void connectFOutAndAOut(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Connect formal-out and actual-out.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00300">SVFG.h:300</a></div></div>
|
|
4915
4941
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a84cf5facb15e1d598c2527fba0c7634d"><div class="ttname"><a href="classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d">SVF::VFG::addVFGEdge</a></div><div class="ttdeci">bool addVFGEdge(VFGEdge *edge)</div><div class="ttdoc">Add VFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00339">VFG.h:339</a></div></div>
|
|
4916
4942
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a3145677c7a3763fc0d6aa7e21b264ab6"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">SVF::SVFIR::getCallSiteRet</a></div><div class="ttdeci">const SVFVar * getCallSiteRet(const RetICFGNode *cs) const</div><div class="ttdoc">Get callsite return.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00291">SVFIR.h:291</a></div></div>
|
|
4917
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_afbaf925e1e165f75161999229fa5f782"><div class="ttname"><a href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">SVF::SVFG::getInterVFEdgeAtIndCSFromAInToFIn</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromAInToFIn(ActualINSVFGNode *actualIn, const SVFFunction *callee, SVFGEdgeSetTy &edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4943
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_afbaf925e1e165f75161999229fa5f782"><div class="ttname"><a href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">SVF::SVFG::getInterVFEdgeAtIndCSFromAInToFIn</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromAInToFIn(ActualINSVFGNode *actualIn, const SVFFunction *callee, SVFGEdgeSetTy &edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00328">SVFG.h:328</a></div></div>
|
|
4918
4944
|
<div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &O, const std::string &GraphName, const GraphType &GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
|
|
4919
4945
|
<div class="ttc" id="acJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
|
|
4920
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a1b9d1ad76785ae0eb07979aa75325640"><div class="ttname"><a href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">SVF::SVFG::hasSVFGNode</a></div><div class="ttdeci">bool hasSVFGNode(NodeID id) const</div><div class="ttdoc">Whether has the SVFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4946
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a1b9d1ad76785ae0eb07979aa75325640"><div class="ttname"><a href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">SVF::SVFG::hasSVFGNode</a></div><div class="ttdeci">bool hasSVFGNode(NodeID id) const</div><div class="ttdoc">Whether has the SVFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00156">SVFG.h:156</a></div></div>
|
|
4921
4947
|
<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00059">SVFType.h:59</a></div></div>
|
|
4922
4948
|
<div class="ttc" id="aclassSVF_1_1MSSAPHI_html"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html">SVF::MSSAPHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00629">MSSAMuChi.h:629</a></div></div>
|
|
4923
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a23ca21b90feca5e7d00c9ba9f489374a"><div class="ttname"><a href="classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a">SVF::SVFG::hasFuncEntryChi</a></div><div class="ttdeci">bool hasFuncEntryChi(const SVFFunction *func) const</div><div class="ttdoc">Has function for EntryCHI/RetMU/CallCHI/CallMU.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4949
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a23ca21b90feca5e7d00c9ba9f489374a"><div class="ttname"><a href="classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a">SVF::SVFG::hasFuncEntryChi</a></div><div class="ttdeci">bool hasFuncEntryChi(const SVFFunction *func) const</div><div class="ttdoc">Has function for EntryCHI/RetMU/CallCHI/CallMU.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00449">SVFG.h:449</a></div></div>
|
|
4924
4950
|
<div class="ttc" id="aclassSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
|
|
4925
4951
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a0421e3336137b232edc442ece00a8a9c"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c">SVF::SparseBitVector::iterator</a></div><div class="ttdeci">SparseBitVectorIterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00675">SparseBitVector.h:675</a></div></div>
|
|
4926
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a2f6ed8a9f14657abc1e2a89247a84b99"><div class="ttname"><a href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">SVF::SVFG::ActualOUTSVFGNodeSet</a></div><div class="ttdeci">NodeBS ActualOUTSVFGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4952
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a2f6ed8a9f14657abc1e2a89247a84b99"><div class="ttname"><a href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">SVF::SVFG::ActualOUTSVFGNodeSet</a></div><div class="ttdeci">NodeBS ActualOUTSVFGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00080">SVFG.h:80</a></div></div>
|
|
4927
4953
|
<div class="ttc" id="aclassSVF_1_1IntraIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00094">SVFGEdge.h:94</a></div></div>
|
|
4928
4954
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a4bf9a39b93b7254f627dd393b9f2b82c"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c">SVF::SVFGStat::ATVFNodeStart</a></div><div class="ttdeci">void ATVFNodeStart()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00139">SVFGStat.h:139</a></div></div>
|
|
4929
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a0d6cfa496e6885fe31b6b7a651fa01a8"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">SVF::SVFG::pta</a></div><div class="ttdeci">PointerAnalysis * pta</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4930
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a842f6f2325c9e93ea96367e9cf624ee8"><div class="ttname"><a href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">SVF::SVFG::hasCallSiteMu</a></div><div class="ttdeci">bool hasCallSiteMu(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4955
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a0d6cfa496e6885fe31b6b7a651fa01a8"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">SVF::SVFG::pta</a></div><div class="ttdeci">PointerAnalysis * pta</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00107">SVFG.h:107</a></div></div>
|
|
4956
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a842f6f2325c9e93ea96367e9cf624ee8"><div class="ttname"><a href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">SVF::SVFG::hasCallSiteMu</a></div><div class="ttdeci">bool hasCallSiteMu(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00461">SVFG.h:461</a></div></div>
|
|
4931
4957
|
<div class="ttc" id="aclassSVF_1_1ThreadMHPIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadMHPIndSVFGEdge.html">SVF::ThreadMHPIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00206">SVFGEdge.h:206</a></div></div>
|
|
4932
4958
|
<div class="ttc" id="aclassSVF_1_1MSSAPHI_html_af3f9d8d92286b914618dad108c233422"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#af3f9d8d92286b914618dad108c233422">SVF::MSSAPHI::getBasicBlock</a></div><div class="ttdeci">const SVFBasicBlock * getBasicBlock() const</div><div class="ttdoc">Return the basic block.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00684">MSSAMuChi.h:684</a></div></div>
|
|
4933
4959
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
|
|
4934
4960
|
<div class="ttc" id="aclassSVF_1_1RetMU_html_a8ad6bf3d517e20089dac516742ee4b8f"><div class="ttname"><a href="classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f">SVF::RetMU::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdoc">Return function.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00292">MSSAMuChi.h:292</a></div></div>
|
|
4935
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7d58f9fe97071ec9936174689cb99301"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">SVF::SVFG::funToFormalOUTMap</a></div><div class="ttdeci">FunctionToFormalOUTsMapTy funToFormalOUTMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4961
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a7d58f9fe97071ec9936174689cb99301"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">SVF::SVFG::funToFormalOUTMap</a></div><div class="ttdeci">FunctionToFormalOUTsMapTy funToFormalOUTMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00104">SVFG.h:104</a></div></div>
|
|
4936
4962
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a64939d7ecfd8e2cf862782954a56596b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR::SVFVarList</a></div><div class="ttdeci">std::vector< const SVFVar * > SVFVarList</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00059">SVFIR.h:59</a></div></div>
|
|
4937
4963
|
<div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
|
|
4938
4964
|
<div class="ttc" id="aclassSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
|
|
4939
4965
|
<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>
|
|
4940
4966
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdeci">@ IntraIndirectVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
4941
4967
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_aa79dba26cb34b40eee682713db299d5f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f">SVF::SVFIR::callsiteHasRet</a></div><div class="ttdeci">bool callsiteHasRet(const RetICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00297">SVFIR.h:297</a></div></div>
|
|
4942
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a39873b954b6e0eb0641f56ca4cd06ef9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">SVF::SVFG::callSiteToActualOUTMap</a></div><div class="ttdeci">CallSiteToActualOUTsMapTy callSiteToActualOUTMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4968
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a39873b954b6e0eb0641f56ca4cd06ef9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">SVF::SVFG::callSiteToActualOUTMap</a></div><div class="ttdeci">CallSiteToActualOUTsMapTy callSiteToActualOUTMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00102">SVFG.h:102</a></div></div>
|
|
4943
4969
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
4944
4970
|
<div class="ttc" id="aclassSVF_1_1CallMU_html_a57616dc30fb97c6dc64c9210b42bbeb7"><div class="ttname"><a href="classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7">SVF::CallMU::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00241">MSSAMuChi.h:241</a></div></div>
|
|
4945
4971
|
<div class="ttc" id="aclassSVF_1_1InterMSSAPHISVFGNode_html"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html">SVF::InterMSSAPHISVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00404">SVFGNode.h:404</a></div></div>
|
|
4946
4972
|
<div class="ttc" id="aclassSVF_1_1MSSAPHI_html_a940f9afa26bf54c7175276ea27003c2f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f">SVF::MSSAPHI::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdoc">Operand ver iterators.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00673">MSSAMuChi.h:673</a></div></div>
|
|
4947
4973
|
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
|
|
4948
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_a6093609dcffa8e3b6bf78a97bda71872"><div class="ttname"><a href="classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872">SVF::SVFG::addIntraMSSAPHISVFGNode</a></div><div class="ttdeci">void addIntraMSSAPHISVFGNode(ICFGNode *BlockICFGNode, const Map< u32_t, const MRVer * >::const_iterator opVerBegin, const Map< u32_t, const MRVer * >::const_iterator opVerEnd, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory SSA PHI SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4949
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad9cc1581261182b56ae232d9a9b13296"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">SVF::SVFG::hasCallSiteChi</a></div><div class="ttdeci">bool hasCallSiteChi(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4974
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_a6093609dcffa8e3b6bf78a97bda71872"><div class="ttname"><a href="classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872">SVF::SVFG::addIntraMSSAPHISVFGNode</a></div><div class="ttdeci">void addIntraMSSAPHISVFGNode(ICFGNode *BlockICFGNode, const Map< u32_t, const MRVer * >::const_iterator opVerBegin, const Map< u32_t, const MRVer * >::const_iterator opVerEnd, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory SSA PHI SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00437">SVFG.h:437</a></div></div>
|
|
4975
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad9cc1581261182b56ae232d9a9b13296"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">SVF::SVFG::hasCallSiteChi</a></div><div class="ttdeci">bool hasCallSiteChi(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00457">SVFG.h:457</a></div></div>
|
|
4950
4976
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00626">SVFValue.h:626</a></div></div>
|
|
4951
4977
|
<div class="ttc" id="aclassSVF_1_1RetIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html">SVF::RetIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00165">SVFGEdge.h:165</a></div></div>
|
|
4952
4978
|
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
|
|
4953
4979
|
<div class="ttc" id="aclassSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00240">VFGNode.h:240</a></div></div>
|
|
4954
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_aa6a563cab8678b2256ca6ae7838285c8"><div class="ttname"><a href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">SVF::SVFG::mssa</a></div><div class="ttdeci">std::unique_ptr< MemSSA > mssa</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4980
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_aa6a563cab8678b2256ca6ae7838285c8"><div class="ttname"><a href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">SVF::SVFG::mssa</a></div><div class="ttdeci">std::unique_ptr< MemSSA > mssa</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00106">SVFG.h:106</a></div></div>
|
|
4955
4981
|
<div class="ttc" id="aclassSVF_1_1MSSAMU_html_ad120dfc87b90b26649bcd8d0c0d3ca80"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">SVF::MSSAMU::getMRVer</a></div><div class="ttdeci">MRVer * getMRVer() const</div><div class="ttdoc">Get Ver.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00137">MSSAMuChi.h:137</a></div></div>
|
|
4956
4982
|
<div class="ttc" id="aclassSVF_1_1EntryCHI_html_ae021640611362449382668665710154c"><div class="ttname"><a href="classSVF_1_1EntryCHI.html#ae021640611362449382668665710154c">SVF::EntryCHI::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdoc">Return function.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00595">MSSAMuChi.h:595</a></div></div>
|
|
4957
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad14cdbb3f1df1f716aa03b4d39f4e52b"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">SVF::SVFG::STORECHI</a></div><div class="ttdeci">MemSSA::STORECHI STORECHI</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4958
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_ab2b969b7d5922427622dd875e6b8fe14"><div class="ttname"><a href="classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14">SVF::SVFG::getInterVFEdgeAtIndCSFromFRToAR</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromFRToAR(const PAGNode *fun_ret, const PAGNode *cs_ret, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4983
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ad14cdbb3f1df1f716aa03b4d39f4e52b"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">SVF::SVFG::STORECHI</a></div><div class="ttdeci">MemSSA::STORECHI STORECHI</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00093">SVFG.h:93</a></div></div>
|
|
4984
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_ab2b969b7d5922427622dd875e6b8fe14"><div class="ttname"><a href="classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14">SVF::SVFG::getInterVFEdgeAtIndCSFromFRToAR</a></div><div class="ttdeci">virtual void getInterVFEdgeAtIndCSFromFRToAR(const PAGNode *fun_ret, const PAGNode *cs_ret, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00319">SVFG.h:319</a></div></div>
|
|
4959
4985
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">SVF::VFGEdge::RetIndVF</a></div><div class="ttdeci">@ RetIndVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00058">VFGEdge.h:58</a></div></div>
|
|
4960
4986
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ac34c4529229404617c346f81cc6c141f"><div class="ttname"><a href="classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f">SVF::VFG::hasIntraVFGEdge</a></div><div class="ttdeci">VFGEdge * hasIntraVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</div><div class="ttdoc">Whether we has a SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00874">VFG.cpp:874</a></div></div>
|
|
4961
|
-
<div class="ttc" id="aclassSVF_1_1SVFG_html_acdbe1c510273107b708935061b6c4127"><div class="ttname"><a href="classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127">SVF::SVFG::MUSet</a></div><div class="ttdeci">MemSSA::MUSet MUSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#
|
|
4987
|
+
<div class="ttc" id="aclassSVF_1_1SVFG_html_acdbe1c510273107b708935061b6c4127"><div class="ttname"><a href="classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127">SVF::SVFG::MUSet</a></div><div class="ttdeci">MemSSA::MUSet MUSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00087">SVFG.h:87</a></div></div>
|
|
4962
4988
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a34e27b8bcfeaafda190dcdb9169a346f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f">SVF::SVFIR::getFunRet</a></div><div class="ttdeci">const SVFVar * getFunRet(const SVFFunction *func) const</div><div class="ttdoc">Get function return list.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00307">SVFIR.h:307</a></div></div>
|
|
4963
4989
|
<div class="ttc" id="aclassSVF_1_1VFG_html_a241d0489bf0315460e2b07db87e7847c"><div class="ttname"><a href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">SVF::VFG::iterator</a></div><div class="ttdeci">VFGNodeIDToNodeMapTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00080">VFG.h:80</a></div></div>
|
|
4964
4990
|
<div class="ttc" id="aclassSVF_1_1ActualINSVFGNode_html_aa92b36228a6f42496984cfea32f3415c"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00200">SVFGNode.h:200</a></div></div>
|