svf-tools 1.0.270 → 1.0.274

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (126) hide show
  1. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +118 -117
  4. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/MemSSA_8h_source.html +17 -17
  6. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
  7. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +88 -87
  8. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
  9. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -11
  10. package/SVF-doxygen/html/html/SVFG_8cpp.html +2 -0
  11. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +87 -70
  12. package/SVF-doxygen/html/html/SVFG_8h_source.html +48 -54
  13. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +24 -24
  15. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +47 -48
  16. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +66 -66
  17. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +50 -52
  18. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
  19. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  20. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
  21. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  22. package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +2 -2
  23. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
  24. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  25. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +16 -16
  27. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +20 -20
  28. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
  30. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +64 -62
  31. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +94 -37
  32. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +29 -27
  33. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +94 -39
  34. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +12 -12
  36. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +50 -49
  37. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  38. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +49 -47
  39. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +145 -30
  40. package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +2 -2
  41. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +24 -24
  42. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +2 -2
  43. package/SVF-doxygen/html/html/classSVF_1_1MRVer-members.html +9 -8
  44. package/SVF-doxygen/html/html/classSVF_1_1MRVer.html +33 -0
  45. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +30 -30
  46. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +31 -31
  47. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU-members.html +2 -2
  48. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +47 -47
  49. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +38 -38
  50. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +12 -12
  51. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +53 -51
  52. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
  53. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  55. package/SVF-doxygen/html/html/classSVF_1_1RetMU-members.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +20 -20
  57. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +5 -5
  58. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +237 -136
  59. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +5 -5
  61. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +30 -30
  62. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  63. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +24 -24
  65. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  66. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  68. package/SVF-doxygen/html/html/functions_a.html +7 -7
  69. package/SVF-doxygen/html/html/functions_c.html +21 -25
  70. package/SVF-doxygen/html/html/functions_f.html +17 -11
  71. package/SVF-doxygen/html/html/functions_func.html +7 -7
  72. package/SVF-doxygen/html/html/functions_func_f.html +2 -2
  73. package/SVF-doxygen/html/html/functions_func_g.html +25 -25
  74. package/SVF-doxygen/html/html/functions_func_i.html +1 -1
  75. package/SVF-doxygen/html/html/functions_func_m.html +1 -1
  76. package/SVF-doxygen/html/html/functions_func_o.html +4 -2
  77. package/SVF-doxygen/html/html/functions_g.html +22 -22
  78. package/SVF-doxygen/html/html/functions_i.html +4 -4
  79. package/SVF-doxygen/html/html/functions_m.html +1 -5
  80. package/SVF-doxygen/html/html/functions_o.html +12 -12
  81. package/SVF-doxygen/html/html/functions_p.html +12 -14
  82. package/SVF-doxygen/html/html/functions_r.html +5 -9
  83. package/SVF-doxygen/html/html/functions_s.html +9 -7
  84. package/SVF-doxygen/html/html/functions_t.html +3 -3
  85. package/SVF-doxygen/html/html/functions_u.html +3 -3
  86. package/SVF-doxygen/html/html/functions_v.html +9 -4
  87. package/SVF-doxygen/html/html/functions_vars_c.html +0 -4
  88. package/SVF-doxygen/html/html/functions_vars_f.html +6 -0
  89. package/SVF-doxygen/html/html/functions_vars_m.html +0 -4
  90. package/SVF-doxygen/html/html/functions_vars_r.html +2 -2
  91. package/SVF-doxygen/html/html/functions_vars_v.html +6 -1
  92. package/SVF-doxygen/html/html/search/all_1.js +7 -7
  93. package/SVF-doxygen/html/html/search/all_10.js +8 -8
  94. package/SVF-doxygen/html/html/search/all_12.js +4 -4
  95. package/SVF-doxygen/html/html/search/all_13.js +5 -5
  96. package/SVF-doxygen/html/html/search/all_14.js +2 -2
  97. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  98. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  99. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  100. package/SVF-doxygen/html/html/search/all_6.js +5 -3
  101. package/SVF-doxygen/html/html/search/all_7.js +6 -9
  102. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  103. package/SVF-doxygen/html/html/search/all_d.js +4 -4
  104. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  105. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  106. package/SVF-doxygen/html/html/search/functions_0.js +7 -7
  107. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  108. package/SVF-doxygen/html/html/search/functions_5.js +2 -2
  109. package/SVF-doxygen/html/html/search/functions_6.js +6 -9
  110. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  111. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  112. package/SVF-doxygen/html/html/search/functions_d.js +2 -2
  113. package/SVF-doxygen/html/html/search/variables_12.js +2 -2
  114. package/SVF-doxygen/html/html/search/variables_16.js +1 -1
  115. package/SVF-doxygen/html/html/search/variables_3.js +0 -1
  116. package/SVF-doxygen/html/html/search/variables_6.js +2 -0
  117. package/SVF-doxygen/html/html/search/variables_d.js +2 -3
  118. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  119. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +28 -28
  120. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  121. package/include/Graphs/SVFG.h +28 -23
  122. package/include/Graphs/SVFGNode.h +69 -36
  123. package/include/Graphs/SVFGOPT.h +2 -2
  124. package/include/MSSA/MSSAMuChi.h +10 -4
  125. package/lib/Graphs/SVFG.cpp +52 -35
  126. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html CHANGED
