svf-tools 1.0.784 → 1.0.786
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/CFBasicBlockG_8cpp_source.html +56 -43
- package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +505 -494
- package/SVF-doxygen/html/WTO_8h_source.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html +27 -26
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html +62 -19
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +53 -41
- 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_1CFBasicBlockGraph-members.html +6 -5
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +169 -136
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +177 -177
- package/SVF-doxygen/html/functions.html +3 -3
- package/SVF-doxygen/html/functions_b.html +3 -3
- package/SVF-doxygen/html/functions_c.html +29 -29
- package/SVF-doxygen/html/functions_f.html +3 -3
- package/SVF-doxygen/html/functions_func_c.html +21 -21
- package/SVF-doxygen/html/functions_func_g.html +11 -8
- package/SVF-doxygen/html/functions_func_h.html +4 -1
- package/SVF-doxygen/html/functions_func_s.html +25 -22
- package/SVF-doxygen/html/functions_g.html +7 -4
- package/SVF-doxygen/html/functions_h.html +3 -0
- package/SVF-doxygen/html/functions_i.html +6 -6
- 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 +18 -18
- package/SVF-doxygen/html/functions_p.html +12 -12
- package/SVF-doxygen/html/functions_r.html +5 -3
- package/SVF-doxygen/html/functions_s.html +21 -18
- package/SVF-doxygen/html/functions_t.html +10 -10
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_vars.html +3 -3
- package/SVF-doxygen/html/namespaceSVF.html +2 -2
- package/SVF-doxygen/html/search/all_0.js +18 -18
- 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 +542 -541
- 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 +1 -1
- package/SVF-doxygen/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +592 -591
- package/SVF-doxygen/html/search/all_8.js +195 -194
- package/SVF-doxygen/html/search/all_9.js +607 -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 +53 -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 +356 -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 +277 -276
- 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 -848
- package/SVF-doxygen/html/search/functions_8.js +147 -146
- package/SVF-doxygen/html/search/functions_9.js +425 -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 +152 -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 +40 -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/Graphs/CFBasicBlockG.h +16 -7
- package/svf/lib/Graphs/CFBasicBlockG.cpp +14 -2
|
@@ -99,10 +99,12 @@ Public Member Functions</h2></td></tr>
|
|
|
99
99
|
<tr class="separator:a54200b5a7c41c2ba19660da34c295e81"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
100
|
<tr class="memitem:aa2110611126556090763024828dbc516"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516">hasCFBasicBlockNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
|
|
101
101
|
<tr class="separator:aa2110611126556090763024828dbc516"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
|
-
<tr class="memitem:
|
|
103
|
-
<tr class="separator:
|
|
104
|
-
<tr class="memitem:
|
|
105
|
-
<tr class="separator:
|
|
102
|
+
<tr class="memitem:a39f1a9c9938ebec94ef050e3770620e6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a39f1a9c9938ebec94ef050e3770620e6">getFirstCFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
|
|
103
|
+
<tr class="separator:a39f1a9c9938ebec94ef050e3770620e6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
104
|
+
<tr class="memitem:a76632f02601c6a628058744f736a4352"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a76632f02601c6a628058744f736a4352">hasFirstCFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
|
|
105
|
+
<tr class="separator:a76632f02601c6a628058744f736a4352"><td class="memSeparator" colspan="2"> </td></tr>
|
|
106
|
+
<tr class="memitem:a0fb246e9cdbc7fcdc69d9049ed61d8ad"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a0fb246e9cdbc7fcdc69d9049ed61d8ad">setFirstCFBasicBlockNode</a> (const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * > &svfNodeMap)</td></tr>
|
|
107
|
+
<tr class="separator:a0fb246e9cdbc7fcdc69d9049ed61d8ad"><td class="memSeparator" colspan="2"> </td></tr>
|
|
106
108
|
<tr class="memitem:a8e41d155ded9f4527adf8f1644600839"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839">hasCFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst, <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *icfgEdge)</td></tr>
|
|
107
109
|
<tr class="separator:a8e41d155ded9f4527adf8f1644600839"><td class="memSeparator" colspan="2"> </td></tr>
|
|
108
110
|
<tr class="memitem:a154d9dae860b441b1653e0afb90f1da3"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3">hasCFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst) const</td></tr>
|
|
@@ -174,8 +176,8 @@ Private Attributes</h2></td></tr>
|
|
|
174
176
|
<tr class="separator:af26009309b28b1d9f3f31f802307f6e9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
175
177
|
<tr class="memitem:a307a47681c72267f6e90d7009d1b3c6b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a> {0}</td></tr>
|
|
176
178
|
<tr class="separator:a307a47681c72267f6e90d7009d1b3c6b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
177
|
-
<tr class="memitem:
|
|
178
|
-
<tr class="separator:
|
|
179
|
+
<tr class="memitem:a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a></td></tr>
|
|
180
|
+
<tr class="separator:a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
179
181
|
</table><table class="memberdecls">
|
|
180
182
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
|
|
181
183
|
Friends</h2></td></tr>
|
|
@@ -211,7 +213,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
211
213
|
</table>
|
|
212
214
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
213
215
|
<div class="textblock">
|
|
214
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
216
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00352">352</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
215
217
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
216
218
|
<a id="afad7ee1f21bf2983d4aa40cccf368137"></a>
|
|
217
219
|
<h2 class="memtitle"><span class="permalink"><a href="#afad7ee1f21bf2983d4aa40cccf368137">◆ </a></span>CFBasicBlockGraph()</h2>
|
|
@@ -290,14 +292,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
290
292
|
|
|
291
293
|
<p>Add ICFGEdgeWrapper. </p>
|
|
292
294
|
|
|
293
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
294
|
-
<div class="fragment"><div class="line"><a name="
|
|
295
|
-
<div class="line"><a name="
|
|
296
|
-
<div class="line"><a name="
|
|
297
|
-
<div class="line"><a name="
|
|
298
|
-
<div class="line"><a name="
|
|
299
|
-
<div class="line"><a name="
|
|
300
|
-
<div class="line"><a name="
|
|
295
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00476">476</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
296
|
+
<div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  {</div>
|
|
297
|
+
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  <span class="keywordtype">bool</span> added1 = edge->getDstNode()->addIncomingEdge(edge);</div>
|
|
298
|
+
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  <span class="keywordtype">bool</span> added2 = edge->getSrcNode()->addOutgoingEdge(edge);</div>
|
|
299
|
+
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  assert(added1 && added2 && <span class="stringliteral">"edge not added??"</span>);</div>
|
|
300
|
+
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>++;</div>
|
|
301
|
+
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
302
|
+
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  }</div>
|
|
301
303
|
</div><!-- fragment -->
|
|
302
304
|
</div>
|
|
303
305
|
</div>
|
|
@@ -327,11 +329,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
327
329
|
|
|
328
330
|
<p>Add a ICFGNodeWrapper. </p>
|
|
329
331
|
|
|
330
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
331
|
-
<div class="fragment"><div class="line"><a name="
|
|
332
|
-
<div class="line"><a name="
|
|
333
|
-
<div class="line"><a name="
|
|
334
|
-
<div class="line"><a name="
|
|
332
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00486">486</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
333
|
+
<div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  {</div>
|
|
334
|
+
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(node->getId(), node);</div>
|
|
335
|
+
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>++;</div>
|
|
336
|
+
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  }</div>
|
|
335
337
|
</div><!-- fragment -->
|
|
336
338
|
</div>
|
|
337
339
|
</div>
|
|
@@ -361,10 +363,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
361
363
|
|
|
362
364
|
<p>Dump graph into dot file. </p>
|
|
363
365
|
|
|
364
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
365
|
-
<div class="fragment"><div class="line"><a name="
|
|
366
|
-
<div class="line"><a name="
|
|
367
|
-
<div class="line"><a name="
|
|
366
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00366">366</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
367
|
+
<div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  {</div>
|
|
368
|
+
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  <a class="code" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">GraphPrinter::WriteGraphToFile</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>(), filename, <span class="keyword">this</span>);</div>
|
|
369
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  }</div>
|
|
368
370
|
</div><!-- fragment -->
|
|
369
371
|
</div>
|
|
370
372
|
</div>
|
|
@@ -461,8 +463,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
461
463
|
</div><!-- fragment -->
|
|
462
464
|
</div>
|
|
463
465
|
</div>
|
|
464
|
-
<a id="
|
|
465
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
466
|
+
<a id="a54200b5a7c41c2ba19660da34c295e81"></a>
|
|
467
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a54200b5a7c41c2ba19660da34c295e81">◆ </a></span>getCFBasicBlockNode()</h2>
|
|
466
468
|
|
|
467
469
|
<div class="memitem">
|
|
468
470
|
<div class="memproto">
|
|
@@ -473,8 +475,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
473
475
|
<tr>
|
|
474
476
|
<td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* SVF::CFBasicBlockGraph::getCFBasicBlockNode </td>
|
|
475
477
|
<td>(</td>
|
|
476
|
-
<td class="paramtype"
|
|
477
|
-
<td class="paramname"><em>
|
|
478
|
+
<td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td>
|
|
479
|
+
<td class="paramname"><em>id</em></td><td>)</td>
|
|
478
480
|
<td> const</td>
|
|
479
481
|
</tr>
|
|
480
482
|
</table>
|
|
@@ -485,22 +487,16 @@ Additional Inherited Members</h2></td></tr>
|
|
|
485
487
|
</table>
|
|
486
488
|
</div><div class="memdoc">
|
|
487
489
|
|
|
488
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
489
|
-
<div class="fragment"><div class="line"><a name="
|
|
490
|
-
<div class="line"><a name="
|
|
491
|
-
<div class="line"><a name="
|
|
492
|
-
<div class="line"><a name="
|
|
493
|
-
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  }</div>
|
|
494
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">else</span></div>
|
|
495
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  {</div>
|
|
496
|
-
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
497
|
-
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  }</div>
|
|
498
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  }</div>
|
|
490
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00371">371</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
491
|
+
<div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  {</div>
|
|
492
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>)) <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
493
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
494
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  }</div>
|
|
499
495
|
</div><!-- fragment -->
|
|
500
496
|
</div>
|
|
501
497
|
</div>
|
|
502
|
-
<a id="
|
|
503
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
498
|
+
<a id="a39f1a9c9938ebec94ef050e3770620e6"></a>
|
|
499
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a39f1a9c9938ebec94ef050e3770620e6">◆ </a></span>getFirstCFBasicBlockNode()</h2>
|
|
504
500
|
|
|
505
501
|
<div class="memitem">
|
|
506
502
|
<div class="memproto">
|
|
@@ -509,10 +505,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
509
505
|
<td class="mlabels-left">
|
|
510
506
|
<table class="memname">
|
|
511
507
|
<tr>
|
|
512
|
-
<td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* SVF::CFBasicBlockGraph::
|
|
508
|
+
<td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* SVF::CFBasicBlockGraph::getFirstCFBasicBlockNode </td>
|
|
513
509
|
<td>(</td>
|
|
514
|
-
<td class="paramtype"
|
|
515
|
-
<td class="paramname"><em>
|
|
510
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * </td>
|
|
511
|
+
<td class="paramname"><em>fun</em></td><td>)</td>
|
|
516
512
|
<td> const</td>
|
|
517
513
|
</tr>
|
|
518
514
|
</table>
|
|
@@ -523,11 +519,17 @@ Additional Inherited Members</h2></td></tr>
|
|
|
523
519
|
</table>
|
|
524
520
|
</div><div class="memdoc">
|
|
525
521
|
|
|
526
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
527
|
-
<div class="fragment"><div class="line"><a name="
|
|
528
|
-
<div class="line"><a name="
|
|
529
|
-
<div class="line"><a name="
|
|
530
|
-
<div class="line"><a name="
|
|
522
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00382">382</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
523
|
+
<div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div>
|
|
524
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">if</span> (fun && <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.find(fun) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.end())</div>
|
|
525
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  {</div>
|
|
526
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.at(fun);</div>
|
|
527
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  }</div>
|
|
528
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">else</span></div>
|
|
529
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  {</div>
|
|
530
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
531
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  }</div>
|
|
532
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  }</div>
|
|
531
533
|
</div><!-- fragment -->
|
|
532
534
|
</div>
|
|
533
535
|
</div>
|
|
@@ -565,15 +567,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
565
567
|
</table>
|
|
566
568
|
</div><div class="memdoc">
|
|
567
569
|
|
|
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="
|
|
572
|
-
<div class="line"><a name="
|
|
573
|
-
<div class="line"><a name="
|
|
574
|
-
<div class="line"><a name="
|
|
575
|
-
<div class="line"><a name="
|
|
576
|
-
<div class="line"><a name="
|
|
570
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00418">418</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
571
|
+
<div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  {</div>
|
|
572
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &e: src->getOutEdges())</div>
|
|
573
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  {</div>
|
|
574
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <span class="keywordflow">if</span> (e->getDstNode() == dst)</div>
|
|
575
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
576
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  }</div>
|
|
577
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
578
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  }</div>
|
|
577
579
|
</div><!-- fragment -->
|
|
578
580
|
</div>
|
|
579
581
|
</div>
|
|
@@ -617,24 +619,24 @@ Additional Inherited Members</h2></td></tr>
|
|
|
617
619
|
</table>
|
|
618
620
|
</div><div class="memdoc">
|
|
619
621
|
|
|
620
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
621
|
-
<div class="fragment"><div class="line"><a name="
|
|
622
|
-
<div class="line"><a name="
|
|
623
|
-
<div class="line"><a name="
|
|
624
|
-
<div class="line"><a name="
|
|
625
|
-
<div class="line"><a name="
|
|
626
|
-
<div class="line"><a name="
|
|
627
|
-
<div class="line"><a name="
|
|
628
|
-
<div class="line"><a name="
|
|
629
|
-
<div class="line"><a name="
|
|
630
|
-
<div class="line"><a name="
|
|
631
|
-
<div class="line"><a name="
|
|
632
|
-
<div class="line"><a name="
|
|
622
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00404">404</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
623
|
+
<div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  {</div>
|
|
624
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  CFBasicBlockEdge edge(src, dst, icfgEdge);</div>
|
|
625
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  CFBasicBlockEdge *outEdge = src->hasOutgoingEdge(&edge);</div>
|
|
626
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  CFBasicBlockEdge *inEdge = dst->hasIncomingEdge(&edge);</div>
|
|
627
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <span class="keywordflow">if</span> (outEdge && inEdge)</div>
|
|
628
|
+
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  {</div>
|
|
629
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  assert(outEdge == inEdge && <span class="stringliteral">"edges not match"</span>);</div>
|
|
630
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
631
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  }</div>
|
|
632
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <span class="keywordflow">else</span></div>
|
|
633
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
634
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  }</div>
|
|
633
635
|
</div><!-- fragment -->
|
|
634
636
|
</div>
|
|
635
637
|
</div>
|
|
636
|
-
<a id="
|
|
637
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
638
|
+
<a id="aa2110611126556090763024828dbc516"></a>
|
|
639
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa2110611126556090763024828dbc516">◆ </a></span>hasCFBasicBlockNode()</h2>
|
|
638
640
|
|
|
639
641
|
<div class="memitem">
|
|
640
642
|
<div class="memproto">
|
|
@@ -645,8 +647,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
645
647
|
<tr>
|
|
646
648
|
<td class="memname">bool SVF::CFBasicBlockGraph::hasCFBasicBlockNode </td>
|
|
647
649
|
<td>(</td>
|
|
648
|
-
<td class="paramtype"
|
|
649
|
-
<td class="paramname"><em>
|
|
650
|
+
<td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> </td>
|
|
651
|
+
<td class="paramname"><em>id</em></td><td>)</td>
|
|
650
652
|
<td> const</td>
|
|
651
653
|
</tr>
|
|
652
654
|
</table>
|
|
@@ -657,15 +659,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
657
659
|
</table>
|
|
658
660
|
</div><div class="memdoc">
|
|
659
661
|
|
|
660
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
661
|
-
<div class="fragment"><div class="line"><a name="
|
|
662
|
-
<div class="line"><a name="
|
|
663
|
-
<div class="line"><a name="
|
|
662
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00377">377</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
663
|
+
<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  {</div>
|
|
664
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
665
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  }</div>
|
|
664
666
|
</div><!-- fragment -->
|
|
665
667
|
</div>
|
|
666
668
|
</div>
|
|
667
|
-
<a id="
|
|
668
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
669
|
+
<a id="a76632f02601c6a628058744f736a4352"></a>
|
|
670
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a76632f02601c6a628058744f736a4352">◆ </a></span>hasFirstCFBasicBlockNode()</h2>
|
|
669
671
|
|
|
670
672
|
<div class="memitem">
|
|
671
673
|
<div class="memproto">
|
|
@@ -674,10 +676,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
674
676
|
<td class="mlabels-left">
|
|
675
677
|
<table class="memname">
|
|
676
678
|
<tr>
|
|
677
|
-
<td class="memname">bool SVF::CFBasicBlockGraph::
|
|
679
|
+
<td class="memname">bool SVF::CFBasicBlockGraph::hasFirstCFBasicBlockNode </td>
|
|
678
680
|
<td>(</td>
|
|
679
|
-
<td class="paramtype"
|
|
680
|
-
<td class="paramname"><em>
|
|
681
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * </td>
|
|
682
|
+
<td class="paramname"><em>fun</em></td><td>)</td>
|
|
681
683
|
<td> const</td>
|
|
682
684
|
</tr>
|
|
683
685
|
</table>
|
|
@@ -688,10 +690,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
688
690
|
</table>
|
|
689
691
|
</div><div class="memdoc">
|
|
690
692
|
|
|
691
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
692
|
-
<div class="fragment"><div class="line"><a name="
|
|
693
|
-
<div class="line"><a name="
|
|
694
|
-
<div class="line"><a name="
|
|
693
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00393">393</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
694
|
+
<div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  {</div>
|
|
695
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.find(fun) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.end();</div>
|
|
696
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  }</div>
|
|
695
697
|
</div><!-- fragment -->
|
|
696
698
|
</div>
|
|
697
699
|
</div>
|
|
@@ -721,19 +723,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
721
723
|
|
|
722
724
|
<p>Remove a ICFGEdgeWrapper. </p>
|
|
723
725
|
|
|
724
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
725
|
-
<div class="fragment"><div class="line"><a name="
|
|
726
|
-
<div class="line"><a name="
|
|
727
|
-
<div class="line"><a name="
|
|
728
|
-
<div class="line"><a name="
|
|
729
|
-
<div class="line"><a name="
|
|
730
|
-
<div class="line"><a name="
|
|
731
|
-
<div class="line"><a name="
|
|
732
|
-
<div class="line"><a name="
|
|
733
|
-
<div class="line"><a name="
|
|
734
|
-
<div class="line"><a name="
|
|
735
|
-
<div class="line"><a name="
|
|
736
|
-
<div class="line"><a name="
|
|
726
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00433">433</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
727
|
+
<div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  {</div>
|
|
728
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <span class="keywordflow">if</span> (edge->getDstNode()->hasIncomingEdge(edge))</div>
|
|
729
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  {</div>
|
|
730
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  edge->getDstNode()->removeIncomingEdge(edge);</div>
|
|
731
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  }</div>
|
|
732
|
+
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  <span class="keywordflow">if</span> (edge->getSrcNode()->hasOutgoingEdge(edge))</div>
|
|
733
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  {</div>
|
|
734
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  edge->getSrcNode()->removeOutgoingEdge(edge);</div>
|
|
735
|
+
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  }</div>
|
|
736
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <span class="keyword">delete</span> edge;</div>
|
|
737
|
+
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>--;</div>
|
|
738
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  }</div>
|
|
737
739
|
</div><!-- fragment -->
|
|
738
740
|
</div>
|
|
739
741
|
</div>
|
|
@@ -763,20 +765,20 @@ Additional Inherited Members</h2></td></tr>
|
|
|
763
765
|
|
|
764
766
|
<p>Remove a ICFGNodeWrapper. </p>
|
|
765
767
|
|
|
766
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
767
|
-
<div class="fragment"><div class="line"><a name="
|
|
768
|
-
<div class="line"><a name="
|
|
769
|
-
<div class="line"><a name="
|
|
770
|
-
<div class="line"><a name="
|
|
771
|
-
<div class="line"><a name="
|
|
772
|
-
<div class="line"><a name="
|
|
773
|
-
<div class="line"><a name="
|
|
774
|
-
<div class="line"><a name="
|
|
775
|
-
<div class="line"><a name="
|
|
776
|
-
<div class="line"><a name="
|
|
777
|
-
<div class="line"><a name="
|
|
778
|
-
<div class="line"><a name="
|
|
779
|
-
<div class="line"><a name="
|
|
768
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00448">448</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
769
|
+
<div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  {</div>
|
|
770
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  std::set<CFBasicBlockEdge *> temp;</div>
|
|
771
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node->getInEdges())</div>
|
|
772
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  temp.insert(e);</div>
|
|
773
|
+
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node->getOutEdges())</div>
|
|
774
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  temp.insert(e);</div>
|
|
775
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  <span class="keywordflow">for</span> (CFBasicBlockEdge *e: temp)</div>
|
|
776
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  {</div>
|
|
777
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">removeCFBBEdge</a>(e);</div>
|
|
778
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  }</div>
|
|
779
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  <a class="code" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(node);</div>
|
|
780
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>--;</div>
|
|
781
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  }</div>
|
|
780
782
|
</div><!-- fragment -->
|
|
781
783
|
</div>
|
|
782
784
|
</div>
|
|
@@ -806,15 +808,46 @@ Additional Inherited Members</h2></td></tr>
|
|
|
806
808
|
|
|
807
809
|
<p>Remove node from nodeID. </p>
|
|
808
810
|
|
|
809
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
810
|
-
<div class="fragment"><div class="line"><a name="
|
|
811
|
-
<div class="line"><a name="
|
|
812
|
-
<div class="line"><a name="
|
|
813
|
-
<div class="line"><a name="
|
|
814
|
-
<div class="line"><a name="
|
|
815
|
-
<div class="line"><a name="
|
|
816
|
-
<div class="line"><a name="
|
|
817
|
-
<div class="line"><a name="
|
|
811
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00465">465</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
812
|
+
<div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  {</div>
|
|
813
|
+
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>))</div>
|
|
814
|
+
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span>  {</div>
|
|
815
|
+
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">removeCFBBNode</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>));</div>
|
|
816
|
+
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
817
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  }</div>
|
|
818
|
+
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
819
|
+
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  }</div>
|
|
820
|
+
</div><!-- fragment -->
|
|
821
|
+
</div>
|
|
822
|
+
</div>
|
|
823
|
+
<a id="a0fb246e9cdbc7fcdc69d9049ed61d8ad"></a>
|
|
824
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a0fb246e9cdbc7fcdc69d9049ed61d8ad">◆ </a></span>setFirstCFBasicBlockNode()</h2>
|
|
825
|
+
|
|
826
|
+
<div class="memitem">
|
|
827
|
+
<div class="memproto">
|
|
828
|
+
<table class="mlabels">
|
|
829
|
+
<tr>
|
|
830
|
+
<td class="mlabels-left">
|
|
831
|
+
<table class="memname">
|
|
832
|
+
<tr>
|
|
833
|
+
<td class="memname">void SVF::CFBasicBlockGraph::setFirstCFBasicBlockNode </td>
|
|
834
|
+
<td>(</td>
|
|
835
|
+
<td class="paramtype">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * > & </td>
|
|
836
|
+
<td class="paramname"><em>svfNodeMap</em></td><td>)</td>
|
|
837
|
+
<td></td>
|
|
838
|
+
</tr>
|
|
839
|
+
</table>
|
|
840
|
+
</td>
|
|
841
|
+
<td class="mlabels-right">
|
|
842
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
843
|
+
</tr>
|
|
844
|
+
</table>
|
|
845
|
+
</div><div class="memdoc">
|
|
846
|
+
|
|
847
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00398">398</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
848
|
+
<div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  {</div>
|
|
849
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a> = svfNodeMap;</div>
|
|
850
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  }</div>
|
|
818
851
|
</div><!-- fragment -->
|
|
819
852
|
</div>
|
|
820
853
|
</div>
|
|
@@ -839,13 +872,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
839
872
|
</table>
|
|
840
873
|
</div><div class="memdoc">
|
|
841
874
|
|
|
842
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
875
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00354">354</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
843
876
|
|
|
844
877
|
</div>
|
|
845
878
|
</div>
|
|
846
879
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
847
|
-
<a id="
|
|
848
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
880
|
+
<a id="a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"></a>
|
|
881
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">◆ </a></span>_funToFirstNode</h2>
|
|
849
882
|
|
|
850
883
|
<div class="memitem">
|
|
851
884
|
<div class="memproto">
|
|
@@ -854,7 +887,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
854
887
|
<td class="mlabels-left">
|
|
855
888
|
<table class="memname">
|
|
856
889
|
<tr>
|
|
857
|
-
<td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a><const <a class="el" href="
|
|
890
|
+
<td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a><const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a>*, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>*> SVF::CFBasicBlockGraph::_funToFirstNode</td>
|
|
858
891
|
</tr>
|
|
859
892
|
</table>
|
|
860
893
|
</td>
|
|
@@ -864,7 +897,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
864
897
|
</table>
|
|
865
898
|
</div><div class="memdoc">
|
|
866
899
|
|
|
867
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
900
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00358">358</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
868
901
|
|
|
869
902
|
</div>
|
|
870
903
|
</div>
|
|
@@ -888,7 +921,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
888
921
|
</table>
|
|
889
922
|
</div><div class="memdoc">
|
|
890
923
|
|
|
891
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
924
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00357">357</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
892
925
|
|
|
893
926
|
</div>
|
|
894
927
|
</div>
|
|
@@ -912,7 +945,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
912
945
|
</table>
|
|
913
946
|
</div><div class="memdoc">
|
|
914
947
|
|
|
915
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
948
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00356">356</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
916
949
|
|
|
917
950
|
</div>
|
|
918
951
|
</div>
|
|
@@ -921,18 +954,18 @@ Additional Inherited Members</h2></td></tr>
|
|
|
921
954
|
<li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
|
|
922
955
|
</ul>
|
|
923
956
|
</div><!-- contents -->
|
|
924
|
-
<div class="ttc" id="
|
|
925
|
-
<div class="ttc" id="
|
|
926
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_af26009309b28b1d9f3f31f802307f6e9"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">SVF::CFBasicBlockGraph::_totalCFBasicBlockNode</a></div><div class="ttdeci">u32_t _totalCFBasicBlockNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00351">CFBasicBlockG.h:351</a></div></div>
|
|
957
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a9d7ebedc25848db79b551cb8a1ef11af"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph::removeCFBBEdge</a></div><div class="ttdeci">void removeCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Remove a ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00433">CFBasicBlockG.h:433</a></div></div>
|
|
958
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_af26009309b28b1d9f3f31f802307f6e9"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">SVF::CFBasicBlockGraph::_totalCFBasicBlockNode</a></div><div class="ttdeci">u32_t _totalCFBasicBlockNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00356">CFBasicBlockG.h:356</a></div></div>
|
|
927
959
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
|
|
928
960
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a1817b65e76052f11e36a67d6b9efd915"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">SVF::GenericGraph::removeGNode</a></div><div class="ttdeci">void removeGNode(NodeType *node)</div><div class="ttdoc">Delete a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00421">GenericGraph.h:421</a></div></div>
|
|
929
961
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
930
962
|
<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>
|
|
963
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">SVF::CFBasicBlockGraph::_funToFirstNode</a></div><div class="ttdeci">Map< const SVFFunction *, CFBasicBlockNode * > _funToFirstNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00358">CFBasicBlockG.h:358</a></div></div>
|
|
931
964
|
<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>
|
|
932
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a307a47681c72267f6e90d7009d1b3c6b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">SVF::CFBasicBlockGraph::_totalCFBasicBlockEdge</a></div><div class="ttdeci">u32_t _totalCFBasicBlockEdge</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
965
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a307a47681c72267f6e90d7009d1b3c6b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">SVF::CFBasicBlockGraph::_totalCFBasicBlockEdge</a></div><div class="ttdeci">u32_t _totalCFBasicBlockEdge</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00357">CFBasicBlockG.h:357</a></div></div>
|
|
933
966
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00414">GenericGraph.h:414</a></div></div>
|
|
934
967
|
<div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &O, const std::string &GraphName, const GraphType &GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
|
|
935
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a0ed78b8098e84845a500979d52bb8d18"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph::removeCFBBNode</a></div><div class="ttdeci">void removeCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Remove a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
968
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a0ed78b8098e84845a500979d52bb8d18"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph::removeCFBBNode</a></div><div class="ttdeci">void removeCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Remove a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00448">CFBasicBlockG.h:448</a></div></div>
|
|
936
969
|
<!-- start footer part -->
|
|
937
970
|
<hr class="footer"/><address class="footer"><small>
|
|
938
971
|
Generated by  <a href="http://www.doxygen.org/index.html">
|