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.
Files changed (164) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +5 -5
  4. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
  5. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
  6. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  7. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +5 -5
  9. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +1 -1
  11. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +14 -14
  12. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +6 -6
  13. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +21 -21
  14. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +8 -8
  15. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +89 -88
  18. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +15 -15
  19. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +19 -19
  20. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +71 -69
  21. package/SVF-doxygen/html/html/SVFG_8h_source.html +41 -41
  22. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/SVFUtil_8h.html +2 -2
  24. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +2 -2
  25. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +1 -1
  28. package/SVF-doxygen/html/html/VFGNode_8h.html +1 -1
  29. package/SVF-doxygen/html/html/VFGNode_8h_source.html +197 -195
  30. package/SVF-doxygen/html/html/VFG_8cpp_source.html +89 -72
  31. package/SVF-doxygen/html/html/VFG_8h_source.html +39 -39
  32. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +7 -7
  33. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +2 -2
  34. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +46 -45
  36. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +24 -21
  37. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +46 -45
  38. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +25 -22
  39. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +45 -44
  40. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +59 -22
  41. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +46 -45
  42. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +61 -24
  43. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +51 -50
  44. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +50 -14
  45. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +6 -6
  46. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +44 -43
  47. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +23 -20
  48. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +52 -51
  49. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +69 -32
  50. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +46 -45
  51. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +59 -24
  52. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
  53. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +52 -51
  55. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +70 -33
  56. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +51 -50
  58. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +50 -14
  59. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
  61. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +46 -45
  62. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +53 -17
  63. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +32 -32
  65. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  66. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +17 -17
  67. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +47 -46
  68. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +24 -21
  69. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +47 -46
  70. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +22 -19
  71. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +45 -44
  72. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +65 -28
  73. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +49 -48
  74. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +65 -28
  75. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +51 -50
  76. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +50 -14
  77. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  78. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +58 -57
  79. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +45 -42
  80. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +56 -55
  81. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +40 -37
  82. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
  83. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  84. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +56 -55
  85. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +26 -23
  86. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +57 -56
  87. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +26 -23
  88. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +54 -53
  89. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +50 -14
  90. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
  91. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +44 -43
  92. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +48 -13
  93. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +53 -52
  94. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +36 -33
  95. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +32 -32
  96. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -2
  97. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +46 -45
  98. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +58 -21
  99. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +53 -52
  100. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +71 -34
  101. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
  102. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  103. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +77 -77
  104. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  105. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +29 -29
  106. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
  107. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +7 -7
  108. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +51 -50
  109. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +35 -32
  110. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +54 -53
  111. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +51 -14
  112. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  113. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +55 -54
  114. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +76 -39
  115. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +70 -70
  116. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +2 -2
  117. package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +43 -42
  118. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +41 -9
  119. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +10 -10
  120. package/SVF-doxygen/html/html/functions_func_g.html +32 -12
  121. package/SVF-doxygen/html/html/functions_func_t.html +2 -2
  122. package/SVF-doxygen/html/html/functions_g.html +27 -7
  123. package/SVF-doxygen/html/html/functions_i.html +1 -1
  124. package/SVF-doxygen/html/html/functions_l.html +5 -5
  125. package/SVF-doxygen/html/html/functions_p.html +6 -6
  126. package/SVF-doxygen/html/html/functions_r.html +8 -8
  127. package/SVF-doxygen/html/html/functions_t.html +8 -6
  128. package/SVF-doxygen/html/html/functions_v.html +3 -3
  129. package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
  130. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +7 -7
  131. package/SVF-doxygen/html/html/namespacemembers_p.html +1 -1
  132. package/SVF-doxygen/html/html/namespacemembers_type_p.html +1 -1
  133. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  134. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  135. package/SVF-doxygen/html/html/search/all_13.js +3 -3
  136. package/SVF-doxygen/html/html/search/all_14.js +7 -7
  137. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  138. package/SVF-doxygen/html/html/search/all_7.js +1 -0
  139. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  140. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  141. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  142. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  143. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  144. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  145. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  146. package/SVF-doxygen/html/html/search/functions_6.js +1 -0
  147. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  148. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  149. package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
  150. package/SVF-doxygen/html/html/search/variables_14.js +4 -4
  151. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  152. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  153. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +48 -48
  154. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +36 -36
  155. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +1 -1
  156. package/include/Graphs/SVFGNode.h +6 -1
  157. package/include/Graphs/VFG.h +1 -1
  158. package/include/Graphs/VFGNode.h +38 -3
  159. package/include/Util/SVFUtil.h +1 -1
  160. package/lib/Graphs/SVFG.cpp +9 -0
  161. package/lib/Graphs/VFG.cpp +86 -0
  162. package/lib/Util/NodeIDAllocator.cpp +2 -2
  163. package/lib/WPA/AndersenStat.cpp +0 -8
  164. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html CHANGED
