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
|
@@ -106,9 +106,9 @@ Public Member Functions</h2></td></tr>
|
|
|
106
106
|
<tr class="memitem:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">setVer</a> (<a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *v)</td></tr>
|
|
107
107
|
<tr class="memdesc:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft"> </td><td class="mdescRight">Set Ver. <a href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">More...</a><br /></td></tr>
|
|
108
108
|
<tr class="separator:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2"> </td></tr>
|
|
109
|
-
<tr class="memitem:
|
|
110
|
-
<tr class="memdesc:
|
|
111
|
-
<tr class="separator:
|
|
109
|
+
<tr class="memitem:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a> () const</td></tr>
|
|
110
|
+
<tr class="memdesc:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft"> </td><td class="mdescRight">Get Ver. <a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">More...</a><br /></td></tr>
|
|
111
|
+
<tr class="separator:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2"> </td></tr>
|
|
112
112
|
<tr class="memitem:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top">Cond </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a> () const</td></tr>
|
|
113
113
|
<tr class="memdesc:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft"> </td><td class="mdescRight">Return condition. <a href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">More...</a><br /></td></tr>
|
|
114
114
|
<tr class="separator:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -159,7 +159,7 @@ class SVF::RetMU< Cond ></h3>
|
|
|
159
159
|
|
|
160
160
|
<p><a class="el" href="classSVF_1_1RetMU.html">RetMU</a> is annotated at function return, representing memory objects returns to callers </p>
|
|
161
161
|
|
|
162
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
162
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00277">277</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
163
163
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
164
164
|
<a id="a8cd41b018ddef450d17a20ea83ce3fee"></a>
|
|
165
165
|
<h2 class="memtitle"><span class="permalink"><a href="#a8cd41b018ddef450d17a20ea83ce3fee">◆ </a></span>RetMU()</h2>
|
|
@@ -205,9 +205,9 @@ template<class Cond > </div>
|
|
|
205
205
|
|
|
206
206
|
<p>Constructor/Destructor for MU. </p>
|
|
207
207
|
|
|
208
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
209
|
-
<div class="fragment"><div class="line"><a name="
|
|
210
|
-
<div class="ttc" id="classSVF_1_1RetMU_html_a4982f6fffac4f4775e27f994677a9f2c"><div class="ttname"><a href="classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c">SVF::RetMU::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
208
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00284">284</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
209
|
+
<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  :</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  MSSAMU<Cond>(<a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594">MSSAMU<Cond>::RetMSSAMU</a>,m,c), <a class="code" href="classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c">fun</a>(f)</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  {</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594">SVF::MSSAMU::RetMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
210
|
+
<div class="ttc" id="classSVF_1_1RetMU_html_a4982f6fffac4f4775e27f994677a9f2c"><div class="ttname"><a href="classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c">SVF::RetMU::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00280">MSSAMuChi.h:280</a></div></div>
|
|
211
211
|
</div><!-- fragment -->
|
|
212
212
|
</div>
|
|
213
213
|
</div>
|
|
@@ -236,8 +236,8 @@ template<class Cond > </div>
|
|
|
236
236
|
</table>
|
|
237
237
|
</div><div class="memdoc">
|
|
238
238
|
|
|
239
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
240
|
-
<div class="fragment"><div class="line"><a name="
|
|
239
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00288">288</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
240
|
+
<div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span> {}</div></div><!-- fragment -->
|
|
241
241
|
</div>
|
|
242
242
|
</div>
|
|
243
243
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -269,8 +269,8 @@ template<class Cond > </div>
|
|
|
269
269
|
|
|
270
270
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
271
271
|
|
|
272
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
273
|
-
<div class="fragment"><div class="line"><a name="
|
|
272
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00299">299</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
273
|
+
<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div></div><!-- fragment -->
|
|
274
274
|
</div>
|
|
275
275
|
</div>
|
|
276
276
|
<a id="ae6608c348426d99a5d3963ceaca2eb8b"></a>
|
|
@@ -299,8 +299,8 @@ template<class Cond > </div>
|
|
|
299
299
|
</table>
|
|
300
300
|
</div><div class="memdoc">
|
|
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#l00303">303</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
303
|
+
<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> mu->getType() == <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594">MSSAMU<Cond>::RetMSSAMU</a>;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594">SVF::MSSAMU::RetMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
304
304
|
</div><!-- fragment -->
|
|
305
305
|
</div>
|
|
306
306
|
</div>
|
|
@@ -333,10 +333,10 @@ template<class Cond > </div>
|
|
|
333
333
|
|
|
334
334
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5">SVF::MSSAMU< Cond ></a>.</p>
|
|
335
335
|
|
|
336
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
337
|
-
<div class="fragment"><div class="line"><a name="
|
|
338
|
-
<div class="ttc" id="
|
|
339
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
336
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00310">310</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
337
|
+
<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>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">"RETMU(MR_"</span> << this-><a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">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_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">") \t"</span> <<</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  this-><a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</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>
|
|
338
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_ad120dfc87b90b26649bcd8d0c0d3ca80"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">SVF::MSSAMU::getMRVer</a></div><div class="ttdeci">MRVer * getMRVer() const</div><div class="ttdoc">Get Ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00137">MSSAMuChi.h:137</a></div></div>
|
|
339
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00121">MSSAMuChi.h:121</a></div></div>
|
|
340
340
|
<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>
|
|
341
341
|
<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>
|
|
342
342
|
<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>
|
|
@@ -370,8 +370,8 @@ template<class Cond > </div>
|
|
|
370
370
|
|
|
371
371
|
<p>Return function. </p>
|
|
372
372
|
|
|
373
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
374
|
-
<div class="fragment"><div class="line"><a name="
|
|
373
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00292">292</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
374
|
+
<div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  {</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c">fun</a>;</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  }</div><div class="ttc" id="classSVF_1_1RetMU_html_a4982f6fffac4f4775e27f994677a9f2c"><div class="ttname"><a href="classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c">SVF::RetMU::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00280">MSSAMuChi.h:280</a></div></div>
|
|
375
375
|
</div><!-- fragment -->
|
|
376
376
|
</div>
|
|
377
377
|
</div>
|
|
@@ -398,7 +398,7 @@ template<class Cond > </div>
|
|
|
398
398
|
</table>
|
|
399
399
|
</div><div class="memdoc">
|
|
400
400
|
|
|
401
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
401
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00280">280</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
402
402
|
|
|
403
403
|
</div>
|
|
404
404
|
</div>
|
|
@@ -71,8 +71,8 @@ $(function() {
|
|
|
71
71
|
<table class="directory">
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">ActualINSVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">ActualOUTSVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
74
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa">addActualINSVFGNode</a>(const CallBlockNode *callsite, const MRVer *ver, const NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4">addActualOUTSVFGNode</a>(const CallBlockNode *callsite, const MRVer *resVer, const NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0fabca3c0f9bebe23f66a914dbb99e39">addActualParmVFGNode</a>(const PAGNode *aparm, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
77
77
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251">addActualRetVFGNode</a>(const PAGNode *ret, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a7b0d533f3ccce8fc64deae6077f3d959">addAddrVFGNode</a>(const AddrPE *addr)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
@@ -82,8 +82,8 @@ $(function() {
|
|
|
82
82
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a424126e80453d641a7d51aa481a4c843">addCmpVFGNode</a>(const PAGNode *resNode, PAG::CmpPEList &oplist)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
83
83
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46">addCopyVFGNode</a>(const CopyPE *copy)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
84
84
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea">addDummyVersionPropSVFGNode</a>(const NodeID object, const NodeID version)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30">addFormalINSVFGNode</a>(const FunEntryBlockNode *funEntry, const MRVer *resVer, const NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca">addFormalOUTSVFGNode</a>(const FunExitBlockNode *funExit, const MRVer *ver, const NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
87
87
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d">addFormalParmVFGNode</a>(const PAGNode *fparm, const SVFFunction *fun, CallPESet &callPEs)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
88
88
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373">addFormalRetVFGNode</a>(const PAGNode *uniqueFunRet, const SVFFunction *fun, RetPESet &retPEs)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
89
89
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a51b3b232ddda0656bfe0c7d9527b4a84">addGepVFGNode</a>(const GepPE *gep)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
@@ -96,7 +96,7 @@ $(function() {
|
|
|
96
96
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9">addInterIndirectVFRetEdge</a>(const FormalOUTSVFGNode *src, const ActualOUTSVFGNode *dst, CallSiteID csId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
97
97
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">addIntraDirectVFEdge</a>(NodeID srcId, NodeID dstId)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
98
98
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa6e855dc13d0e2db44982722409a9d1d">addIntraIndirectVFEdge</a>(NodeID srcId, NodeID dstId, const PointsTo &cpts)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
99
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
99
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">addIntraMSSAPHISVFGNode</a>(ICFGNode *BlockICFGNode, const Map< u32_t, const MRVer *>::const_iterator opVerBegin, const Map< u32_t, const MRVer *>::const_iterator opVerEnd, const MRVer *resVer, const NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
100
100
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a85dc35e83a5699382ead67728e94273c">addIntraPHIVFGNode</a>(const PAGNode *phiResNode, PAG::CopyPEList &oplist)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
101
101
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#adbd7966d18ab50da5a485ba6e043ba61">addLoadVFGNode</a>(const LoadPE *load)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
102
102
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">addNullPtrVFGNode</a>(const PAGNode *pagNode)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|