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::CallPE:</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:a6b907624482ae697680c747e9b41fdab"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">CallPE</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_1FunEntryICFGNode.html">FunEntryICFGNode</a> *e, <a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
|
|
92
|
+
<tr class="memdesc:a6b907624482ae697680c747e9b41fdab"><td class="mdescLeft"> </td><td class="mdescRight">constructor <a href="#a6b907624482ae697680c747e9b41fdab">More...</a><br /></td></tr>
|
|
93
|
+
<tr class="separator:a6b907624482ae697680c747e9b41fdab"><td class="memSeparator" colspan="2"> </td></tr>
|
|
94
94
|
<tr class="memitem:aecdf349bde9547dae7eb88c6cfd34bab"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">toString</a> () const override</td></tr>
|
|
95
95
|
<tr class="separator:aecdf349bde9547dae7eb88c6cfd34bab"><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:aa50cca8bd91ffb135a7998b58ad7966f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
100
|
<tr class="memitem:ab548c22dfbfeeaeb8ffe83417b396c09"><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_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a> () const</td></tr>
|
|
101
101
|
<tr class="separator:ab548c22dfbfeeaeb8ffe83417b396c09"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
|
+
<tr class="memitem:a9c9821c4e7dd031e3f82f2b29427e53e"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e">getFunEntryICFGNode</a> () const</td></tr>
|
|
103
|
+
<tr class="separator:a9c9821c4e7dd031e3f82f2b29427e53e"><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:a6df0149f79122c5a7d517f75d0235e73"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">classof</a> (const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *)</td></tr>
|
|
164
|
-
<tr class="memdesc:a6df0149f79122c5a7d517f75d0235e73"><td class="mdescLeft"> </td><td class="mdescRight">
|
|
166
|
+
<tr class="memdesc:a6df0149f79122c5a7d517f75d0235e73"><td class="mdescLeft"> </td><td class="mdescRight">the function exit statement calling to <a href="#a6df0149f79122c5a7d517f75d0235e73">More...</a><br /></td></tr>
|
|
165
167
|
<tr class="separator:a6df0149f79122c5a7d517f75d0235e73"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
168
|
<tr class="memitem:a188c51f3e378c451d34e90c96cca0cf5"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
|
|
167
169
|
<tr class="separator:a188c51f3e378c451d34e90c96cca0cf5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -204,9 +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="
|
|
209
|
-
<tr class="
|
|
209
|
+
<tr class="memitem:ace0704c65aa3637c50ff880f68808bba"><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_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a></td></tr>
|
|
210
|
+
<tr class="separator:ace0704c65aa3637c50ff880f68808bba"><td class="memSeparator" colspan="2"> </td></tr>
|
|
211
|
+
<tr class="memitem:a88e420e259b8d7d34c9850ddde53d372"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a></td></tr>
|
|
212
|
+
<tr class="memdesc:a88e420e259b8d7d34c9850ddde53d372"><td class="mdescLeft"> </td><td class="mdescRight">the callsite statement calling from <a href="#a88e420e259b8d7d34c9850ddde53d372">More...</a><br /></td></tr>
|
|
213
|
+
<tr class="separator:a88e420e259b8d7d34c9850ddde53d372"><td class="memSeparator" colspan="2"> </td></tr>
|
|
210
214
|
</table><table class="memberdecls">
|
|
211
215
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
212
216
|
Additional Inherited Members</h2></td></tr>
|
|
@@ -327,8 +331,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
327
331
|
|
|
328
332
|
</div>
|
|
329
333
|
</div>
|
|
330
|
-
<a id="
|
|
331
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
334
|
+
<a id="a6b907624482ae697680c747e9b41fdab"></a>
|
|
335
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6b907624482ae697680c747e9b41fdab">◆ </a></span>CallPE() <span class="overload">[3/3]</span></h2>
|
|
332
336
|
|
|
333
337
|
<div class="memitem">
|
|
334
338
|
<div class="memproto">
|
|
@@ -354,6 +358,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
354
358
|
<td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * </td>
|
|
355
359
|
<td class="paramname"><em>i</em>, </td>
|
|
356
360
|
</tr>
|
|
361
|
+
<tr>
|
|
362
|
+
<td class="paramkey"></td>
|
|
363
|
+
<td></td>
|
|
364
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> * </td>
|
|
365
|
+
<td class="paramname"><em>e</em>, </td>
|
|
366
|
+
</tr>
|
|
357
367
|
<tr>
|
|
358
368
|
<td class="paramkey"></td>
|
|
359
369
|
<td></td>
|
|
@@ -375,10 +385,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
375
385
|
|
|
376
386
|
<p>constructor </p>
|
|
377
387
|
|
|
378
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
379
|
-
<div class="fragment"><div class="line"><a name="
|
|
388
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00506">506</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
389
|
+
<div class="fragment"><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>  :</div><div class="line"><a name="l00507"></a><span class="lineno"> 507</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_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>(i), <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>(e)</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  {</div><div class="line"><a name="l00509"></a><span class="lineno"> 509</span>  }</div><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>
|
|
380
390
|
<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>
|
|
381
|
-
<div class="ttc" id="
|
|
391
|
+
<div class="ttc" id="classSVF_1_1CallPE_html_a88e420e259b8d7d34c9850ddde53d372"><div class="ttname"><a href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE::entry</a></div><div class="ttdeci">const FunEntryICFGNode * entry</div><div class="ttdoc">the callsite statement calling from </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00485">SVFStatements.h:485</a></div></div>
|
|
392
|
+
<div class="ttc" id="classSVF_1_1CallPE_html_ace0704c65aa3637c50ff880f68808bba"><div class="ttname"><a href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</a></div></div>
|
|
382
393
|
</div><!-- fragment -->
|
|
383
394
|
</div>
|
|
384
395
|
</div>
|
|
@@ -407,10 +418,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
407
418
|
</table>
|
|
408
419
|
</div><div class="memdoc">
|
|
409
420
|
|
|
421
|
+
<p>the function exit statement calling to </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#l00489">489</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
425
|
+
<div class="fragment"><div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  {</div><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  }</div></div><!-- fragment -->
|
|
414
426
|
</div>
|
|
415
427
|
</div>
|
|
416
428
|
<a id="a188c51f3e378c451d34e90c96cca0cf5"></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#l00493">493</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
453
|
+
<div class="fragment"><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  {</div><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a></div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  || edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt::Call</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_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</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#l00498">498</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
483
|
+
<div class="fragment"><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  {</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a></div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  || edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt::Call</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_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</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 the call instruction. </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#l00513">513</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
514
|
+
<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  {</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>;</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  }</div><div class="ttc" id="classSVF_1_1CallPE_html_ace0704c65aa3637c50ff880f68808bba"><div class="ttname"><a href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</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#l00517">517</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
542
|
+
<div class="fragment"><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  {</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>;</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  }</div><div class="ttc" id="classSVF_1_1CallPE_html_ace0704c65aa3637c50ff880f68808bba"><div class="ttname"><a href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</a></div></div>
|
|
543
|
+
</div><!-- fragment -->
|
|
544
|
+
</div>
|
|
545
|
+
</div>
|
|
546
|
+
<a id="a9c9821c4e7dd031e3f82f2b29427e53e"></a>
|
|
547
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9c9821c4e7dd031e3f82f2b29427e53e">◆ </a></span>getFunEntryICFGNode()</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_1FunEntryICFGNode.html">FunEntryICFGNode</a>* SVF::CallPE::getFunEntryICFGNode </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#l00521">521</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
570
|
+
<div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  {</div><div class="line"><a name="l00523"></a><span class="lineno"> 523</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>;</div><div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  }</div><div class="ttc" id="classSVF_1_1CallPE_html_a88e420e259b8d7d34c9850ddde53d372"><div class="ttname"><a href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE::entry</a></div><div class="ttdeci">const FunEntryICFGNode * entry</div><div class="ttdoc">the callsite statement calling from </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00485">SVFStatements.h:485</a></div></div>
|
|
531
571
|
</div><!-- fragment -->
|
|
532
572
|
</div>
|
|
533
573
|
</div>
|
|
@@ -597,8 +637,8 @@ 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="ace0704c65aa3637c50ff880f68808bba"></a>
|
|
641
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ace0704c65aa3637c50ff880f68808bba">◆ </a></span>call</h2>
|
|
602
642
|
|
|
603
643
|
<div class="memitem">
|
|
604
644
|
<div class="memproto">
|
|
@@ -607,7 +647,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
607
647
|
<td class="mlabels-left">
|
|
608
648
|
<table class="memname">
|
|
609
649
|
<tr>
|
|
610
|
-
<td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::CallPE::
|
|
650
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::CallPE::call</td>
|
|
611
651
|
</tr>
|
|
612
652
|
</table>
|
|
613
653
|
</td>
|
|
@@ -617,10 +657,34 @@ Additional Inherited Members</h2></td></tr>
|
|
|
617
657
|
</table>
|
|
618
658
|
</div><div class="memdoc">
|
|
619
659
|
|
|
620
|
-
<p>llvm instruction for this call </p>
|
|
621
|
-
|
|
622
660
|
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00484">484</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
623
661
|
|
|
662
|
+
</div>
|
|
663
|
+
</div>
|
|
664
|
+
<a id="a88e420e259b8d7d34c9850ddde53d372"></a>
|
|
665
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a88e420e259b8d7d34c9850ddde53d372">◆ </a></span>entry</h2>
|
|
666
|
+
|
|
667
|
+
<div class="memitem">
|
|
668
|
+
<div class="memproto">
|
|
669
|
+
<table class="mlabels">
|
|
670
|
+
<tr>
|
|
671
|
+
<td class="mlabels-left">
|
|
672
|
+
<table class="memname">
|
|
673
|
+
<tr>
|
|
674
|
+
<td class="memname">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a>* SVF::CallPE::entry</td>
|
|
675
|
+
</tr>
|
|
676
|
+
</table>
|
|
677
|
+
</td>
|
|
678
|
+
<td class="mlabels-right">
|
|
679
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
680
|
+
</tr>
|
|
681
|
+
</table>
|
|
682
|
+
</div><div class="memdoc">
|
|
683
|
+
|
|
684
|
+
<p>the callsite statement calling from </p>
|
|
685
|
+
|
|
686
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00485">485</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
687
|
+
|
|
624
688
|
</div>
|
|
625
689
|
</div>
|
|
626
690
|
<hr/>The documentation for this class was generated from the following files:<ul>
|
|
@@ -285,7 +285,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
285
285
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
286
286
|
<div class="textblock"><p>Comparison statement </p>
|
|
287
287
|
|
|
288
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
288
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00785">785</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
289
289
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
290
290
|
<a id="a6e11c486468a8fe0f7aa38a0546b8328"></a>
|
|
291
291
|
<h2 class="memtitle"><span class="permalink"><a href="#a6e11c486468a8fe0f7aa38a0546b8328">◆ </a></span>CmpStmt() <span class="overload">[1/3]</span></h2>
|
|
@@ -384,10 +384,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
384
384
|
|
|
385
385
|
<p>constructor </p>
|
|
386
386
|
|
|
387
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
388
|
-
<div class="fragment"><div class="line"><a name="
|
|
387
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00815">815</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
388
|
+
<div class="fragment"><div class="line"><a name="l00815"></a><span class="lineno"> 815</span>  : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>), <a class="code" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">predicate</a>(pre)</div><div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  {</div><div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder </div></div>
|
|
389
389
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
390
|
-
<div class="ttc" id="classSVF_1_1CmpStmt_html_a26fc263da6ab3fee40a335d367419328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt::predicate</a></div><div class="ttdeci">u32_t predicate</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
390
|
+
<div class="ttc" id="classSVF_1_1CmpStmt_html_a26fc263da6ab3fee40a335d367419328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt::predicate</a></div><div class="ttdeci">u32_t predicate</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00792">SVFStatements.h:792</a></div></div>
|
|
391
391
|
</div><!-- fragment -->
|
|
392
392
|
</div>
|
|
393
393
|
</div>
|
|
@@ -418,8 +418,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
418
418
|
|
|
419
419
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
420
420
|
|
|
421
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
422
|
-
<div class="fragment"><div class="line"><a name="
|
|
421
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00796">796</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
422
|
+
<div class="fragment"><div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  {</div><div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  }</div></div><!-- fragment -->
|
|
423
423
|
</div>
|
|
424
424
|
</div>
|
|
425
425
|
<a id="a16a5fddf61f6a13ee34dde0c4267d0e5"></a>
|
|
@@ -446,8 +446,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
446
446
|
</table>
|
|
447
447
|
</div><div class="memdoc">
|
|
448
448
|
|
|
449
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
450
|
-
<div class="fragment"><div class="line"><a name="
|
|
449
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00800">800</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
450
|
+
<div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  {</div><div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div><div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
451
451
|
</div><!-- fragment -->
|
|
452
452
|
</div>
|
|
453
453
|
</div>
|
|
@@ -475,8 +475,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
475
475
|
</table>
|
|
476
476
|
</div><div class="memdoc">
|
|
477
477
|
|
|
478
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
479
|
-
<div class="fragment"><div class="line"><a name="
|
|
478
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00804">804</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
479
|
+
<div class="fragment"><div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  {</div><div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div><div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
480
480
|
</div><!-- fragment -->
|
|
481
481
|
</div>
|
|
482
482
|
</div>
|
|
@@ -504,8 +504,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
504
504
|
</table>
|
|
505
505
|
</div><div class="memdoc">
|
|
506
506
|
|
|
507
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
508
|
-
<div class="fragment"><div class="line"><a name="
|
|
507
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00808">808</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
508
|
+
<div class="fragment"><div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  {</div><div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div><div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
509
509
|
</div><!-- fragment -->
|
|
510
510
|
</div>
|
|
511
511
|
</div>
|
|
@@ -532,8 +532,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
532
532
|
</table>
|
|
533
533
|
</div><div class="memdoc">
|
|
534
534
|
|
|
535
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
536
|
-
<div class="fragment"><div class="line"><a name="
|
|
535
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00819">819</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
536
|
+
<div class="fragment"><div class="line"><a name="l00820"></a><span class="lineno"> 820</span>  {</div><div class="line"><a name="l00821"></a><span class="lineno"> 821</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">predicate</a>;</div><div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  }</div><div class="ttc" id="classSVF_1_1CmpStmt_html_a26fc263da6ab3fee40a335d367419328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt::predicate</a></div><div class="ttdeci">u32_t predicate</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00792">SVFStatements.h:792</a></div></div>
|
|
537
537
|
</div><!-- fragment -->
|
|
538
538
|
</div>
|
|
539
539
|
</div>
|
|
@@ -592,7 +592,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
592
592
|
|
|
593
593
|
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00118">118</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
594
594
|
<div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  {</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  std::string str;</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  rawstr << <span class="stringliteral">"CmpStmt: [Var"</span> << <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() << <span class="stringliteral">" <-- (Var"</span> << <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0) << <span class="stringliteral">" predicate"</span> << <a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>() << <span class="stringliteral">" Var"</span> << <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1) << <span class="stringliteral">")]\t"</span>;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  rawstr << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  rawstr << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  }</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00115">SVFStatements.h:115</a></div></div>
|
|
595
|
-
<div class="ttc" id="classSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
595
|
+
<div class="ttc" id="classSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00819">SVFStatements.h:819</a></div></div>
|
|
596
596
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
597
597
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
|
|
598
598
|
<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
@@ -622,7 +622,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
622
622
|
</table>
|
|
623
623
|
</div><div class="memdoc">
|
|
624
624
|
|
|
625
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
625
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00792">792</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
626
626
|
|
|
627
627
|
</div>
|
|
628
628
|
</div>
|