@@ -126,6 +126,9 @@ Public Member Functions</h2></td></tr>
126
126
  <tr class="memitem:a28fe266d0e4618aa4448aa218495a332 inherit pub_methods_classSVF_1_1MRSVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332">getPointsTo</a> () const</td></tr>
127
127
  <tr class="memdesc:a28fe266d0e4618aa4448aa218495a332 inherit pub_methods_classSVF_1_1MRSVFGNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return points-to of the MR. <a href="classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332">More...</a><br /></td></tr>
128
128
  <tr class="separator:a28fe266d0e4618aa4448aa218495a332 inherit pub_methods_classSVF_1_1MRSVFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
+ <tr class="memitem:ae09658fbaa1061a4c5bea1b326bb2870 inherit pub_methods_classSVF_1_1MRSVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRSVFGNode.html#ae09658fbaa1061a4c5bea1b326bb2870">getDefSVFVars</a> () const override</td></tr>
130
+ <tr class="memdesc:ae09658fbaa1061a4c5bea1b326bb2870 inherit pub_methods_classSVF_1_1MRSVFGNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. <a href="classSVF_1_1MRSVFGNode.html#ae09658fbaa1061a4c5bea1b326bb2870">More...</a><br /></td></tr>
131
+ <tr class="separator:ae09658fbaa1061a4c5bea1b326bb2870 inherit pub_methods_classSVF_1_1MRSVFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
132
  <tr class="inherit_header pub_methods_classSVF_1_1VFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1VFGNode')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td></tr>
130
133
  <tr class="memitem:a775b3bd4c7558a18c5bc890fe711f03c inherit pub_methods_classSVF_1_1VFGNode"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> k)</td></tr>
131
134
  <tr class="memdesc:a775b3bd4c7558a18c5bc890fe711f03c inherit pub_methods_classSVF_1_1VFGNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">More...</a><br /></td></tr>
@@ -331,7 +334,7 @@ Additional Inherited Members</h2></td></tr>
331
334
  </table>
332
335
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
333
336
  <div class="textblock">
334
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00401">401</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
337
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00404">404</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
335
338
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
336
339
  <a id="a6deba5e75858c16682d4a21fa851d353"></a>
337
340
  <h2 class="memtitle"><span class="permalink"><a href="#a6deba5e75858c16682d4a21fa851d353">&#9670;&nbsp;</a></span>InterMSSAPHISVFGNode() <span class="overload">[1/2]</span></h2>
@@ -369,11 +372,11 @@ Additional Inherited Members</h2></td></tr>
369
372
 
370
373
  <p>Constructor interPHI for formal parameter. </p>
371
374
 