@@ -447,8 +447,8 @@ Additional Inherited Members</h2></td></tr>
447
447
 
448
448
  <p>Reimplemented from <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>.</p>
449
449
 
450
- <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00135">135</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
451
- <div class="fragment"><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; {</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; std::string str;</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallIndSVFGEdge CallSite ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">getCallSiteId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
450
+ <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00139">139</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
451
+ <div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; {</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; std::string str;</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallIndSVFGEdge CallSite ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">getCallSiteId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
452
452
  <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
453
453
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
454
454
  <div class="ttc" id="classSVF_1_1CallIndSVFGEdge_html_a3742b87170e0b48edc71ffdd6e5350aa"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">SVF::CallIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00148">SVFGEdge.h:148</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html CHANGED
@@ -80,8 +80,8 @@ $(function() {
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
81
  <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
82
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
- <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">getVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
85
  <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">LoadMSSAMU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"></td></tr>
86
86
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
87
87
  <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">MSSAMU</a>(MUTYPE t, const MemRegion *m, Cond c)</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1CallMU.html CHANGED
@@ -109,9 +109,9 @@ Public Member Functions</h2></td></tr>
109
109
  <tr class="memitem:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">setVer</a> (<a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *v)</td></tr>
110
110
  <tr class="memdesc:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set Ver. <a href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">More...</a><br /></td></tr>
111
111
  <tr class="separator:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
- <tr class="memitem:a9c701be3646f4a04fa7f71a82e6b2f5f inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">getVer</a> () const</td></tr>
113
- <tr class="memdesc:a9c701be3646f4a04fa7f71a82e6b2f5f inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Ver. <a href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">More...</a><br /></td></tr>
114
- <tr class="separator:a9c701be3646f4a04fa7f71a82e6b2f5f inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
+ <tr class="memitem:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a> () const</td></tr>
113
+ <tr class="memdesc:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Ver. <a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">More...</a><br /></td></tr>
114
+ <tr class="separator:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
115
  <tr class="memitem:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top">Cond&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a> () const</td></tr>
116
116
  <tr class="memdesc:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return condition. <a href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">More...</a><br /></td></tr>
117
117
  <tr class="separator:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -162,7 +162,7 @@ class SVF::CallMU&lt; Cond &gt;</h3>
162
162
 
163
163
  <p><a class="el" href="classSVF_1_1CallMU.html">CallMU</a> is annotated at callsite, representing a memory object is indirect read by callee </p>
164
164
 
165
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00215">215</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
165
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00221">221</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
166
166
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
167
167
  <a id="a267c7345f42e1aaa0ca7ffdcb85b45b3"></a>
168
168
  <h2 class="memtitle"><span class="permalink"><a href="#a267c7345f42e1aaa0ca7ffdcb85b45b3">&#9670;&nbsp;</a></span>CallMU()</h2>
@@ -208,9 +208,9 @@ template&lt;class Cond &gt; </div>
208
208
 
209
209
  <p>Constructor/Destructor for MU. </p>
210
210
 
211
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00224">224</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
212
- <div class="fragment"><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; :</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; MSSAMU&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">MSSAMU&lt;Cond&gt;::CallMSSAMU</a>,m,c), <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>(cs)</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00095">MSSAMuChi.h:95</a></div></div>
213
- <div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00219">MSSAMuChi.h:219</a></div></div>
211
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00230">230</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
212
+ <div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; :</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; MSSAMU&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">MSSAMU&lt;Cond&gt;::CallMSSAMU</a>,m,c), <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>(cs)</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
213
+ <div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
214
214
  </div><!-- fragment -->
215
215
  </div>
216
216
  </div>
@@ -239,8 +239,8 @@ template&lt;class Cond &gt; </div>
239
239
  </table>
240
240
  </div><div class="memdoc">
241
241
 
242
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00228">228</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
243
- <div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div></div><!-- fragment -->
242
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00234">234</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
243
+ <div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div></div><!-- fragment -->
244
244
  </div>
245
245
  </div>
246
246
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -272,8 +272,8 @@ template&lt;class Cond &gt; </div>
272
272
 
273
273
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
274
274
 
275
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00248">248</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
276
- <div class="fragment"><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; {</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; }</div></div><!-- fragment -->
275
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00254">254</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
276
+ <div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; {</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; }</div></div><!-- fragment -->
277
277
  </div>
278
278
  </div>
279
279
  <a id="a27c70bc7543eeb2fcf64f139481d3bf9"></a>
@@ -302,8 +302,8 @@ template&lt;class Cond &gt; </div>
302
302
  </table>
303
303
  </div><div class="memdoc">
304
304
 
305
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00252">252</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
306
- <div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; {</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">return</span> mu-&gt;getType() == <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">MSSAMU&lt;Cond&gt;::CallMSSAMU</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00095">MSSAMuChi.h:95</a></div></div>
305
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00258">258</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
306
+ <div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">return</span> mu-&gt;getType() == <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">MSSAMU&lt;Cond&gt;::CallMSSAMU</a>;</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
307
307
  </div><!-- fragment -->
308
308
  </div>
309
309
  </div>
@@ -336,10 +336,10 @@ template&lt;class Cond &gt; </div>
336
336
 
337
337
  <p>Reimplemented from <a class="el" href="classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5">SVF::MSSAMU&lt; Cond &gt;</a>.</p>
338
338
 
339
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00259">259</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
340
- <div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;CALMU(MR_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">getVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span> &lt;&lt;</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
341
- <div class="ttc" id="classSVF_1_1MSSAMU_html_a9c701be3646f4a04fa7f71a82e6b2f5f"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">SVF::MSSAMU::getVer</a></div><div class="ttdeci">MRVer * getVer() const</div><div class="ttdoc">Get Ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00131">MSSAMuChi.h:131</a></div></div>
342
- <div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00115">MSSAMuChi.h:115</a></div></div>
339
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00265">265</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
340
+ <div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;CALMU(MR_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span> &lt;&lt;</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
341
+ <div class="ttc" id="classSVF_1_1MSSAMU_html_ad120dfc87b90b26649bcd8d0c0d3ca80"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">SVF::MSSAMU::getMRVer</a></div><div class="ttdeci">MRVer * getMRVer() const</div><div class="ttdoc">Get Ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00137">MSSAMuChi.h:137</a></div></div>
342
+ <div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00121">MSSAMuChi.h:121</a></div></div>
343
343
  <div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
344
344
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00047">SVFUtil.h:47</a></div></div>
345
345
  <div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
@@ -373,8 +373,8 @@ template&lt;class Cond &gt; </div>
373
373
 
374
374
  <p>Return basic block. </p>
375
375
 
376
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00241">241</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
377
- <div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; {</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>-&gt;<a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>()-&gt;getParent();</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00219">MSSAMuChi.h:219</a></div></div>
376
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00247">247</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
377
+ <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>-&gt;<a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>()-&gt;getParent();</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
378
378
  <div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::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>
379
379
  </div><!-- fragment -->
380
380
  </div>
@@ -406,8 +406,8 @@ template&lt;class Cond &gt; </div>
406
406
 
407
407
  <p>Return callsite. </p>
408
408
 
409
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00235">235</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; {</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00219">MSSAMuChi.h:219</a></div></div>
409
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00241">241</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; {</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>;</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
411
411
  </div><!-- fragment -->
412
412
  </div>
413
413
  </div>
@@ -434,7 +434,7 @@ template&lt;class Cond &gt; </div>
434
434
  </table>
435
435
  </div><div class="memdoc">
436
436
 
437
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00219">219</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
437
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00225">225</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
438
438
 
439
439
  </div>
440
440
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html CHANGED
@@ -616,8 +616,8 @@ Private Member Functions</h2></td></tr>
616
616
 
617
617
  <p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>.</p>
618
618
 
619
- <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00163">163</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
620
- <div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; {</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">getRes</a>()-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160;}</div><div class="ttc" id="classSVF_1_1PAGNode_html_a45be6b7b2f1f9754ea47e511e65d46ae"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">SVF::PAGNode::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00093">PAGNode.h:93</a></div></div>
619
+ <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00167">167</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
620
+ <div class="fragment"><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; {</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">getRes</a>()-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160;}</div><div class="ttc" id="classSVF_1_1PAGNode_html_a45be6b7b2f1f9754ea47e511e65d46ae"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">SVF::PAGNode::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00093">PAGNode.h:93</a></div></div>
621
621
  <div class="ttc" id="classSVF_1_1CmpVFGNode_html_aa972ecfb264d447fecf0326037bbccbe"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00364">VFGNode.h:364</a></div></div>
622
622
  </div><!-- fragment -->
623
623
  </div>
package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html CHANGED
@@ -1965,7 +1965,7 @@ Additional Inherited Members</h2></td></tr>
1965
1965
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a40738643202ca6301671f51da3fc1137"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137">SVF::PointerAnalysis::resolveIndCalls</a></div><div class="ttdeci">virtual void resolveIndCalls(const CallBlockNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</div><div class="ttdoc">Resolve indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00439">PointerAnalysis.cpp:439</a></div></div>
1966
1966
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_ae31e9281e4f1e0585fdf328b7339e1bf"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::getCachedPointsTo</a></div><div class="ttdeci">virtual const CxtPtSet &amp; getCachedPointsTo(const CxtLocDPItem &amp;dpm)</div><div class="ttdoc">Points-to Caching for top-level pointers and address-taken objects. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00531">DDAVFSolver.h:531</a></div></div>
1967
1967
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_acb7980c7e0d1d8ad6abab0b80831d2a9"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::getSVFG</a></div><div class="ttdeci">SVFG * getSVFG() const</div><div class="ttdoc">Return SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00095">DDAVFSolver.h:95</a></div></div>
1968
- <div class="ttc" id="classSVF_1_1SVFG_html_a0cebc2ba5ae81a6d45b224a4f94fc8b4"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG::connectCallerAndCallee</a></div><div class="ttdeci">virtual void connectCallerAndCallee(const CallBlockNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00643">SVFG.cpp:643</a></div></div>
1968
+ <div class="ttc" id="classSVF_1_1SVFG_html_a0cebc2ba5ae81a6d45b224a4f94fc8b4"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG::connectCallerAndCallee</a></div><div class="ttdeci">virtual void connectCallerAndCallee(const CallBlockNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00660">SVFG.cpp:660</a></div></div>
1969
1969
  </div><!-- fragment -->
1970
1970
  </div>
1971
1971
  </div>
package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html CHANGED
@@ -264,7 +264,7 @@ Additional Inherited Members</h2></td></tr>
264
264
  </table>
265
265
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
266
266
  <div class="textblock">
267
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00435">435</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
267
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00468">468</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
268
268
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
269
269
  <a id="a8661f8c8e31101b5afc37ebe3bac5fe2"></a>
270
270
  <h2 class="memtitle"><span class="permalink"><a href="#a8661f8c8e31101b5afc37ebe3bac5fe2">&#9670;&nbsp;</a></span>DummyVersionPropSVFGNode()</h2>
@@ -306,10 +306,10 @@ Additional Inherited Members</h2></td></tr>
306
306
  </table>
307
307
  </div><div class="memdoc">
308
308
 
309
- <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>
310
- <div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; : <a class="code" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>), <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">object</a>(<span class="keywordtype">object</span>), <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">version</a>(<a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">version</a>)</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; { }</div><div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_ad9a6fd01bf1a101da68eaacc61f420ee"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">SVF::DummyVersionPropSVFGNode::object</a></div><div class="ttdeci">const NodeID object</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00464">SVFGNode.h:464</a></div></div>
309
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00471">471</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
310
+ <div class="fragment"><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; : <a class="code" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>), <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">object</a>(<span class="keywordtype">object</span>), <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">version</a>(<a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">version</a>)</div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; { }</div><div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_ad9a6fd01bf1a101da68eaacc61f420ee"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">SVF::DummyVersionPropSVFGNode::object</a></div><div class="ttdeci">const NodeID object</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00497">SVFGNode.h:497</a></div></div>
311
311
  <div class="ttc" id="classSVF_1_1VFGNode_html_a775b3bd4c7558a18c5bc890fe711f03c"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode::VFGNode</a></div><div class="ttdeci">VFGNode(NodeID i, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00068">VFGNode.h:68</a></div></div>
312
- <div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_a6c092656833dd1eae08eac458689e37d"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">SVF::DummyVersionPropSVFGNode::version</a></div><div class="ttdeci">const Version version</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00465">SVFGNode.h:465</a></div></div>
312
+ <div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_a6c092656833dd1eae08eac458689e37d"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">SVF::DummyVersionPropSVFGNode::version</a></div><div class="ttdeci">const Version version</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00498">SVFGNode.h:498</a></div></div>
313
313
  <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode::DummyVProp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
314
314
  </div><!-- fragment -->
315
315
  </div>
@@ -341,8 +341,8 @@ Additional Inherited Members</h2></td></tr>
341
341
 
342
342
  <p>Methods to support type inquiry through isa, cast, and dyn_cast: </p>
343
343
 
344
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00447">447</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
345
- <div class="fragment"><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; {</div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; }</div></div><!-- fragment -->
344
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00480">480</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
345
+ <div class="fragment"><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; {</div><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; }</div></div><!-- fragment -->
346
346
  </div>
347
347
  </div>
348
348
  <a id="a684f1f5c9f9f5059127d3024cc5d71e9"></a>
@@ -369,8 +369,8 @@ Additional Inherited Members</h2></td></tr>
369
369
  </table>
370
370
  </div><div class="memdoc">
371
371
 
372
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00452">452</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
373
- <div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>;</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode::DummyVProp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
372
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00485">485</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
373
+ <div class="fragment"><div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; {</div><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>;</div><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode::DummyVProp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
374
374
  </div><!-- fragment -->
375
375
  </div>
376
376
  </div>
@@ -398,8 +398,8 @@ Additional Inherited Members</h2></td></tr>
398
398
  </table>
399
399
  </div><div class="memdoc">
400
400
 
401
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00457">457</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
402
- <div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; {</div><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>;</div><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode::DummyVProp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
401
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00490">490</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
402
+ <div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; {</div><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>;</div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode::DummyVProp</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
403
403
  </div><!-- fragment -->
404
404
  </div>
405
405
  </div>
@@ -427,8 +427,8 @@ Additional Inherited Members</h2></td></tr>
427
427
  </table>
428
428
  </div><div class="memdoc">
429
429
 
430
- <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>
431
- <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160;{ <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">object</a>; }</div><div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_ad9a6fd01bf1a101da68eaacc61f420ee"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">SVF::DummyVersionPropSVFGNode::object</a></div><div class="ttdeci">const NodeID object</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00464">SVFGNode.h:464</a></div></div>
430
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00475">475</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
431
+ <div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160;{ <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">object</a>; }</div><div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_ad9a6fd01bf1a101da68eaacc61f420ee"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">SVF::DummyVersionPropSVFGNode::object</a></div><div class="ttdeci">const NodeID object</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00497">SVFGNode.h:497</a></div></div>
432
432
  </div><!-- fragment -->
433
433
  </div>
434
434
  </div>
@@ -456,8 +456,8 @@ Additional Inherited Members</h2></td></tr>
456
456
  </table>
457
457
  </div><div class="memdoc">
458
458
 
459
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00443">443</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
460
- <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160;{ <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">version</a>; }</div><div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_a6c092656833dd1eae08eac458689e37d"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">SVF::DummyVersionPropSVFGNode::version</a></div><div class="ttdeci">const Version version</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00465">SVFGNode.h:465</a></div></div>
459
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00476">476</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
460
+ <div class="fragment"><div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160;{ <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">version</a>; }</div><div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_a6c092656833dd1eae08eac458689e37d"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">SVF::DummyVersionPropSVFGNode::version</a></div><div class="ttdeci">const Version version</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00498">SVFGNode.h:498</a></div></div>
461
461
  </div><!-- fragment -->
462
462
  </div>
463
463
  </div>
@@ -482,7 +482,7 @@ Additional Inherited Members</h2></td></tr>
482
482
  </table>
483
483
  </div><div class="memdoc">
484
484
 
485
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00464">464</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
485
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00497">497</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
486
486
 
487
487
  </div>
488
488
  </div>
@@ -506,7 +506,7 @@ Additional Inherited Members</h2></td></tr>
506
506
  </table>
507
507
  </div><div class="memdoc">
508
508
 
509
- <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00465">465</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
509
+ <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00498">498</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
510
510
 
511
511
  </div>
512
512
  </div>
package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html CHANGED
@@ -186,7 +186,7 @@ class SVF::EntryCHI&lt; Cond &gt;</h3>
186
186
 
187
187
  <p><a class="el" href="classSVF_1_1EntryCHI.html">EntryCHI</a> is annotated at function entry, representing receiving memory objects from callers </p>
188
188
 
189
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00572">572</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
189
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00578">578</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
190
190
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
191
191
  <a id="a0ba7181ad2a793bf11e40b7c7092e28b"></a>
192
192
  <h2 class="memtitle"><span class="permalink"><a href="#a0ba7181ad2a793bf11e40b7c7092e28b">&#9670;&nbsp;</a></span>EntryCHI()</h2>
@@ -232,9 +232,9 @@ template&lt;class Cond &gt; </div>
232
232
 
233
233
  <p>Constructors for <a class="el" href="classSVF_1_1EntryCHI.html">EntryCHI</a>. </p>
234
234
 
235
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00579">579</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
236
- <div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; :</div><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; MSSACHI&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a>,m,c),<a class="code" href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">fun</a>(f)</div><div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; {</div><div class="line"><a name="l00582"></a><span class="lineno"> 582</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00328">MSSAMuChi.h:328</a></div></div>
237
- <div class="ttc" id="classSVF_1_1EntryCHI_html_afd2b2d4a7198f62467b4062740e5196c"><div class="ttname"><a href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">SVF::EntryCHI::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00575">MSSAMuChi.h:575</a></div></div>
235
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00585">585</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
236
+ <div class="fragment"><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; :</div><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; MSSACHI&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a>,m,c),<a class="code" href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">fun</a>(f)</div><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; {</div><div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00334">MSSAMuChi.h:334</a></div></div>
237
+ <div class="ttc" id="classSVF_1_1EntryCHI_html_afd2b2d4a7198f62467b4062740e5196c"><div class="ttname"><a href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">SVF::EntryCHI::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00581">MSSAMuChi.h:581</a></div></div>
238
238
  </div><!-- fragment -->
239
239
  </div>
240
240
  </div>
@@ -263,8 +263,8 @@ template&lt;class Cond &gt; </div>
263
263
  </table>
264
264
  </div><div class="memdoc">
265
265
 
266
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00583">583</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
267
- <div class="fragment"><div class="line"><a name="l00584"></a><span class="lineno"> 584</span>&#160; {</div><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; }</div></div><!-- fragment -->
266
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00589">589</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
267
+ <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; {</div><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; }</div></div><!-- fragment -->
268
268
  </div>
269
269
  </div>
270
270
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -296,8 +296,8 @@ template&lt;class Cond &gt; </div>
296
296
 
297
297
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
298
298
 
299
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00596">596</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
300
- <div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; {</div><div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00599"></a><span class="lineno"> 599</span>&#160; }</div></div><!-- fragment -->
299
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00602">602</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
300
+ <div class="fragment"><div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; {</div><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; }</div></div><!-- fragment -->
301
301
  </div>
302
302
  </div>
303
303
  <a id="a55404375929d591f93d09f5a9e896cf6"></a>
@@ -326,8 +326,8 @@ template&lt;class Cond &gt; </div>
326
326
  </table>
327
327
  </div><div class="memdoc">
328
328
 
329
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00600">600</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
330
- <div class="fragment"><div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; {</div><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; <span class="keywordflow">return</span> chi-&gt;getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a>;</div><div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00328">MSSAMuChi.h:328</a></div></div>
329
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00606">606</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
330
+ <div class="fragment"><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160; {</div><div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160; <span class="keywordflow">return</span> chi-&gt;getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a>;</div><div class="line"><a name="l00609"></a><span class="lineno"> 609</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00334">MSSAMuChi.h:334</a></div></div>
331
331
  </div><!-- fragment -->
332
332
  </div>
333
333
  </div>
@@ -357,8 +357,8 @@ template&lt;class Cond &gt; </div>
357
357
  </table>
358
358
  </div><div class="memdoc">
359
359
 
360
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00604">604</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
361
- <div class="fragment"><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; {</div><div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; <span class="keywordflow">return</span> chi-&gt;getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a>;</div><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00328">MSSAMuChi.h:328</a></div></div>
360
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00610">610</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
361
+ <div class="fragment"><div class="line"><a name="l00611"></a><span class="lineno"> 611</span>&#160; {</div><div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160; <span class="keywordflow">return</span> chi-&gt;getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a>;</div><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00334">MSSAMuChi.h:334</a></div></div>
362
362
  </div><!-- fragment -->
363
363
  </div>
364
364
  </div>
@@ -391,13 +391,13 @@ template&lt;class Cond &gt; </div>
391
391
 
392
392
  <p>Reimplemented from <a class="el" href="classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca">SVF::MSSACHI&lt; Cond &gt;</a>.</p>
393
393
 
394
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00611">611</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
395
- <div class="fragment"><div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160; {</div><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">getResVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt;</div><div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; <span class="stringliteral">&quot; = ENCHI(MR_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">getOpVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span> &lt;&lt;</div><div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
396
- <div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00367">MSSAMuChi.h:367</a></div></div>
397
- <div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00348">MSSAMuChi.h:348</a></div></div>
394
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00617">617</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
395
+ <div class="fragment"><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; {</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">getResVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt;</div><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; <span class="stringliteral">&quot; = ENCHI(MR_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">getOpVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span> &lt;&lt;</div><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160; }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
396
+ <div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00373">MSSAMuChi.h:373</a></div></div>
397
+ <div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
398
398
  <div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
399
399
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00047">SVFUtil.h:47</a></div></div>
400
- <div class="ttc" id="classSVF_1_1MSSACHI_html_a7af6f73ff1432d4adb5ee8493fbe73fb"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">SVF::MSSACHI::getOpVer</a></div><div class="ttdeci">MRVer * getOpVer() const</div><div class="ttdoc">Get operand ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00415">MSSAMuChi.h:415</a></div></div>
400
+ <div class="ttc" id="classSVF_1_1MSSACHI_html_a7af6f73ff1432d4adb5ee8493fbe73fb"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">SVF::MSSACHI::getOpVer</a></div><div class="ttdeci">MRVer * getOpVer() const</div><div class="ttdoc">Get operand ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00421">MSSAMuChi.h:421</a></div></div>
401
401
  <div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
402
402
  </div><!-- fragment -->
403
403
  </div>
@@ -429,8 +429,8 @@ template&lt;class Cond &gt; </div>
429
429
 
430
430
  <p>Return function. </p>
431
431
 
432
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00589">589</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
433
- <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; {</div><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">fun</a>;</div><div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160; }</div><div class="ttc" id="classSVF_1_1EntryCHI_html_afd2b2d4a7198f62467b4062740e5196c"><div class="ttname"><a href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">SVF::EntryCHI::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00575">MSSAMuChi.h:575</a></div></div>
432
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00595">595</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
433
+ <div class="fragment"><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; {</div><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">fun</a>;</div><div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160; }</div><div class="ttc" id="classSVF_1_1EntryCHI_html_afd2b2d4a7198f62467b4062740e5196c"><div class="ttname"><a href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">SVF::EntryCHI::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00581">MSSAMuChi.h:581</a></div></div>
434
434
  </div><!-- fragment -->
435
435
  </div>
436
436
  </div>
@@ -457,7 +457,7 @@ template&lt;class Cond &gt; </div>
457
457
  </table>
458
458
  </div><div class="memdoc">
459
459
 
460
- <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00575">575</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
460
+ <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00581">581</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
461
461
 
462
462
  </div>
463
463
  </div>
package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html CHANGED
@@ -1603,7 +1603,7 @@ Additional Inherited Members</h2></td></tr>
1603
1603
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a40738643202ca6301671f51da3fc1137"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137">SVF::PointerAnalysis::resolveIndCalls</a></div><div class="ttdeci">virtual void resolveIndCalls(const CallBlockNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</div><div class="ttdoc">Resolve indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00439">PointerAnalysis.cpp:439</a></div></div>
1604
1604
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_ae31e9281e4f1e0585fdf328b7339e1bf"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::getCachedPointsTo</a></div><div class="ttdeci">virtual const PointsTo &amp; getCachedPointsTo(const LocDPItem &amp;dpm)</div><div class="ttdoc">Points-to Caching for top-level pointers and address-taken objects. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00531">DDAVFSolver.h:531</a></div></div>
1605
1605
  <div class="ttc" id="classSVF_1_1DDAVFSolver_html_acb7980c7e0d1d8ad6abab0b80831d2a9"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::getSVFG</a></div><div class="ttdeci">SVFG * getSVFG() const</div><div class="ttdoc">Return SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00095">DDAVFSolver.h:95</a></div></div>
1606
- <div class="ttc" id="classSVF_1_1SVFG_html_a0cebc2ba5ae81a6d45b224a4f94fc8b4"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG::connectCallerAndCallee</a></div><div class="ttdeci">virtual void connectCallerAndCallee(const CallBlockNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00643">SVFG.cpp:643</a></div></div>
1606
+ <div class="ttc" id="classSVF_1_1SVFG_html_a0cebc2ba5ae81a6d45b224a4f94fc8b4"><div class="ttname"><a href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG::connectCallerAndCallee</a></div><div class="ttdeci">virtual void connectCallerAndCallee(const CallBlockNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00660">SVFG.cpp:660</a></div></div>
1607
1607
  </div><!-- fragment -->
1608
1608
  </div>
1609
1609
  </div>