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
|
@@ -186,7 +186,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
186
186
|
class SVF::MSSAPHI< Cond ></h3>
|
|
187
187
|
|
|
188
188
|
|
|
189
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
189
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00629">629</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
190
190
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
191
191
|
<a id="a622892bb1c3c151e646ae1a46838c3ba"></a>
|
|
192
192
|
<h2 class="memtitle"><span class="permalink"><a href="#a622892bb1c3c151e646ae1a46838c3ba">◆ </a></span>OPVers</h2>
|
|
@@ -202,7 +202,7 @@ template<class Cond > </div>
|
|
|
202
202
|
</table>
|
|
203
203
|
</div><div class="memdoc">
|
|
204
204
|
|
|
205
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
205
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00633">633</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
206
206
|
|
|
207
207
|
</div>
|
|
208
208
|
</div>
|
|
@@ -251,11 +251,11 @@ template<class Cond > </div>
|
|
|
251
251
|
|
|
252
252
|
<p>Constructors for PHI. </p>
|
|
253
253
|
|
|
254
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
255
|
-
<div class="fragment"><div class="line"><a name="
|
|
256
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">SVF::MSSADEF::SSAPHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
257
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructer for MSSADEF. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
258
|
-
<div class="ttc" id="classSVF_1_1MSSAPHI_html_a348e69bf48ee7a959cd0bb117ba1dc9f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
254
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00641">641</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
255
|
+
<div class="fragment"><div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  :</div><div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">MSSADEF</a>(<a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">MSSADEF::SSAPHI</a>,m), <a class="code" href="classSVF_1_1MSSAPHI.html#a39e68e1e74483dc07bd117bd2209da91">bb</a>(b), <a class="code" href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">cond</a>(c)</div><div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  {</div><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHI_html_a39e68e1e74483dc07bd117bd2209da91"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a39e68e1e74483dc07bd117bd2209da91">SVF::MSSAPHI::bb</a></div><div class="ttdeci">const BasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00635">MSSAMuChi.h:635</a></div></div>
|
|
256
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">SVF::MSSADEF::SSAPHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00335">MSSAMuChi.h:335</a></div></div>
|
|
257
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructer for MSSADEF. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00346">MSSAMuChi.h:346</a></div></div>
|
|
258
|
+
<div class="ttc" id="classSVF_1_1MSSAPHI_html_a348e69bf48ee7a959cd0bb117ba1dc9f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00637">MSSAMuChi.h:637</a></div></div>
|
|
259
259
|
</div><!-- fragment -->
|
|
260
260
|
</div>
|
|
261
261
|
</div>
|
|
@@ -284,8 +284,8 @@ template<class Cond > </div>
|
|
|
284
284
|
</table>
|
|
285
285
|
</div><div class="memdoc">
|
|
286
286
|
|
|
287
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
288
|
-
<div class="fragment"><div class="line"><a name="
|
|
287
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00645">645</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
288
|
+
<div class="fragment"><div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  {</div><div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  }</div></div><!-- fragment -->
|
|
289
289
|
</div>
|
|
290
290
|
</div>
|
|
291
291
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -317,8 +317,8 @@ template<class Cond > </div>
|
|
|
317
317
|
|
|
318
318
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
319
319
|
|
|
320
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
321
|
-
<div class="fragment"><div class="line"><a name="
|
|
320
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00697">697</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
321
|
+
<div class="fragment"><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  {</div><div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  }</div></div><!-- fragment -->
|
|
322
322
|
</div>
|
|
323
323
|
</div>
|
|
324
324
|
<a id="a48d3a719b97991be8ba94149a1d30091"></a>
|
|
@@ -347,8 +347,8 @@ template<class Cond > </div>
|
|
|
347
347
|
</table>
|
|
348
348
|
</div><div class="memdoc">
|
|
349
349
|
|
|
350
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
351
|
-
<div class="fragment"><div class="line"><a name="
|
|
350
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00701">701</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
351
|
+
<div class="fragment"><div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  {</div><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  <span class="keywordflow">return</span> phi->getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">MSSADEF::SSAPHI</a> ;</div><div class="line"><a name="l00704"></a><span class="lineno"> 704</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">SVF::MSSADEF::SSAPHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00335">MSSAMuChi.h:335</a></div></div>
|
|
352
352
|
</div><!-- fragment -->
|
|
353
353
|
</div>
|
|
354
354
|
</div>
|
|
@@ -381,13 +381,13 @@ template<class Cond > </div>
|
|
|
381
381
|
|
|
382
382
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52">SVF::MSSADEF</a>.</p>
|
|
383
383
|
|
|
384
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
385
|
-
<div class="fragment"><div class="line"><a name="
|
|
386
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
387
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
384
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00708">708</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
385
|
+
<div class="fragment"><div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  {</div><div class="line"><a name="l00710"></a><span class="lineno"> 710</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">getResVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() <<</div><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>  <span class="stringliteral">" = PHI("</span>;</div><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>  <span class="keywordflow">for</span>(OPVers::iterator it = <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.begin(), eit = <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">"MR_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << it->second->getSSAVersion() << <span class="stringliteral">", "</span>;</div><div class="line"><a name="l00714"></a><span class="lineno"> 714</span> </div><div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">")\n"</span>;</div><div class="line"><a name="l00716"></a><span class="lineno"> 716</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>
|
|
386
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00373">MSSAMuChi.h:373</a></div></div>
|
|
387
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
|
|
388
388
|
<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>
|
|
389
389
|
<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>
|
|
390
|
-
<div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
390
|
+
<div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00636">MSSAMuChi.h:636</a></div></div>
|
|
391
391
|
</div><!-- fragment -->
|
|
392
392
|
</div>
|
|
393
393
|
</div>
|
|
@@ -418,8 +418,8 @@ template<class Cond > </div>
|
|
|
418
418
|
|
|
419
419
|
<p>Return the basic block. </p>
|
|
420
420
|
|
|
421
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
422
|
-
<div class="fragment"><div class="line"><a name="
|
|
421
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00684">684</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
422
|
+
<div class="fragment"><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  {</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHI.html#a39e68e1e74483dc07bd117bd2209da91">bb</a>;</div><div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHI_html_a39e68e1e74483dc07bd117bd2209da91"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a39e68e1e74483dc07bd117bd2209da91">SVF::MSSAPHI::bb</a></div><div class="ttdeci">const BasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00635">MSSAMuChi.h:635</a></div></div>
|
|
423
423
|
</div><!-- fragment -->
|
|
424
424
|
</div>
|
|
425
425
|
</div>
|
|
@@ -450,8 +450,8 @@ template<class Cond > </div>
|
|
|
450
450
|
|
|
451
451
|
<p>Return condition. </p>
|
|
452
452
|
|
|
453
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
454
|
-
<div class="fragment"><div class="line"><a name="
|
|
453
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00690">690</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
454
|
+
<div class="fragment"><div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  {</div><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">cond</a>;</div><div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHI_html_a348e69bf48ee7a959cd0bb117ba1dc9f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00637">MSSAMuChi.h:637</a></div></div>
|
|
455
455
|
</div><!-- fragment -->
|
|
456
456
|
</div>
|
|
457
457
|
</div>
|
|
@@ -483,9 +483,9 @@ template<class Cond > </div>
|
|
|
483
483
|
|
|
484
484
|
<p>Get operand ver. </p>
|
|
485
485
|
|
|
486
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
487
|
-
<div class="fragment"><div class="line"><a name="
|
|
488
|
-
<div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
486
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00658">658</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
487
|
+
<div class="fragment"><div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  {</div><div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  OPVers::const_iterator it = <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.find(pos);</div><div class="line"><a name="l00661"></a><span class="lineno"> 661</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.end() && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00663"></a><span class="lineno"> 663</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>
|
|
488
|
+
<div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00636">MSSAMuChi.h:636</a></div></div>
|
|
489
489
|
</div><!-- fragment -->
|
|
490
490
|
</div>
|
|
491
491
|
</div>
|
|
@@ -516,8 +516,8 @@ template<class Cond > </div>
|
|
|
516
516
|
|
|
517
517
|
<p>Get the number of operand ver. </p>
|
|
518
518
|
|
|
519
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
520
|
-
<div class="fragment"><div class="line"><a name="
|
|
519
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00666">666</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
520
|
+
<div class="fragment"><div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  {</div><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.size();</div><div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00636">MSSAMuChi.h:636</a></div></div>
|
|
521
521
|
</div><!-- fragment -->
|
|
522
522
|
</div>
|
|
523
523
|
</div>
|
|
@@ -548,8 +548,8 @@ template<class Cond > </div>
|
|
|
548
548
|
|
|
549
549
|
<p>Operand ver iterators. </p>
|
|
550
550
|
|
|
551
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
552
|
-
<div class="fragment"><div class="line"><a name="
|
|
551
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00673">673</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
552
|
+
<div class="fragment"><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  {</div><div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.begin();</div><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00636">MSSAMuChi.h:636</a></div></div>
|
|
553
553
|
</div><!-- fragment -->
|
|
554
554
|
</div>
|
|
555
555
|
</div>
|
|
@@ -578,8 +578,8 @@ template<class Cond > </div>
|
|
|
578
578
|
</table>
|
|
579
579
|
</div><div class="memdoc">
|
|
580
580
|
|
|
581
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
582
|
-
<div class="fragment"><div class="line"><a name="
|
|
581
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00677">677</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
582
|
+
<div class="fragment"><div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  {</div><div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>.end();</div><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00636">MSSAMuChi.h:636</a></div></div>
|
|
583
583
|
</div><!-- fragment -->
|
|
584
584
|
</div>
|
|
585
585
|
</div>
|
|
@@ -621,10 +621,10 @@ template<class Cond > </div>
|
|
|
621
621
|
|
|
622
622
|
<p>Set operand ver. </p>
|
|
623
623
|
|
|
624
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
625
|
-
<div class="fragment"><div class="line"><a name="
|
|
626
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
627
|
-
<div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
624
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00651">651</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
625
|
+
<div class="fragment"><div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  {</div><div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(v->getMR() == this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>() && <span class="stringliteral">"inserting different memory region?"</span>);</div><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  <a class="code" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">opVers</a>[pos] = v;</div><div class="line"><a name="l00655"></a><span class="lineno"> 655</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>
|
|
626
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
|
|
627
|
+
<div class="ttc" id="classSVF_1_1MSSAPHI_html_abdabd6dff67cd59622f18d48e8b34271"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00636">MSSAMuChi.h:636</a></div></div>
|
|
628
628
|
</div><!-- fragment -->
|
|
629
629
|
</div>
|
|
630
630
|
</div>
|
|
@@ -651,7 +651,7 @@ template<class Cond > </div>
|
|
|
651
651
|
</table>
|
|
652
652
|
</div><div class="memdoc">
|
|
653
653
|
|
|
654
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
654
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00635">635</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
655
655
|
|
|
656
656
|
</div>
|
|
657
657
|
</div>
|
|
@@ -677,7 +677,7 @@ template<class Cond > </div>
|
|
|
677
677
|
</table>
|
|
678
678
|
</div><div class="memdoc">
|
|
679
679
|
|
|
680
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
680
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00637">637</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
681
681
|
|
|
682
682
|
</div>
|
|
683
683
|
</div>
|
|
@@ -703,7 +703,7 @@ template<class Cond > </div>
|
|
|
703
703
|
</table>
|
|
704
704
|
</div><div class="memdoc">
|
|
705
705
|
|
|
706
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
706
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00636">636</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
707
707
|
|
|
708
708
|
</div>
|
|
709
709
|
</div>
|
|
@@ -113,7 +113,7 @@ $(function() {
|
|
|
113
113
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f">getOpVerNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
115
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0">getPointsTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
117
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
118
118
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
119
119
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -131,7 +131,7 @@ $(function() {
|
|
|
131
131
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
132
132
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
133
133
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(NodeID id, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
135
135
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
136
136
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
137
137
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">opVerBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -144,16 +144,16 @@ $(function() {
|
|
|
144
144
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
145
145
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
146
146
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
147
|
-
<tr><td class="entry"><a class="el" href="
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
149
|
-
<tr><td class="entry"><a class="el" href="
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
151
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
152
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
153
|
-
<tr><td class="entry"><a class="el" href="
|
|
154
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
155
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
156
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
147
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
149
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671">setOpVer</a>(u32_t pos, const MRVer *node)</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
150
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
152
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
153
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
154
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
156
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
157
157
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
158
158
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
159
159
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|