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
|
@@ -265,7 +265,7 @@ Friends</h2></td></tr>
|
|
|
265
265
|
</table>
|
|
266
266
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
267
267
|
<div class="textblock">
|
|
268
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
268
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00111">111</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
269
269
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
270
270
|
<a id="aefd060ec49a9e2146a7aebdc5e8dfbf6"></a>
|
|
271
271
|
<h2 class="memtitle"><span class="permalink"><a href="#aefd060ec49a9e2146a7aebdc5e8dfbf6">◆ </a></span>CFBBEdgeSetTy</h2>
|
|
@@ -279,7 +279,7 @@ Friends</h2></td></tr>
|
|
|
279
279
|
</table>
|
|
280
280
|
</div><div class="memdoc">
|
|
281
281
|
|
|
282
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
282
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00114">114</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
283
283
|
|
|
284
284
|
</div>
|
|
285
285
|
</div>
|
|
@@ -295,7 +295,7 @@ Friends</h2></td></tr>
|
|
|
295
295
|
</table>
|
|
296
296
|
</div><div class="memdoc">
|
|
297
297
|
|
|
298
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
298
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00116">116</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
299
299
|
|
|
300
300
|
</div>
|
|
301
301
|
</div>
|
|
@@ -311,7 +311,7 @@ Friends</h2></td></tr>
|
|
|
311
311
|
</table>
|
|
312
312
|
</div><div class="memdoc">
|
|
313
313
|
|
|
314
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
314
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00115">115</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
315
315
|
|
|
316
316
|
</div>
|
|
317
317
|
</div>
|
|
@@ -340,11 +340,11 @@ Friends</h2></td></tr>
|
|
|
340
340
|
</table>
|
|
341
341
|
</div><div class="memdoc">
|
|
342
342
|
|
|
343
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
344
|
-
<div class="fragment"><div class="line"><a name="
|
|
345
|
-
<div class="line"><a name="
|
|
346
|
-
<div class="line"><a name="
|
|
347
|
-
<div class="line"><a name="
|
|
343
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00124">124</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
344
|
+
<div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  : <a class="code" href="namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab">GenericCFBasicBlockNodeTy</a>((*icfgNodes.begin())->getId(), 0),</div>
|
|
345
|
+
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(icfgNodes))</div>
|
|
346
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  {</div>
|
|
347
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  }</div>
|
|
348
348
|
</div><!-- fragment -->
|
|
349
349
|
</div>
|
|
350
350
|
</div>
|
|
@@ -409,10 +409,10 @@ Friends</h2></td></tr>
|
|
|
409
409
|
|
|
410
410
|
<p>Add incoming and outgoing edges. </p>
|
|
411
411
|
|
|
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="
|
|
412
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00300">300</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
413
|
+
<div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  {</div>
|
|
414
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.insert(inEdge).second;</div>
|
|
415
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  }</div>
|
|
416
416
|
</div><!-- fragment -->
|
|
417
417
|
</div>
|
|
418
418
|
</div>
|
|
@@ -440,10 +440,10 @@ Friends</h2></td></tr>
|
|
|
440
440
|
</table>
|
|
441
441
|
</div><div class="memdoc">
|
|
442
442
|
|
|
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="
|
|
443
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00175">175</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
444
|
+
<div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div>
|
|
445
|
+
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.push_back(node);</div>
|
|
446
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  }</div>
|
|
447
447
|
</div><!-- fragment -->
|
|
448
448
|
</div>
|
|
449
449
|
</div>
|
|
@@ -471,10 +471,10 @@ Friends</h2></td></tr>
|
|
|
471
471
|
</table>
|
|
472
472
|
</div><div class="memdoc">
|
|
473
473
|
|
|
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="
|
|
474
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00305">305</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
475
|
+
<div class="fragment"><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  {</div>
|
|
476
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.insert(outEdge).second;</div>
|
|
477
|
+
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  }</div>
|
|
478
478
|
</div><!-- fragment -->
|
|
479
479
|
</div>
|
|
480
480
|
</div>
|
|
@@ -501,10 +501,10 @@ Friends</h2></td></tr>
|
|
|
501
501
|
</table>
|
|
502
502
|
</div><div class="memdoc">
|
|
503
503
|
|
|
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="
|
|
504
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00158">158</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
505
|
+
<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  {</div>
|
|
506
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cbegin();</div>
|
|
507
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  }</div>
|
|
508
508
|
</div><!-- fragment -->
|
|
509
509
|
</div>
|
|
510
510
|
</div>
|
|
@@ -533,10 +533,10 @@ Friends</h2></td></tr>
|
|
|
533
533
|
|
|
534
534
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
535
535
|
|
|
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="
|
|
536
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00267">267</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
537
|
+
<div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  {</div>
|
|
538
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
539
|
+
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  }</div>
|
|
540
540
|
</div><!-- fragment -->
|
|
541
541
|
</div>
|
|
542
542
|
</div>
|
|
@@ -565,10 +565,10 @@ Friends</h2></td></tr>
|
|
|
565
565
|
|
|
566
566
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
567
567
|
|
|
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="
|
|
568
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00287">287</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
569
|
+
<div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  {</div>
|
|
570
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
571
|
+
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  }</div>
|
|
572
572
|
</div><!-- fragment -->
|
|
573
573
|
</div>
|
|
574
574
|
</div>
|
|
@@ -597,10 +597,10 @@ Friends</h2></td></tr>
|
|
|
597
597
|
|
|
598
598
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
599
599
|
|
|
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="
|
|
600
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00272">272</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
601
|
+
<div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  {</div>
|
|
602
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
603
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  }</div>
|
|
604
604
|
</div><!-- fragment -->
|
|
605
605
|
</div>
|
|
606
606
|
</div>
|
|
@@ -629,10 +629,10 @@ Friends</h2></td></tr>
|
|
|
629
629
|
|
|
630
630
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
631
631
|
|
|
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="
|
|
632
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00292">292</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
633
|
+
<div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  {</div>
|
|
634
|
+
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
635
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  }</div>
|
|
636
636
|
</div><!-- fragment -->
|
|
637
637
|
</div>
|
|
638
638
|
</div>
|
|
@@ -663,10 +663,10 @@ Friends</h2></td></tr>
|
|
|
663
663
|
|
|
664
664
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
665
665
|
|
|
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="
|
|
666
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00257">257</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
667
|
+
<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  {</div>
|
|
668
|
+
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
669
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  }</div>
|
|
670
670
|
</div><!-- fragment -->
|
|
671
671
|
</div>
|
|
672
672
|
</div>
|
|
@@ -695,10 +695,10 @@ Friends</h2></td></tr>
|
|
|
695
695
|
|
|
696
696
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
697
697
|
|
|
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="
|
|
698
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00277">277</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
699
|
+
<div class="fragment"><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  {</div>
|
|
700
|
+
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
701
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  }</div>
|
|
702
702
|
</div><!-- fragment -->
|
|
703
703
|
</div>
|
|
704
704
|
</div>
|
|
@@ -727,10 +727,10 @@ Friends</h2></td></tr>
|
|
|
727
727
|
|
|
728
728
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
729
729
|
|
|
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="
|
|
730
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00262">262</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
731
|
+
<div class="fragment"><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  {</div>
|
|
732
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
733
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  }</div>
|
|
734
734
|
</div><!-- fragment -->
|
|
735
735
|
</div>
|
|
736
736
|
</div>
|
|
@@ -759,10 +759,10 @@ Friends</h2></td></tr>
|
|
|
759
759
|
|
|
760
760
|
<p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">SVF::GenericNode< NodeTy, EdgeTy ></a>.</p>
|
|
761
761
|
|
|
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="
|
|
762
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00282">282</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
763
|
+
<div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  {</div>
|
|
764
|
+
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
765
|
+
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  }</div>
|
|
766
766
|
</div><!-- fragment -->
|
|
767
767
|
</div>
|
|
768
768
|
</div>
|
|
@@ -789,10 +789,10 @@ Friends</h2></td></tr>
|
|
|
789
789
|
</table>
|
|
790
790
|
</div><div class="memdoc">
|
|
791
791
|
|
|
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="
|
|
792
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00163">163</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
793
|
+
<div class="fragment"><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  {</div>
|
|
794
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cend();</div>
|
|
795
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  }</div>
|
|
796
796
|
</div><!-- fragment -->
|
|
797
797
|
</div>
|
|
798
798
|
</div>
|
|
@@ -819,11 +819,11 @@ Friends</h2></td></tr>
|
|
|
819
819
|
</table>
|
|
820
820
|
</div><div class="memdoc">
|
|
821
821
|
|
|
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="
|
|
822
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00152">152</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
823
|
+
<div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  {</div>
|
|
824
|
+
<div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() && <span class="stringliteral">"no ICFG nodes in CFBB"</span>);</div>
|
|
825
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())->getFun();</div>
|
|
826
|
+
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  }</div>
|
|
827
827
|
</div><!-- fragment -->
|
|
828
828
|
</div>
|
|
829
829
|
</div>
|
|
@@ -850,10 +850,10 @@ Friends</h2></td></tr>
|
|
|
850
850
|
</table>
|
|
851
851
|
</div><div class="memdoc">
|
|
852
852
|
|
|
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="
|
|
853
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00180">180</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
854
|
+
<div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  {</div>
|
|
855
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.size();</div>
|
|
856
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  }</div>
|
|
857
857
|
</div><!-- fragment -->
|
|
858
858
|
</div>
|
|
859
859
|
</div>
|
|
@@ -880,10 +880,10 @@ Friends</h2></td></tr>
|
|
|
880
880
|
</table>
|
|
881
881
|
</div><div class="memdoc">
|
|
882
882
|
|
|
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="
|
|
883
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00193">193</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
884
|
+
<div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  {</div>
|
|
885
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>;</div>
|
|
886
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  }</div>
|
|
887
887
|
</div><!-- fragment -->
|
|
888
888
|
</div>
|
|
889
889
|
</div>
|
|
@@ -910,11 +910,11 @@ Friends</h2></td></tr>
|
|
|
910
910
|
</table>
|
|
911
911
|
</div><div class="memdoc">
|
|
912
912
|
|
|
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="
|
|
913
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00140">140</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
914
|
+
<div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  {</div>
|
|
915
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() && <span class="stringliteral">"no ICFG nodes in CFBB"</span>);</div>
|
|
916
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())->getBB()->getName();</div>
|
|
917
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div>
|
|
918
918
|
</div><!-- fragment -->
|
|
919
919
|
</div>
|
|
920
920
|
</div>
|
|
@@ -942,10 +942,10 @@ Friends</h2></td></tr>
|
|
|
942
942
|
</div><div class="memdoc">
|
|
943
943
|
<p>Get incoming/outgoing edge set </p>
|
|
944
944
|
|
|
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="
|
|
945
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00188">188</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
946
|
+
<div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  {</div>
|
|
947
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>;</div>
|
|
948
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  }</div>
|
|
949
949
|
</div><!-- fragment -->
|
|
950
950
|
</div>
|
|
951
951
|
</div>
|
|
@@ -972,11 +972,11 @@ Friends</h2></td></tr>
|
|
|
972
972
|
</table>
|
|
973
973
|
</div><div class="memdoc">
|
|
974
974
|
|
|
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="
|
|
975
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00146">146</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
976
|
+
<div class="fragment"><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  {</div>
|
|
977
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() && <span class="stringliteral">"no ICFG nodes in CFBB"</span>);</div>
|
|
978
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())->getBB();</div>
|
|
979
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  }</div>
|
|
980
980
|
</div><!-- fragment -->
|
|
981
981
|
</div>
|
|
982
982
|
</div>
|
|
@@ -1005,10 +1005,10 @@ Friends</h2></td></tr>
|
|
|
1005
1005
|
|
|
1006
1006
|
<p>Has incoming/outgoing edge set. </p>
|
|
1007
1007
|
|
|
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="
|
|
1008
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00201">201</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1009
|
+
<div class="fragment"><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  {</div>
|
|
1010
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.empty() == <span class="keyword">false</span>);</div>
|
|
1011
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  }</div>
|
|
1012
1012
|
</div><!-- fragment -->
|
|
1013
1013
|
</div>
|
|
1014
1014
|
</div>
|
|
@@ -1038,14 +1038,14 @@ Friends</h2></td></tr>
|
|
|
1038
1038
|
|
|
1039
1039
|
<p>Find incoming and outgoing edges. </p>
|
|
1040
1040
|
|
|
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="
|
|
1041
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00330">330</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1042
|
+
<div class="fragment"><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  {</div>
|
|
1043
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</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>
|
|
1044
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
|
|
1045
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  <span class="keywordflow">return</span> *it;</div>
|
|
1046
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">else</span></div>
|
|
1047
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
1048
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  }</div>
|
|
1049
1049
|
</div><!-- fragment -->
|
|
1050
1050
|
</div>
|
|
1051
1051
|
</div>
|
|
@@ -1072,10 +1072,10 @@ Friends</h2></td></tr>
|
|
|
1072
1072
|
</table>
|
|
1073
1073
|
</div><div class="memdoc">
|
|
1074
1074
|
|
|
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="
|
|
1075
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00206">206</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1076
|
+
<div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  {</div>
|
|
1077
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.empty() == <span class="keyword">false</span>);</div>
|
|
1078
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  }</div>
|
|
1079
1079
|
</div><!-- fragment -->
|
|
1080
1080
|
</div>
|
|
1081
1081
|
</div>
|
|
@@ -1103,14 +1103,14 @@ Friends</h2></td></tr>
|
|
|
1103
1103
|
</table>
|
|
1104
1104
|
</div><div class="memdoc">
|
|
1105
1105
|
|
|
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="
|
|
1106
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00339">339</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1107
|
+
<div class="fragment"><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  {</div>
|
|
1108
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</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>
|
|
1109
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
|
|
1110
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">return</span> *it;</div>
|
|
1111
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  <span class="keywordflow">else</span></div>
|
|
1112
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
|
|
1113
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  }</div>
|
|
1114
1114
|
</div><!-- fragment -->
|
|
1115
1115
|
</div>
|
|
1116
1116
|
</div>
|
|
@@ -1137,10 +1137,10 @@ Friends</h2></td></tr>
|
|
|
1137
1137
|
</table>
|
|
1138
1138
|
</div><div class="memdoc">
|
|
1139
1139
|
|
|
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="
|
|
1140
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00224">224</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1141
|
+
<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  {</div>
|
|
1142
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
1143
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  }</div>
|
|
1144
1144
|
</div><!-- fragment -->
|
|
1145
1145
|
</div>
|
|
1146
1146
|
</div>
|
|
@@ -1167,10 +1167,10 @@ Friends</h2></td></tr>
|
|
|
1167
1167
|
</table>
|
|
1168
1168
|
</div><div class="memdoc">
|
|
1169
1169
|
|
|
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="
|
|
1170
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00244">244</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1171
|
+
<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  {</div>
|
|
1172
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
|
|
1173
|
+
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  }</div>
|
|
1174
1174
|
</div><!-- fragment -->
|
|
1175
1175
|
</div>
|
|
1176
1176
|
</div>
|
|
@@ -1197,10 +1197,10 @@ Friends</h2></td></tr>
|
|
|
1197
1197
|
</table>
|
|
1198
1198
|
</div><div class="memdoc">
|
|
1199
1199
|
|
|
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="
|
|
1200
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00229">229</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1201
|
+
<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  {</div>
|
|
1202
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
1203
|
+
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  }</div>
|
|
1204
1204
|
</div><!-- fragment -->
|
|
1205
1205
|
</div>
|
|
1206
1206
|
</div>
|
|
@@ -1227,10 +1227,10 @@ Friends</h2></td></tr>
|
|
|
1227
1227
|
</table>
|
|
1228
1228
|
</div><div class="memdoc">
|
|
1229
1229
|
|
|
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="
|
|
1230
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00249">249</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1231
|
+
<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  {</div>
|
|
1232
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
|
|
1233
|
+
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  }</div>
|
|
1234
1234
|
</div><!-- fragment -->
|
|
1235
1235
|
</div>
|
|
1236
1236
|
</div>
|
|
@@ -1259,10 +1259,10 @@ Friends</h2></td></tr>
|
|
|
1259
1259
|
|
|
1260
1260
|
<p>iterators </p>
|
|
1261
1261
|
|
|
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="
|
|
1262
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00214">214</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1263
|
+
<div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  {</div>
|
|
1264
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
1265
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  }</div>
|
|
1266
1266
|
</div><!-- fragment -->
|
|
1267
1267
|
</div>
|
|
1268
1268
|
</div>
|
|
@@ -1289,10 +1289,10 @@ Friends</h2></td></tr>
|
|
|
1289
1289
|
</table>
|
|
1290
1290
|
</div><div class="memdoc">
|
|
1291
1291
|
|
|
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="
|
|
1292
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00234">234</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1293
|
+
<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  {</div>
|
|
1294
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
|
|
1295
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  }</div>
|
|
1296
1296
|
</div><!-- fragment -->
|
|
1297
1297
|
</div>
|
|
1298
1298
|
</div>
|
|
@@ -1319,10 +1319,10 @@ Friends</h2></td></tr>
|
|
|
1319
1319
|
</table>
|
|
1320
1320
|
</div><div class="memdoc">
|
|
1321
1321
|
|
|
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="
|
|
1322
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00219">219</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1323
|
+
<div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  {</div>
|
|
1324
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
1325
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  }</div>
|
|
1326
1326
|
</div><!-- fragment -->
|
|
1327
1327
|
</div>
|
|
1328
1328
|
</div>
|
|
@@ -1349,10 +1349,10 @@ Friends</h2></td></tr>
|
|
|
1349
1349
|
</table>
|
|
1350
1350
|
</div><div class="memdoc">
|
|
1351
1351
|
|
|
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="
|
|
1352
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00239">239</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1353
|
+
<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  {</div>
|
|
1354
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
|
|
1355
|
+
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  }</div>
|
|
1356
1356
|
</div><!-- fragment -->
|
|
1357
1357
|
</div>
|
|
1358
1358
|
</div>
|
|
@@ -1381,12 +1381,12 @@ Friends</h2></td></tr>
|
|
|
1381
1381
|
</div><div class="memdoc">
|
|
1382
1382
|
<p>Remove incoming and outgoing edges </p>
|
|
1383
1383
|
|
|
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="
|
|
1384
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00313">313</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1385
|
+
<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div>
|
|
1386
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</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>
|
|
1387
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</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>
|
|
1388
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
|
|
1389
|
+
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  }</div>
|
|
1390
1390
|
</div><!-- fragment -->
|
|
1391
1391
|
</div>
|
|
1392
1392
|
</div>
|
|
@@ -1414,12 +1414,12 @@ Friends</h2></td></tr>
|
|
|
1414
1414
|
</table>
|
|
1415
1415
|
</div><div class="memdoc">
|
|
1416
1416
|
|
|
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="
|
|
1417
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00168">168</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1418
|
+
<div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  {</div>
|
|
1419
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</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>
|
|
1420
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</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>
|
|
1421
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.erase(it);</div>
|
|
1422
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div>
|
|
1423
1423
|
</div><!-- fragment -->
|
|
1424
1424
|
</div>
|
|
1425
1425
|
</div>
|
|
@@ -1447,12 +1447,12 @@ Friends</h2></td></tr>
|
|
|
1447
1447
|
</table>
|
|
1448
1448
|
</div><div class="memdoc">
|
|
1449
1449
|
|
|
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="
|
|
1450
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00320">320</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1451
|
+
<div class="fragment"><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div>
|
|
1452
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</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>
|
|
1453
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</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>
|
|
1454
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
|
|
1455
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  }</div>
|
|
1456
1456
|
</div><!-- fragment -->
|
|
1457
1457
|
</div>
|
|
1458
1458
|
</div>
|
|
@@ -1528,11 +1528,11 @@ Friends</h2></td></tr>
|
|
|
1528
1528
|
</table>
|
|
1529
1529
|
</div><div class="memdoc">
|
|
1530
1530
|
|
|
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="
|
|
1531
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00132">132</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1532
|
+
<div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  {</div>
|
|
1533
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  o << node.toString();</div>
|
|
1534
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordflow">return</span> o;</div>
|
|
1535
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  }</div>
|
|
1536
1536
|
</div><!-- fragment -->
|
|
1537
1537
|
</div>
|
|
1538
1538
|
</div>
|
|
@@ -1557,7 +1557,7 @@ Friends</h2></td></tr>
|
|
|
1557
1557
|
</table>
|
|
1558
1558
|
</div><div class="memdoc">
|
|
1559
1559
|
|
|
1560
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1560
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00119">119</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1561
1561
|
|
|
1562
1562
|
</div>
|
|
1563
1563
|
</div>
|
|
@@ -1584,7 +1584,7 @@ Friends</h2></td></tr>
|
|
|
1584
1584
|
<p>Every CBFGNode holds a vector of ICFGNodes. </p>
|
|
1585
1585
|
<p>all incoming edge of this node </p>
|
|
1586
1586
|
|
|
1587
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1587
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00120">120</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1588
1588
|
|
|
1589
1589
|
</div>
|
|
1590
1590
|
</div>
|
|
@@ -1610,7 +1610,7 @@ Friends</h2></td></tr>
|
|
|
1610
1610
|
|
|
1611
1611
|
<p>all outgoing edge of this node </p>
|
|
1612
1612
|
|
|
1613
|
-
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#
|
|
1613
|
+
<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00121">121</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
|
|
1614
1614
|
|
|
1615
1615
|
</div>
|
|
1616
1616
|
</div>
|
|
@@ -1619,18 +1619,18 @@ Friends</h2></td></tr>
|
|
|
1619
1619
|
<li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
|
|
1620
1620
|
</ul>
|
|
1621
1621
|
</div><!-- contents -->
|
|
1622
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a72e47a6254620d0b65a8d1182777440a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode::_icfgNodes</a></div><div class="ttdeci">std::vector< const ICFGNode * > _icfgNodes</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#
|
|
1623
|
-
<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#
|
|
1622
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a72e47a6254620d0b65a8d1182777440a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode::_icfgNodes</a></div><div class="ttdeci">std::vector< const ICFGNode * > _icfgNodes</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00119">CFBasicBlockG.h:119</a></div></div>
|
|
1623
|
+
<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
1624
|
<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
|
-
<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#
|
|
1625
|
+
<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
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
|
-
<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#
|
|
1627
|
+
<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
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
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
1630
|
<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
|
-
<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#
|
|
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#
|
|
1633
|
-
<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#
|
|
1631
|
+
<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#l00140">CFBasicBlockG.h:140</a></div></div>
|
|
1633
|
+
<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
1634
|
<!-- start footer part -->
|
|
1635
1635
|
<hr class="footer"/><address class="footer"><small>
|
|
1636
1636
|
Generated by  <a href="http://www.doxygen.org/index.html">
|