npm - svf-tools - Versions diffs - 1.0.281 → 1.0.285 - Mend

svf-tools 1.0.281 → 1.0.285

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 (392) hide show

package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html CHANGED Viewed

@@ -94,7 +94,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a123b5006a6da7053e5e357140da3c5a3"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection::find</a></div><div class="ttdeci">void find(void)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00308">SCC.h:308</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_af5855348e45f50d16cd41cfa9c28f67c"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c">SVF::MemSSAStat::NumOfCSHasMu</a></div><div class="ttdeci">static const char * NumOfCSHasMu</div><div class="ttdoc">Number of call sites which have mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00072">SVFGStat.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a18211427d08f70d252512d387763ce4a"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">SVF::SVFGStat::totalOutEdge</a></div><div class="ttdeci">int totalOutEdge</div><div class="ttdoc">Total number of outgoing SVFG edges. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00194">SVFGStat.h:194</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_ad34e796ebc49f5749de39e81374dc7a7"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ad34e796ebc49f5749de39e81374dc7a7">SVF::MRGenerator::getMRNum</a></div><div class="ttdeci">Size_t getMRNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00425">MemRegion.h:425</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_ad34e796ebc49f5749de39e81374dc7a7"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ad34e796ebc49f5749de39e81374dc7a7">SVF::MRGenerator::getMRNum</a></div><div class="ttdeci">Size_t getMRNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00415">MemRegion.h:415</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a557334ef75bb5479b045f68c27b38701"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVF::VFGEdge::SVFGEdgeSetTy</a></div><div class="ttdeci">VFGEdgeSetTy SVFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00118">VFGEdge.h:118</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a48c70f0ed1c7d031a3cd528035162e52"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52">SVF::MemSSAStat::TimeOfCreateMUCHI</a></div><div class="ttdeci">static const char * TimeOfCreateMUCHI</div><div class="ttdoc">Time for generating mu/chi for load/store/calls. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00054">SVFGStat.h:54</a></div></div>
 <div class="ttc" id="SVFG_8h_html"><div class="ttname"><a href="SVFG_8h.html">SVFG.h</a></div></div>
