svf-tools 1.0.366 → 1.0.367
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/html/ConsG_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +9 -6
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +32 -28
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +20 -16
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +17 -15
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +105 -97
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/VFG_8h_source.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +24 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +91 -27
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +23 -21
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +93 -27
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +61 -37
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +123 -86
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +42 -41
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +28 -19
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +42 -41
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +27 -19
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +16 -16
- package/SVF-doxygen/html/html/functions_a.html +8 -8
- package/SVF-doxygen/html/html/functions_c.html +29 -23
- package/SVF-doxygen/html/html/functions_e.html +6 -2
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func.html +8 -8
- package/SVF-doxygen/html/html/functions_func_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +10 -8
- package/SVF-doxygen/html/html/functions_func_r.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +14 -12
- package/SVF-doxygen/html/html/functions_i.html +11 -13
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +11 -11
- package/SVF-doxygen/html/html/functions_p.html +12 -12
- package/SVF-doxygen/html/html/functions_s.html +9 -9
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_c.html +4 -0
- package/SVF-doxygen/html/html/functions_vars_e.html +4 -0
- package/SVF-doxygen/html/html/functions_vars_i.html +1 -3
- package/SVF-doxygen/html/html/search/all_1.js +8 -8
- package/SVF-doxygen/html/html/search/all_10.js +7 -7
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_5.js +2 -2
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +2 -2
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_e.js +5 -5
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +8 -8
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +2 -2
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +2 -2
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -0
- package/SVF-doxygen/html/html/search/variables_5.js +2 -1
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
- package/include/MemoryModel/SVFIR.h +4 -4
- package/include/MemoryModel/SVFStatements.h +24 -14
- package/include/SVF-FE/SVFIRBuilder.h +8 -8
- package/lib/MemoryModel/PAGBuilderFromFile.cpp +2 -2
- package/lib/MemoryModel/SVFIR.cpp +8 -8
- package/lib/SVF-FE/SVFIRBuilder.cpp +11 -6
- package/package.json +1 -1
|
@@ -88,9 +88,9 @@ Inheritance diagram for SVF::RetPE:</div>
|
|
|
88
88
|
<table class="memberdecls">
|
|
89
89
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
90
90
|
Public Member Functions</h2></td></tr>
|
|
91
|
-
<tr class="memitem:
|
|
92
|
-
<tr class="memdesc:
|
|
93
|
-
<tr class="separator:
|
|
91
|
+
<tr class="memitem:a60cb8a19e352547b22f197f4ca8e19d8"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a60cb8a19e352547b22f197f4ca8e19d8">RetPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> *e, <a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a>)</td></tr>
|
|
92
|
+
<tr class="memdesc:a60cb8a19e352547b22f197f4ca8e19d8"><td class="mdescLeft"> </td><td class="mdescRight">constructor <a href="#a60cb8a19e352547b22f197f4ca8e19d8">More...</a><br /></td></tr>
|
|
93
|
+
<tr class="separator:a60cb8a19e352547b22f197f4ca8e19d8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
94
94
|
<tr class="memitem:a68aa24dcabeae26bcc4184110fbb50ef"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">toString</a> () const override</td></tr>
|
|
95
95
|
<tr class="separator:a68aa24dcabeae26bcc4184110fbb50ef"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
96
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
@@ -99,6 +99,8 @@ Public Member Functions</h2></td></tr>
|
|
|
99
99
|
<tr class="separator:a9bbf558ffc8e3c1136e20d18d4c95f42"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
100
|
<tr class="memitem:ab03f10c0375846a733f3257736a84f9d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d">getCallSite</a> () const</td></tr>
|
|
101
101
|
<tr class="separator:ab03f10c0375846a733f3257736a84f9d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
|
+
<tr class="memitem:a274adbd91750d8d6de8ba997285c1c49"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a274adbd91750d8d6de8ba997285c1c49">getFunExitICFGNode</a> () const</td></tr>
|
|
103
|
+
<tr class="separator:a274adbd91750d8d6de8ba997285c1c49"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
104
|
<tr class="inherit_header pub_methods_classSVF_1_1AssignStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AssignStmt')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td></tr>
|
|
103
105
|
<tr class="memitem:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a> () const</td></tr>
|
|
104
106
|
<tr class="separator:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -161,7 +163,7 @@ Public Member Functions</h2></td></tr>
|
|
|
161
163
|
Static Public Member Functions</h2></td></tr>
|
|
162
164
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
163
165
|
<tr class="memitem:a43c6965616d67e77087b486265139d21"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21">classof</a> (const <a class="el" href="classSVF_1_1RetPE.html">RetPE</a> *)</td></tr>
|
|
164
|
-
<tr class="memdesc:a43c6965616d67e77087b486265139d21"><td class="mdescLeft"> </td><td class="mdescRight">the
|
|
166
|
+
<tr class="memdesc:a43c6965616d67e77087b486265139d21"><td class="mdescLeft"> </td><td class="mdescRight">the function exit statement returned from <a href="#a43c6965616d67e77087b486265139d21">More...</a><br /></td></tr>
|
|
165
167
|
<tr class="separator:a43c6965616d67e77087b486265139d21"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
168
|
<tr class="memitem:a9cd78a723ed55ed6f334a329576a7471"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a9cd78a723ed55ed6f334a329576a7471">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
|
|
167
169
|
<tr class="separator:a9cd78a723ed55ed6f334a329576a7471"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -204,8 +206,11 @@ Private Member Functions</h2></td></tr>
|
|
|
204
206
|
</table><table class="memberdecls">
|
|
205
207
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
206
208
|
Private Attributes</h2></td></tr>
|
|
207
|
-
<tr class="memitem:
|
|
208
|
-
<tr class="separator:
|
|
209
|
+
<tr class="memitem:aa2d42edfce9d5a8c025c0bb529aee0f2"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a></td></tr>
|
|
210
|
+
<tr class="separator:aa2d42edfce9d5a8c025c0bb529aee0f2"><td class="memSeparator" colspan="2"> </td></tr>
|
|
211
|
+
<tr class="memitem:a6f6ccda153150b6acdd81550e45f640f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a></td></tr>
|
|
212
|
+
<tr class="memdesc:a6f6ccda153150b6acdd81550e45f640f"><td class="mdescLeft"> </td><td class="mdescRight">the callsite statement returning to <a href="#a6f6ccda153150b6acdd81550e45f640f">More...</a><br /></td></tr>
|
|
213
|
+
<tr class="separator:a6f6ccda153150b6acdd81550e45f640f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
209
214
|
</table><table class="memberdecls">
|
|
210
215
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
211
216
|
Additional Inherited Members</h2></td></tr>
|
|
@@ -269,7 +274,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
269
274
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
270
275
|
<div class="textblock"><p>Return </p>
|
|
271
276
|
|
|
272
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
277
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00534">534</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
273
278
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
274
279
|
<a id="ab4da5e54fec989eab5640acc8c4fe215"></a>
|
|
275
280
|
<h2 class="memtitle"><span class="permalink"><a href="#ab4da5e54fec989eab5640acc8c4fe215">◆ </a></span>RetPE() <span class="overload">[1/3]</span></h2>
|
|
@@ -326,8 +331,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
326
331
|
|
|
327
332
|
</div>
|
|
328
333
|
</div>
|
|
329
|
-
<a id="
|
|
330
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
334
|
+
<a id="a60cb8a19e352547b22f197f4ca8e19d8"></a>
|
|
335
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a60cb8a19e352547b22f197f4ca8e19d8">◆ </a></span>RetPE() <span class="overload">[3/3]</span></h2>
|
|
331
336
|
|
|
332
337
|
<div class="memitem">
|
|
333
338
|
<div class="memproto">
|
|
@@ -353,6 +358,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
353
358
|
<td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td>
|
|
354
359
|
<td class="paramname"><em>i</em>, </td>
|
|
355
360
|
</tr>
|
|
361
|
+
<tr>
|
|
362
|
+
<td class="paramkey"></td>
|
|
363
|
+
<td></td>
|
|
364
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> * </td>
|
|
365
|
+
<td class="paramname"><em>e</em>, </td>
|
|
366
|
+
</tr>
|
|
356
367
|
<tr>
|
|
357
368
|
<td class="paramkey"></td>
|
|
358
369
|
<td></td>
|
|
@@ -374,10 +385,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
374
385
|
|
|
375
386
|
<p>constructor </p>
|
|
376
387
|
|
|
377
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
378
|
-
<div class="fragment"><div class="line"><a name="
|
|
388
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00563">563</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
389
|
+
<div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>  :</div><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(s,d,<a class="code" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(k,i)), <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>(i), <a class="code" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a>(e)</div><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>  {</div><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  }</div><div class="ttc" id="classSVF_1_1RetPE_html_a6f6ccda153150b6acdd81550e45f640f"><div class="ttname"><a href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE::exit</a></div><div class="ttdeci">const FunExitICFGNode * exit</div><div class="ttdoc">the callsite statement returning to </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00542">SVFStatements.h:542</a></div></div>
|
|
390
|
+
<div class="ttc" id="classSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and call site Instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
|
|
379
391
|
<div class="ttc" id="classSVF_1_1AssignStmt_html_abc65520cc2b9608c97374829eb475c57"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt::AssignStmt</a></div><div class="ttdeci">AssignStmt()</div><div class="ttdoc">place holder </div></div>
|
|
380
|
-
<div class="ttc" id="
|
|
392
|
+
<div class="ttc" id="classSVF_1_1RetPE_html_aa2d42edfce9d5a8c025c0bb529aee0f2"><div class="ttname"><a href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00541">SVFStatements.h:541</a></div></div>
|
|
381
393
|
</div><!-- fragment -->
|
|
382
394
|
</div>
|
|
383
395
|
</div>
|
|
@@ -406,11 +418,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
406
418
|
</table>
|
|
407
419
|
</div><div class="memdoc">
|
|
408
420
|
|
|
409
|
-
<p>the
|
|
421
|
+
<p>the function exit statement returned from </p>
|
|
410
422
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
411
423
|
|
|
412
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
413
|
-
<div class="fragment"><div class="line"><a name="
|
|
424
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00546">546</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
425
|
+
<div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  {</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>  }</div></div><!-- fragment -->
|
|
414
426
|
</div>
|
|
415
427
|
</div>
|
|
416
428
|
<a id="a9cd78a723ed55ed6f334a329576a7471"></a>
|
|
@@ -437,8 +449,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
437
449
|
</table>
|
|
438
450
|
</div><div class="memdoc">
|
|
439
451
|
|
|
440
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
441
|
-
<div class="fragment"><div class="line"><a name="
|
|
452
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00550">550</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
453
|
+
<div class="fragment"><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  {</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a></div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>  || edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVF::SVFStmt::Ret</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
442
454
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
443
455
|
</div><!-- fragment -->
|
|
444
456
|
</div>
|
|
@@ -467,8 +479,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
467
479
|
</table>
|
|
468
480
|
</div><div class="memdoc">
|
|
469
481
|
|
|
470
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
471
|
-
<div class="fragment"><div class="line"><a name="
|
|
482
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00555">555</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
483
|
+
<div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  {</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a></div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  || edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVF::SVFStmt::Ret</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
472
484
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
473
485
|
</div><!-- fragment -->
|
|
474
486
|
</div>
|
|
@@ -498,8 +510,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
498
510
|
|
|
499
511
|
<p>Get method for call instruction at caller. </p>
|
|
500
512
|
|
|
501
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
502
|
-
<div class="fragment"><div class="line"><a name="
|
|
513
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00570">570</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
514
|
+
<div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  {</div><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>;</div><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  }</div><div class="ttc" id="classSVF_1_1RetPE_html_aa2d42edfce9d5a8c025c0bb529aee0f2"><div class="ttname"><a href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00541">SVFStatements.h:541</a></div></div>
|
|
503
515
|
</div><!-- fragment -->
|
|
504
516
|
</div>
|
|
505
517
|
</div>
|
|
@@ -526,8 +538,36 @@ Additional Inherited Members</h2></td></tr>
|
|
|
526
538
|
</table>
|
|
527
539
|
</div><div class="memdoc">
|
|
528
540
|
|
|
529
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
530
|
-
<div class="fragment"><div class="line"><a name="
|
|
541
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00574">574</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
542
|
+
<div class="fragment"><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  {</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>;</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>  }</div><div class="ttc" id="classSVF_1_1RetPE_html_aa2d42edfce9d5a8c025c0bb529aee0f2"><div class="ttname"><a href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00541">SVFStatements.h:541</a></div></div>
|
|
543
|
+
</div><!-- fragment -->
|
|
544
|
+
</div>
|
|
545
|
+
</div>
|
|
546
|
+
<a id="a274adbd91750d8d6de8ba997285c1c49"></a>
|
|
547
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a274adbd91750d8d6de8ba997285c1c49">◆ </a></span>getFunExitICFGNode()</h2>
|
|
548
|
+
|
|
549
|
+
<div class="memitem">
|
|
550
|
+
<div class="memproto">
|
|
551
|
+
<table class="mlabels">
|
|
552
|
+
<tr>
|
|
553
|
+
<td class="mlabels-left">
|
|
554
|
+
<table class="memname">
|
|
555
|
+
<tr>
|
|
556
|
+
<td class="memname">const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a>* SVF::RetPE::getFunExitICFGNode </td>
|
|
557
|
+
<td>(</td>
|
|
558
|
+
<td class="paramname"></td><td>)</td>
|
|
559
|
+
<td> const</td>
|
|
560
|
+
</tr>
|
|
561
|
+
</table>
|
|
562
|
+
</td>
|
|
563
|
+
<td class="mlabels-right">
|
|
564
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
565
|
+
</tr>
|
|
566
|
+
</table>
|
|
567
|
+
</div><div class="memdoc">
|
|
568
|
+
|
|
569
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00578">578</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
570
|
+
<div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  {</div><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a>;</div><div class="line"><a name="l00581"></a><span class="lineno"> 581</span>  }</div><div class="ttc" id="classSVF_1_1RetPE_html_a6f6ccda153150b6acdd81550e45f640f"><div class="ttname"><a href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE::exit</a></div><div class="ttdeci">const FunExitICFGNode * exit</div><div class="ttdoc">the callsite statement returning to </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00542">SVFStatements.h:542</a></div></div>
|
|
531
571
|
</div><!-- fragment -->
|
|
532
572
|
</div>
|
|
533
573
|
</div>
|
|
@@ -597,8 +637,32 @@ Additional Inherited Members</h2></td></tr>
|
|
|
597
637
|
</div>
|
|
598
638
|
</div>
|
|
599
639
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
600
|
-
<a id="
|
|
601
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
640
|
+
<a id="aa2d42edfce9d5a8c025c0bb529aee0f2"></a>
|
|
641
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa2d42edfce9d5a8c025c0bb529aee0f2">◆ </a></span>call</h2>
|
|
642
|
+
|
|
643
|
+
<div class="memitem">
|
|
644
|
+
<div class="memproto">
|
|
645
|
+
<table class="mlabels">
|
|
646
|
+
<tr>
|
|
647
|
+
<td class="mlabels-left">
|
|
648
|
+
<table class="memname">
|
|
649
|
+
<tr>
|
|
650
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::RetPE::call</td>
|
|
651
|
+
</tr>
|
|
652
|
+
</table>
|
|
653
|
+
</td>
|
|
654
|
+
<td class="mlabels-right">
|
|
655
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
656
|
+
</tr>
|
|
657
|
+
</table>
|
|
658
|
+
</div><div class="memdoc">
|
|
659
|
+
|
|
660
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00541">541</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
661
|
+
|
|
662
|
+
</div>
|
|
663
|
+
</div>
|
|
664
|
+
<a id="a6f6ccda153150b6acdd81550e45f640f"></a>
|
|
665
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6f6ccda153150b6acdd81550e45f640f">◆ </a></span>exit</h2>
|
|
602
666
|
|
|
603
667
|
<div class="memitem">
|
|
604
668
|
<div class="memproto">
|
|
@@ -607,7 +671,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
607
671
|
<td class="mlabels-left">
|
|
608
672
|
<table class="memname">
|
|
609
673
|
<tr>
|
|
610
|
-
<td class="memname">const <a class="el" href="
|
|
674
|
+
<td class="memname">const <a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a>* SVF::RetPE::exit</td>
|
|
611
675
|
</tr>
|
|
612
676
|
</table>
|
|
613
677
|
</td>
|
|
@@ -617,7 +681,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
617
681
|
</table>
|
|
618
682
|
</div><div class="memdoc">
|
|
619
683
|
|
|
620
|
-
<p
|
|
684
|
+
<p>the callsite statement returning to </p>
|
|
685
|
+
|
|
686
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00542">542</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
621
687
|
|
|
622
688
|
</div>
|
|
623
689
|
</div>
|
|
@@ -75,7 +75,7 @@ $(function() {
|
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220">addBlackholeObjNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d">addBlackholePtrNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
77
77
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107">addBranchStmt</a>(NodeID br, NodeID cond, const BranchStmt::SuccAndCondPairVec &succs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba">addCallPE</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db">addCallSite</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8">addCallSiteArgs</a>(CallICFGNode *callBlockNode, const SVFVar *arg)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0">addCallSiteRets</a>(RetICFGNode *retBlockNode, const SVFVar *arg)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
@@ -105,11 +105,11 @@ $(function() {
|
|
|
105
105
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630">addPhiStmt</a>(NodeID res, NodeID opnd, const ICFGNode *pred)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
106
106
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09">addRetNode</a>(const SVFFunction *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
107
107
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f">addRetNode</a>(const SVFFunction *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
108
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
108
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f">addRetPE</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
109
109
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4">addSelectStmt</a>(NodeID res, NodeID op1, NodeID op2, NodeID cond)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
110
110
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">addStoreStmt</a>(NodeID src, NodeID dst, const IntraICFGNode *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b">addThreadForkPE</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2">addThreadJoinPE</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
113
113
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">addToStmt2TypeMap</a>(SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
114
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6">addToSVFStmtList</a>(ICFGNode *inst, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
115
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">addUnaryOPStmt</a>(NodeID src, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|