svf-tools 1.0.270 → 1.0.274
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/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +118 -117
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +17 -17
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +88 -87
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -11
- package/SVF-doxygen/html/html/SVFG_8cpp.html +2 -0
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +87 -70
- package/SVF-doxygen/html/html/SVFG_8h_source.html +48 -54
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +66 -66
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +50 -52
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +64 -62
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +94 -37
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +29 -27
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +94 -39
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +50 -49
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +49 -47
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +145 -30
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRVer-members.html +9 -8
- package/SVF-doxygen/html/html/classSVF_1_1MRVer.html +33 -0
- package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +53 -51
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +237 -136
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/functions_a.html +7 -7
- package/SVF-doxygen/html/html/functions_c.html +21 -25
- package/SVF-doxygen/html/html/functions_f.html +17 -11
- package/SVF-doxygen/html/html/functions_func.html +7 -7
- package/SVF-doxygen/html/html/functions_func_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func_g.html +25 -25
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_o.html +4 -2
- package/SVF-doxygen/html/html/functions_g.html +22 -22
- package/SVF-doxygen/html/html/functions_i.html +4 -4
- package/SVF-doxygen/html/html/functions_m.html +1 -5
- package/SVF-doxygen/html/html/functions_o.html +12 -12
- package/SVF-doxygen/html/html/functions_p.html +12 -14
- package/SVF-doxygen/html/html/functions_r.html +5 -9
- package/SVF-doxygen/html/html/functions_s.html +9 -7
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +9 -4
- package/SVF-doxygen/html/html/functions_vars_c.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_f.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_r.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_v.html +6 -1
- package/SVF-doxygen/html/html/search/all_1.js +7 -7
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +4 -4
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_14.js +2 -2
- 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 +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +5 -3
- package/SVF-doxygen/html/html/search/all_7.js +6 -9
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +4 -4
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_0.js +7 -7
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_5.js +2 -2
- package/SVF-doxygen/html/html/search/functions_6.js +6 -9
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +2 -2
- package/SVF-doxygen/html/html/search/variables_12.js +2 -2
- package/SVF-doxygen/html/html/search/variables_16.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +0 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -0
- package/SVF-doxygen/html/html/search/variables_d.js +2 -3
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +28 -28
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/Graphs/SVFG.h +28 -23
- package/include/Graphs/SVFGNode.h +69 -36
- package/include/Graphs/SVFGOPT.h +2 -2
- package/include/MSSA/MSSAMuChi.h +10 -4
- package/lib/Graphs/SVFG.cpp +52 -35
- package/package.json +1 -1
|
@@ -86,15 +86,15 @@ Inheritance diagram for SVF::ActualOUTSVFGNode:</div>
|
|
|
86
86
|
<table class="memberdecls">
|
|
87
87
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
88
88
|
Public Member Functions</h2></td></tr>
|
|
89
|
-
<tr class="memitem:
|
|
90
|
-
<tr class="memdesc:
|
|
91
|
-
<tr class="separator:
|
|
89
|
+
<tr class="memitem:acca65d56457f7c4c7f7b30bf4b3e78d0"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cal, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer)</td></tr>
|
|
90
|
+
<tr class="memdesc:acca65d56457f7c4c7f7b30bf4b3e78d0"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="#acca65d56457f7c4c7f7b30bf4b3e78d0">More...</a><br /></td></tr>
|
|
91
|
+
<tr class="separator:acca65d56457f7c4c7f7b30bf4b3e78d0"><td class="memSeparator" colspan="2"> </td></tr>
|
|
92
92
|
<tr class="memitem:a929e15d57bc95e6314be714ae0034c0c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a> () const</td></tr>
|
|
93
93
|
<tr class="memdesc:a929e15d57bc95e6314be714ae0034c0c"><td class="mdescLeft"> </td><td class="mdescRight">Callsite. <a href="#a929e15d57bc95e6314be714ae0034c0c">More...</a><br /></td></tr>
|
|
94
94
|
<tr class="separator:a929e15d57bc95e6314be714ae0034c0c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
|
-
<tr class="memitem:
|
|
96
|
-
<tr class="memdesc:
|
|
97
|
-
<tr class="separator:
|
|
95
|
+
<tr class="memitem:a3e3a14a042d75e5613eb049a9eb4fac5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a> () const</td></tr>
|
|
96
|
+
<tr class="memdesc:a3e3a14a042d75e5613eb049a9eb4fac5"><td class="mdescLeft"> </td><td class="mdescRight">Ver. <a href="#a3e3a14a042d75e5613eb049a9eb4fac5">More...</a><br /></td></tr>
|
|
97
|
+
<tr class="separator:a3e3a14a042d75e5613eb049a9eb4fac5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
98
98
|
<tr class="memitem:a460d0d6f338c33e39d810f7921237b5c"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">toString</a> () const</td></tr>
|
|
99
99
|
<tr class="separator:a460d0d6f338c33e39d810f7921237b5c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
100
|
<tr class="inherit_header pub_methods_classSVF_1_1MRSVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MRSVFGNode')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td></tr>
|
|
@@ -209,10 +209,10 @@ Static Public Member Functions</h2></td></tr>
|
|
|
209
209
|
</table><table class="memberdecls">
|
|
210
210
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
211
211
|
Private Attributes</h2></td></tr>
|
|
212
|
-
<tr class="memitem:a0401bc8dfd6f45d3025d2ca1ce32e455"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9">MemSSA::CALLCHI</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0401bc8dfd6f45d3025d2ca1ce32e455">chi</a></td></tr>
|
|
213
|
-
<tr class="separator:a0401bc8dfd6f45d3025d2ca1ce32e455"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
212
|
<tr class="memitem:a0c305793d2c1ed2c27fb28dafe6927ff"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a></td></tr>
|
|
215
213
|
<tr class="separator:a0c305793d2c1ed2c27fb28dafe6927ff"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
|
+
<tr class="memitem:a9b0ad566d3fab6336d84ba07f541370f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a></td></tr>
|
|
215
|
+
<tr class="separator:a9b0ad566d3fab6336d84ba07f541370f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
216
216
|
</table><table class="memberdecls">
|
|
217
217
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
218
218
|
Additional Inherited Members</h2></td></tr>
|
|
@@ -286,10 +286,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
286
286
|
</table>
|
|
287
287
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
288
288
|
<div class="textblock">
|
|
289
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
289
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00226">226</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
290
290
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
291
|
-
<a id="
|
|
292
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
291
|
+
<a id="acca65d56457f7c4c7f7b30bf4b3e78d0"></a>
|
|
292
|
+
<h2 class="memtitle"><span class="permalink"><a href="#acca65d56457f7c4c7f7b30bf4b3e78d0">◆ </a></span>ActualOUTSVFGNode()</h2>
|
|
293
293
|
|
|
294
294
|
<div class="memitem">
|
|
295
295
|
<div class="memproto">
|
|
@@ -306,14 +306,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
306
306
|
<tr>
|
|
307
307
|
<td class="paramkey"></td>
|
|
308
308
|
<td></td>
|
|
309
|
-
<td class="paramtype">const <a class="el" href="
|
|
310
|
-
<td class="paramname"><em>
|
|
309
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * </td>
|
|
310
|
+
<td class="paramname"><em>cal</em>, </td>
|
|
311
311
|
</tr>
|
|
312
312
|
<tr>
|
|
313
313
|
<td class="paramkey"></td>
|
|
314
314
|
<td></td>
|
|
315
|
-
<td class="paramtype">const <a class="el" href="
|
|
316
|
-
<td class="paramname"><em>
|
|
315
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td>
|
|
316
|
+
<td class="paramname"><em>resVer</em> </td>
|
|
317
317
|
</tr>
|
|
318
318
|
<tr>
|
|
319
319
|
<td></td>
|
|
@@ -330,12 +330,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
330
330
|
|
|
331
331
|
<p>Constructor. </p>
|
|
332
332
|
|
|
333
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
334
|
-
<div class="fragment"><div class="line"><a name="
|
|
333
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00234">234</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
334
|
+
<div class="fragment"><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  :</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <a class="code" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>), <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a>(cal)</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  {</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  <a class="code" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">cpts</a> = resVer->getMR()->getPointsTo();</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a> = resVer;</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  }</div><div class="ttc" id="classSVF_1_1MRSVFGNode_html_a2c2b0476c49c5f2d4ebe6eec22c7345f"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">SVF::MRSVFGNode::MRSVFGNode</a></div><div class="ttdeci">MRSVFGNode(NodeID id, VFGNodeK k)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00048">SVFGNode.h:48</a></div></div>
|
|
335
335
|
<div class="ttc" id="classSVF_1_1MRSVFGNode_html_a3fc32c474e542ebb3c91adb6b5c1bb1f"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">SVF::MRSVFGNode::cpts</a></div><div class="ttdeci">PointsTo cpts</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00045">SVFGNode.h:45</a></div></div>
|
|
336
|
-
<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a0c305793d2c1ed2c27fb28dafe6927ff"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
336
|
+
<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a0c305793d2c1ed2c27fb28dafe6927ff"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
|
|
337
337
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode::APOUT</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
|
|
338
|
-
<div class="ttc" id="
|
|
338
|
+
<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a9b0ad566d3fab6336d84ba07f541370f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">SVF::ActualOUTSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00230">SVFGNode.h:230</a></div></div>
|
|
339
339
|
</div><!-- fragment -->
|
|
340
340
|
</div>
|
|
341
341
|
</div>
|
|
@@ -366,8 +366,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
366
366
|
|
|
367
367
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
368
368
|
|
|
369
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
370
|
-
<div class="fragment"><div class="line"><a name="
|
|
369
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00252">252</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
370
|
+
<div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  {</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  }</div></div><!-- fragment -->
|
|
371
371
|
</div>
|
|
372
372
|
</div>
|
|
373
373
|
<a id="a12cb923163baad086ca7a6365c74cc6b"></a>
|
|
@@ -394,8 +394,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
394
394
|
</table>
|
|
395
395
|
</div><div class="memdoc">
|
|
396
396
|
|
|
397
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
398
|
-
<div class="fragment"><div class="line"><a name="
|
|
397
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00256">256</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
398
|
+
<div class="fragment"><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  {</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>;</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode::APOUT</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
|
|
399
399
|
</div><!-- fragment -->
|
|
400
400
|
</div>
|
|
401
401
|
</div>
|
|
@@ -423,13 +423,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
423
423
|
</table>
|
|
424
424
|
</div><div class="memdoc">
|
|
425
425
|
|
|
426
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
427
|
-
<div class="fragment"><div class="line"><a name="
|
|
426
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00260">260</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
427
|
+
<div class="fragment"><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  {</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>;</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode::APOUT</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
|
|
428
428
|
</div><!-- fragment -->
|
|
429
429
|
</div>
|
|
430
430
|
</div>
|
|
431
|
-
<a id="
|
|
432
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
431
|
+
<a id="a929e15d57bc95e6314be714ae0034c0c"></a>
|
|
432
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a929e15d57bc95e6314be714ae0034c0c">◆ </a></span>getCallSite()</h2>
|
|
433
433
|
|
|
434
434
|
<div class="memitem">
|
|
435
435
|
<div class="memproto">
|
|
@@ -438,7 +438,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
438
438
|
<td class="mlabels-left">
|
|
439
439
|
<table class="memname">
|
|
440
440
|
<tr>
|
|
441
|
-
<td class="memname">const <a class="el" href="
|
|
441
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* SVF::ActualOUTSVFGNode::getCallSite </td>
|
|
442
442
|
<td>(</td>
|
|
443
443
|
<td class="paramname"></td><td>)</td>
|
|
444
444
|
<td> const</td>
|
|
@@ -451,15 +451,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
451
451
|
</table>
|
|
452
452
|
</div><div class="memdoc">
|
|
453
453
|
|
|
454
|
-
<p
|
|
454
|
+
<p>Callsite. </p>
|
|
455
455
|
|
|
456
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
457
|
-
<div class="fragment"><div class="line"><a name="
|
|
456
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00241">241</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
457
|
+
<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  {</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a>;</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  }</div><div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a0c305793d2c1ed2c27fb28dafe6927ff"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
|
|
458
458
|
</div><!-- fragment -->
|
|
459
459
|
</div>
|
|
460
460
|
</div>
|
|
461
|
-
<a id="
|
|
462
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
461
|
+
<a id="a3e3a14a042d75e5613eb049a9eb4fac5"></a>
|
|
462
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a3e3a14a042d75e5613eb049a9eb4fac5">◆ </a></span>getMRVer()</h2>
|
|
463
463
|
|
|
464
464
|
<div class="memitem">
|
|
465
465
|
<div class="memproto">
|
|
@@ -468,7 +468,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
468
468
|
<td class="mlabels-left">
|
|
469
469
|
<table class="memname">
|
|
470
470
|
<tr>
|
|
471
|
-
<td class="memname">const <a class="el" href="
|
|
471
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::ActualOUTSVFGNode::getMRVer </td>
|
|
472
472
|
<td>(</td>
|
|
473
473
|
<td class="paramname"></td><td>)</td>
|
|
474
474
|
<td> const</td>
|
|
@@ -481,10 +481,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
481
481
|
</table>
|
|
482
482
|
</div><div class="memdoc">
|
|
483
483
|
|
|
484
|
-
<p>
|
|
484
|
+
<p>Ver. </p>
|
|
485
485
|
|
|
486
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
487
|
-
<div class="fragment"><div class="line"><a name="
|
|
486
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00246">246</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
487
|
+
<div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  {</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a>;</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  }</div><div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a9b0ad566d3fab6336d84ba07f541370f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">SVF::ActualOUTSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00230">SVFGNode.h:230</a></div></div>
|
|
488
488
|
</div><!-- fragment -->
|
|
489
489
|
</div>
|
|
490
490
|
</div>
|
|
@@ -513,27 +513,25 @@ Additional Inherited Members</h2></td></tr>
|
|
|
513
513
|
|
|
514
514
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921">SVF::MRSVFGNode</a>.</p>
|
|
515
515
|
|
|
516
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
517
|
-
<div class="fragment"><div class="line"><a name="
|
|
516
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00079">79</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
517
|
+
<div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  {</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  std::string str;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  rawstr << <span class="stringliteral">"ActualOUTSVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" at callsite: "</span> << *<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>()-><a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>() << <span class="stringliteral">" {fun: "</span> << <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-><a class="code" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() << <span class="stringliteral">"}"</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  rawstr << <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() <<</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="stringliteral">" = CSCHI(MR_"</span> << <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">")\n"</span>;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  rawstr << <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  rawstr << <span class="stringliteral">"CS["</span> << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>()-><a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>()) << <span class="stringliteral">"]"</span> ;</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span> }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
|
|
518
518
|
<div class="ttc" id="classSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00086">VFGNode.h:86</a></div></div>
|
|
519
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00367">MSSAMuChi.h:367</a></div></div>
|
|
520
519
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00258">SVFUtil.cpp:258</a></div></div>
|
|
521
520
|
<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00221">SVFBasicTypes.h:221</a></div></div>
|
|
522
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00348">MSSAMuChi.h:348</a></div></div>
|
|
523
521
|
<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>
|
|
522
|
+
<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a3e3a14a042d75e5613eb049a9eb4fac5"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">SVF::ActualOUTSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00246">SVFGNode.h:246</a></div></div>
|
|
524
523
|
<div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
|
|
525
|
-
<div class="ttc" id="
|
|
524
|
+
<div class="ttc" id="classSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
|
|
526
525
|
<div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
|
|
527
526
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
|
|
528
|
-
<div class="ttc" id="classSVF_1_1MSSACHI_html_a7af6f73ff1432d4adb5ee8493fbe73fb"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">SVF::MSSACHI::getOpVer</a></div><div class="ttdeci">MRVer * getOpVer() const</div><div class="ttdoc">Get operand ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00415">MSSAMuChi.h:415</a></div></div>
|
|
529
527
|
<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
|
|
530
|
-
<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a929e15d57bc95e6314be714ae0034c0c"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Callsite. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
528
|
+
<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a929e15d57bc95e6314be714ae0034c0c"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Callsite. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00241">SVFGNode.h:241</a></div></div>
|
|
531
529
|
</div><!-- fragment -->
|
|
532
530
|
</div>
|
|
533
531
|
</div>
|
|
534
532
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
535
|
-
<a id="
|
|
536
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
533
|
+
<a id="a0c305793d2c1ed2c27fb28dafe6927ff"></a>
|
|
534
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a0c305793d2c1ed2c27fb28dafe6927ff">◆ </a></span>cs</h2>
|
|
537
535
|
|
|
538
536
|
<div class="memitem">
|
|
539
537
|
<div class="memproto">
|
|
@@ -542,7 +540,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
542
540
|
<td class="mlabels-left">
|
|
543
541
|
<table class="memname">
|
|
544
542
|
<tr>
|
|
545
|
-
<td class="memname">const <a class="el" href="
|
|
543
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* SVF::ActualOUTSVFGNode::cs</td>
|
|
546
544
|
</tr>
|
|
547
545
|
</table>
|
|
548
546
|
</td>
|
|
@@ -552,12 +550,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
552
550
|
</table>
|
|
553
551
|
</div><div class="memdoc">
|
|
554
552
|
|
|
555
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
553
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00229">229</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
556
554
|
|
|
557
555
|
</div>
|
|
558
556
|
</div>
|
|
559
|
-
<a id="
|
|
560
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
557
|
+
<a id="a9b0ad566d3fab6336d84ba07f541370f"></a>
|
|
558
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9b0ad566d3fab6336d84ba07f541370f">◆ </a></span>ver</h2>
|
|
561
559
|
|
|
562
560
|
<div class="memitem">
|
|
563
561
|
<div class="memproto">
|
|
@@ -566,7 +564,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
566
564
|
<td class="mlabels-left">
|
|
567
565
|
<table class="memname">
|
|
568
566
|
<tr>
|
|
569
|
-
<td class="memname">const <a class="el" href="
|
|
567
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::ActualOUTSVFGNode::ver</td>
|
|
570
568
|
</tr>
|
|
571
569
|
</table>
|
|
572
570
|
</td>
|
|
@@ -576,7 +574,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
576
574
|
</table>
|
|
577
575
|
</div><div class="memdoc">
|
|
578
576
|
|
|
579
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
577
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00230">230</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
580
578
|
|
|
581
579
|
</div>
|
|
582
580
|
</div>
|
|
@@ -438,8 +438,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
438
438
|
|
|
439
439
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>.</p>
|
|
440
440
|
|
|
441
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
442
|
-
<div class="fragment"><div class="line"><a name="
|
|
441
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00179">179</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
442
|
+
<div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-><a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span> }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a45be6b7b2f1f9754ea47e511e65d46ae"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">SVF::PAGNode::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00093">PAGNode.h:93</a></div></div>
|
|
443
443
|
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00737">VFGNode.h:737</a></div></div>
|
|
444
444
|
</div><!-- fragment -->
|
|
445
445
|
</div>
|
|
@@ -616,8 +616,8 @@ Private Member Functions</h2></td></tr>
|
|
|
616
616
|
|
|
617
617
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>.</p>
|
|
618
618
|
|
|
619
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
620
|
-
<div class="fragment"><div class="line"><a name="
|
|
619
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00171">171</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
620
|
+
<div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">getRes</a>()-><a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span> }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a45be6b7b2f1f9754ea47e511e65d46ae"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">SVF::PAGNode::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00093">PAGNode.h:93</a></div></div>
|
|
621
621
|
<div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html_a1fa8795102bc6c1d6bac1b55b7542eea"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00436">VFGNode.h:436</a></div></div>
|
|
622
622
|
</div><!-- fragment -->
|
|
623
623
|
</div>
|
|
@@ -189,7 +189,7 @@ class SVF::CallCHI< Cond ></h3>
|
|
|
189
189
|
|
|
190
190
|
<p><a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a> is annotated at each store instruction, representing a memory object is modified here </p>
|
|
191
191
|
|
|
192
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
192
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00521">521</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
193
193
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
194
194
|
<a id="a5a03b5679ded2115a396ef04b388d6f5"></a>
|
|
195
195
|
<h2 class="memtitle"><span class="permalink"><a href="#a5a03b5679ded2115a396ef04b388d6f5">◆ </a></span>CallCHI()</h2>
|
|
@@ -235,9 +235,9 @@ template<class Cond > </div>
|
|
|
235
235
|
|
|
236
236
|
<p>Constructors for <a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a>. </p>
|
|
237
237
|
|
|
238
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
239
|
-
<div class="fragment"><div class="line"><a name="
|
|
240
|
-
<div class="ttc" id="classSVF_1_1CallCHI_html_adfecaac7c36b56b7eac321d6066cdb9d"><div class="ttname"><a href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">SVF::CallCHI::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
238
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00528">528</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
239
|
+
<div class="fragment"><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  :</div><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  MSSACHI<Cond>(<a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">MSSADEF::CallMSSACHI</a>,m,c), <a class="code" href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">callsite</a>(cs)</div><div class="line"><a name="l00530"></a><span class="lineno"> 530</span>  {</div><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">SVF::MSSADEF::CallMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00333">MSSAMuChi.h:333</a></div></div>
|
|
240
|
+
<div class="ttc" id="classSVF_1_1CallCHI_html_adfecaac7c36b56b7eac321d6066cdb9d"><div class="ttname"><a href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">SVF::CallCHI::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00524">MSSAMuChi.h:524</a></div></div>
|
|
241
241
|
</div><!-- fragment -->
|
|
242
242
|
</div>
|
|
243
243
|
</div>
|
|
@@ -266,8 +266,8 @@ template<class Cond > </div>
|
|
|
266
266
|
</table>
|
|
267
267
|
</div><div class="memdoc">
|
|
268
268
|
|
|
269
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
270
|
-
<div class="fragment"><div class="line"><a name="
|
|
269
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00532">532</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
270
|
+
<div class="fragment"><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  {</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  }</div></div><!-- fragment -->
|
|
271
271
|
</div>
|
|
272
272
|
</div>
|
|
273
273
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -299,8 +299,8 @@ template<class Cond > </div>
|
|
|
299
299
|
|
|
300
300
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
301
301
|
|
|
302
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
303
|
-
<div class="fragment"><div class="line"><a name="
|
|
302
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00551">551</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
303
|
+
<div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  {</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>  }</div></div><!-- fragment -->
|
|
304
304
|
</div>
|
|
305
305
|
</div>
|
|
306
306
|
<a id="a039209d842c18ef9d4a86a5a725a775b"></a>
|
|
@@ -329,8 +329,8 @@ template<class Cond > </div>
|
|
|
329
329
|
</table>
|
|
330
330
|
</div><div class="memdoc">
|
|
331
331
|
|
|
332
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
333
|
-
<div class="fragment"><div class="line"><a name="
|
|
332
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00555">555</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
333
|
+
<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> chi->getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">MSSADEF::CallMSSACHI</a>;</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">SVF::MSSADEF::CallMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00333">MSSAMuChi.h:333</a></div></div>
|
|
334
334
|
</div><!-- fragment -->
|
|
335
335
|
</div>
|
|
336
336
|
</div>
|
|
@@ -360,8 +360,8 @@ template<class Cond > </div>
|
|
|
360
360
|
</table>
|
|
361
361
|
</div><div class="memdoc">
|
|
362
362
|
|
|
363
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
364
|
-
<div class="fragment"><div class="line"><a name="
|
|
363
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00559">559</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
364
|
+
<div class="fragment"><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  {</div><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  <span class="keywordflow">return</span> chi->getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">MSSADEF::CallMSSACHI</a>;</div><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">SVF::MSSADEF::CallMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00333">MSSAMuChi.h:333</a></div></div>
|
|
365
365
|
</div><!-- fragment -->
|
|
366
366
|
</div>
|
|
367
367
|
</div>
|
|
@@ -394,13 +394,13 @@ template<class Cond > </div>
|
|
|
394
394
|
|
|
395
395
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca">SVF::MSSACHI< Cond ></a>.</p>
|
|
396
396
|
|
|
397
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
398
|
-
<div class="fragment"><div class="line"><a name="
|
|
399
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
400
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
397
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00566">566</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
398
|
+
<div class="fragment"><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  {</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">getResVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() <<</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>  <span class="stringliteral">" = CALCHI(MR_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << this-><a class="code" href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">getOpVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">") \t"</span> <<</div><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>  this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
|
|
399
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00373">MSSAMuChi.h:373</a></div></div>
|
|
400
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
|
|
401
401
|
<div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
|
|
402
402
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00047">SVFUtil.h:47</a></div></div>
|
|
403
|
-
<div class="ttc" id="classSVF_1_1MSSACHI_html_a7af6f73ff1432d4adb5ee8493fbe73fb"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">SVF::MSSACHI::getOpVer</a></div><div class="ttdeci">MRVer * getOpVer() const</div><div class="ttdoc">Get operand ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
403
|
+
<div class="ttc" id="classSVF_1_1MSSACHI_html_a7af6f73ff1432d4adb5ee8493fbe73fb"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">SVF::MSSACHI::getOpVer</a></div><div class="ttdeci">MRVer * getOpVer() const</div><div class="ttdoc">Get operand ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00421">MSSAMuChi.h:421</a></div></div>
|
|
404
404
|
<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
|
|
405
405
|
</div><!-- fragment -->
|
|
406
406
|
</div>
|
|
@@ -432,8 +432,8 @@ template<class Cond > </div>
|
|
|
432
432
|
|
|
433
433
|
<p>Return basic block. </p>
|
|
434
434
|
|
|
435
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
436
|
-
<div class="fragment"><div class="line"><a name="
|
|
435
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00538">538</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
436
|
+
<div class="fragment"><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  {</div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">callsite</a>-><a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>()->getParent();</div><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>  }</div><div class="ttc" id="classSVF_1_1CallCHI_html_adfecaac7c36b56b7eac321d6066cdb9d"><div class="ttname"><a href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">SVF::CallCHI::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00524">MSSAMuChi.h:524</a></div></div>
|
|
437
437
|
<div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
|
|
438
438
|
</div><!-- fragment -->
|
|
439
439
|
</div>
|
|
@@ -465,8 +465,8 @@ template<class Cond > </div>
|
|
|
465
465
|
|
|
466
466
|
<p>Return callsite. </p>
|
|
467
467
|
|
|
468
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
469
|
-
<div class="fragment"><div class="line"><a name="
|
|
468
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00544">544</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
469
|
+
<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  {</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">callsite</a>;</div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  }</div><div class="ttc" id="classSVF_1_1CallCHI_html_adfecaac7c36b56b7eac321d6066cdb9d"><div class="ttname"><a href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">SVF::CallCHI::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00524">MSSAMuChi.h:524</a></div></div>
|
|
470
470
|
</div><!-- fragment -->
|
|
471
471
|
</div>
|
|
472
472
|
</div>
|
|
@@ -493,7 +493,7 @@ template<class Cond > </div>
|
|
|
493
493
|
</table>
|
|
494
494
|
</div><div class="memdoc">
|
|
495
495
|
|
|
496
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
496
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00524">524</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
497
497
|
|
|
498
498
|
</div>
|
|
499
499
|
</div>
|