@@ -102,10 +102,10 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a149edd19cd5adafec13cbb49c590f0a8"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8">SVF::SVFGStat::SVFGSCC</a></div><div class="ttdeci">SCCDetection&lt; SVFG * &gt; SVFGSCC</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00097">SVFGStat.h:97</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a87d5e8ec0e13416cff36a18644a5b94f"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f">SVF::SVFGStat::performSCCStat</a></div><div class="ttdeci">virtual void performSCCStat(SVFGEdgeSet insensitiveCalRetEdges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00370">SVFGStat.cpp:370</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a67e0f3d1eb1cf8bf6dda57b602d6dac7"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a67e0f3d1eb1cf8bf6dda57b602d6dac7">SVF::SVFGStat::printStat</a></div><div class="ttdeci">virtual void printStat()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00501">SVFGStat.cpp:501</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a8f88acad31782bfa962e4349d8f4185d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">SVF::MemSSA::getCallSiteToChiSetMap</a></div><div class="ttdeci">CallSiteToCHISetMap &amp; getCallSiteToChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00435">MemSSA.h:435</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a8f88acad31782bfa962e4349d8f4185d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">SVF::MemSSA::getCallSiteToChiSetMap</a></div><div class="ttdeci">CallSiteToCHISetMap &amp; getCallSiteToChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00432">MemSSA.h:432</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a846cfa8d900219368ff12942ff0a0fa1"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a846cfa8d900219368ff12942ff0a0fa1">SVF::SVFGStat::maxOutDegree</a></div><div class="ttdeci">unsigned maxOutDegree</div><div class="ttdoc">max out degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00209">SVFGStat.h:209</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a74c36654b7452aa94aa241881f0a83c5"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5">SVF::MemSSAStat::TimeOfGeneratingMemRegions</a></div><div class="ttdeci">static const char * TimeOfGeneratingMemRegions</div><div class="ttdoc">Time for allocating regions. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00053">SVFGStat.h:53</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a1f69924c587c4e68a029fd4e86cffacf"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">SVF::MRGenerator::getMRSet</a></div><div class="ttdeci">MRSet &amp; getMRSet()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00180">MemRegion.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a1f69924c587c4e68a029fd4e86cffacf"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">SVF::MRGenerator::getMRSet</a></div><div class="ttdeci">MRSet &amp; getMRSet()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00175">MemRegion.h:175</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a1e92f02d43f06ef31e107859d1bd8ac2"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2">SVF::SVFGStat::svfgOptTimeStart</a></div><div class="ttdeci">double svfgOptTimeStart</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00228">SVFGStat.h:228</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ab29515f4e5b1f090c06a6e39761d3394"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">SVF::MemSSAStat::mssa</a></div><div class="ttdeci">MemSSA * mssa</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00088">SVFGStat.h:88</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
@@ -115,7 +115,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a0f37f7f530e3fd494c9d6bb477ca68d5"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5">SVF::SVFGStat::totalIndCallEdge</a></div><div class="ttdeci">int totalIndCallEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00199">SVFGStat.h:199</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a3b50e2a1fa53126b6c372c9b8c87df28"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3b50e2a1fa53126b6c372c9b8c87df28">SVF::SVFGStat::maxInDegree</a></div><div class="ttdeci">unsigned maxInDegree</div><div class="ttdoc">max in degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00208">SVFGStat.h:208</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00323">MemSSA.h:323</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00320">MemSSA.h:320</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_aa35ff9ddfc4f00be698a903adf3285f5"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5">SVF::SVFGStat::addAddrTakenNodeTimeStart</a></div><div class="ttdeci">double addAddrTakenNodeTimeStart</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00219">SVFGStat.h:219</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html"><div class="ttname"><a href="classSVF_1_1SCCDetection.html">SVF::SCCDetection</a></div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00054">SCC.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a7dd7e6af850b9d724ea580450bfd3afd"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">SVF::MemSSAStat::TotalTimeOfConstructMemSSA</a></div><div class="ttdeci">static const char * TotalTimeOfConstructMemSSA</div><div class="ttdoc">Total time for constructing memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00052">SVFGStat.h:52</a></div></div>
@@ -125,7 +125,7 @@ $(function() {
 <div class="ttc" id="SVFGStat_8h_html"><div class="ttname"><a href="SVFGStat_8h.html">SVFGStat.h</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a3a5fdc9330a657240f77199f5aee602d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">SVF::SCCDetection::repNode</a></div><div class="ttdeci">NodeID repNode(NodeID n) const</div><div class="ttdoc">get the rep node if not found return itself </div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00139">SCC.h:139</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a921a0f4eba4b891ab9b7699ea0d3f91c"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">SVF::MemSSAStat::NumOfCSChi</a></div><div class="ttdeci">static const char * NumOfCSChi</div><div class="ttdoc">Number of call site chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00063">SVFGStat.h:63</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a97166aa7102816a16734d7e2f1c130b0"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">SVF::MemSSA::getStoreToChiSetMap</a></div><div class="ttdeci">StoreToChiSetMap &amp; getStoreToChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00419">MemSSA.h:419</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a97166aa7102816a16734d7e2f1c130b0"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">SVF::MemSSA::getStoreToChiSetMap</a></div><div class="ttdeci">StoreToChiSetMap &amp; getStoreToChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00416">MemSSA.h:416</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a122555f5c4b9746cc2b7f38c7cd6b505"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505">SVF::SVFGStat::numOfActualOut</a></div><div class="ttdeci">int numOfActualOut</div><div class="ttdoc">number of actual out svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00180">SVFGStat.h:180</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ab1cdbd2ebe54dc5bb752a89d069423b7"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7">SVF::MemSSAStat::NumOfFunHasRetMu</a></div><div class="ttdeci">static const char * NumOfFunHasRetMu</div><div class="ttdoc">Number of functions which have return mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00070">SVFGStat.h:70</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html_afa718535839a939e51afc0f8c1fbdac6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6">SVF::PTAStat::generalNumMap</a></div><div class="ttdeci">NUMStatMap generalNumMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00140">PTAStat.h:140</a></div></div>
@@ -141,13 +141,13 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTAStat_html_a5524ff7901659f56e9de343992be8f3b"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b">SVF::PTAStat::startClk</a></div><div class="ttdeci">virtual void startClk()</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00127">PTAStat.h:127</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a8777555f00696706de250159b920d14b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b">SVF::VFGEdge::isDirectVFGEdge</a></div><div class="ttdeci">bool isDirectVFGEdge() const</div><div class="ttdoc">Get methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00076">VFGEdge.h:76</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a4d2418b7df74f23d8fd328f66e29f198"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">SVF::MemSSA::timeOfCreateMUCHI</a></div><div class="ttdeci">static double timeOfCreateMUCHI</div><div class="ttdoc">Time for generating mu/chi for load/store/calls. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00102">MemSSA.h:102</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a15272a4ed019d1c323d1826c1bedb70f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">SVF::MemSSA::getFunEntryChiNum</a></div><div class="ttdeci">u32_t getFunEntryChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00506">MemSSA.cpp:506</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a15272a4ed019d1c323d1826c1bedb70f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">SVF::MemSSA::getFunEntryChiNum</a></div><div class="ttdeci">u32_t getFunEntryChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00511">MemSSA.cpp:511</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a1459465f0a76c09b5dd7d777467ac2e4"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4">SVF::MemSSAStat::NumOfRetMu</a></div><div class="ttdeci">static const char * NumOfRetMu</div><div class="ttdoc">Number of function return mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00062">SVFGStat.h:62</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a3d06ead4c3222ce8a0535d9f3d504c3d"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat::graph</a></div><div class="ttdeci">SVFG * graph</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00170">SVFGStat.h:170</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ad3139d2643f5e79dcd4ca9569ebbe7df"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df">SVF::MemSSAStat::NumOfLoadHasMu</a></div><div class="ttdeci">static const char * NumOfLoadHasMu</div><div class="ttdoc">Number of loads which have mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00073">SVFGStat.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a7c80f2332b97a3228e2ad7621162167a"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a">SVF::SVFGStat::numOfLoad</a></div><div class="ttdeci">int numOfLoad</div><div class="ttdoc">number of load svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00184">SVFGStat.h:184</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a9bb6512999cbf9c7c03153be77c8af20"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20">SVF::MemSSA::getBBPhiNum</a></div><div class="ttdeci">u32_t getBBPhiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00574">MemSSA.cpp:574</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html"><div class="ttname"><a href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00132">MemRegion.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a9bb6512999cbf9c7c03153be77c8af20"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20">SVF::MemSSA::getBBPhiNum</a></div><div class="ttdeci">u32_t getBBPhiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00579">MemSSA.cpp:579</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html"><div class="ttname"><a href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00126">MemRegion.h:126</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a1e9ddd5678b05e145af41a6d53f47748"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748">SVF::SVFGStat::numOfFormalParam</a></div><div class="ttdeci">int numOfFormalParam</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00176">SVFGStat.h:176</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a4b598cb1d06c4c0963787036862b1c3d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d">SVF::MemSSAStat::NumOfMSSAPhi</a></div><div class="ttdeci">static const char * NumOfMSSAPhi</div><div class="ttdoc">Number of mssa phi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00067">SVFGStat.h:67</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html_afe854f7416ea408104721a083ee9fee0"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">SVF::PTAStat::endClk</a></div><div class="ttdeci">virtual void endClk()</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00131">PTAStat.h:131</a></div></div>
@@ -155,21 +155,21 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a4d15f2de3f226c26cb2af57176444ec9"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">SVF::SVFGStat::numOfStore</a></div><div class="ttdeci">int numOfStore</div><div class="ttdoc">number of store svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00185">SVFGStat.h:185</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a3210cc1283669129234aa2c3feb67654"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654">SVF::SVFGStat::connectIndSVFGEdgeTimeEnd</a></div><div class="ttdeci">double connectIndSVFGEdgeTimeEnd</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00226">SVFGStat.h:226</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a2c65795ca63a53c833f5ac17a752b6dc"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">SVF::MemSSA::getCallSiteChiNum</a></div><div class="ttdeci">u32_t getCallSiteChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00557">MemSSA.cpp:557</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a2c65795ca63a53c833f5ac17a752b6dc"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">SVF::MemSSA::getCallSiteChiNum</a></div><div class="ttdeci">u32_t getCallSiteChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00562">MemSSA.cpp:562</a></div></div>
 <div class="ttc" id="SVFBasicTypes_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00169">SVFBasicTypes.h:169</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a4328f75f379e692901b95bacdf8dd413"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413">SVF::SVFGStat::avgInDegree</a></div><div class="ttdeci">int avgInDegree</div><div class="ttdoc">average in degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00206">SVFGStat.h:206</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a737352ac44d808c55a91e8bd5e9e0aac"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac">SVF::SVFGStat::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00149">SVFGStat.cpp:149</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a9e8c5b85957485635d0f72c2f48bb8b5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">SVF::MemSSA::getCallSiteMuNum</a></div><div class="ttdeci">u32_t getCallSiteMuNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00540">MemSSA.cpp:540</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a70dd35ef458c452330dfebcdde17b84c"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">SVF::MemSSA::getLoadToMUSetMap</a></div><div class="ttdeci">LoadToMUSetMap &amp; getLoadToMUSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00415">MemSSA.h:415</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a9e8c5b85957485635d0f72c2f48bb8b5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">SVF::MemSSA::getCallSiteMuNum</a></div><div class="ttdeci">u32_t getCallSiteMuNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00545">MemSSA.cpp:545</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a70dd35ef458c452330dfebcdde17b84c"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">SVF::MemSSA::getLoadToMUSetMap</a></div><div class="ttdeci">LoadToMUSetMap &amp; getLoadToMUSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00412">MemSSA.h:412</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a364d684cbefed1793d7c4506fb1fa0fd"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd">SVF::SVFGStat::avgIndInDegree</a></div><div class="ttdeci">int avgIndInDegree</div><div class="ttdoc">average indirect in degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00211">SVFGStat.h:211</a></div></div>
-<div class="ttc" id="classSVF_1_1MemRegion_html_a99f106d47fd67f1ae53e144d72a223c9"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">SVF::MemRegion::getRegionSize</a></div><div class="ttdeci">u32_t getRegionSize() const</div><div class="ttdoc">Return memory object number inside a region. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00123">MemRegion.h:123</a></div></div>
+<div class="ttc" id="classSVF_1_1MemRegion_html_a99f106d47fd67f1ae53e144d72a223c9"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">SVF::MemRegion::getRegionSize</a></div><div class="ttdeci">u32_t getRegionSize() const</div><div class="ttdoc">Return memory object number inside a region. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00117">MemRegion.h:117</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_abc5e079242666bb55ec7dbc7f258b3db"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db">SVF::SVFGStat::numOfFormalIn</a></div><div class="ttdeci">int numOfFormalIn</div><div class="ttdoc">number of formal in svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00174">SVFGStat.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a53f3d85a8eb63676d3dc47ee648efb66"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66">SVF::MemSSAStat::MemSSAStat</a></div><div class="ttdeci">MemSSAStat(MemSSA *)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00064">SVFGStat.cpp:64</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a966477062a453901da3631015fcf737d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA::getBBToPhiSetMap</a></div><div class="ttdeci">BBToPhiSetMap &amp; getBBToPhiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00439">MemSSA.h:439</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a966477062a453901da3631015fcf737d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA::getBBToPhiSetMap</a></div><div class="ttdeci">BBToPhiSetMap &amp; getBBToPhiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00436">MemSSA.h:436</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a1fce01df52d7a682555c638411d37280"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1fce01df52d7a682555c638411d37280">SVF::SVFGStat::maxIndOutDegree</a></div><div class="ttdeci">int maxIndOutDegree</div><div class="ttdoc">max indirect out degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00214">SVFGStat.h:214</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a862cd075a7c9d5019acfabe608ab7905"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905">SVF::SVFGStat::numOfGep</a></div><div class="ttdeci">int numOfGep</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00187">SVFGStat.h:187</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_abf3825b642cf115259ea21e5f7e28878"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#abf3825b642cf115259ea21e5f7e28878">SVF::MemSSAStat::performStat</a></div><div class="ttdeci">virtual void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00073">SVFGStat.cpp:73</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_aa8c45b455e6fc60cab955534c3e50bfa"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">SVF::MemSSA::getStoreChiNum</a></div><div class="ttdeci">u32_t getStoreChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00489">MemSSA.cpp:489</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_aa8c45b455e6fc60cab955534c3e50bfa"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">SVF::MemSSA::getStoreChiNum</a></div><div class="ttdeci">u32_t getStoreChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00494">MemSSA.cpp:494</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a810965c025da84c58575c8066bc84056"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056">SVF::MemSSAStat::NumOfStoreChi</a></div><div class="ttdeci">static const char * NumOfStoreChi</div><div class="ttdoc">Number of store chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00066">SVFGStat.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a0a39eb7aab584cc285c32545ddb57ad8"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8">SVF::SVFGStat::totalIndEdgeLabels</a></div><div class="ttdeci">int totalIndEdgeLabels</div><div class="ttdoc">Total number of l –o–&gt; lp. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00197">SVFGStat.h:197</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a97ccd5e0b9ab6144415e26bdf95cbabd"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">SVF::MemSSA::timeOfSSARenaming</a></div><div class="ttdeci">static double timeOfSSARenaming</div><div class="ttdoc">Time for SSA rename. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00104">MemSSA.h:104</a></div></div>
@@ -183,25 +183,25 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTAStat_html_a59e0fe6fa506f1cf319b5acaf9d28be9"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat::startTime</a></div><div class="ttdeci">double startTime</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00145">PTAStat.h:145</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_ad72d8706cdc97443556c0d878a393727"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727">SVF::SVFGStat::addTopLevelNodeTimeStart</a></div><div class="ttdeci">double addTopLevelNodeTimeStart</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00216">SVFGStat.h:216</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a42b67371df87ba647166000912f53243"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243">SVF::SVFGStat::nodeInCycle</a></div><div class="ttdeci">NodeID nodeInCycle(SVFGSCC *scc, NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00174">SVFGStat.cpp:174</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a06081aa029b1fe3f9427f85a0261fd43"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">SVF::MemSSA::getCallSiteToMuSetMap</a></div><div class="ttdeci">CallSiteToMUSetMap &amp; getCallSiteToMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00431">MemSSA.h:431</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a06081aa029b1fe3f9427f85a0261fd43"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">SVF::MemSSA::getCallSiteToMuSetMap</a></div><div class="ttdeci">CallSiteToMUSetMap &amp; getCallSiteToMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00428">MemSSA.h:428</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a7b07190a20361e30999cd9107749599d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">SVF::MemSSAStat::NumOfCSMu</a></div><div class="ttdeci">static const char * NumOfCSMu</div><div class="ttdoc">Number of call site mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00064">SVFGStat.h:64</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a982ce49695344bcde4cbbb445de69c8d"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d">SVF::SVFGStat::totalIndOutEdge</a></div><div class="ttdeci">int totalIndOutEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00196">SVFGStat.h:196</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_aa6a39e0f1d41d67cb3441389a943bf5f"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f">SVF::SVFGStat::numOfAddr</a></div><div class="ttdeci">int numOfAddr</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00188">SVFGStat.h:188</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_afd4787df4466c24948d8384e3a756198"><div class="ttname"><a href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">SVF::MemSSA::getFunToEntryChiSetMap</a></div><div class="ttdeci">FunToEntryChiSetMap &amp; getFunToEntryChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00427">MemSSA.h:427</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_afd4787df4466c24948d8384e3a756198"><div class="ttname"><a href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">SVF::MemSSA::getFunToEntryChiSetMap</a></div><div class="ttdeci">FunToEntryChiSetMap &amp; getFunToEntryChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00424">MemSSA.h:424</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a6d57200d65d86cf575ede71bd5be7a29"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29">SVF::MemSSAStat::printStat</a></div><div class="ttdeci">virtual void printStat()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00127">SVFGStat.cpp:127</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a5d699af73b1e7ad4e3a5f6d26b8b6d15"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15">SVF::SCCDetection::isInCycle</a></div><div class="ttdeci">bool isInCycle(NodeID n) const</div><div class="ttdoc">whether the node is in a cycle </div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00149">SCC.h:149</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_ab499c24856a990dd4adb366107eb3302"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302">SVF::SVFGStat::numOfNodes</a></div><div class="ttdeci">int numOfNodes</div><div class="ttdoc">number of svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00172">SVFGStat.h:172</a></div></div>
-<div class="ttc" id="classSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00048">MemRegion.h:48</a></div></div>
+<div class="ttc" id="classSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00050">MemRegion.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a947dcd586a9ccf8b60243153769aaf31"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31">SVF::SVFGStat::getSCCRep</a></div><div class="ttdeci">NodeID getSCCRep(SVFGSCC *scc, NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00170">SVFGStat.cpp:170</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_aee2e0df55c40745a9b9aac415aa7a399"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">SVF::MemSSAStat::NumOfFunHasEntryChi</a></div><div class="ttdeci">static const char * NumOfFunHasEntryChi</div><div class="ttdoc">Number of functions which have entry chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00069">SVFGStat.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a67175188232e08f5c5374f92ff61810f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">SVF::MemSSA::getFunRetMuNum</a></div><div class="ttdeci">u32_t getFunRetMuNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00523">MemSSA.cpp:523</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a67175188232e08f5c5374f92ff61810f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">SVF::MemSSA::getFunRetMuNum</a></div><div class="ttdeci">u32_t getFunRetMuNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00528">MemSSA.cpp:528</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_ae61d5bd92ef495a0f6c2f9dedac3da03"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVF::SVFGStat::SVFGStat</a></div><div class="ttdeci">SVFGStat(SVFG *g)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00137">SVFGStat.cpp:137</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a0c24822c8549af6a96e82312954fab9b"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">SVF::MemSSAStat::TimeOfInsertingPHI</a></div><div class="ttdeci">static const char * TimeOfInsertingPHI</div><div class="ttdoc">Time for inserting phis. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00055">SVFGStat.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a7854ee895f1965ea02f5d04f81589826"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826">SVF::SVFGStat::avgIndOutDegree</a></div><div class="ttdeci">int avgIndOutDegree</div><div class="ttdoc">average indirect out degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00212">SVFGStat.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a0494c59483520b57acdca95952c93d76"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76">SVF::SVFGStat::numOfActualParam</a></div><div class="ttdeci">int numOfActualParam</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00181">SVFGStat.h:181</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a9fc87025af3b7e54442e78f46ebe0360"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360">SVF::SVFGStat::numOfMSSAPhi</a></div><div class="ttdeci">int numOfMSSAPhi</div><div class="ttdoc">number of mssa phi svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00190">SVFGStat.h:190</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_aafc83f7f22ebf3b3683607440c488bef"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">SVF::MemSSA::getLoadMuNum</a></div><div class="ttdeci">u32_t getLoadMuNum() const</div><div class="ttdoc">Stat methods. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00472">MemSSA.cpp:472</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_aafc83f7f22ebf3b3683607440c488bef"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">SVF::MemSSA::getLoadMuNum</a></div><div class="ttdeci">u32_t getLoadMuNum() const</div><div class="ttdoc">Stat methods. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00477">MemSSA.cpp:477</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a1e93c866f3d780cb1cfdaf1dd143ea24"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24">SVF::SVFGStat::totalDirCallEdge</a></div><div class="ttdeci">int totalDirCallEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00201">SVFGStat.h:201</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a5365744d2ec3594e2255d274f7256569"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569">SVF::SVFGStat::numOfActualIn</a></div><div class="ttdeci">int numOfActualIn</div><div class="ttdoc">number of actual in svfg nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00179">SVFGStat.h:179</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_ac06625b26e1aa1a0ed171c9f5cea0f35"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35">SVF::SVFGStat::svfgOptTimeEnd</a></div><div class="ttdeci">double svfgOptTimeEnd</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00229">SVFGStat.h:229</a></div></div>
@@ -209,11 +209,11 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MemSSA_html_a3c7b5fa73fdc7c805ee3673fbe812b44"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">SVF::MemSSA::timeOfInsertingPHI</a></div><div class="ttdeci">static double timeOfInsertingPHI</div><div class="ttdoc">Time for inserting phis. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00103">MemSSA.h:103</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a0c6594b4bae7924369bb61943c1da4fb"><div class="ttname"><a href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">SVF::PointsTo</a></div><div class="ttdeci">NodeBS PointsTo</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html_afdb975520329be0c33cc7bdd51ba7031"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00141">PTAStat.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a98ac3bf264e6a85d172c2c4264ea908f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">SVF::MRGenerator::MRSet</a></div><div class="ttdeci">OrderedSet&lt; const MemRegion *, MemRegion::equalMemRegion &gt; MRSet</div><div class="ttdoc">Get typedef from Pointer Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00142">MemRegion.h:142</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a98ac3bf264e6a85d172c2c4264ea908f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">SVF::MRGenerator::MRSet</a></div><div class="ttdeci">OrderedSet&lt; const MemRegion *, MemRegion::equalMemRegion &gt; MRSet</div><div class="ttdoc">Get typedef from Pointer Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00136">MemRegion.h:136</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ae57c6e5b97581150b7561c93e0887569"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">SVF::MemSSAStat::NumOfCSHasChi</a></div><div class="ttdeci">static const char * NumOfCSHasChi</div><div class="ttdoc">Number of call sites which have chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00071">SVFGStat.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a0e1fcb9154aad266406c4da4861ba020"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">SVF::SVFGStat::numOfPhi</a></div><div class="ttdeci">int numOfPhi</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00191">SVFGStat.h:191</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html_aa5f455bfa79743b8e263431593d29bbf"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00275">PTAStat.cpp:275</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSA_html_a44cbdb1231c2709c24d19ad2bae2475a"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA::getFunToRetMuSetMap</a></div><div class="ttdeci">FunToReturnMuSetMap &amp; getFunToRetMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00423">MemSSA.h:423</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a44cbdb1231c2709c24d19ad2bae2475a"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA::getFunToRetMuSetMap</a></div><div class="ttdeci">FunToReturnMuSetMap &amp; getFunToRetMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00420">MemSSA.h:420</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00048">VFGNode.h:48</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/SVFG_8cpp.html CHANGED Viewed

@@ -75,6 +75,7 @@ $(function() {
 <code>#include &quot;<a class="el" href="SVFGOPT_8h_source.html">Graphs/SVFGOPT.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="SVFGStat_8h_source.html">Graphs/SVFGStat.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="ICFG_8h_source.html">Graphs/ICFG.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="PointerAnalysisImpl_8h_source.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</code><br />
 <code>#include &lt;fstream&gt;</code><br />
 </div>
 <p><a href="SVFG_8cpp_source.html">Go to the source code of this file.</a></p>