372
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00406">406</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
373
- <div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160;: <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, fi-&gt;getMRVer(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>(fi-&gt;getFun()),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a>(<span class="keyword">nullptr</span>) {}</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
374
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00459">SVFGNode.h:459</a></div></div>
375
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00460">SVFGNode.h:460</a></div></div>
376
- <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00284">SVFGNode.h:284</a></div></div>
375
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00409">409</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
376
+ <div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160;: <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, fi-&gt;getMRVer(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>(fi-&gt;getFun()),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a>(<span class="keyword">nullptr</span>) {}</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
377
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
378
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00463">SVFGNode.h:463</a></div></div>
379
+ <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00287">SVFGNode.h:287</a></div></div>
377
380
  </div><!-- fragment -->
378
381
  </div>
379
382
  </div>
@@ -413,11 +416,11 @@ Additional Inherited Members</h2></td></tr>
413
416
 
414
417
  <p>Constructor interPHI for actual return. </p>
415
418
 
416
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00408">408</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
417
- <div class="fragment"><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160;: <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, ao-&gt;getMRVer(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>), <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>(<span class="keyword">nullptr</span>),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a>(ao-&gt;getCallSite()) {}</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
418
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00459">SVFGNode.h:459</a></div></div>
419
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00460">SVFGNode.h:460</a></div></div>
420
- <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00284">SVFGNode.h:284</a></div></div>
419
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00411">411</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
420
+ <div class="fragment"><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160;: <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, ao-&gt;getMRVer(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>), <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>(<span class="keyword">nullptr</span>),<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a>(ao-&gt;getCallSite()) {}</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
421
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
422
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00463">SVFGNode.h:463</a></div></div>
423
+ <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00287">SVFGNode.h:287</a></div></div>
421
424
  </div><!-- fragment -->
422
425
  </div>
423
426
  </div>
@@ -448,8 +451,8 @@ Additional Inherited Members</h2></td></tr>
448
451
 
449
452
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
450
453
 
451
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00434">434</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
452
- <div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; {</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; }</div></div><!-- fragment -->
454
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00437">437</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
455
+ <div class="fragment"><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; {</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; }</div></div><!-- fragment -->
453
456
  </div>
454
457
  </div>
455
458
  <a id="a084a26ee34913e89b8b28fac43cda5f2"></a>
@@ -476,8 +479,8 @@ Additional Inherited Members</h2></td></tr>
476
479
  </table>
477
480
  </div><div class="memdoc">
478
481
 
479
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00438">438</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
480
- <div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; {</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
482
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00441">441</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
483
+ <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; {</div><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
481
484
  </div><!-- fragment -->
482
485
  </div>
483
486
  </div>
@@ -505,8 +508,8 @@ Additional Inherited Members</h2></td></tr>
505
508
  </table>
506
509
  </div><div class="memdoc">
507
510
 
508
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00442">442</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
509
- <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
511
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00445">445</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
512
+ <div class="fragment"><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; {</div><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
510
513
  </div><!-- fragment -->
511
514
  </div>
512
515
  </div>
@@ -534,8 +537,8 @@ Additional Inherited Members</h2></td></tr>
534
537
  </table>
535
538
  </div><div class="memdoc">
536
539
 
537
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00446">446</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
538
- <div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; {</div><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
540
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00449">449</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
541
+ <div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; {</div><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
539
542
  </div><!-- fragment -->
540
543
  </div>
541
544
  </div>
@@ -563,8 +566,8 @@ Additional Inherited Members</h2></td></tr>
563
566
  </table>
564
567
  </div><div class="memdoc">
565
568
 
566
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00450">450</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
567
- <div class="fragment"><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; {</div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
569
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00453">453</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
570
+ <div class="fragment"><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; {</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a>;</div><div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
568
571
  </div><!-- fragment -->
569
572
  </div>
570
573
  </div>
@@ -591,10 +594,10 @@ Additional Inherited Members</h2></td></tr>
591
594
  </table>
592
595
  </div><div class="memdoc">
593
596
 
594
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00426">426</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
595
- <div class="fragment"><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; {</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">isActualOUTPHI</a>() &amp;&amp; <span class="stringliteral">&quot;expect a actual return phi&quot;</span>);</div><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a>;</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; }</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>
596
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a4fef6f5eaeed80f1555b4cdaa2af5301"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">SVF::InterMSSAPHISVFGNode::isActualOUTPHI</a></div><div class="ttdeci">bool isActualOUTPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00415">SVFGNode.h:415</a></div></div>
597
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00460">SVFGNode.h:460</a></div></div>
597
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00429">429</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
598
+ <div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; {</div><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">isActualOUTPHI</a>() &amp;&amp; <span class="stringliteral">&quot;expect a actual return phi&quot;</span>);</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a>;</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; }</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>
599
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a4fef6f5eaeed80f1555b4cdaa2af5301"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301">SVF::InterMSSAPHISVFGNode::isActualOUTPHI</a></div><div class="ttdeci">bool isActualOUTPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00418">SVFGNode.h:418</a></div></div>
600
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00463">SVFGNode.h:463</a></div></div>
598
601
  </div><!-- fragment -->
599
602
  </div>
600
603
  </div>
@@ -625,10 +628,10 @@ Additional Inherited Members</h2></td></tr>
625
628
 
626
629
  <p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>.</p>
627
630
 
628
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00420">420</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
629
- <div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">isFormalINPHI</a>() &amp;&amp; <span class="stringliteral">&quot;expect a formal parameter phi&quot;</span>);</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>;</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</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>
630
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00459">SVFGNode.h:459</a></div></div>
631
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00410">SVFGNode.h:410</a></div></div>
631
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00423">423</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
632
+ <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">isFormalINPHI</a>() &amp;&amp; <span class="stringliteral">&quot;expect a formal parameter phi&quot;</span>);</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>;</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; }</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>
633
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
634
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00413">SVFGNode.h:413</a></div></div>
632
635
  </div><!-- fragment -->
633
636
  </div>
634
637
  </div>
@@ -655,9 +658,9 @@ Additional Inherited Members</h2></td></tr>
655
658
  </table>
656
659
  </div><div class="memdoc">
657
660
 
658
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00415">415</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
659
- <div class="fragment"><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; {</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>==<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a> != <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00459">SVFGNode.h:459</a></div></div>
660
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00460">SVFGNode.h:460</a></div></div>
661
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00418">418</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
662
+ <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>==<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a> != <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
663
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00463">SVFGNode.h:463</a></div></div>
661
664
  </div><!-- fragment -->
662
665
  </div>
663
666
  </div>
@@ -684,9 +687,9 @@ Additional Inherited Members</h2></td></tr>
684
687
  </table>
685
688
  </div><div class="memdoc">
686
689
 
687
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00410">410</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
688
- <div class="fragment"><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; {</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>!=<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a> == <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00459">SVFGNode.h:459</a></div></div>
689
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00460">SVFGNode.h:460</a></div></div>
690
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00413">413</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
691
+ <div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; {</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">fun</a>!=<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">callInst</a> == <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; }</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aa7ccd369a342e151e22062c92bf1f978"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00462">SVFGNode.h:462</a></div></div>
692
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_aac74080dd5078d31d6f43edc2caf3c08"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00463">SVFGNode.h:463</a></div></div>
690
693
  </div><!-- fragment -->
691
694
  </div>
692
695
  </div>
@@ -715,15 +718,15 @@ Additional Inherited Members</h2></td></tr>
715
718
 
716
719
  <p>Reimplemented from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>.</p>
717
720
 
718
- <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00116">116</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
719
- <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; {</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; std::string str;</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">isFormalINPHI</a>())</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;FormalINPHISVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;ActualOUTPHISVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; at callsite: &quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">getCallSite</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">MSSAPHISVFGNode::toString</a>();</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160;}</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00410">SVFGNode.h:410</a></div></div>
721
+ <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00125">125</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
722
+ <div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; std::string str;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">isFormalINPHI</a>())</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;FormalINPHISVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;ActualOUTPHISVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; at callsite: &quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">getCallSite</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">MSSAPHISVFGNode::toString</a>();</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160;}</div><div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a47d870a6c0f515139b1950e8985dc2d1"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode::isFormalINPHI</a></div><div class="ttdeci">bool isFormalINPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00413">SVFGNode.h:413</a></div></div>
720
723
  <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>
721
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a5b4ba4b7753d786ff2e3d834bda017ce"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce">SVF::InterMSSAPHISVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00426">SVFGNode.h:426</a></div></div>
722
- <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a242d8967d6fc10ba37e3f0103081ec01"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">SVF::InterMSSAPHISVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00420">SVFGNode.h:420</a></div></div>
724
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a5b4ba4b7753d786ff2e3d834bda017ce"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce">SVF::InterMSSAPHISVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00429">SVFGNode.h:429</a></div></div>
725
+ <div class="ttc" id="classSVF_1_1InterMSSAPHISVFGNode_html_a242d8967d6fc10ba37e3f0103081ec01"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">SVF::InterMSSAPHISVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00423">SVFGNode.h:423</a></div></div>
723
726
  <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>
724
727
  <div class="ttc" id="classSVF_1_1CallICFGNode_html_a674753d5ca0fbe28674acb25291f2bcf"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">SVF::CallICFGNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
725
728
  <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>
726
- <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00092">SVFG.cpp:92</a></div></div>
729
+ <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00095">SVFG.cpp:95</a></div></div>
727
730
  </div><!-- fragment -->
728
731
  </div>
729
732
  </div>
@@ -748,7 +751,7 @@ Additional Inherited Members</h2></td></tr>
748
751
  </table>
749
752
  </div><div class="memdoc">
750
753
 
751
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00460">460</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
754
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00463">463</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
752
755
 
753
756
  </div>
754
757
  </div>
@@ -772,7 +775,7 @@ Additional Inherited Members</h2></td></tr>
772
775
  </table>
773
776
  </div><div class="memdoc">
774
777
 
775
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00459">459</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
778
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00462">462</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
776
779
 
777
780
  </div>
778
781
  </div>
package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html CHANGED
@@ -107,62 +107,63 @@ $(function() {
107
107
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
108
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
109
109
  <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f">getFun</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
111
- <tr><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>
112
- <tr class="even"><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
- <tr><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&lt; NodeTy, EdgeTy &gt;</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#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a4277e367a10362ddc14dbe219a88353a">getOpVer</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2">getOpVerNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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&lt; NodeTy, EdgeTy &gt;</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_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">getRes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef">getValue</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
120
- <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
121
- <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&lt; NodeTy, EdgeTy &gt;</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_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
- <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
- <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
- <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>
126
- <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&lt; NodeTy, EdgeTy &gt;</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#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</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#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
- <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#a8fd98ccfe53959fd3cc67070e8d03a43">InterPHIVFGNode</a>(NodeID id, const FormalParmVFGNode *fp)</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#af303d3f9df95d6d0e844579125be6125">InterPHIVFGNode</a>(NodeID id, const ActualRetVFGNode *ar)</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</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_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">isActualRetPHI</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">isFormalParmPHI</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</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_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91">isPTANode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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&lt; NodeTy, EdgeTy &gt;</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_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369">opVerBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">OPVers</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"></td></tr>
110
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a600752db995e57d49894c3f89e87cb50">getDefSVFVars</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f">getFun</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</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&lt; NodeTy, EdgeTy &gt;</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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
+ <tr><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&lt; NodeTy, EdgeTy &gt;</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_1PHIVFGNode.html#a4277e367a10362ddc14dbe219a88353a">getOpVer</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2">getOpVerNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">getRes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef">getValue</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
121
+ <tr><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
122
+ <tr class="even"><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr class="even"><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
+ <tr><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&lt; NodeTy, EdgeTy &gt;</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_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>
127
+ <tr><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&lt; NodeTy, EdgeTy &gt;</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#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
+ <tr><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
+ <tr class="even"><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#a8fd98ccfe53959fd3cc67070e8d03a43">InterPHIVFGNode</a>(NodeID id, const FormalParmVFGNode *fp)</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</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_1InterPHIVFGNode.html#af303d3f9df95d6d0e844579125be6125">InterPHIVFGNode</a>(NodeID id, const ActualRetVFGNode *ar)</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">isActualRetPHI</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</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_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">isFormalParmPHI</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91">isPTANode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
+ <tr class="even"><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>
137
+ <tr><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>
138
+ <tr class="even"><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>
139
+ <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>
140
+ <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>
141
+ <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
142
+ <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>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369">opVerBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</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_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
145
145
  <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">opVers</a></td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
146
- <tr class="even"><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&lt; NodeTy, EdgeTy &gt;</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#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</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#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
- <tr><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&lt; NodeTy, EdgeTy &gt;</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_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">PHIVFGNode</a>(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"></td></tr>
151
- <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&lt; NodeTy, EdgeTy &gt;</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_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
- <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a></td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
154
- <tr class="even"><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>
155
- <tr><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>
156
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5">setOpVer</a>(u32_t pos, const PAGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
157
- <tr><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>
158
- <tr class="even"><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>
159
- <tr><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>
160
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
161
- <tr><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>
162
- <tr class="even"><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>
163
- <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>
164
- <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>
165
- <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
146
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">OPVers</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"></td></tr>
147
+ <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&lt; NodeTy, EdgeTy &gt;</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#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
+ <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&lt; NodeTy, EdgeTy &gt;</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_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">PHIVFGNode</a>(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"></td></tr>
152
+ <tr class="even"><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
+ <tr><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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
154
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a></td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
155
+ <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>
156
+ <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>
157
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5">setOpVer</a>(u32_t pos, const PAGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
158
+ <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>
159
+ <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>
160
+ <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>
161
+ <tr><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">SVF::InterPHIVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
162
+ <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>
163
+ <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>
164
+ <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>
165
+ <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>
166
+ <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&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
166
167
  </table></div><!-- contents -->
167
168
  <!-- start footer part -->
168
169
  <hr class="footer"/><address class="footer"><small>