svf-tools 1.0.412 → 1.0.415
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/AndersenStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +6 -6
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +8 -8
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +89 -88
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +19 -19
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +71 -69
- package/SVF-doxygen/html/html/SVFG_8h_source.html +41 -41
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFUtil_8h.html +2 -2
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +197 -195
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +89 -72
- package/SVF-doxygen/html/html/VFG_8h_source.html +39 -39
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +24 -21
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +25 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +59 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +61 -24
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +44 -43
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +23 -20
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +69 -32
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +59 -24
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +70 -33
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +53 -17
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +47 -46
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +24 -21
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +47 -46
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +22 -19
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +65 -28
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +49 -48
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +65 -28
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +58 -57
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +45 -42
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +40 -37
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +26 -23
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +57 -56
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +26 -23
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +44 -43
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +48 -13
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +53 -52
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +36 -33
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +58 -21
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +53 -52
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +71 -34
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +77 -77
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +35 -32
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +51 -14
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +55 -54
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +76 -39
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +70 -70
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +43 -42
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +41 -9
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +10 -10
- package/SVF-doxygen/html/html/functions_func_g.html +32 -12
- package/SVF-doxygen/html/html/functions_func_t.html +2 -2
- package/SVF-doxygen/html/html/functions_g.html +27 -7
- package/SVF-doxygen/html/html/functions_i.html +1 -1
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_p.html +6 -6
- package/SVF-doxygen/html/html/functions_r.html +8 -8
- package/SVF-doxygen/html/html/functions_t.html +8 -6
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +7 -7
- package/SVF-doxygen/html/html/namespacemembers_p.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_type_p.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +5 -5
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +3 -3
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +4 -4
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +48 -48
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +36 -36
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +1 -1
- package/include/Graphs/SVFGNode.h +6 -1
- package/include/Graphs/VFG.h +1 -1
- package/include/Graphs/VFGNode.h +38 -3
- package/include/Util/SVFUtil.h +1 -1
- package/lib/Graphs/SVFG.cpp +9 -0
- package/lib/Graphs/VFG.cpp +86 -0
- package/lib/Util/NodeIDAllocator.cpp +2 -2
- package/lib/WPA/AndersenStat.cpp +0 -8
- package/package.json +1 -1
|
@@ -104,6 +104,9 @@ Public Member Functions</h2></td></tr>
|
|
|
104
104
|
<tr class="separator:ad81c6e6579293352ecb59345538b2132"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
105
|
<tr class="memitem:adae36045df1057e551d92aa7bfb236f9"><td class="memItemLeft" align="right" valign="top">RetPESet::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9">retPEEnd</a> () const</td></tr>
|
|
106
106
|
<tr class="separator:adae36045df1057e551d92aa7bfb236f9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
|
+
<tr class="memitem:ab0962e63ea87752caa136a169fa8f1c8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FormalRetVFGNode.html#ab0962e63ea87752caa136a169fa8f1c8">getDefSVFVars</a> () const override</td></tr>
|
|
108
|
+
<tr class="memdesc:ab0962e63ea87752caa136a169fa8f1c8"><td class="mdescLeft"> </td><td class="mdescRight">Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. <a href="#ab0962e63ea87752caa136a169fa8f1c8">More...</a><br /></td></tr>
|
|
109
|
+
<tr class="separator:ab0962e63ea87752caa136a169fa8f1c8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
110
|
<tr class="memitem:ab1ae2339d7408d9156cdfe5ab4559e66"><td class="memItemLeft" align="right" valign="top">const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66">toString</a> () const override</td></tr>
|
|
108
111
|
<tr class="separator:ab1ae2339d7408d9156cdfe5ab4559e66"><td class="memSeparator" colspan="2"> </td></tr>
|
|
109
112
|
<tr class="inherit_header pub_methods_classSVF_1_1ArgumentVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ArgumentVFGNode')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1ArgumentVFGNode.html">SVF::ArgumentVFGNode</a></td></tr>
|
|
@@ -308,7 +311,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
308
311
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
309
312
|
<div class="textblock"><p>Callee return <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node </p>
|
|
310
313
|
|
|
311
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
314
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01035">1035</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
312
315
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
313
316
|
<a id="a0155a71f08dfb1fb43f054084b2380c6"></a>
|
|
314
317
|
<h2 class="memtitle"><span class="permalink"><a href="#a0155a71f08dfb1fb43f054084b2380c6">◆ </a></span>FormalRetVFGNode() <span class="overload">[1/3]</span></h2>
|
|
@@ -399,9 +402,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
399
402
|
|
|
400
403
|
<p>Constructor. </p>
|
|
401
404
|
|
|
402
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
403
|
-
<div class="fragment"><div class="line"><a name="
|
|
404
|
-
<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
405
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00376">376</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
406
|
+
<div class="fragment"><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  :</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>), <a class="code" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">fun</a>(f)</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span> {</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span> }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00817">VFGNode.h:817</a></div></div>
|
|
407
|
+
<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01038">VFGNode.h:1038</a></div></div>
|
|
405
408
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
406
409
|
</div><!-- fragment -->
|
|
407
410
|
</div>
|
|
@@ -433,8 +436,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
433
436
|
|
|
434
437
|
<p><a class="el" href="classSVF_1_1RetPE.html">RetPE</a>. </p>
|
|
435
438
|
|
|
436
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
437
|
-
<div class="fragment"><div class="line"><a name="
|
|
439
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01060">1060</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
440
|
+
<div class="fragment"><div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>  {</div><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>  <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.insert(retPE);</div><div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>  }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01039">VFGNode.h:1039</a></div></div>
|
|
438
441
|
</div><!-- fragment -->
|
|
439
442
|
</div>
|
|
440
443
|
</div>
|
|
@@ -464,8 +467,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
464
467
|
|
|
465
468
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
466
469
|
|
|
467
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
468
|
-
<div class="fragment"><div class="line"><a name="
|
|
470
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01075">1075</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
471
|
+
<div class="fragment"><div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>  {</div><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>  }</div></div><!-- fragment -->
|
|
469
472
|
</div>
|
|
470
473
|
</div>
|
|
471
474
|
<a id="ab5732a6cea2efbd352d1d8330f366f49"></a>
|
|
@@ -492,8 +495,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
492
495
|
</table>
|
|
493
496
|
</div><div class="memdoc">
|
|
494
497
|
|
|
495
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
496
|
-
<div class="fragment"><div class="line"><a name="
|
|
498
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01079">1079</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
499
|
+
<div class="fragment"><div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>  {</div><div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
497
500
|
</div><!-- fragment -->
|
|
498
501
|
</div>
|
|
499
502
|
</div>
|
|
@@ -521,8 +524,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
521
524
|
</table>
|
|
522
525
|
</div><div class="memdoc">
|
|
523
526
|
|
|
524
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
525
|
-
<div class="fragment"><div class="line"><a name="
|
|
527
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01083">1083</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
528
|
+
<div class="fragment"><div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>  {</div><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
526
529
|
</div><!-- fragment -->
|
|
527
530
|
</div>
|
|
528
531
|
</div>
|
|
@@ -550,8 +553,42 @@ Additional Inherited Members</h2></td></tr>
|
|
|
550
553
|
</table>
|
|
551
554
|
</div><div class="memdoc">
|
|
552
555
|
|
|
553
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
554
|
-
<div class="fragment"><div class="line"><a name="
|
|
556
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01087">1087</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
557
|
+
<div class="fragment"><div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>  {</div><div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
558
|
+
</div><!-- fragment -->
|
|
559
|
+
</div>
|
|
560
|
+
</div>
|
|
561
|
+
<a id="ab0962e63ea87752caa136a169fa8f1c8"></a>
|
|
562
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ab0962e63ea87752caa136a169fa8f1c8">◆ </a></span>getDefSVFVars()</h2>
|
|
563
|
+
|
|
564
|
+
<div class="memitem">
|
|
565
|
+
<div class="memproto">
|
|
566
|
+
<table class="mlabels">
|
|
567
|
+
<tr>
|
|
568
|
+
<td class="mlabels-left">
|
|
569
|
+
<table class="memname">
|
|
570
|
+
<tr>
|
|
571
|
+
<td class="memname">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> FormalRetVFGNode::getDefSVFVars </td>
|
|
572
|
+
<td>(</td>
|
|
573
|
+
<td class="paramname"></td><td>)</td>
|
|
574
|
+
<td> const</td>
|
|
575
|
+
</tr>
|
|
576
|
+
</table>
|
|
577
|
+
</td>
|
|
578
|
+
<td class="mlabels-right">
|
|
579
|
+
<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
|
|
580
|
+
</tr>
|
|
581
|
+
</table>
|
|
582
|
+
</div><div class="memdoc">
|
|
583
|
+
|
|
584
|
+
<p>Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. </p>
|
|
585
|
+
|
|
586
|
+
<p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
|
|
587
|
+
|
|
588
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00296">296</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
589
|
+
<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  {</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  nb.set(<a class="code" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">getRet</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span> }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a62a894e71fcf7a3db19c0488d96a7262"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode::getRet</a></div><div class="ttdeci">const PAGNode * getRet() const</div><div class="ttdoc">Return value at callee. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01050">VFGNode.h:1050</a></div></div>
|
|
590
|
+
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
591
|
+
<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
|
|
555
592
|
</div><!-- fragment -->
|
|
556
593
|
</div>
|
|
557
594
|
</div>
|
|
@@ -582,8 +619,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
582
619
|
|
|
583
620
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>.</p>
|
|
584
621
|
|
|
585
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
586
|
-
<div class="fragment"><div class="line"><a name="
|
|
622
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01055">1055</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
623
|
+
<div class="fragment"><div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>  {</div><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">fun</a>;</div><div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>  }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01038">VFGNode.h:1038</a></div></div>
|
|
587
624
|
</div><!-- fragment -->
|
|
588
625
|
</div>
|
|
589
626
|
</div>
|
|
@@ -612,8 +649,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
612
649
|
|
|
613
650
|
<p>Return value at callee. </p>
|
|
614
651
|
|
|
615
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
616
|
-
<div class="fragment"><div class="line"><a name="
|
|
652
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01050">1050</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
653
|
+
<div class="fragment"><div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>  {</div><div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>;</div><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>  }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
|
|
617
654
|
</div><!-- fragment -->
|
|
618
655
|
</div>
|
|
619
656
|
</div>
|
|
@@ -670,8 +707,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
670
707
|
|
|
671
708
|
<p><a class="el" href="classSVF_1_1RetPE.html">RetPE</a> iterators. </p>
|
|
672
709
|
|
|
673
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
674
|
-
<div class="fragment"><div class="line"><a name="
|
|
710
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01065">1065</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
711
|
+
<div class="fragment"><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>  {</div><div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.begin();</div><div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>  }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01039">VFGNode.h:1039</a></div></div>
|
|
675
712
|
</div><!-- fragment -->
|
|
676
713
|
</div>
|
|
677
714
|
</div>
|
|
@@ -698,8 +735,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
698
735
|
</table>
|
|
699
736
|
</div><div class="memdoc">
|
|
700
737
|
|
|
701
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
702
|
-
<div class="fragment"><div class="line"><a name="
|
|
738
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01069">1069</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
739
|
+
<div class="fragment"><div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>  {</div><div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.end();</div><div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>  }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01039">VFGNode.h:1039</a></div></div>
|
|
703
740
|
</div><!-- fragment -->
|
|
704
741
|
</div>
|
|
705
742
|
</div>
|
|
@@ -728,13 +765,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
728
765
|
|
|
729
766
|
<p>Reimplemented from <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5">SVF::ArgumentVFGNode</a>.</p>
|
|
730
767
|
|
|
731
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
732
|
-
<div class="fragment"><div class="line"><a name="
|
|
768
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00302">302</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
769
|
+
<div class="fragment"><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  {</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  std::string str;</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  rawstr << <span class="stringliteral">"FormalRetVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  rawstr << <span class="stringliteral">"Fun["</span> << <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">getFun</a>()-><a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() << <span class="stringliteral">"]"</span>;</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  rawstr << <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-><a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span> }</div><div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00093">SVFVariables.cpp:93</a></div></div>
|
|
733
770
|
<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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
|
|
734
771
|
<div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
|
|
735
|
-
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
772
|
+
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
|
|
736
773
|
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
737
|
-
<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a68d9c5d58e2282b2891c93203233fd93"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
774
|
+
<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a68d9c5d58e2282b2891c93203233fd93"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01055">VFGNode.h:1055</a></div></div>
|
|
738
775
|
</div><!-- fragment -->
|
|
739
776
|
</div>
|
|
740
777
|
</div>
|
|
@@ -759,7 +796,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
759
796
|
</table>
|
|
760
797
|
</div><div class="memdoc">
|
|
761
798
|
|
|
762
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
799
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01038">1038</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
763
800
|
|
|
764
801
|
</div>
|
|
765
802
|
</div>
|
|
@@ -783,7 +820,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
783
820
|
</table>
|
|
784
821
|
</div><div class="memdoc">
|
|
785
822
|
|
|
786
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
823
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01039">1039</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
787
824
|
|
|
788
825
|
</div>
|
|
789
826
|
</div>
|
|
@@ -107,56 +107,57 @@ $(function() {
|
|
|
107
107
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2">GepVFGNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
108
108
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#a1edc695ae4d62a0fe19ecba74a1db3e4">GepVFGNode</a>(const GepVFGNode &)</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
109
109
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#a4877548499e779b09a0cb29ad9ec0f43">GepVFGNode</a>(NodeID id, const GepStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
113
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
115
|
-
<tr><td class="entry"><a class="el" href="
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
117
|
-
<tr><td class="entry"><a class="el" href="
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
129
|
-
<tr><td class="entry"><a class="el" href="
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
133
|
-
<tr><td class="entry"><a class="el" href="
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
135
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
137
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
139
|
-
<tr><td class="entry"><a class="el" href="
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
141
|
-
<tr><td class="entry"><a class="el" href="
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
143
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
146
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
147
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
149
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
151
|
-
<tr><td class="entry"><a class="el" href="
|
|
152
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
153
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
154
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
155
|
-
<tr><td class="entry"><a class="el" href="
|
|
156
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
157
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
158
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
159
|
-
<tr><td class="entry"><a class="el" href="
|
|
110
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#ab1a0ebf945b933e7d92ff5ca5cfb657f">getDefSVFVars</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</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>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</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>
|
|
113
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</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>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</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
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</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_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</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>
|
|
117
|
+
<tr><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>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a8ba0e783f7fcbfa7cbd1d3a709ffa07f">getPAGDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a04986961ad507be9fcf141ab51787da8">getPAGDstNodeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6">getPAGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849">getPAGSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a791a01f5d3528f8a8bf19369b5c61c37">getPAGSrcNodeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#ab51f462a26bc03cd5e2379be98a4dd3b">getValue</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">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>
|
|
125
|
+
<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>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) 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>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</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>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) 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>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</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></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</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>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</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></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</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>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a88d856dc04d922dc553bc2eae31e88a6">isPTANode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</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
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
138
|
+
<tr class="even"><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>
|
|
139
|
+
<tr><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>
|
|
140
|
+
<tr class="even"><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>
|
|
141
|
+
<tr><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>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">operator=</a>(const GepVFGNode &)</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</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></td></tr>
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</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
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</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></td></tr>
|
|
146
|
+
<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>
|
|
147
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">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>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">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>
|
|
149
|
+
<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>
|
|
150
|
+
<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>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">StmtVFGNode</a>(NodeID id, const PAGEdge *e, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
152
|
+
<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>
|
|
153
|
+
<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>
|
|
154
|
+
<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>
|
|
155
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
156
|
+
<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>
|
|
157
|
+
<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>
|
|
158
|
+
<tr class="even"><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>
|
|
159
|
+
<tr><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>
|
|
160
|
+
<tr class="even"><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>
|
|
160
161
|
</table></div><!-- contents -->
|
|
161
162
|
<!-- start footer part -->
|
|
162
163
|
<hr class="footer"/><address class="footer"><small>
|