svf-tools 1.0.786 → 1.0.788
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/CDGBuilder_8cpp_source.html +128 -122
- package/SVF-doxygen/html/CDGBuilder_8h_source.html +5 -5
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp.html +92 -0
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +291 -0
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8h.html +98 -0
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +154 -0
- package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +49 -184
- package/SVF-doxygen/html/CFBasicBlockG_8h.html +0 -2
- package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +509 -506
- package/SVF-doxygen/html/CHG_8cpp.html +2 -2
- package/SVF-doxygen/html/CHG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +144 -141
- package/SVF-doxygen/html/SVFValue_8h_source.html +9 -9
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WTO_8h_source.html +424 -372
- package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +119 -113
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +302 -124
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +48 -47
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +306 -236
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder-members.html +15 -14
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html +90 -44
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html +26 -26
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -36
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +121 -254
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +46 -47
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +185 -225
- package/SVF-doxygen/html/classSVF_1_1CHGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +63 -63
- package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +25 -22
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VFG.html +1 -1
- package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +2 -0
- package/SVF-doxygen/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +2 -0
- package/SVF-doxygen/html/files.html +35 -33
- package/SVF-doxygen/html/functions.html +3 -4
- package/SVF-doxygen/html/functions_a.html +19 -10
- package/SVF-doxygen/html/functions_b.html +6 -6
- package/SVF-doxygen/html/functions_c.html +29 -29
- package/SVF-doxygen/html/functions_func.html +15 -6
- package/SVF-doxygen/html/functions_func_b.html +1 -1
- package/SVF-doxygen/html/functions_func_c.html +21 -21
- package/SVF-doxygen/html/functions_func_g.html +13 -14
- package/SVF-doxygen/html/functions_func_h.html +5 -8
- package/SVF-doxygen/html/functions_func_i.html +10 -7
- package/SVF-doxygen/html/functions_func_s.html +22 -25
- package/SVF-doxygen/html/functions_func_t.html +1 -1
- package/SVF-doxygen/html/functions_g.html +10 -11
- package/SVF-doxygen/html/functions_h.html +3 -6
- package/SVF-doxygen/html/functions_i.html +10 -7
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_n.html +4 -4
- package/SVF-doxygen/html/functions_o.html +19 -19
- package/SVF-doxygen/html/functions_p.html +21 -17
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +14 -17
- package/SVF-doxygen/html/functions_t.html +4 -4
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_vars.html +3 -4
- package/SVF-doxygen/html/functions_w.html +7 -7
- package/SVF-doxygen/html/namespaceSVF.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +2 -2
- package/SVF-doxygen/html/search/all_0.js +123 -124
- package/SVF-doxygen/html/search/all_1.js +479 -476
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +224 -224
- package/SVF-doxygen/html/search/all_12.js +541 -542
- 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 +170 -170
- 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 +172 -172
- package/SVF-doxygen/html/search/all_2.js +167 -167
- package/SVF-doxygen/html/search/all_3.js +642 -640
- package/SVF-doxygen/html/search/all_4.js +233 -233
- package/SVF-doxygen/html/search/all_5.js +121 -121
- package/SVF-doxygen/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/search/all_7.js +1038 -1038
- package/SVF-doxygen/html/search/all_8.js +194 -195
- package/SVF-doxygen/html/search/all_9.js +608 -607
- 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 +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- 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 +80 -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 +33 -33
- 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 +21 -21
- 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 +55 -53
- 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 +12 -12
- package/SVF-doxygen/html/search/functions_1.js +359 -356
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +276 -277
- package/SVF-doxygen/html/search/functions_13.js +58 -58
- 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 +172 -172
- package/SVF-doxygen/html/search/functions_2.js +86 -86
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +849 -849
- package/SVF-doxygen/html/search/functions_8.js +146 -147
- package/SVF-doxygen/html/search/functions_9.js +426 -425
- 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 +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- 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 +2 -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 +1 -1
- package/SVF-doxygen/html/search/related_d.js +11 -11
- 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 +18 -18
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -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 +35 -35
- 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 +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +42 -42
- 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 +15 -15
- 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 -152
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- 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 +37 -37
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +77 -77
- 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 +56 -56
- 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_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +93 -40
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
- package/package.json +1 -1
- package/svf/include/AbstractExecution/WTO.h +56 -10
- package/svf/include/Graphs/CFBasicBlockG.h +62 -50
- package/svf/include/Util/CFBasicBlockGBuilder.h +59 -0
- package/svf/lib/Graphs/CFBasicBlockG.cpp +0 -111
- package/svf/lib/SVFIR/SVFValue.cpp +2 -0
- package/svf/lib/Util/CDGBuilder.cpp +5 -0
- package/svf/lib/Util/CFBasicBlockGBuilder.cpp +183 -0
|
@@ -114,14 +114,12 @@ Public Types</h2></td></tr>
|
|
|
114
114
|
Public Member Functions</h2></td></tr>
|
|
115
115
|
<tr class="memitem:a34ef44c3ffad24255a72c8ecf2f2919e"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">CFBasicBlockNode</a> (std::vector< const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * > icfgNodes)</td></tr>
|
|
116
116
|
<tr class="separator:a34ef44c3ffad24255a72c8ecf2f2919e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
117
|
-
<tr class="memitem:ac5a07bfd7ac54249100317760c94331d"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#ac5a07bfd7ac54249100317760c94331d">CFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb)</td></tr>
|
|
118
|
-
<tr class="separator:ac5a07bfd7ac54249100317760c94331d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
119
117
|
<tr class="memitem:a727f0ef59605adf99af4babee90eb8a8"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">toString</a> () const</td></tr>
|
|
120
118
|
<tr class="separator:a727f0ef59605adf99af4babee90eb8a8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
121
119
|
<tr class="memitem:a4ed32455eaafc3bd1a06ed9b417b329d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">getName</a> () const</td></tr>
|
|
122
120
|
<tr class="separator:a4ed32455eaafc3bd1a06ed9b417b329d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
123
|
-
<tr class="memitem:
|
|
124
|
-
<tr class="separator:
|
|
121
|
+
<tr class="memitem:afdad57a83c392a8b14b838ecb58f9ff7"><td class="memItemLeft" align="right" valign="top">const std::vector< const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#afdad57a83c392a8b14b838ecb58f9ff7">getICFGNodes</a> () const</td></tr>
|
|
122
|
+
<tr class="separator:afdad57a83c392a8b14b838ecb58f9ff7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
125
123
|
<tr class="memitem:ad8afed175964dc0b90f98dbf68fdf1c8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad8afed175964dc0b90f98dbf68fdf1c8">getFunction</a> () const</td></tr>
|
|
126
124
|
<tr class="separator:ad8afed175964dc0b90f98dbf68fdf1c8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
127
125
|
<tr class="memitem:a439a84d7181616f62d8ebac945dbbd59"><td class="memItemLeft" align="right" valign="top">std::vector< const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * >::<a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a439a84d7181616f62d8ebac945dbbd59">begin</a> () const</td></tr>
|
|
@@ -317,7 +315,7 @@ Friends</h2></td></tr>
|
|
|
317
315
|
</div>
|
|
318
316
|
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
319
317
|
<a id="a34ef44c3ffad24255a72c8ecf2f2919e"></a>
|
|
320
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a34ef44c3ffad24255a72c8ecf2f2919e">◆ </a></span>CFBasicBlockNode()
|
|
318
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a34ef44c3ffad24255a72c8ecf2f2919e">◆ </a></span>CFBasicBlockNode()</h2>
|
|
321
319
|
|
|
322
320
|
<div class="memitem">
|
|
323
321
|
<div class="memproto">
|
|
@@ -348,40 +346,6 @@ Friends</h2></td></tr>
|
|
|
348
346
|
</div><!-- fragment -->
|
|
349
347
|
</div>
|
|
350
348
|
</div>
|
|
351
|
-
<a id="ac5a07bfd7ac54249100317760c94331d"></a>
|
|
352
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ac5a07bfd7ac54249100317760c94331d">◆ </a></span>CFBasicBlockNode() <span class="overload">[2/2]</span></h2>
|
|
353
|
-
|
|
354
|
-
<div class="memitem">
|
|
355
|
-
<div class="memproto">
|
|
356
|
-
<table class="memname">
|
|
357
|
-
<tr>
|
|
358
|
-
<td class="memname">SVF::CFBasicBlockNode::CFBasicBlockNode </td>
|
|
359
|
-
<td>(</td>
|
|
360
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> * </td>
|
|
361
|
-
<td class="paramname"><em>bb</em></td><td>)</td>
|
|
362
|
-
<td></td>
|
|
363
|
-
</tr>
|
|
364
|
-
</table>
|
|
365
|
-
</div><div class="memdoc">
|
|
366
|
-
|
|
367
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00035">35</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
|
|
368
|
-
<div class="fragment"><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  : <a class="code" href="namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab">GenericCFBasicBlockNodeTy</a>(</div>
|
|
369
|
-
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()</div>
|
|
370
|
-
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  ->getICFG()</div>
|
|
371
|
-
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  ->getICFGNode(*svfBasicBlock->getInstructionList().begin())</div>
|
|
372
|
-
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  ->getId(),</div>
|
|
373
|
-
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  0)</div>
|
|
374
|
-
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span> {</div>
|
|
375
|
-
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = svfBasicBlock->begin(); it != svfBasicBlock->end(); ++it)</div>
|
|
376
|
-
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  {</div>
|
|
377
|
-
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  <span class="keyword">const</span> SVFInstruction* ins = *it;</div>
|
|
378
|
-
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  ICFGNode* icfgNode = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(ins);</div>
|
|
379
|
-
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.push_back(icfgNode);</div>
|
|
380
|
-
<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  }</div>
|
|
381
|
-
<div class="line"><a name="l00049"></a><span class="lineno"> 49</span> }</div>
|
|
382
|
-
</div><!-- fragment -->
|
|
383
|
-
</div>
|
|
384
|
-
</div>
|
|
385
349
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
386
350
|
<a id="abb240b6d11fb9fb08a2ea3d093cf800f"></a>
|
|
387
351
|
<h2 class="memtitle"><span class="permalink"><a href="#abb240b6d11fb9fb08a2ea3d093cf800f">◆ </a></span>addIncomingEdge()</h2>
|
|
@@ -409,10 +373,10 @@ Friends</h2></td></tr>
|
|
|
409
373
|
|
|
410
374
|
<p>Add incoming and outgoing edges. </p>
|
|
411
375
|
|
|
412
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
413
|
-
<div class="fragment"><div class="line"><a name="
|
|
414
|
-
<div class="line"><a name="
|
|
415
|
-
<div class="line"><a name="
|
|
376
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00297">297</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
377
|
+
<div class="fragment"><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  {</div>
|
|
378
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.insert(inEdge).second;</div>
|
|
379
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  }</div>
|
|
416
380
|
</div><!-- fragment -->
|
|
417
381
|
</div>
|
|
418
382
|
</div>
|
|
@@ -440,10 +404,10 @@ Friends</h2></td></tr>
|
|
|
440
404
|
</table>
|
|
441
405
|
</div><div class="memdoc">
|
|
442
406
|
|
|
443
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
444
|
-
<div class="fragment"><div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="
|
|
446
|
-
<div class="line"><a name="
|
|
407
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00172">172</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
408
|
+
<div class="fragment"><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  {</div>
|
|
409
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.push_back(node);</div>
|
|
410
|
+
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  }</div>
|
|
447
411
|
</div><!-- fragment -->
|
|
448
412
|
</div>
|
|
449
413
|
</div>
|
|
@@ -471,10 +435,10 @@ Friends</h2></td></tr>
|
|
|
471
435
|
</table>
|
|
472
436
|
</div><div class="memdoc">
|
|
473
437
|
|
|
474
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
475
|
-
<div class="fragment"><div class="line"><a name="
|
|
476
|
-
<div class="line"><a name="
|
|
477
|
-
<div class="line"><a name="
|
|
438
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00302">302</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
439
|
+
<div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  {</div>
|
|
440
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.insert(outEdge).second;</div>
|
|
441
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  }</div>
|
|
478
442
|
</div><!-- fragment -->
|
|
479
443
|
</div>
|
|
480
444
|
</div>
|
|
@@ -501,10 +465,10 @@ Friends</h2></td></tr>
|
|
|
501
465
|
</table>
|
|
502
466
|
</div><div class="memdoc">
|
|
503
467
|
|
|
504
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
505
|
-
<div class="fragment"><div class="line"><a name="
|
|
506
|
-
<div class="line"><a name="
|
|
507
|
-
<div class="line"><a name="
|
|
468
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00155">155</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
469
|
+
<div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  {</div>
|
|
470
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cbegin();</div>
|
|
471
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  }</div>
|
|
508
472
|
</div><!-- fragment -->
|
|
509
473
|
</div>
|
|
510
474
|
</div>
|
|
@@ -533,10 +497,10 @@ Friends</h2></td></tr>
|
|
|
533
497
|
|
|
534
498
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
535
499
|
|
|
536
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
537
|
-
<div class="fragment"><div class="line"><a name="
|
|
538
|
-
<div class="line"><a name="
|
|
539
|
-
<div class="line"><a name="
|
|
500
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00264">264</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
501
|
+
<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  {</div>
|
|
502
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
503
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  }</div>
|
|
540
504
|
</div><!-- fragment -->
|
|
541
505
|
</div>
|
|
542
506
|
</div>
|
|
@@ -565,10 +529,10 @@ Friends</h2></td></tr>
|
|
|
565
529
|
|
|
566
530
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
567
531
|
|
|
568
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
569
|
-
<div class="fragment"><div class="line"><a name="
|
|
570
|
-
<div class="line"><a name="
|
|
571
|
-
<div class="line"><a name="
|
|
532
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00284">284</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
533
|
+
<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  {</div>
|
|
534
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
535
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  }</div>
|
|
572
536
|
</div><!-- fragment -->
|
|
573
537
|
</div>
|
|
574
538
|
</div>
|
|
@@ -597,10 +561,10 @@ Friends</h2></td></tr>
|
|
|
597
561
|
|
|
598
562
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
599
563
|
|
|
600
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
601
|
-
<div class="fragment"><div class="line"><a name="
|
|
602
|
-
<div class="line"><a name="
|
|
603
|
-
<div class="line"><a name="
|
|
564
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00269">269</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
565
|
+
<div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  {</div>
|
|
566
|
+
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
567
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  }</div>
|
|
604
568
|
</div><!-- fragment -->
|
|
605
569
|
</div>
|
|
606
570
|
</div>
|
|
@@ -629,10 +593,10 @@ Friends</h2></td></tr>
|
|
|
629
593
|
|
|
630
594
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
631
595
|
|
|
632
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
633
|
-
<div class="fragment"><div class="line"><a name="
|
|
634
|
-
<div class="line"><a name="
|
|
635
|
-
<div class="line"><a name="
|
|
596
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00289">289</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
597
|
+
<div class="fragment"><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  {</div>
|
|
598
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
599
|
+
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  }</div>
|
|
636
600
|
</div><!-- fragment -->
|
|
637
601
|
</div>
|
|
638
602
|
</div>
|
|
@@ -663,10 +627,10 @@ Friends</h2></td></tr>
|
|
|
663
627
|
|
|
664
628
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
665
629
|
|
|
666
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
667
|
-
<div class="fragment"><div class="line"><a name="
|
|
668
|
-
<div class="line"><a name="
|
|
669
|
-
<div class="line"><a name="
|
|
630
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00254">254</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
631
|
+
<div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  {</div>
|
|
632
|
+
<div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
633
|
+
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  }</div>
|
|
670
634
|
</div><!-- fragment -->
|
|
671
635
|
</div>
|
|
672
636
|
</div>
|
|
@@ -695,10 +659,10 @@ Friends</h2></td></tr>
|
|
|
695
659
|
|
|
696
660
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
697
661
|
|
|
698
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
699
|
-
<div class="fragment"><div class="line"><a name="
|
|
700
|
-
<div class="line"><a name="
|
|
701
|
-
<div class="line"><a name="
|
|
662
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00274">274</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
663
|
+
<div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  {</div>
|
|
664
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
665
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  }</div>
|
|
702
666
|
</div><!-- fragment -->
|
|
703
667
|
</div>
|
|
704
668
|
</div>
|
|
@@ -727,10 +691,10 @@ Friends</h2></td></tr>
|
|
|
727
691
|
|
|
728
692
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
729
693
|
|
|
730
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
731
|
-
<div class="fragment"><div class="line"><a name="
|
|
732
|
-
<div class="line"><a name="
|
|
733
|
-
<div class="line"><a name="
|
|
694
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00259">259</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
695
|
+
<div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  {</div>
|
|
696
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
697
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  }</div>
|
|
734
698
|
</div><!-- fragment -->
|
|
735
699
|
</div>
|
|
736
700
|
</div>
|
|
@@ -759,10 +723,10 @@ Friends</h2></td></tr>
|
|
|
759
723
|
|
|
760
724
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
761
725
|
|
|
762
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
763
|
-
<div class="fragment"><div class="line"><a name="
|
|
764
|
-
<div class="line"><a name="
|
|
765
|
-
<div class="line"><a name="
|
|
726
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00279">279</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
727
|
+
<div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  {</div>
|
|
728
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
729
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  }</div>
|
|
766
730
|
</div><!-- fragment -->
|
|
767
731
|
</div>
|
|
768
732
|
</div>
|
|
@@ -789,10 +753,10 @@ Friends</h2></td></tr>
|
|
|
789
753
|
</table>
|
|
790
754
|
</div><div class="memdoc">
|
|
791
755
|
|
|
792
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
793
|
-
<div class="fragment"><div class="line"><a name="
|
|
794
|
-
<div class="line"><a name="
|
|
795
|
-
<div class="line"><a name="
|
|
756
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00160">160</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
757
|
+
<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div>
|
|
758
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cend();</div>
|
|
759
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div>
|
|
796
760
|
</div><!-- fragment -->
|
|
797
761
|
</div>
|
|
798
762
|
</div>
|
|
@@ -819,11 +783,11 @@ Friends</h2></td></tr>
|
|
|
819
783
|
</table>
|
|
820
784
|
</div><div class="memdoc">
|
|
821
785
|
|
|
822
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
823
|
-
<div class="fragment"><div class="line"><a name="
|
|
824
|
-
<div class="line"><a name="
|
|
825
|
-
<div class="line"><a name="
|
|
826
|
-
<div class="line"><a name="
|
|
786
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00149">149</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
787
|
+
<div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  {</div>
|
|
788
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() && <span class="stringliteral">"no ICFG nodes in CFBB"</span>);</div>
|
|
789
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())->getFun();</div>
|
|
790
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  }</div>
|
|
827
791
|
</div><!-- fragment -->
|
|
828
792
|
</div>
|
|
829
793
|
</div>
|
|
@@ -850,15 +814,15 @@ Friends</h2></td></tr>
|
|
|
850
814
|
</table>
|
|
851
815
|
</div><div class="memdoc">
|
|
852
816
|
|
|
853
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
854
|
-
<div class="fragment"><div class="line"><a name="
|
|
855
|
-
<div class="line"><a name="
|
|
856
|
-
<div class="line"><a name="
|
|
817
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00177">177</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
818
|
+
<div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  {</div>
|
|
819
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.size();</div>
|
|
820
|
+
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  }</div>
|
|
857
821
|
</div><!-- fragment -->
|
|
858
822
|
</div>
|
|
859
823
|
</div>
|
|
860
|
-
<a id="
|
|
861
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
824
|
+
<a id="afdad57a83c392a8b14b838ecb58f9ff7"></a>
|
|
825
|
+
<h2 class="memtitle"><span class="permalink"><a href="#afdad57a83c392a8b14b838ecb58f9ff7">◆ </a></span>getICFGNodes()</h2>
|
|
862
826
|
|
|
863
827
|
<div class="memitem">
|
|
864
828
|
<div class="memproto">
|
|
@@ -867,7 +831,7 @@ Friends</h2></td></tr>
|
|
|
867
831
|
<td class="mlabels-left">
|
|
868
832
|
<table class="memname">
|
|
869
833
|
<tr>
|
|
870
|
-
<td class="memname">const <a class="el" href="
|
|
834
|
+
<td class="memname">const std::vector<const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a>*>& SVF::CFBasicBlockNode::getICFGNodes </td>
|
|
871
835
|
<td>(</td>
|
|
872
836
|
<td class="paramname"></td><td>)</td>
|
|
873
837
|
<td> const</td>
|
|
@@ -880,15 +844,15 @@ Friends</h2></td></tr>
|
|
|
880
844
|
</table>
|
|
881
845
|
</div><div class="memdoc">
|
|
882
846
|
|
|
883
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
884
|
-
<div class="fragment"><div class="line"><a name="
|
|
885
|
-
<div class="line"><a name="
|
|
886
|
-
<div class="line"><a name="
|
|
847
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00144">144</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
848
|
+
<div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  {</div>
|
|
849
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>;</div>
|
|
850
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  }</div>
|
|
887
851
|
</div><!-- fragment -->
|
|
888
852
|
</div>
|
|
889
853
|
</div>
|
|
890
|
-
<a id="
|
|
891
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
854
|
+
<a id="a6bfafe540f83e097370ca0dc66422214"></a>
|
|
855
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6bfafe540f83e097370ca0dc66422214">◆ </a></span>getInEdges()</h2>
|
|
892
856
|
|
|
893
857
|
<div class="memitem">
|
|
894
858
|
<div class="memproto">
|
|
@@ -897,7 +861,7 @@ Friends</h2></td></tr>
|
|
|
897
861
|
<td class="mlabels-left">
|
|
898
862
|
<table class="memname">
|
|
899
863
|
<tr>
|
|
900
|
-
<td class="memname"
|
|
864
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aefd060ec49a9e2146a7aebdc5e8dfbf6">CFBBEdgeSetTy</a>& SVF::CFBasicBlockNode::getInEdges </td>
|
|
901
865
|
<td>(</td>
|
|
902
866
|
<td class="paramname"></td><td>)</td>
|
|
903
867
|
<td> const</td>
|
|
@@ -910,16 +874,15 @@ Friends</h2></td></tr>
|
|
|
910
874
|
</table>
|
|
911
875
|
</div><div class="memdoc">
|
|
912
876
|
|
|
913
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
914
|
-
<div class="fragment"><div class="line"><a name="
|
|
915
|
-
<div class="line"><a name="
|
|
916
|
-
<div class="line"><a name="
|
|
917
|
-
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div>
|
|
877
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00190">190</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
878
|
+
<div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div>
|
|
879
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>;</div>
|
|
880
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  }</div>
|
|
918
881
|
</div><!-- fragment -->
|
|
919
882
|
</div>
|
|
920
883
|
</div>
|
|
921
|
-
<a id="
|
|
922
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
884
|
+
<a id="a4ed32455eaafc3bd1a06ed9b417b329d"></a>
|
|
885
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a4ed32455eaafc3bd1a06ed9b417b329d">◆ </a></span>getName()</h2>
|
|
923
886
|
|
|
924
887
|
<div class="memitem">
|
|
925
888
|
<div class="memproto">
|
|
@@ -928,7 +891,7 @@ Friends</h2></td></tr>
|
|
|
928
891
|
<td class="mlabels-left">
|
|
929
892
|
<table class="memname">
|
|
930
893
|
<tr>
|
|
931
|
-
<td class="memname"
|
|
894
|
+
<td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::CFBasicBlockNode::getName </td>
|
|
932
895
|
<td>(</td>
|
|
933
896
|
<td class="paramname"></td><td>)</td>
|
|
934
897
|
<td> const</td>
|
|
@@ -940,17 +903,17 @@ Friends</h2></td></tr>
|
|
|
940
903
|
</tr>
|
|
941
904
|
</table>
|
|
942
905
|
</div><div class="memdoc">
|
|
943
|
-
<p>Get incoming/outgoing edge set </p>
|
|
944
906
|
|
|
945
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
946
|
-
<div class="fragment"><div class="line"><a name="
|
|
947
|
-
<div class="line"><a name="
|
|
948
|
-
<div class="line"><a name="
|
|
907
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00138">138</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
908
|
+
<div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div>
|
|
909
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() && <span class="stringliteral">"no ICFG nodes in CFBB"</span>);</div>
|
|
910
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())->getBB()->getName();</div>
|
|
911
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  }</div>
|
|
949
912
|
</div><!-- fragment -->
|
|
950
913
|
</div>
|
|
951
914
|
</div>
|
|
952
|
-
<a id="
|
|
953
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
915
|
+
<a id="a48c0b6643c481afb15d4c4f89d00eecb"></a>
|
|
916
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a48c0b6643c481afb15d4c4f89d00eecb">◆ </a></span>getOutEdges()</h2>
|
|
954
917
|
|
|
955
918
|
<div class="memitem">
|
|
956
919
|
<div class="memproto">
|
|
@@ -959,7 +922,7 @@ Friends</h2></td></tr>
|
|
|
959
922
|
<td class="mlabels-left">
|
|
960
923
|
<table class="memname">
|
|
961
924
|
<tr>
|
|
962
|
-
<td class="memname">const <a class="el" href="
|
|
925
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aefd060ec49a9e2146a7aebdc5e8dfbf6">CFBBEdgeSetTy</a>& SVF::CFBasicBlockNode::getOutEdges </td>
|
|
963
926
|
<td>(</td>
|
|
964
927
|
<td class="paramname"></td><td>)</td>
|
|
965
928
|
<td> const</td>
|
|
@@ -971,12 +934,12 @@ Friends</h2></td></tr>
|
|
|
971
934
|
</tr>
|
|
972
935
|
</table>
|
|
973
936
|
</div><div class="memdoc">
|
|
937
|
+
<p>Get incoming/outgoing edge set </p>
|
|
974
938
|
|
|
975
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
976
|
-
<div class="fragment"><div class="line"><a name="
|
|
977
|
-
<div class="line"><a name="
|
|
978
|
-
<div class="line"><a name="
|
|
979
|
-
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  }</div>
|
|
939
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00185">185</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
940
|
+
<div class="fragment"><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  {</div>
|
|
941
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>;</div>
|
|
942
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  }</div>
|
|
980
943
|
</div><!-- fragment -->
|
|
981
944
|
</div>
|
|
982
945
|
</div>
|
|
@@ -1005,10 +968,10 @@ Friends</h2></td></tr>
|
|
|
1005
968
|
|
|
1006
969
|
<p>Has incoming/outgoing edge set. </p>
|
|
1007
970
|
|
|
1008
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1009
|
-
<div class="fragment"><div class="line"><a name="
|
|
1010
|
-
<div class="line"><a name="
|
|
1011
|
-
<div class="line"><a name="
|
|
971
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00198">198</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
972
|
+
<div class="fragment"><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  {</div>
|
|
973
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.empty() == <span class="keyword">false</span>);</div>
|
|
974
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  }</div>
|
|
1012
975
|
</div><!-- fragment -->
|
|
1013
976
|
</div>
|
|
1014
977
|
</div>
|
|
@@ -1038,14 +1001,14 @@ Friends</h2></td></tr>
|
|
|
1038
1001
|
|
|
1039
1002
|
<p>Find incoming and outgoing edges. </p>
|
|
1040
1003
|
|
|
1041
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1042
|
-
<div class="fragment"><div class="line"><a name="
|
|
1043
|
-
<div class="line"><a name="
|
|
1044
|
-
<div class="line"><a name="
|
|
1045
|
-
<div class="line"><a name="
|
|
1046
|
-
<div class="line"><a name="
|
|
1047
|
-
<div class="line"><a name="
|
|
1048
|
-
<div class="line"><a name="
|
|
1004
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00327">327</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1005
|
+
<div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  {</div>
|
|
1006
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
|
|
1007
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
|
|
1008
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keywordflow">return</span> *it;</div>
|
|
1009
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <span class="keywordflow">else</span></div>
|
|
1010
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
1011
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  }</div>
|
|
1049
1012
|
</div><!-- fragment -->
|
|
1050
1013
|
</div>
|
|
1051
1014
|
</div>
|
|
@@ -1072,10 +1035,10 @@ Friends</h2></td></tr>
|
|
|
1072
1035
|
</table>
|
|
1073
1036
|
</div><div class="memdoc">
|
|
1074
1037
|
|
|
1075
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1076
|
-
<div class="fragment"><div class="line"><a name="
|
|
1077
|
-
<div class="line"><a name="
|
|
1078
|
-
<div class="line"><a name="
|
|
1038
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00203">203</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1039
|
+
<div class="fragment"><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  {</div>
|
|
1040
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.empty() == <span class="keyword">false</span>);</div>
|
|
1041
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  }</div>
|
|
1079
1042
|
</div><!-- fragment -->
|
|
1080
1043
|
</div>
|
|
1081
1044
|
</div>
|
|
@@ -1103,14 +1066,14 @@ Friends</h2></td></tr>
|
|
|
1103
1066
|
</table>
|
|
1104
1067
|
</div><div class="memdoc">
|
|
1105
1068
|
|
|
1106
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1107
|
-
<div class="fragment"><div class="line"><a name="
|
|
1108
|
-
<div class="line"><a name="
|
|
1109
|
-
<div class="line"><a name="
|
|
1110
|
-
<div class="line"><a name="
|
|
1111
|
-
<div class="line"><a name="
|
|
1112
|
-
<div class="line"><a name="
|
|
1113
|
-
<div class="line"><a name="
|
|
1069
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00336">336</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1070
|
+
<div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  {</div>
|
|
1071
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
|
|
1072
|
+
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
|
|
1073
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <span class="keywordflow">return</span> *it;</div>
|
|
1074
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  <span class="keywordflow">else</span></div>
|
|
1075
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
1076
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  }</div>
|
|
1114
1077
|
</div><!-- fragment -->
|
|
1115
1078
|
</div>
|
|
1116
1079
|
</div>
|
|
@@ -1137,10 +1100,10 @@ Friends</h2></td></tr>
|
|
|
1137
1100
|
</table>
|
|
1138
1101
|
</div><div class="memdoc">
|
|
1139
1102
|
|
|
1140
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1141
|
-
<div class="fragment"><div class="line"><a name="
|
|
1142
|
-
<div class="line"><a name="
|
|
1143
|
-
<div class="line"><a name="
|
|
1103
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00221">221</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1104
|
+
<div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  {</div>
|
|
1105
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
1106
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  }</div>
|
|
1144
1107
|
</div><!-- fragment -->
|
|
1145
1108
|
</div>
|
|
1146
1109
|
</div>
|
|
@@ -1167,10 +1130,10 @@ Friends</h2></td></tr>
|
|
|
1167
1130
|
</table>
|
|
1168
1131
|
</div><div class="memdoc">
|
|
1169
1132
|
|
|
1170
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1171
|
-
<div class="fragment"><div class="line"><a name="
|
|
1172
|
-
<div class="line"><a name="
|
|
1173
|
-
<div class="line"><a name="
|
|
1133
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00241">241</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1134
|
+
<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  {</div>
|
|
1135
|
+
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
1136
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  }</div>
|
|
1174
1137
|
</div><!-- fragment -->
|
|
1175
1138
|
</div>
|
|
1176
1139
|
</div>
|
|
@@ -1197,10 +1160,10 @@ Friends</h2></td></tr>
|
|
|
1197
1160
|
</table>
|
|
1198
1161
|
</div><div class="memdoc">
|
|
1199
1162
|
|
|
1200
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1201
|
-
<div class="fragment"><div class="line"><a name="
|
|
1202
|
-
<div class="line"><a name="
|
|
1203
|
-
<div class="line"><a name="
|
|
1163
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00226">226</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1164
|
+
<div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  {</div>
|
|
1165
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
1166
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  }</div>
|
|
1204
1167
|
</div><!-- fragment -->
|
|
1205
1168
|
</div>
|
|
1206
1169
|
</div>
|
|
@@ -1227,10 +1190,10 @@ Friends</h2></td></tr>
|
|
|
1227
1190
|
</table>
|
|
1228
1191
|
</div><div class="memdoc">
|
|
1229
1192
|
|
|
1230
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1231
|
-
<div class="fragment"><div class="line"><a name="
|
|
1232
|
-
<div class="line"><a name="
|
|
1233
|
-
<div class="line"><a name="
|
|
1193
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00246">246</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1194
|
+
<div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  {</div>
|
|
1195
|
+
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
1196
|
+
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  }</div>
|
|
1234
1197
|
</div><!-- fragment -->
|
|
1235
1198
|
</div>
|
|
1236
1199
|
</div>
|
|
@@ -1259,10 +1222,10 @@ Friends</h2></td></tr>
|
|
|
1259
1222
|
|
|
1260
1223
|
<p>iterators </p>
|
|
1261
1224
|
|
|
1262
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1263
|
-
<div class="fragment"><div class="line"><a name="
|
|
1264
|
-
<div class="line"><a name="
|
|
1265
|
-
<div class="line"><a name="
|
|
1225
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00211">211</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1226
|
+
<div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  {</div>
|
|
1227
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
1228
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  }</div>
|
|
1266
1229
|
</div><!-- fragment -->
|
|
1267
1230
|
</div>
|
|
1268
1231
|
</div>
|
|
@@ -1289,10 +1252,10 @@ Friends</h2></td></tr>
|
|
|
1289
1252
|
</table>
|
|
1290
1253
|
</div><div class="memdoc">
|
|
1291
1254
|
|
|
1292
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1293
|
-
<div class="fragment"><div class="line"><a name="
|
|
1294
|
-
<div class="line"><a name="
|
|
1295
|
-
<div class="line"><a name="
|
|
1255
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00231">231</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1256
|
+
<div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  {</div>
|
|
1257
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
1258
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  }</div>
|
|
1296
1259
|
</div><!-- fragment -->
|
|
1297
1260
|
</div>
|
|
1298
1261
|
</div>
|
|
@@ -1319,10 +1282,10 @@ Friends</h2></td></tr>
|
|
|
1319
1282
|
</table>
|
|
1320
1283
|
</div><div class="memdoc">
|
|
1321
1284
|
|
|
1322
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1323
|
-
<div class="fragment"><div class="line"><a name="
|
|
1324
|
-
<div class="line"><a name="
|
|
1325
|
-
<div class="line"><a name="
|
|
1285
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00216">216</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1286
|
+
<div class="fragment"><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  {</div>
|
|
1287
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
1288
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  }</div>
|
|
1326
1289
|
</div><!-- fragment -->
|
|
1327
1290
|
</div>
|
|
1328
1291
|
</div>
|
|
@@ -1349,10 +1312,10 @@ Friends</h2></td></tr>
|
|
|
1349
1312
|
</table>
|
|
1350
1313
|
</div><div class="memdoc">
|
|
1351
1314
|
|
|
1352
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1353
|
-
<div class="fragment"><div class="line"><a name="
|
|
1354
|
-
<div class="line"><a name="
|
|
1355
|
-
<div class="line"><a name="
|
|
1315
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00236">236</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1316
|
+
<div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  {</div>
|
|
1317
|
+
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
1318
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  }</div>
|
|
1356
1319
|
</div><!-- fragment -->
|
|
1357
1320
|
</div>
|
|
1358
1321
|
</div>
|
|
@@ -1381,12 +1344,12 @@ Friends</h2></td></tr>
|
|
|
1381
1344
|
</div><div class="memdoc">
|
|
1382
1345
|
<p>Remove incoming and outgoing edges </p>
|
|
1383
1346
|
|
|
1384
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1385
|
-
<div class="fragment"><div class="line"><a name="
|
|
1386
|
-
<div class="line"><a name="
|
|
1387
|
-
<div class="line"><a name="
|
|
1388
|
-
<div class="line"><a name="
|
|
1389
|
-
<div class="line"><a name="
|
|
1347
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00310">310</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1348
|
+
<div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  {</div>
|
|
1349
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
|
|
1350
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  assert(it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end() && <span class="stringliteral">"can not find in edge in SVFG node"</span>);</div>
|
|
1351
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
|
|
1352
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  }</div>
|
|
1390
1353
|
</div><!-- fragment -->
|
|
1391
1354
|
</div>
|
|
1392
1355
|
</div>
|
|
@@ -1414,12 +1377,12 @@ Friends</h2></td></tr>
|
|
|
1414
1377
|
</table>
|
|
1415
1378
|
</div><div class="memdoc">
|
|
1416
1379
|
|
|
1417
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1418
|
-
<div class="fragment"><div class="line"><a name="
|
|
1419
|
-
<div class="line"><a name="
|
|
1420
|
-
<div class="line"><a name="
|
|
1421
|
-
<div class="line"><a name="
|
|
1422
|
-
<div class="line"><a name="
|
|
1380
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00165">165</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1381
|
+
<div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div>
|
|
1382
|
+
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="keyword">const</span> <span class="keyword">auto</span> it = std::find(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin(), <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.end(), node);</div>
|
|
1383
|
+
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  assert(it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.end() && <span class="stringliteral">"icfg node not in BB?"</span>);</div>
|
|
1384
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.erase(it);</div>
|
|
1385
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  }</div>
|
|
1423
1386
|
</div><!-- fragment -->
|
|
1424
1387
|
</div>
|
|
1425
1388
|
</div>
|
|
@@ -1447,12 +1410,12 @@ Friends</h2></td></tr>
|
|
|
1447
1410
|
</table>
|
|
1448
1411
|
</div><div class="memdoc">
|
|
1449
1412
|
|
|
1450
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1451
|
-
<div class="fragment"><div class="line"><a name="
|
|
1452
|
-
<div class="line"><a name="
|
|
1453
|
-
<div class="line"><a name="
|
|
1454
|
-
<div class="line"><a name="
|
|
1455
|
-
<div class="line"><a name="
|
|
1413
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00317">317</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1414
|
+
<div class="fragment"><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  {</div>
|
|
1415
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
|
|
1416
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  assert(it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end() && <span class="stringliteral">"can not find out edge in SVFG node"</span>);</div>
|
|
1417
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
|
|
1418
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  }</div>
|
|
1456
1419
|
</div><!-- fragment -->
|
|
1457
1420
|
</div>
|
|
1458
1421
|
</div>
|
|
@@ -1479,17 +1442,17 @@ Friends</h2></td></tr>
|
|
|
1479
1442
|
</table>
|
|
1480
1443
|
</div><div class="memdoc">
|
|
1481
1444
|
|
|
1482
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#
|
|
1483
|
-
<div class="fragment"><div class="line"><a name="
|
|
1484
|
-
<div class="line"><a name="
|
|
1485
|
-
<div class="line"><a name="
|
|
1486
|
-
<div class="line"><a name="
|
|
1487
|
-
<div class="line"><a name="
|
|
1488
|
-
<div class="line"><a name="
|
|
1489
|
-
<div class="line"><a name="
|
|
1490
|
-
<div class="line"><a name="
|
|
1491
|
-
<div class="line"><a name="
|
|
1492
|
-
<div class="line"><a name="
|
|
1445
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00036">36</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
|
|
1446
|
+
<div class="fragment"><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> {</div>
|
|
1447
|
+
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> rawStr;</div>
|
|
1448
|
+
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  std::stringstream stringstream(rawStr);</div>
|
|
1449
|
+
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  stringstream << <span class="stringliteral">"Block Name: "</span> << <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">getName</a>() << <span class="stringliteral">"\n"</span>;</div>
|
|
1450
|
+
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &icfgNode: <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>)</div>
|
|
1451
|
+
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  {</div>
|
|
1452
|
+
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  stringstream << icfgNode->toString() << <span class="stringliteral">"\n"</span>;</div>
|
|
1453
|
+
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  }</div>
|
|
1454
|
+
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  <span class="keywordflow">return</span> stringstream.str();</div>
|
|
1455
|
+
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span> }</div>
|
|
1493
1456
|
</div><!-- fragment -->
|
|
1494
1457
|
</div>
|
|
1495
1458
|
</div>
|
|
@@ -1528,11 +1491,11 @@ Friends</h2></td></tr>
|
|
|
1528
1491
|
</table>
|
|
1529
1492
|
</div><div class="memdoc">
|
|
1530
1493
|
|
|
1531
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1532
|
-
<div class="fragment"><div class="line"><a name="
|
|
1533
|
-
<div class="line"><a name="
|
|
1534
|
-
<div class="line"><a name="
|
|
1535
|
-
<div class="line"><a name="
|
|
1494
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00130">130</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1495
|
+
<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  {</div>
|
|
1496
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  o << node.toString();</div>
|
|
1497
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="keywordflow">return</span> o;</div>
|
|
1498
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  }</div>
|
|
1536
1499
|
</div><!-- fragment -->
|
|
1537
1500
|
</div>
|
|
1538
1501
|
</div>
|
|
@@ -1623,13 +1586,10 @@ Friends</h2></td></tr>
|
|
|
1623
1586
|
<div class="ttc" id="anamespaceSVF_html_a81d6a1e9cc52fde4f828cead0ca40bab"><div class="ttname"><a href="namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab">SVF::GenericCFBasicBlockNodeTy</a></div><div class="ttdeci">GenericNode< CFBasicBlockNode, CFBasicBlockEdge > GenericCFBasicBlockNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00109">CFBasicBlockG.h:109</a></div></div>
|
|
1624
1587
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
1625
1588
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a145051f43e03acd6ce9923a5c06150bc"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">SVF::CFBasicBlockNode::const_iterator</a></div><div class="ttdeci">CFBasicBlockEdge::CFBBEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00116">CFBasicBlockG.h:116</a></div></div>
|
|
1626
|
-
<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>
|
|
1627
1589
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_ad33fdf14d9334bd468d9eb541e0e8a31"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode::iterator</a></div><div class="ttdeci">CFBasicBlockEdge::CFBBEdgeSetTy ::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00115">CFBasicBlockG.h:115</a></div></div>
|
|
1628
|
-
<div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
|
|
1629
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
|
|
1630
1590
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
1631
1591
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a046a15f230ab41d50b04f0390df179f1"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">SVF::CFBasicBlockNode::OutEdges</a></div><div class="ttdeci">CFBBEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00121">CFBasicBlockG.h:121</a></div></div>
|
|
1632
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
1592
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00138">CFBasicBlockG.h:138</a></div></div>
|
|
1633
1593
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a7b1db0644849e066137c162e24026b67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">SVF::CFBasicBlockNode::InEdges</a></div><div class="ttdeci">CFBBEdgeSetTy InEdges</div><div class="ttdoc">Every CBFGNode holds a vector of ICFGNodes.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00120">CFBasicBlockG.h:120</a></div></div>
|
|
1634
1594
|
<!-- start footer part -->
|
|
1635
1595
|
<hr class="footer"/><address class="footer"><small>
|