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
|
@@ -152,9 +152,12 @@ Public Types</h2></td></tr>
|
|
|
152
152
|
</table><table class="memberdecls">
|
|
153
153
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
154
154
|
Public Member Functions</h2></td></tr>
|
|
155
|
-
<tr class="memitem:
|
|
156
|
-
<tr class="memdesc:
|
|
157
|
-
<tr class="separator:
|
|
155
|
+
<tr class="memitem:aec8a372f9024af27a87c5b43e4dc633d"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</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_1MRVer.html">MRVer</a> *resVer, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> k=<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a>)</td></tr>
|
|
156
|
+
<tr class="memdesc:aec8a372f9024af27a87c5b43e4dc633d"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="#aec8a372f9024af27a87c5b43e4dc633d">More...</a><br /></td></tr>
|
|
157
|
+
<tr class="separator:aec8a372f9024af27a87c5b43e4dc633d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
158
|
+
<tr class="memitem:a9ea963b7773c7d0b42ccf81e58a54a50"><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_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a> () const</td></tr>
|
|
159
|
+
<tr class="memdesc:a9ea963b7773c7d0b42ccf81e58a54a50"><td class="mdescLeft"> </td><td class="mdescRight">Ver. <a href="#a9ea963b7773c7d0b42ccf81e58a54a50">More...</a><br /></td></tr>
|
|
160
|
+
<tr class="separator:a9ea963b7773c7d0b42ccf81e58a54a50"><td class="memSeparator" colspan="2"> </td></tr>
|
|
158
161
|
<tr class="memitem:a1a07b3e8da65d17c16ed34a4f66b80dd"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">toString</a> () const</td></tr>
|
|
159
162
|
<tr class="separator:a1a07b3e8da65d17c16ed34a4f66b80dd"><td class="memSeparator" colspan="2"> </td></tr>
|
|
160
163
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
@@ -163,8 +166,6 @@ Public Member Functions</h2></td></tr>
|
|
|
163
166
|
<tr class="separator:a9ff8a58538d4df8e06e8d16dd58f02a3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
164
167
|
<tr class="memitem:a928a57d7f518c5af98a0245d9221e671"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671">setOpVer</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *node)</td></tr>
|
|
165
168
|
<tr class="separator:a928a57d7f518c5af98a0245d9221e671"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
|
-
<tr class="memitem:a771568239e438c8a823ef7da49a9ebc3"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c">MemSSA::MDEF</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3">getRes</a> () const</td></tr>
|
|
167
|
-
<tr class="separator:a771568239e438c8a823ef7da49a9ebc3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
168
169
|
<tr class="memitem:af7bd2cd776dcdbd1aee11569ec9f4a4f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f">getOpVerNum</a> () const</td></tr>
|
|
169
170
|
<tr class="separator:af7bd2cd776dcdbd1aee11569ec9f4a4f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
170
171
|
<tr class="memitem:ace39549f7e300cb4a0ac7b8506a8632a"><td class="memItemLeft" align="right" valign="top">OPVers::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">opVerBegin</a> () const</td></tr>
|
|
@@ -285,8 +286,8 @@ Static Public Member Functions</h2></td></tr>
|
|
|
285
286
|
</table><table class="memberdecls">
|
|
286
287
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
|
|
287
288
|
Protected Attributes</h2></td></tr>
|
|
288
|
-
<tr class="memitem:
|
|
289
|
-
<tr class="separator:
|
|
289
|
+
<tr class="memitem:a61b2e5ccd265d69167f44ce43e97fb80"><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_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a></td></tr>
|
|
290
|
+
<tr class="separator:a61b2e5ccd265d69167f44ce43e97fb80"><td class="memSeparator" colspan="2"> </td></tr>
|
|
290
291
|
<tr class="memitem:a9c327923ab939e06877441ebde5c1139"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">OPVers</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a></td></tr>
|
|
291
292
|
<tr class="separator:a9c327923ab939e06877441ebde5c1139"><td class="memSeparator" colspan="2"> </td></tr>
|
|
292
293
|
<tr class="inherit_header pro_attribs_classSVF_1_1MRSVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MRSVFGNode')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td></tr>
|
|
@@ -304,7 +305,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
304
305
|
</table>
|
|
305
306
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
306
307
|
<div class="textblock">
|
|
307
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
308
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00273">273</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
308
309
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
309
310
|
<a id="a300f37203eb84fc57e005c27ce0422fb"></a>
|
|
310
311
|
<h2 class="memtitle"><span class="permalink"><a href="#a300f37203eb84fc57e005c27ce0422fb">◆ </a></span>OPVers</h2>
|
|
@@ -318,13 +319,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
318
319
|
</table>
|
|
319
320
|
</div><div class="memdoc">
|
|
320
321
|
|
|
321
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
322
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00276">276</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
322
323
|
|
|
323
324
|
</div>
|
|
324
325
|
</div>
|
|
325
326
|
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
326
|
-
<a id="
|
|
327
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
327
|
+
<a id="aec8a372f9024af27a87c5b43e4dc633d"></a>
|
|
328
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aec8a372f9024af27a87c5b43e4dc633d">◆ </a></span>MSSAPHISVFGNode()</h2>
|
|
328
329
|
|
|
329
330
|
<div class="memitem">
|
|
330
331
|
<div class="memproto">
|
|
@@ -341,8 +342,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
341
342
|
<tr>
|
|
342
343
|
<td class="paramkey"></td>
|
|
343
344
|
<td></td>
|
|
344
|
-
<td class="paramtype">const <a class="el" href="
|
|
345
|
-
<td class="paramname"><em>
|
|
345
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td>
|
|
346
|
+
<td class="paramname"><em>resVer</em>, </td>
|
|
346
347
|
</tr>
|
|
347
348
|
<tr>
|
|
348
349
|
<td class="paramkey"></td>
|
|
@@ -365,9 +366,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
365
366
|
|
|
366
367
|
<p>Constructor. </p>
|
|
367
368
|
|
|
368
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
369
|
-
<div class="fragment"><div class="line"><a name="
|
|
370
|
-
<div class="ttc" id="
|
|
369
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00284">284</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
370
|
+
<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  : <a class="code" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(<span class="keywordtype">id</span>, k)</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  {</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  <a class="code" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">cpts</a> = resVer->getMR()->getPointsTo();</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a> = resVer; </div><div class="line"><a name="l00288"></a><span class="lineno"> 288</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>
|
|
371
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a61b2e5ccd265d69167f44ce43e97fb80"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">SVF::MSSAPHISVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00279">SVFGNode.h:279</a></div></div>
|
|
371
372
|
<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>
|
|
372
373
|
</div><!-- fragment -->
|
|
373
374
|
</div>
|
|
@@ -399,8 +400,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
399
400
|
|
|
400
401
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
401
402
|
|
|
402
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
403
|
-
<div class="fragment"><div class="line"><a name="
|
|
403
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00322">322</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
404
|
+
<div class="fragment"><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  {</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  }</div></div><!-- fragment -->
|
|
404
405
|
</div>
|
|
405
406
|
</div>
|
|
406
407
|
<a id="a44089a90d2c8bdb7ea8d8f2904c9d768"></a>
|
|
@@ -427,8 +428,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
427
428
|
</table>
|
|
428
429
|
</div><div class="memdoc">
|
|
429
430
|
|
|
430
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
431
|
-
<div class="fragment"><div class="line"><a name="
|
|
431
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00326">326</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
432
|
+
<div class="fragment"><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  {</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  <span class="keywordflow">return</span> (node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>);</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
432
433
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
433
434
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">SVF::VFGNode::MPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
434
435
|
</div><!-- fragment -->
|
|
@@ -458,8 +459,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
458
459
|
</table>
|
|
459
460
|
</div><div class="memdoc">
|
|
460
461
|
|
|
461
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
462
|
-
<div class="fragment"><div class="line"><a name="
|
|
462
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00330">330</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
463
|
+
<div class="fragment"><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  {</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <span class="keywordflow">return</span> (node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>);</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
463
464
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
464
465
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">SVF::VFGNode::MPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
465
466
|
</div><!-- fragment -->
|
|
@@ -489,8 +490,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
489
490
|
</table>
|
|
490
491
|
</div><div class="memdoc">
|
|
491
492
|
|
|
492
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
493
|
-
<div class="fragment"><div class="line"><a name="
|
|
493
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00334">334</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
494
|
+
<div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  {</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keywordflow">return</span> (node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> || node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>);</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
494
495
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
495
496
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">SVF::VFGNode::MPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
496
497
|
</div><!-- fragment -->
|
|
@@ -522,9 +523,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
522
523
|
|
|
523
524
|
<p>MSSA phi operands. </p>
|
|
524
525
|
|
|
525
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
526
|
-
<div class="fragment"><div class="line"><a name="
|
|
527
|
-
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
526
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00296">296</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
527
|
+
<div class="fragment"><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  {</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  OPVers::const_iterator it = <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.find(pos);</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.end() && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
528
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
528
529
|
</div><!-- fragment -->
|
|
529
530
|
</div>
|
|
530
531
|
</div>
|
|
@@ -551,13 +552,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
551
552
|
</table>
|
|
552
553
|
</div><div class="memdoc">
|
|
553
554
|
|
|
554
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
555
|
-
<div class="fragment"><div class="line"><a name="
|
|
555
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00306">306</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
556
|
+
<div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  {</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.size();</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
556
557
|
</div><!-- fragment -->
|
|
557
558
|
</div>
|
|
558
559
|
</div>
|
|
559
|
-
<a id="
|
|
560
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
560
|
+
<a id="a9ea963b7773c7d0b42ccf81e58a54a50"></a>
|
|
561
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9ea963b7773c7d0b42ccf81e58a54a50">◆ </a></span>getResVer()</h2>
|
|
561
562
|
|
|
562
563
|
<div class="memitem">
|
|
563
564
|
<div class="memproto">
|
|
@@ -566,7 +567,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
566
567
|
<td class="mlabels-left">
|
|
567
568
|
<table class="memname">
|
|
568
569
|
<tr>
|
|
569
|
-
<td class="memname">const <a class="el" href="
|
|
570
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::MSSAPHISVFGNode::getResVer </td>
|
|
570
571
|
<td>(</td>
|
|
571
572
|
<td class="paramname"></td><td>)</td>
|
|
572
573
|
<td> const</td>
|
|
@@ -579,8 +580,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
579
580
|
</table>
|
|
580
581
|
</div><div class="memdoc">
|
|
581
582
|
|
|
582
|
-
<p
|
|
583
|
-
|
|
583
|
+
<p>Ver. </p>
|
|
584
|
+
|
|
585
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00290">290</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
586
|
+
<div class="fragment"><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  {</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a>;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a61b2e5ccd265d69167f44ce43e97fb80"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">SVF::MSSAPHISVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00279">SVFGNode.h:279</a></div></div>
|
|
584
587
|
</div><!-- fragment -->
|
|
585
588
|
</div>
|
|
586
589
|
</div>
|
|
@@ -607,8 +610,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
607
610
|
</table>
|
|
608
611
|
</div><div class="memdoc">
|
|
609
612
|
|
|
610
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
611
|
-
<div class="fragment"><div class="line"><a name="
|
|
613
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00310">310</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
614
|
+
<div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  {</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.begin();</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
612
615
|
</div><!-- fragment -->
|
|
613
616
|
</div>
|
|
614
617
|
</div>
|
|
@@ -635,8 +638,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
635
638
|
</table>
|
|
636
639
|
</div><div class="memdoc">
|
|
637
640
|
|
|
638
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
639
|
-
<div class="fragment"><div class="line"><a name="
|
|
641
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00314">314</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
642
|
+
<div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  {</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.end();</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
640
643
|
</div><!-- fragment -->
|
|
641
644
|
</div>
|
|
642
645
|
</div>
|
|
@@ -674,8 +677,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
674
677
|
</table>
|
|
675
678
|
</div><div class="memdoc">
|
|
676
679
|
|
|
677
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
678
|
-
<div class="fragment"><div class="line"><a name="
|
|
680
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00302">302</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
681
|
+
<div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  {</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>[pos] = node;</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
679
682
|
</div><!-- fragment -->
|
|
680
683
|
</div>
|
|
681
684
|
</div>
|
|
@@ -706,19 +709,18 @@ Additional Inherited Members</h2></td></tr>
|
|
|
706
709
|
|
|
707
710
|
<p>Reimplemented in <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">SVF::InterMSSAPHISVFGNode</a>, and <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">SVF::IntraMSSAPHISVFGNode</a>.</p>
|
|
708
711
|
|
|
709
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
710
|
-
<div class="fragment"><div class="line"><a name="
|
|
712
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00090">90</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
713
|
+
<div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  {</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  std::string str;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  rawstr << <span class="stringliteral">"MSSAPHISVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</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="l00094"></a><span class="lineno"> 94</span>  rawstr << <span class="stringliteral">"MR_"</span> << <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>()</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">" = PHI("</span>;</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">for</span> (MemSSA::PHI::OPVers::const_iterator it = <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">opVerBegin</a>(), eit = <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf">opVerEnd</a>();</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  it != eit; it++)</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  rawstr << <span class="stringliteral">"MR_"</span> << it->second->getMR()->getMRID() << <span class="stringliteral">"V_"</span> << it->second->getSSAVersion() << <span class="stringliteral">", "</span>;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  rawstr << <span class="stringliteral">")\n"</span>;</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span> </div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  rawstr << <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>();</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  rawstr << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(&<a class="code" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>()->getBB()->back());</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a33ec42a011781bbb63dce6dbe5f88bdf"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf">SVF::MSSAPHISVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00314">SVFGNode.h:314</a></div></div>
|
|
711
714
|
<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>
|
|
712
715
|
<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>
|
|
713
|
-
<div class="ttc" id="
|
|
714
|
-
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_ace39549f7e300cb4a0ac7b8506a8632a"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">SVF::MSSAPHISVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00294">SVFGNode.h:294</a></div></div>
|
|
716
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_ace39549f7e300cb4a0ac7b8506a8632a"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">SVF::MSSAPHISVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00310">SVFGNode.h:310</a></div></div>
|
|
715
717
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a0675465e11d1d42ee7e2b7ab3c5de829"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">SVF::VFGNode::getICFGNode</a></div><div class="ttdeci">virtual const ICFGNode * getICFGNode() const</div><div class="ttdoc">Return corresponding ICFG node. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00074">VFGNode.h:74</a></div></div>
|
|
716
718
|
<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>
|
|
717
719
|
<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>
|
|
718
|
-
<div class="ttc" id="
|
|
719
|
-
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a771568239e438c8a823ef7da49a9ebc3"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3">SVF::MSSAPHISVFGNode::getRes</a></div><div class="ttdeci">const MemSSA::MDEF * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00286">SVFGNode.h:286</a></div></div>
|
|
720
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9ea963b7773c7d0b42ccf81e58a54a50"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">SVF::MSSAPHISVFGNode::getResVer</a></div><div class="ttdeci">const MRVer * getResVer() const</div><div class="ttdoc">Ver. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00290">SVFGNode.h:290</a></div></div>
|
|
720
721
|
<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>
|
|
721
722
|
<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>
|
|
723
|
+
<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>
|
|
722
724
|
<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>
|
|
723
725
|
<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>
|
|
724
726
|
</div><!-- fragment -->
|
|
@@ -745,12 +747,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
745
747
|
</table>
|
|
746
748
|
</div><div class="memdoc">
|
|
747
749
|
|
|
748
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
750
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00280">280</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
749
751
|
|
|
750
752
|
</div>
|
|
751
753
|
</div>
|
|
752
|
-
<a id="
|
|
753
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
754
|
+
<a id="a61b2e5ccd265d69167f44ce43e97fb80"></a>
|
|
755
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a61b2e5ccd265d69167f44ce43e97fb80">◆ </a></span>ver</h2>
|
|
754
756
|
|
|
755
757
|
<div class="memitem">
|
|
756
758
|
<div class="memproto">
|
|
@@ -759,7 +761,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
759
761
|
<td class="mlabels-left">
|
|
760
762
|
<table class="memname">
|
|
761
763
|
<tr>
|
|
762
|
-
<td class="memname">const <a class="el" href="
|
|
764
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::MSSAPHISVFGNode::ver</td>
|
|
763
765
|
</tr>
|
|
764
766
|
</table>
|
|
765
767
|
</td>
|
|
@@ -769,7 +771,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
769
771
|
</table>
|
|
770
772
|
</div><div class="memdoc">
|
|
771
773
|
|
|
772
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
774
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00279">279</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
773
775
|
|
|
774
776
|
</div>
|
|
775
777
|
</div>
|
|
@@ -610,10 +610,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
610
610
|
<div class="fragment"><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> {</div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>  <a class="code" href="classSVF_1_1MemSSA.html">MemSSA</a>* mssa = <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-><a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>();</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>  <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-><a class="code" href="classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6">buildSVFG</a>();</div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b">ADDEDGE_NOEDGE</a> != <a class="code" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">Options::AddModelFlag</a>)</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>  {</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>  <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">outs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVFUtil::pasMsg</a>(<span class="stringliteral">"FSMPTA adding edge\n"</span>));</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>  <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">outs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVFUtil::pasMsg</a>(<span class="stringliteral">"FSMPTA adding edge\n"</span>));</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>  <a class="code" href="classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d">connectMHPEdges</a>(mssa-><a class="code" href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">getPTA</a>());</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>  }</div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  <span class="keywordflow">if</span> (mssa-><a class="code" href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">getPTA</a>()-><a class="code" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>())</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-><a class="code" href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">performStat</a>();</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span> }</div><div class="ttc" id="classSVF_1_1MTASVFGBuilder_html_a80353cd2e4f7f7f006071b59c2cb3b9b"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b">SVF::MTASVFGBuilder::ADDEDGE_NOEDGE</a></div><div class="ttdeci">static const u32_t ADDEDGE_NOEDGE</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00151">FSMPTA.h:151</a></div></div>
|
|
611
611
|
<div class="ttc" id="SVFBasicTypes_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFBasicTypes_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00162">SVFBasicTypes.h:162</a></div></div>
|
|
612
612
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a609eea630a8f88fe9eaba15ce7e48738"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(std::string msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00098">SVFUtil.cpp:98</a></div></div>
|
|
613
|
-
<div class="ttc" id="classSVF_1_1SVFG_html_adc9fbb4553472b238d6c3bb5062279cb"><div class="ttname"><a href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">SVF::SVFG::performStat</a></div><div class="ttdeci">void performStat()</div><div class="ttdoc">Perform statistics. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#
|
|
613
|
+
<div class="ttc" id="classSVF_1_1SVFG_html_adc9fbb4553472b238d6c3bb5062279cb"><div class="ttname"><a href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">SVF::SVFG::performStat</a></div><div class="ttdeci">void performStat()</div><div class="ttdoc">Perform statistics. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00760">SVFG.cpp:760</a></div></div>
|
|
614
614
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00377">PointerAnalysis.h:377</a></div></div>
|
|
615
615
|
<div class="ttc" id="classSVF_1_1Options_html_af129d2ff94af3f6830c0678cb4b72371"><div class="ttname"><a href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options::AddModelFlag</a></div><div class="ttdeci">static const llvm::cl::opt< u32_t > AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00130">Options.h:130</a></div></div>
|
|
616
|
-
<div class="ttc" id="classSVF_1_1SVFG_html_a0920e9f9896531959d74ae61013d96d6"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6">SVF::SVFG::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Start building SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#
|
|
616
|
+
<div class="ttc" id="classSVF_1_1SVFG_html_a0920e9f9896531959d74ae61013d96d6"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6">SVF::SVFG::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Start building SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00218">SVFG.cpp:218</a></div></div>
|
|
617
617
|
<div class="ttc" id="classSVF_1_1MemSSA_html"><div class="ttname"><a href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00046">MemSSA.h:46</a></div></div>
|
|
618
618
|
<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>
|
|
619
619
|
<div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
|
|
@@ -550,8 +550,8 @@ Protected Attributes</h2></td></tr>
|
|
|
550
550
|
|
|
551
551
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>.</p>
|
|
552
552
|
|
|
553
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
554
|
-
<div class="fragment"><div class="line"><a name="
|
|
553
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00175">175</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
554
|
+
<div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  {</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">getRes</a>()-><a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</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>
|
|
555
555
|
<div class="ttc" id="classSVF_1_1PHIVFGNode_html_abd54e567a0826bbec277302e0c4f78a2"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00604">VFGNode.h:604</a></div></div>
|
|
556
556
|
</div><!-- fragment -->
|
|
557
557
|
</div>
|
|
@@ -447,8 +447,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
447
447
|
|
|
448
448
|
<p>Reimplemented from <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>.</p>
|
|
449
449
|
|
|
450
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
451
|
-
<div class="fragment"><div class="line"><a name="
|
|
450
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00147">147</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
451
|
+
<div class="fragment"><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  {</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  std::string str;</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  rawstr << <span class="stringliteral">"RetIndSVFGEdge CallSite ID: "</span> << <a class="code" href="classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452">getCallSiteId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  rawstr << <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() << <span class="stringliteral">"<--"</span> << <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span> }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
|
|
452
452
|
<div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
|
|
453
453
|
<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>
|
|
454
454
|
<div class="ttc" id="classSVF_1_1RetIndSVFGEdge_html_a04f211a0e3e21f60a299a744d3d1e452"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452">SVF::RetIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00187">SVFGEdge.h:187</a></div></div>
|
|
@@ -78,8 +78,8 @@ $(function() {
|
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f">getFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetMU.html">SVF::RetMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
83
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">LoadMSSAMU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"></td></tr>
|
|
84
84
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
85
85
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">MSSAMU</a>(MUTYPE t, const MemRegion *m, Cond c)</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|