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
|
@@ -103,271 +103,276 @@ $(function() {
|
|
|
103
103
|
<div class="line"><a name="l00032"></a><span class="lineno"> 32</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div>
|
|
104
104
|
<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor">#include "<a class="code" href="SVFG_8h.html">Graphs/SVFG.h</a>"</span></div>
|
|
105
105
|
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="preprocessor">#include "<a class="code" href="Options_8h.html">Util/Options.h</a>"</span></div>
|
|
106
|
-
<div class="line"><a name="l00035"></a><span class="lineno"> 35</span> 
|
|
107
|
-
<div class="line"><a name="l00036"></a><span class="lineno"> 36</span> 
|
|
108
|
-
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span> 
|
|
109
|
-
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span> 
|
|
110
|
-
<div class="line"><a name="l00039"></a><span class="lineno"
|
|
111
|
-
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span> 
|
|
112
|
-
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span> 
|
|
113
|
-
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span> 
|
|
114
|
-
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span> 
|
|
115
|
-
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <a class="code" href="
|
|
116
|
-
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span> 
|
|
117
|
-
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  </div>
|
|
118
|
-
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span> 
|
|
106
|
+
<div class="line"><a name="l00035"></a><span class="lineno"> 35</span> <span class="preprocessor">#include "<a class="code" href="SaberCondAllocator_8h.html">SABER/SaberCondAllocator.h</a>"</span></div>
|
|
107
|
+
<div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  </div>
|
|
108
|
+
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  </div>
|
|
109
|
+
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span> <span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div>
|
|
110
|
+
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span> <span class="keyword">using namespace </span>SVFUtil;</div>
|
|
111
|
+
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  </div>
|
|
112
|
+
<div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6"> 41</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SaberSVFGBuilder::buildSVFG</a>()</div>
|
|
113
|
+
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span> {</div>
|
|
114
|
+
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  </div>
|
|
115
|
+
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <a class="code" href="classSVF_1_1MemSSA.html">MemSSA</a>* mssa = svfg->getMSSA();</div>
|
|
116
|
+
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  svfg->buildSVFG();</div>
|
|
117
|
+
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta = mssa-><a class="code" href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">getPTA</a>();</div>
|
|
118
|
+
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">"\tCollect Global Variables\n"</span>));</div>
|
|
119
119
|
<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  </div>
|
|
120
|
-
<div class="line"><a name="l00049"></a><span class="lineno"> 49</span> 
|
|
120
|
+
<div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  collectGlobals(pta);</div>
|
|
121
121
|
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  </div>
|
|
122
|
-
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span> 
|
|
122
|
+
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">"\tRemove Dereference Direct SVFG Edge\n"</span>));</div>
|
|
123
123
|
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  </div>
|
|
124
|
-
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span> 
|
|
124
|
+
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  rmDerefDirSVFGEdges(pta);</div>
|
|
125
125
|
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  </div>
|
|
126
|
-
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span> 
|
|
127
|
-
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span> 
|
|
128
|
-
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span> 
|
|
129
|
-
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  </div>
|
|
130
|
-
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span> 
|
|
131
|
-
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span> 
|
|
132
|
-
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span> 
|
|
133
|
-
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  </div>
|
|
134
|
-
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span> 
|
|
135
|
-
<div class="line"><a name="
|
|
136
|
-
<div class="line"><a name="
|
|
137
|
-
<div class="line"><a name="
|
|
138
|
-
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span> 
|
|
139
|
-
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span> 
|
|
140
|
-
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span> 
|
|
141
|
-
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span> 
|
|
142
|
-
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span> 
|
|
143
|
-
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span> 
|
|
144
|
-
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  </div>
|
|
145
|
-
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span>(
|
|
146
|
-
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span> 
|
|
147
|
-
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span> 
|
|
148
|
-
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span> 
|
|
149
|
-
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span> 
|
|
150
|
-
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span> 
|
|
151
|
-
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span> 
|
|
152
|
-
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span> 
|
|
153
|
-
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> 
|
|
154
|
-
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span> 
|
|
155
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span> 
|
|
156
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span> 
|
|
157
|
-
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span> 
|
|
158
|
-
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span> 
|
|
159
|
-
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span> 
|
|
160
|
-
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span> 
|
|
161
|
-
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span> 
|
|
162
|
-
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> 
|
|
163
|
-
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <
|
|
164
|
-
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span> 
|
|
165
|
-
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span> 
|
|
166
|
-
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span> 
|
|
167
|
-
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span> 
|
|
168
|
-
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> 
|
|
169
|
-
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span> 
|
|
170
|
-
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span> 
|
|
171
|
-
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span> 
|
|
172
|
-
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> 
|
|
173
|
-
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span> 
|
|
174
|
-
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span> 
|
|
175
|
-
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span> <span class="comment"
|
|
176
|
-
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span> <span class="comment"> *
|
|
177
|
-
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span> <span class="comment">
|
|
178
|
-
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span> <span class="comment"> *
|
|
179
|
-
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span> <span class="comment"> *
|
|
180
|
-
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> <span class="comment"> *
|
|
181
|
-
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span> <span class="comment">
|
|
182
|
-
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span> <span class="comment"> *
|
|
183
|
-
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="comment"> *
|
|
184
|
-
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span> <span class="comment">
|
|
185
|
-
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span> <span class="comment">
|
|
186
|
-
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span> <span class="comment">
|
|
187
|
-
<div class="line"><a name="l00119"></a><span class="lineno"
|
|
188
|
-
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span> 
|
|
189
|
-
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span> 
|
|
190
|
-
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  </div>
|
|
191
|
-
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span> 
|
|
192
|
-
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span> 
|
|
193
|
-
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span> 
|
|
194
|
-
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span> 
|
|
195
|
-
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span> 
|
|
196
|
-
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span> 
|
|
197
|
-
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span> 
|
|
198
|
-
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span> 
|
|
199
|
-
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span> 
|
|
200
|
-
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span> 
|
|
201
|
-
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span> 
|
|
202
|
-
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span> 
|
|
203
|
-
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span> 
|
|
204
|
-
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span> 
|
|
205
|
-
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span> 
|
|
206
|
-
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span> 
|
|
207
|
-
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span> 
|
|
208
|
-
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span> 
|
|
209
|
-
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span> 
|
|
210
|
-
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span> 
|
|
211
|
-
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span> 
|
|
212
|
-
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span> 
|
|
213
|
-
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span> 
|
|
214
|
-
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span> 
|
|
215
|
-
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span> 
|
|
216
|
-
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span> 
|
|
217
|
-
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span> 
|
|
218
|
-
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  </div>
|
|
219
|
-
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">
|
|
220
|
-
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span> 
|
|
221
|
-
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span> 
|
|
222
|
-
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span> 
|
|
223
|
-
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span> 
|
|
224
|
-
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span> 
|
|
225
|
-
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span> 
|
|
226
|
-
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span> 
|
|
227
|
-
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span> 
|
|
228
|
-
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span> 
|
|
229
|
-
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span> 
|
|
230
|
-
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span> }</div>
|
|
231
|
-
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  </div>
|
|
232
|
-
<div class="line"><a name="
|
|
233
|
-
<div class="line"><a name="
|
|
234
|
-
<div class="line"><a name="
|
|
235
|
-
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span> 
|
|
236
|
-
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span> 
|
|
237
|
-
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span> 
|
|
238
|
-
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  </div>
|
|
239
|
-
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <
|
|
240
|
-
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span> 
|
|
126
|
+
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  assert(saberCondAllocator && <span class="stringliteral">"saber condition allocator not set yet!"</span>);</div>
|
|
127
|
+
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  rmIncomingEdgeForSUStore(pta);</div>
|
|
128
|
+
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  </div>
|
|
129
|
+
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">"\tAdd Sink SVFG Nodes\n"</span>));</div>
|
|
130
|
+
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  </div>
|
|
131
|
+
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  AddExtActualParmSVFGNodes(pta-><a class="code" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">getPTACallGraph</a>());</div>
|
|
132
|
+
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  </div>
|
|
133
|
+
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">if</span>(pta-><a class="code" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>())</div>
|
|
134
|
+
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  svfg->performStat();</div>
|
|
135
|
+
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span> }</div>
|
|
136
|
+
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  </div>
|
|
137
|
+
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  </div>
|
|
138
|
+
<div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286"> 70</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SaberSVFGBuilder::collectGlobals</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta)</div>
|
|
139
|
+
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span> {</div>
|
|
140
|
+
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = svfg-><a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>();</div>
|
|
141
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">NodeVector</a> worklist;</div>
|
|
142
|
+
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFIR::iterator</a> it = pag-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(), eit = pag-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it!=eit; it++)</div>
|
|
143
|
+
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  {</div>
|
|
144
|
+
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pagNode = it->second;</div>
|
|
145
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (SVFUtil::isa<DummyValVar, DummyObjVar>(pagNode))</div>
|
|
146
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <span class="keywordflow">continue</span>;</div>
|
|
147
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  </div>
|
|
148
|
+
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1GepObjVar.html">GepObjVar</a>* gepobj = SVFUtil::dyn_cast<GepObjVar>(pagNode))</div>
|
|
149
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  {</div>
|
|
150
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="keywordflow">if</span>(SVFUtil::isa<DummyObjVar>(pag-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(gepobj->getBaseNode())))</div>
|
|
151
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="keywordflow">continue</span>;</div>
|
|
152
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  }</div>
|
|
153
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = pagNode-><a class="code" href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">getValue</a>())</div>
|
|
154
|
+
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  {</div>
|
|
155
|
+
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <span class="keywordflow">if</span>(SVFUtil::isa<SVFGlobalValue>(val))</div>
|
|
156
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  worklist.push_back(it->first);</div>
|
|
157
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  }</div>
|
|
158
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  }</div>
|
|
159
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  </div>
|
|
160
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">NodeToPTSSMap</a> cachedPtsMap;</div>
|
|
161
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordflow">while</span>(!worklist.empty())</div>
|
|
162
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  {</div>
|
|
163
|
+
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span> = worklist.back();</div>
|
|
164
|
+
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  worklist.pop_back();</div>
|
|
165
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  globs.set(<span class="keywordtype">id</span>);</div>
|
|
166
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>& pts = pta-><a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(<span class="keywordtype">id</span>);</div>
|
|
167
|
+
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> it = pts.<a class="code" href="classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e">begin</a>(), eit = pts.<a class="code" href="classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a">end</a>(); it!=eit; ++it)</div>
|
|
168
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  {</div>
|
|
169
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  globs |= CollectPtsChain(pta,*it,cachedPtsMap);</div>
|
|
170
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  }</div>
|
|
171
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  }</div>
|
|
172
|
+
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> }</div>
|
|
173
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  </div>
|
|
174
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  </div>
|
|
175
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span> <span class="comment">/*</span></div>
|
|
176
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span> <span class="comment"> * https://github.com/SVF-tools/SVF/issues/991</span></div>
|
|
177
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span> <span class="comment"> *</span></div>
|
|
178
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span> <span class="comment"> * Originally, this function will collect all base pointers with all their fields</span></div>
|
|
179
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span> <span class="comment"> * inside the points-to set of global variables. But if a global variable points</span></div>
|
|
180
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> <span class="comment"> * to the pointer returned by malloc() at some program points, then all pointers</span></div>
|
|
181
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span> <span class="comment"> * returned by malloc() will be included in the global set because of the</span></div>
|
|
182
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span> <span class="comment"> * context-insensitive pointer analysis results. This will make saber abandon</span></div>
|
|
183
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="comment"> * too many slicing thus miss potential bugs.</span></div>
|
|
184
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span> <span class="comment"> *</span></div>
|
|
185
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span> <span class="comment"> * We add an option "saber-collect-extret-globals" to control whether this function</span></div>
|
|
186
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span> <span class="comment"> * will collect external functions' returned pointers. This option is true by default,</span></div>
|
|
187
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span> <span class="comment"> * making it to be false will let saber analyze more slicing but cause performance downgrade.</span></div>
|
|
188
|
+
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span> <span class="comment"> *</span></div>
|
|
189
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span> <span class="comment"> */</span></div>
|
|
190
|
+
<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3"> 122</a></span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>& <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">SaberSVFGBuilder::CollectPtsChain</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">NodeToPTSSMap</a>& cachedPtsMap)</div>
|
|
191
|
+
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span> {</div>
|
|
192
|
+
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = svfg-><a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>();</div>
|
|
193
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  </div>
|
|
194
|
+
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> baseId = pag-><a class="code" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">getBaseObjVar</a>(<span class="keywordtype">id</span>);</div>
|
|
195
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  NodeToPTSSMap::iterator it = cachedPtsMap.find(baseId);</div>
|
|
196
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keywordflow">if</span>(it!=cachedPtsMap.end())</div>
|
|
197
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  {</div>
|
|
198
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
199
|
+
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  }</div>
|
|
200
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordflow">else</span></div>
|
|
201
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  {</div>
|
|
202
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>& pts = cachedPtsMap[baseId];</div>
|
|
203
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="comment">// base object</span></div>
|
|
204
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76">Options::CollectExtRetGlobals</a>())</div>
|
|
205
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  {</div>
|
|
206
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">if</span>(pta-><a class="code" href="classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816">isFIObjNode</a>(baseId) && pag-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(baseId)-><a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>())</div>
|
|
207
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div>
|
|
208
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFCallInst.html">SVFCallInst</a>* inst = SVFUtil::dyn_cast<SVFCallInst>(pag-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(baseId)-><a class="code" href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">getValue</a>());</div>
|
|
209
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="keywordflow">if</span>(inst && <a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVFUtil::isExtCall</a>(inst))</div>
|
|
210
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  {</div>
|
|
211
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> pts;</div>
|
|
212
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div>
|
|
213
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  }</div>
|
|
214
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  }</div>
|
|
215
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  </div>
|
|
216
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  pts |= pag-><a class="code" href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">getFieldsAfterCollapse</a>(baseId);</div>
|
|
217
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  </div>
|
|
218
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <a class="code" href="classSVF_1_1FIFOWorkList.html">WorkList</a> worklist;</div>
|
|
219
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> it = pts.<a class="code" href="classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e">begin</a>(), eit = pts.<a class="code" href="classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a">end</a>(); it!=eit; ++it)</div>
|
|
220
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(*it);</div>
|
|
221
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  </div>
|
|
222
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="keywordflow">while</span>(!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div>
|
|
223
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  {</div>
|
|
224
|
+
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div>
|
|
225
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>& tmp = pta-><a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(nodeId);</div>
|
|
226
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> it = tmp.<a class="code" href="classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e">begin</a>(), eit = tmp.<a class="code" href="classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a">end</a>(); it!=eit; ++it)</div>
|
|
227
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  {</div>
|
|
228
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  pts |= CollectPtsChain(pta,*it,cachedPtsMap);</div>
|
|
229
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  }</div>
|
|
230
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  }</div>
|
|
231
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordflow">return</span> pts;</div>
|
|
232
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  }</div>
|
|
233
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span> }</div>
|
|
234
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  </div>
|
|
235
|
+
<div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f"> 170</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">SaberSVFGBuilder::accessGlobal</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta,<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pagNode)</div>
|
|
236
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span> {</div>
|
|
237
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  </div>
|
|
238
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span> = pagNode-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
|
|
239
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a> pts = pta-><a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(<span class="keywordtype">id</span>);</div>
|
|
240
|
+
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  pts.<a class="code" href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">set</a>(<span class="keywordtype">id</span>);</div>
|
|
241
241
|
<div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  </div>
|
|
242
|
-
<div class="line"><a name="l00177"></a><span class="lineno"
|
|
243
|
-
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span> 
|
|
242
|
+
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="keywordflow">return</span> pts.<a class="code" href="classSVF_1_1PointsTo.html#ad78e4109c839914c4f7e37ca78046f1d">intersects</a>(globs);</div>
|
|
243
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span> }</div>
|
|
244
244
|
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  </div>
|
|
245
|
-
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span> 
|
|
246
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span> 
|
|
247
|
-
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span> 
|
|
248
|
-
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  </div>
|
|
249
|
-
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span> 
|
|
250
|
-
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span> 
|
|
251
|
-
<div class="line"><a name="
|
|
252
|
-
<div class="line"><a name="
|
|
253
|
-
<div class="line"><a name="
|
|
254
|
-
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span> 
|
|
255
|
-
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span> 
|
|
256
|
-
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="
|
|
257
|
-
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span> 
|
|
258
|
-
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span> 
|
|
259
|
-
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">
|
|
260
|
-
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span> 
|
|
261
|
-
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span> 
|
|
262
|
-
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span> 
|
|
263
|
-
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span> 
|
|
264
|
-
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span> 
|
|
265
|
-
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span> 
|
|
266
|
-
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span> 
|
|
267
|
-
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span> 
|
|
268
|
-
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span> 
|
|
269
|
-
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="
|
|
270
|
-
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span> 
|
|
271
|
-
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span> 
|
|
272
|
-
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordflow">
|
|
273
|
-
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span> 
|
|
274
|
-
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span> 
|
|
275
|
-
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span> 
|
|
276
|
-
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span> 
|
|
277
|
-
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span> 
|
|
278
|
-
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span> 
|
|
279
|
-
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span> 
|
|
280
|
-
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span> 
|
|
281
|
-
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span> 
|
|
282
|
-
<div class="line"><a name="
|
|
283
|
-
<div class="line"><a name="
|
|
284
|
-
<div class="line"><a name="
|
|
285
|
-
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span> 
|
|
286
|
-
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span> 
|
|
287
|
-
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span> 
|
|
288
|
-
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span> 
|
|
289
|
-
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span> 
|
|
290
|
-
<div class="line"><a name="
|
|
291
|
-
<div class="line"><a name="
|
|
292
|
-
<div class="line"><a name="
|
|
293
|
-
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <
|
|
294
|
-
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span> 
|
|
295
|
-
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span> 
|
|
296
|
-
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span> 
|
|
297
|
-
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span> 
|
|
298
|
-
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span> 
|
|
299
|
-
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span> 
|
|
300
|
-
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span> 
|
|
301
|
-
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span> 
|
|
302
|
-
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span> 
|
|
303
|
-
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span> }</div>
|
|
304
|
-
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span> 
|
|
305
|
-
<div class="line"><a name="
|
|
306
|
-
<div class="line"><a name="
|
|
307
|
-
<div class="line"><a name="
|
|
308
|
-
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span> 
|
|
309
|
-
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span> 
|
|
310
|
-
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span> 
|
|
311
|
-
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  </div>
|
|
312
|
-
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span> 
|
|
313
|
-
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span> 
|
|
314
|
-
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span> 
|
|
315
|
-
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span> 
|
|
316
|
-
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span> 
|
|
317
|
-
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span> 
|
|
318
|
-
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span> 
|
|
319
|
-
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span> 
|
|
320
|
-
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span> 
|
|
321
|
-
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span> 
|
|
322
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span> 
|
|
323
|
-
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span> 
|
|
324
|
-
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span> 
|
|
325
|
-
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> 
|
|
326
|
-
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span> 
|
|
327
|
-
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span> 
|
|
328
|
-
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span> 
|
|
329
|
-
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span> 
|
|
330
|
-
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span> 
|
|
331
|
-
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span> 
|
|
332
|
-
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span> 
|
|
333
|
-
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span> 
|
|
334
|
-
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span> 
|
|
335
|
-
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span> }</div>
|
|
336
|
-
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span> 
|
|
337
|
-
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span> 
|
|
338
|
-
<div class="line"><a name="
|
|
339
|
-
<div class="line"><a name="
|
|
340
|
-
<div class="line"><a name="
|
|
341
|
-
<div class="line"><a name="
|
|
342
|
-
<div class="line"><a name="
|
|
343
|
-
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span> 
|
|
344
|
-
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span> 
|
|
345
|
-
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span> 
|
|
346
|
-
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span> 
|
|
347
|
-
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span> 
|
|
348
|
-
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span> 
|
|
349
|
-
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  </div>
|
|
350
|
-
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span> 
|
|
351
|
-
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span> 
|
|
352
|
-
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span> 
|
|
353
|
-
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span> 
|
|
354
|
-
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span> 
|
|
355
|
-
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span> 
|
|
356
|
-
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span> 
|
|
357
|
-
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span> 
|
|
358
|
-
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span> 
|
|
359
|
-
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span> 
|
|
360
|
-
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span> 
|
|
361
|
-
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span> 
|
|
362
|
-
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span> 
|
|
363
|
-
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span> 
|
|
364
|
-
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span> 
|
|
365
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span> 
|
|
366
|
-
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span> 
|
|
367
|
-
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span> }</div>
|
|
245
|
+
<div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a"> 180</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">SaberSVFGBuilder::rmDerefDirSVFGEdges</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta)</div>
|
|
246
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span> {</div>
|
|
247
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  </div>
|
|
248
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFG::iterator</a> it = svfg->begin(), eit = svfg->end(); it!=eit; ++it)</div>
|
|
249
|
+
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  {</div>
|
|
250
|
+
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* node = it->second;</div>
|
|
251
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  </div>
|
|
252
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StmtVFGNode.html">StmtSVFGNode</a>* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))</div>
|
|
253
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  {</div>
|
|
254
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  <span class="keywordflow">if</span>(SVFUtil::isa<StoreSVFGNode>(stmtNode))</div>
|
|
255
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div>
|
|
256
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* def = svfg->getDefSVFGNode(stmtNode->getPAGDstNode());</div>
|
|
257
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge = svfg->getIntraVFGEdge(def,stmtNode,<a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a08201e6cbff4817e44568747a966b71d">SVFGEdge::IntraDirectVF</a>))</div>
|
|
258
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  svfg->removeSVFGEdge(edge);</div>
|
|
259
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">else</span></div>
|
|
260
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  assert((svfg->getKind()==<a class="code" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0">VFG::FULLSVFG_OPT</a> || svfg->getKind()==<a class="code" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">VFG::PTRONLYSVFG_OPT</a>) && <span class="stringliteral">"Edge not found!"</span>);</div>
|
|
261
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  </div>
|
|
262
|
+
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  <span class="keywordflow">if</span>(accessGlobal(pta,stmtNode->getPAGDstNode()))</div>
|
|
263
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  {</div>
|
|
264
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  globSVFGNodes.insert(stmtNode);</div>
|
|
265
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  }</div>
|
|
266
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  }</div>
|
|
267
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa<LoadSVFGNode>(stmtNode))</div>
|
|
268
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  {</div>
|
|
269
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* def = svfg->getDefSVFGNode(stmtNode->getPAGSrcNode());</div>
|
|
270
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge = svfg->getIntraVFGEdge(def,stmtNode,<a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a08201e6cbff4817e44568747a966b71d">SVFGEdge::IntraDirectVF</a>))</div>
|
|
271
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  svfg->removeSVFGEdge(edge);</div>
|
|
272
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordflow">else</span></div>
|
|
273
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  assert((svfg->getKind()==<a class="code" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0">VFG::FULLSVFG_OPT</a> || svfg->getKind()==<a class="code" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">VFG::PTRONLYSVFG_OPT</a>) && <span class="stringliteral">"Edge not found!"</span>);</div>
|
|
274
|
+
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  </div>
|
|
275
|
+
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">if</span>(accessGlobal(pta,stmtNode->getPAGSrcNode()))</div>
|
|
276
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  {</div>
|
|
277
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  globSVFGNodes.insert(stmtNode);</div>
|
|
278
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  }</div>
|
|
279
|
+
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  }</div>
|
|
280
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  </div>
|
|
281
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  }</div>
|
|
282
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  }</div>
|
|
283
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span> }</div>
|
|
284
|
+
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  </div>
|
|
285
|
+
<div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b"> 224</a></span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">SaberSVFGBuilder::isStrongUpdate</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* node, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>& singleton, <a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta)</div>
|
|
286
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span> {</div>
|
|
287
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="keywordtype">bool</span> isSU = <span class="keyword">false</span>;</div>
|
|
288
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreVFGNode.html">StoreSVFGNode</a>* store = SVFUtil::dyn_cast<StoreSVFGNode>(node))</div>
|
|
289
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  {</div>
|
|
290
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>& dstCPSet = pta-><a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(store->getPAGDstNodeID());</div>
|
|
291
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="keywordflow">if</span> (dstCPSet.<a class="code" href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">count</a>() == 1)</div>
|
|
292
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  {</div>
|
|
293
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> it = dstCPSet.<a class="code" href="classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e">begin</a>();</div>
|
|
294
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  singleton = *it;</div>
|
|
295
|
+
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  </div>
|
|
296
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  <span class="comment">// Strong update can be made if this points-to target is not heap, array or field-insensitive.</span></div>
|
|
297
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  <span class="keywordflow">if</span> (!pta-><a class="code" href="classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361">isHeapMemObj</a>(singleton) && !pta-><a class="code" href="classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73">isArrayMemObj</a>(singleton)</div>
|
|
298
|
+
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  && <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-><a class="code" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">getBaseObj</a>(singleton)-><a class="code" href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">isFieldInsensitive</a>() == <span class="keyword">false</span></div>
|
|
299
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  && !pta-><a class="code" href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">isLocalVarInRecursiveFun</a>(singleton))</div>
|
|
300
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  {</div>
|
|
301
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  isSU = <span class="keyword">true</span>;</div>
|
|
302
|
+
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  }</div>
|
|
303
|
+
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  }</div>
|
|
304
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  }</div>
|
|
305
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <span class="keywordflow">return</span> isSU;</div>
|
|
306
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span> }</div>
|
|
307
|
+
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  </div>
|
|
308
|
+
<div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a"> 258</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a">SaberSVFGBuilder::rmIncomingEdgeForSUStore</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta)</div>
|
|
309
|
+
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span> {</div>
|
|
310
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  </div>
|
|
311
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFG::iterator</a> it = svfg->begin(), eit = svfg->end(); it!=eit; ++it)</div>
|
|
312
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  {</div>
|
|
313
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* node = it->second;</div>
|
|
314
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  </div>
|
|
315
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreVFGNode.html">StoreSVFGNode</a>* stmtNode = SVFUtil::dyn_cast<StoreSVFGNode>(node))</div>
|
|
316
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  {</div>
|
|
317
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <span class="keywordflow">if</span>(SVFUtil::isa<StoreStmt>(stmtNode->getPAGEdge()))</div>
|
|
318
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  {</div>
|
|
319
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> singleton;</div>
|
|
320
|
+
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <span class="keywordflow">if</span>(isStrongUpdate(node, singleton, pta))</div>
|
|
321
|
+
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  {</div>
|
|
322
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<SVFGEdge*></a> toRemove;</div>
|
|
323
|
+
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> it2 = node-><a class="code" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>(), eit2 = node-><a class="code" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>(); it2 != eit2; ++it2)</div>
|
|
324
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  {</div>
|
|
325
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  <span class="keywordflow">if</span> ((*it2)->isIndirectVFGEdge())</div>
|
|
326
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  {</div>
|
|
327
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  toRemove.insert(*it2);</div>
|
|
328
|
+
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  }</div>
|
|
329
|
+
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  }</div>
|
|
330
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge: toRemove)</div>
|
|
331
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div>
|
|
332
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="keywordflow">if</span> (isa<StoreSVFGNode>(edge->getSrcNode()))</div>
|
|
333
|
+
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  saberCondAllocator->getRemovedSUVFEdges()[edge->getSrcNode()].insert(edge->getDstNode());</div>
|
|
334
|
+
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  svfg->removeSVFGEdge(edge);</div>
|
|
335
|
+
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  }</div>
|
|
336
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  }</div>
|
|
337
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  }</div>
|
|
338
|
+
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  }</div>
|
|
339
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  }</div>
|
|
340
|
+
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span> }</div>
|
|
341
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  </div>
|
|
342
|
+
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  </div>
|
|
343
|
+
<div class="line"><a name="l00294"></a><span class="lineno"><a class="line" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7"> 294</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SaberSVFGBuilder::AddExtActualParmSVFGNodes</a>(<a class="code" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a>* callgraph)</div>
|
|
344
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span> {</div>
|
|
345
|
+
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div>
|
|
346
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">for</span>(SVFIR::CSToArgsListMap::iterator it = pag-><a class="code" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>().begin(),</div>
|
|
347
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  eit = pag-><a class="code" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>().end(); it!=eit; ++it)</div>
|
|
348
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div>
|
|
349
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <a class="code" href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">PTACallGraph::FunctionSet</a> callees;</div>
|
|
350
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  callgraph-><a class="code" href="classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec">getCallees</a>(it->first, callees);</div>
|
|
351
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  <span class="keywordflow">for</span> (PTACallGraph::FunctionSet::const_iterator cit = callees.begin(),</div>
|
|
352
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  ecit = callees.end(); cit != ecit; cit++)</div>
|
|
353
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div>
|
|
354
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  </div>
|
|
355
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = *cit;</div>
|
|
356
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036">SaberCheckerAPI::getCheckerAPI</a>()->isMemDealloc(fun)</div>
|
|
357
|
+
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  || <a class="code" href="classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036">SaberCheckerAPI::getCheckerAPI</a>()->isFClose(fun))</div>
|
|
358
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div>
|
|
359
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <a class="code" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFIR::SVFVarList</a>& arglist = it->second;</div>
|
|
360
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <span class="keywordflow">for</span>(SVFIR::SVFVarList::const_iterator ait = arglist.begin(), aeit = arglist.end(); ait!=aeit; ++ait)</div>
|
|
361
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  {</div>
|
|
362
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *pagNode = *ait;</div>
|
|
363
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  <span class="keywordflow">if</span> (pagNode-><a class="code" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>())</div>
|
|
364
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  {</div>
|
|
365
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  addActualParmVFGNode(pagNode, it->first);</div>
|
|
366
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  svfg->addIntraDirectVFEdge(svfg->getDefSVFGNode(pagNode)->getId(), svfg->getActualParmVFGNode(pagNode, it->first)->getId());</div>
|
|
367
|
+
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  }</div>
|
|
368
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  }</div>
|
|
369
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  }</div>
|
|
370
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  }</div>
|
|
371
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  }</div>
|
|
372
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span> }</div>
|
|
368
373
|
</div><!-- fragment --></div><!-- contents -->
|
|
369
374
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
|
|
370
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a4cb1f607e33d106dfa178e822c5ab7e1"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder::NodeToPTSSMap</a></div><div class="ttdeci">Map< NodeID, PointsTo > NodeToPTSSMap</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8h_source.html#
|
|
375
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a4cb1f607e33d106dfa178e822c5ab7e1"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder::NodeToPTSSMap</a></div><div class="ttdeci">Map< NodeID, PointsTo > NodeToPTSSMap</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8h_source.html#l00048">SaberSVFGBuilder.h:48</a></div></div>
|
|
371
376
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
|
|
372
377
|
<div class="ttc" id="anamespaceSVF_html_a39d27055a14d9d6363c668ee215a4676"><div class="ttname"><a href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></div><div class="ttdeci">std::vector< NodeID > NodeVector</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00117">SVFType.h:117</a></div></div>
|
|
373
378
|
<div class="ttc" id="aclassSVF_1_1PointsTo_1_1PointsToIterator_html"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html">SVF::PointsTo::PointsToIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00181">PointsTo.h:181</a></div></div>
|
|
@@ -389,7 +394,7 @@ $(function() {
|
|
|
389
394
|
<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>
|
|
390
395
|
<div class="ttc" id="aclassSVF_1_1PointsTo_html_ad78e4109c839914c4f7e37ca78046f1d"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ad78e4109c839914c4f7e37ca78046f1d">SVF::PointsTo::intersects</a></div><div class="ttdeci">bool intersects(const PointsTo &rhs) const</div><div class="ttdoc">Returns true if this set and rhs share any elements.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00189">PointsTo.cpp:189</a></div></div>
|
|
391
396
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_a3b61042079a6c9dc395f38925c6a1271"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">SVF::SVFVar::isPointer</a></div><div class="ttdeci">virtual bool isPointer() const</div><div class="ttdoc">Whether it is a pointer.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00117">SVFVariables.h:117</a></div></div>
|
|
392
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a21c20865a0093192978cec09ce09f20b"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">SVF::SaberSVFGBuilder::isStrongUpdate</a></div><div class="ttdeci">bool isStrongUpdate(const SVFGNode *node, NodeID &singleton, BVDataPTAImpl *pta)</div><div class="ttdoc">Return TRUE if this is a strong update STORE statement.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
397
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a21c20865a0093192978cec09ce09f20b"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">SVF::SaberSVFGBuilder::isStrongUpdate</a></div><div class="ttdeci">bool isStrongUpdate(const SVFGNode *node, NodeID &singleton, BVDataPTAImpl *pta)</div><div class="ttdoc">Return TRUE if this is a strong update STORE statement.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00224">SaberSVFGBuilder.cpp:224</a></div></div>
|
|
393
398
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
|
|
394
399
|
<div class="ttc" id="aSaberCheckerAPI_8h_html"><div class="ttname"><a href="SaberCheckerAPI_8h.html">SaberCheckerAPI.h</a></div></div>
|
|
395
400
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
@@ -397,17 +402,17 @@ $(function() {
|
|
|
397
402
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a77a6bb9335aa12d29825af1b5ea07e08"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR::getBaseObjVar</a></div><div class="ttdeci">NodeID getBaseObjVar(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00445">SVFIR.h:445</a></div></div>
|
|
398
403
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
|
|
399
404
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
|
|
400
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a4d70d1413f42f30437d8eb45ff00b6f6"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SVF::SaberSVFGBuilder::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Re-write create SVFG method.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
405
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a4d70d1413f42f30437d8eb45ff00b6f6"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SVF::SaberSVFGBuilder::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Re-write create SVFG method.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00041">SaberSVFGBuilder.cpp:41</a></div></div>
|
|
401
406
|
<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set< const SVFFunction * > FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
|
|
402
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ab6870d6f6f5abc5417dcea771eaa31f7"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder::AddExtActualParmSVFGNodes</a></div><div class="ttdeci">virtual void AddExtActualParmSVFGNodes(PTACallGraph *callgraph)</div><div class="ttdoc">Add actual parameter SVFGNode for 1st argument of a deallocation like external function.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
407
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ab6870d6f6f5abc5417dcea771eaa31f7"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder::AddExtActualParmSVFGNodes</a></div><div class="ttdeci">virtual void AddExtActualParmSVFGNodes(PTACallGraph *callgraph)</div><div class="ttdoc">Add actual parameter SVFGNode for 1st argument of a deallocation like external function.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00294">SaberSVFGBuilder.cpp:294</a></div></div>
|
|
403
408
|
<div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00042">PointerAnalysisImpl.h:42</a></div></div>
|
|
404
409
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a346b9300ad16ef65e3ab4e11f88193a7"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">SVF::SVFIR::getCallSiteArgsMap</a></div><div class="ttdeci">CSToArgsListMap & getCallSiteArgsMap()</div><div class="ttdoc">Get callsite argument list.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00274">SVFIR.h:274</a></div></div>
|
|
405
410
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
|
|
406
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a4bfa849a30d1982ae597d26b4a01dd0f"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">SVF::SaberSVFGBuilder::accessGlobal</a></div><div class="ttdeci">bool accessGlobal(BVDataPTAImpl *pta, const PAGNode *pagNode)</div><div class="ttdoc">Whether points-to of a PAGNode points-to global variable.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
411
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a4bfa849a30d1982ae597d26b4a01dd0f"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">SVF::SaberSVFGBuilder::accessGlobal</a></div><div class="ttdeci">bool accessGlobal(BVDataPTAImpl *pta, const PAGNode *pagNode)</div><div class="ttdoc">Whether points-to of a PAGNode points-to global variable.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00170">SaberSVFGBuilder.cpp:170</a></div></div>
|
|
407
412
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_ae5b113921530eee6afe58a65d8e5b3a7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode::InEdgeBegin</a></div><div class="ttdeci">iterator InEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00225">GenericGraph.h:225</a></div></div>
|
|
408
413
|
<div class="ttc" id="aclassSVF_1_1PointsTo_html_ab196d86cfb48d1c5d27a0c03c7497afa"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">SVF::PointsTo::set</a></div><div class="ttdeci">void set(u32_t n)</div><div class="ttdoc">Inserts n in the set.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00157">PointsTo.cpp:157</a></div></div>
|
|
409
414
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0">SVF::VFG::FULLSVFG_OPT</a></div><div class="ttdeci">@ FULLSVFG_OPT</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
|
|
410
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a2d0492c50159a5f97a587874c6877286"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder::collectGlobals</a></div><div class="ttdeci">void collectGlobals(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
415
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a2d0492c50159a5f97a587874c6877286"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder::collectGlobals</a></div><div class="ttdeci">void collectGlobals(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00070">SaberSVFGBuilder.cpp:70</a></div></div>
|
|
411
416
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG::PTRONLYSVFG_OPT</a></div><div class="ttdeci">@ PTRONLYSVFG_OPT</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
|
|
412
417
|
<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>
|
|
413
418
|
<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>
|
|
@@ -420,6 +425,7 @@ $(function() {
|
|
|
420
425
|
<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>
|
|
421
426
|
<div class="ttc" id="aclassSVF_1_1MemSSA_html"><div class="ttname"><a href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00052">MemSSA.h:52</a></div></div>
|
|
422
427
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae6ea391ac44dffeb6899bb44323c5361"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361">SVF::PointerAnalysis::isHeapMemObj</a></div><div class="ttdeci">bool isHeapMemObj(NodeID id) const</div><div class="ttdoc">Whether this object is heap or array.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00312">PointerAnalysis.h:312</a></div></div>
|
|
428
|
+
<div class="ttc" id="aSaberCondAllocator_8h_html"><div class="ttname"><a href="SaberCondAllocator_8h.html">SaberCondAllocator.h</a></div></div>
|
|
423
429
|
<div class="ttc" id="aclassSVF_1_1Options_html_a9be31261a2f96c5733bd35a5da07eb76"><div class="ttname"><a href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76">SVF::Options::CollectExtRetGlobals</a></div><div class="ttdeci">static const Option< bool > CollectExtRetGlobals</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00220">Options.h:220</a></div></div>
|
|
424
430
|
<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>
|
|
425
431
|
<div class="ttc" id="aclassSVF_1_1MemSSA_html_ad40617a1907b9a6b8cc24888ce54a0ac"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">SVF::MemSSA::getPTA</a></div><div class="ttdeci">BVDataPTAImpl * getPTA() const</div><div class="ttdoc">Return PTA.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00308">MemSSA.h:308</a></div></div>
|
|
@@ -433,16 +439,16 @@ $(function() {
|
|
|
433
439
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
434
440
|
<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>
|
|
435
441
|
<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>
|
|
436
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a411e168e2a6c27e15186c609c5e216b3"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">SVF::SaberSVFGBuilder::CollectPtsChain</a></div><div class="ttdeci">PointsTo & CollectPtsChain(BVDataPTAImpl *pta, NodeID id, NodeToPTSSMap &cachedPtsMap)</div><div class="ttdoc">Collect objects along points-to chains.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
442
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a411e168e2a6c27e15186c609c5e216b3"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">SVF::SaberSVFGBuilder::CollectPtsChain</a></div><div class="ttdeci">PointsTo & CollectPtsChain(BVDataPTAImpl *pta, NodeID id, NodeToPTSSMap &cachedPtsMap)</div><div class="ttdoc">Collect objects along points-to chains.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00122">SaberSVFGBuilder.cpp:122</a></div></div>
|
|
437
443
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
|
|
438
444
|
<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>
|
|
439
445
|
<div class="ttc" id="aclassSVF_1_1SaberCheckerAPI_html_acf41a2b6de063da9ed492ef0da129036"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036">SVF::SaberCheckerAPI::getCheckerAPI</a></div><div class="ttdeci">static SaberCheckerAPI * getCheckerAPI()</div><div class="ttdoc">Return a static reference.</div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00089">SaberCheckerAPI.h:89</a></div></div>
|
|
440
446
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00362">PointerAnalysis.h:362</a></div></div>
|
|
441
447
|
<div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac9897a09cad8a99169f2da2116807b1b"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">const PointsTo & getPts(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00088">PointerAnalysisImpl.h:88</a></div></div>
|
|
442
448
|
<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>
|
|
443
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ae0a9c42c850bda29aeae2f47ad2b8f4a"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a">SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore</a></div><div class="ttdeci">void rmIncomingEdgeForSUStore(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
449
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ae0a9c42c850bda29aeae2f47ad2b8f4a"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a">SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore</a></div><div class="ttdeci">virtual void rmIncomingEdgeForSUStore(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00258">SaberSVFGBuilder.cpp:258</a></div></div>
|
|
444
450
|
<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>
|
|
445
|
-
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ad8f4f63d2071be4eb5f6fb2fdf29a10a"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">SVF::SaberSVFGBuilder::rmDerefDirSVFGEdges</a></div><div class="ttdeci">void rmDerefDirSVFGEdges(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#
|
|
451
|
+
<div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ad8f4f63d2071be4eb5f6fb2fdf29a10a"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">SVF::SaberSVFGBuilder::rmDerefDirSVFGEdges</a></div><div class="ttdeci">void rmDerefDirSVFGEdges(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00180">SaberSVFGBuilder.cpp:180</a></div></div>
|
|
446
452
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_af90d2ccb01402c5ca9d7a059f345c816"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816">SVF::PointerAnalysis::isFIObjNode</a></div><div class="ttdeci">bool isFIObjNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00329">PointerAnalysis.h:329</a></div></div>
|
|
447
453
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00449">SVFIR.h:449</a></div></div>
|
|
448
454
|
<div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
|