svf-tools 1.0.281 → 1.0.285

package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html

@@ -478,13 +478,13 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00197">ICFG.cpp:197</a></div></div>
 <div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<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_1Options_html_a1211da4c36f1fcc65235891f31d87038"><div class="ttname"><a href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options::PASelected</a></div><div class="ttdeci">static llvm::cl::bits&lt; PointerAnalysis::PTATY &gt; PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00215">Options.h:215</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdoc">Diff wave propagation andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00071">PointerAnalysis.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00046">ICFG.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_a560e0d31a6a9ba4c2b0ac540c233fef1"><div class="ttname"><a href="classSVF_1_1VFG.html#a560e0d31a6a9ba4c2b0ac540c233fef1">SVF::VFG::getPAG</a></div><div class="ttdeci">PAG * getPAG() const</div><div class="ttdoc">Return PAG. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00129">VFG.h:129</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00695">MemRegion.cpp:695</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00138">SVFG.h:138</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 </div><!-- fragment -->
@@ -573,13 +573,13 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00197">ICFG.cpp:197</a></div></div>
 <div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<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_1Options_html_a1211da4c36f1fcc65235891f31d87038"><div class="ttname"><a href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options::PASelected</a></div><div class="ttdeci">static llvm::cl::bits&lt; PointerAnalysis::PTATY &gt; PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00215">Options.h:215</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdoc">Diff wave propagation andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00071">PointerAnalysis.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00046">ICFG.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_a560e0d31a6a9ba4c2b0ac540c233fef1"><div class="ttname"><a href="classSVF_1_1VFG.html#a560e0d31a6a9ba4c2b0ac540c233fef1">SVF::VFG::getPAG</a></div><div class="ttdeci">PAG * getPAG() const</div><div class="ttdoc">Return PAG. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00129">VFG.h:129</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00695">MemRegion.cpp:695</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00138">SVFG.h:138</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 </div><!-- fragment -->
@@ -627,13 +627,13 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00197">ICFG.cpp:197</a></div></div>
 <div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<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_1Options_html_a1211da4c36f1fcc65235891f31d87038"><div class="ttname"><a href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options::PASelected</a></div><div class="ttdeci">static llvm::cl::bits&lt; PointerAnalysis::PTATY &gt; PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00215">Options.h:215</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdoc">Diff wave propagation andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00071">PointerAnalysis.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00046">ICFG.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_a560e0d31a6a9ba4c2b0ac540c233fef1"><div class="ttname"><a href="classSVF_1_1VFG.html#a560e0d31a6a9ba4c2b0ac540c233fef1">SVF::VFG::getPAG</a></div><div class="ttdeci">PAG * getPAG() const</div><div class="ttdoc">Return PAG. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00129">VFG.h:129</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00695">MemRegion.cpp:695</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00138">SVFG.h:138</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 </div><!-- fragment -->
@@ -860,7 +860,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85ac581e279a4bd69c059b0e5987f839a1f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac581e279a4bd69c059b0e5987f839a1f">SVF::PointerAnalysis::AndersenWaveDiffWithType_WPA</a></div><div class="ttdoc">Diff wave propagation with type info andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00072">PointerAnalysis.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_ae1e217dc18be0ce70bee5ad930cb54c6"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis::analyze</a></div><div class="ttdeci">virtual void analyze()=0</div><div class="ttdoc">Start Analysis here (main part of pointer analysis). It needs to be implemented in child class...</div></div>
 <div class="ttc" id="classSVF_1_1TypeAnalysis_html"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html">SVF::TypeAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8h_source.html#l00038">TypeAnalysis.h:38</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00058">SVFGBuilder.h:58</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00059">SVFGBuilder.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1">SVF::PointerAnalysis::AndersenSCD_WPA</a></div><div class="ttdoc">Selective cycle detection andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00069">PointerAnalysis.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00155">Andersen.h:155</a></div></div>
 <div class="ttc" id="classSVF_1_1AndersenWaveDiffWithType_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiffWithType.html">SVF::AndersenWaveDiffWithType</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00469">Andersen.h:469</a></div></div>

package/SVF-doxygen/html/html/classes.html

@@ -123,8 +123,8 @@ $(function() {
 <tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html">cast_retty_impl&lt; To, const From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">GenericEdge::equalGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html">hash&lt; SVF::CxtThreadProc &gt;</a> (std)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_n"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;n&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html">cast_retty_impl&lt; To, const From *const &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html">MemRegion::equalMemRegion</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html">hash&lt; SVF::CxtThreadStmt &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadAPI.html">ThreadAPI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html">cast_retty_impl&lt; To, const From &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html">equalPointsTo</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html">hash&lt; SVF::LocationSet &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1NodeIDAllocator.html">NodeIDAllocator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html">cast_retty_impl&lt; To, From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html">MemRegion::equalPointsTo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html">hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1NormalGepCGEdge.html">NormalGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html">ThreadCallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html">cast_retty_impl&lt; To, const From &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html">equalNodeBS</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html">hash&lt; SVF::LocationSet &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1NodeIDAllocator.html">NodeIDAllocator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html">cast_retty_impl&lt; To, From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html">equalPointsTo</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html">hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1NormalGepCGEdge.html">NormalGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html">ThreadCallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html">cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ExtAPI.html">ExtAPI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html">hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1NormalGepPE.html">NormalGepPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadForkEdge.html">ThreadForkEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ExternalPAG.html">ExternalPAG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html">hash&lt; SVF::SVFGNodeLockSpan &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1NullPtrVFGNode.html">NullPtrVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ThreadJoinEdge.html">ThreadJoinEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">cast_retty_wrap&lt; To, FromTy, FromTy &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_f"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;f&#160;&#160;</div></td></tr></table>

package/SVF-doxygen/html/html/functions_a.html

@@ -197,10 +197,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd">SVF::ICFG</a>
 </li>
 <li>addCallIndirectSVFGEdge()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#af5f61cab0e65b58a40a049b66ad0ac2e">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee">SVF::SVFGOPT</a>
 </li>
 <li>addCallIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#a1484cd0bf03fc336d678d71d045d44c2">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac">SVF::SVFG</a>
 </li>
 <li>addCallPE()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode</a>
@@ -279,16 +279,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46">SVF::VFG</a>
 </li>
 <li>addCPtsToCallSiteMods()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae2594115874771c93963846f3276e1fb">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToCallSiteRefs()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2416e15c41fce38dfa63318a8f64e11f">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToLoad()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4d71379ec4350d6fde0c12336c1b92d8">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a4cd3d3af2cfad7b5c086f00ab8e68169">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToStore()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae439967f24dbb6dbc11287592eb0d30c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#aa9900773ce82da953385df2e6487200e">SVF::MRGenerator</a>
 </li>
 <li>addCxtLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a">SVF::LockAnalysis</a>
@@ -545,7 +545,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc">SVF::ICFG</a>
 </li>
 <li>addIntraIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#aa6e855dc13d0e2db44982722409a9d1d">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80">SVF::SVFG</a>
 </li>
 <li>addIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b">SVF::LockAnalysis</a>
@@ -735,10 +735,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619">SVF::ICFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#abb062ba96797e106a12abc6199e2ad6d">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649">SVF::SVFGOPT</a>
 </li>
 <li>addRetIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#a4578b49f6f59367738c3aa57bdaa61c1">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG</a>
 </li>
 <li>addRetNode()
 : <a class="el" href="classSVF_1_1PAG.html#a51f03f1d0fdc9ccb0e0f150877e01eb1">SVF::PAG</a>
@@ -856,7 +856,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAG.html#a37c31f1829f540fb0a4b57b7de3e7bca">SVF::PAG</a>
 </li>
 <li>addThreadMHPIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#ab8b57187140a36077d9a3dd6d0b25858">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">SVF::SVFG</a>
 </li>
 <li>addToBackwardSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1">SVF::ProgSlice</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -359,7 +359,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae73349361642cbc0c5f4be0b8bf96090">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">SVF::MRGenerator</a>
 </li>
 <li>callsiteToRefMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e">SVF::MRGenerator</a>
@@ -977,7 +977,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>computeAllLocations()
-: <a class="el" href="classSVF_1_1LocationSet.html#a0add3116ad446f6045c2a8ad2be1455a">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
@@ -1005,7 +1005,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5">SVF::ProgSlice</a>
 </li>
 <li>computeIntersections()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">SVF::IntraDisjointMRG</a>
 </li>
 <li>ComputeIntraVFGGuard()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c">SVF::PathCondAllocator</a>
@@ -1355,7 +1355,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>cptsSet
-: <a class="el" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion</a>
 </li>
 <li>cptsToRepCPtsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">SVF::MRGenerator</a>
@@ -1388,10 +1388,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a6c807df0d5627d3afda2359b658bc97c">SVF::BranchCondManager</a>
 </li>
 <li>createDisjointMR()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">SVF::IntraDisjointMRG</a>
 </li>
 <li>createDistinctMR()
-: <a class="el" href="classSVF_1_1DistinctMRG.html#a610cc0e35fb01260a92afffee6f271ac">SVF::DistinctMRG</a>
+: <a class="el" href="classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393">SVF::DistinctMRG</a>
 </li>
 <li>createDummyObj()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a2fede86948eeb07aacfed2575ea329d1">SVF::SymbolTableInfo</a>
@@ -1406,7 +1406,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a6099f16d3f890c16507f482a8b2ca903">SVF::FlowSensitive</a>
 </li>
 <li>createMR()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a42708b4ce8b5548e156a0e6d01602cc2">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">SVF::MRGenerator</a>
 </li>
 <li>createMUCHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033">SVF::MemSSA</a>
@@ -1481,10 +1481,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a13694bd3990dd29ebce641a7c827a370">SVF::ICFG</a>
 </li>
 <li>csToCallSiteArgsPtsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a145cccd6355dd479e8a0c744584cef9a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf">SVF::MRGenerator</a>
 </li>
 <li>csToCallSiteRetPtsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9368636daea4542fa36fff822ff39104">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1">SVF::MRGenerator</a>
 </li>
 <li>csToCHAVFnsMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474">SVF::CHGraph</a>
@@ -1499,10 +1499,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187">SVF::PTACallGraph</a>
 </li>
 <li>csToModsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a72222bae993142be1881c34660646b82">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029">SVF::MRGenerator</a>
 </li>
 <li>csToRefsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a08779053af9db71ba0bc24710a7e198c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6">SVF::MRGenerator</a>
 </li>
 <li>CSToRetMap
 : <a class="el" href="classSVF_1_1PAG.html#a7b983e115709d3461be9f24395c87ab4">SVF::PAG</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -279,7 +279,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule</a>
-, <a class="el" href="classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e">SVF::TypeSet</a>
+, <a class="el" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">SVF::TypeSet</a>
 , <a class="el" href="classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d">SVF::TypeSystem</a>
 </li>
 <li>endClk()
@@ -319,9 +319,6 @@ $(function() {
 <li>equalMemRegion
 : <a class="el" href="classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65">SVF::MemRegion</a>
 </li>
-<li>equalPointsTo
-: <a class="el" href="classSVF_1_1MemRegion.html#a52b14094d018fb5d9f024c154ab61b8e">SVF::MemRegion</a>
-</li>
 <li>err
 : <a class="el" href="structDdManager.html#a6b0364070de52e689fe3485a86bb2825">DdManager</a>
 </li>
@@ -362,12 +359,12 @@ $(function() {
 , <a class="el" href="structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2">IeeeDoubleStruct</a>
 , <a class="el" href="structIeeeNanStruct.html#aeb28a08581e489042de6f647eb431e5a">IeeeNanStruct</a>
 </li>
-<li>ExtAPI()
-: <a class="el" href="classSVF_1_1ExtAPI.html#af1c46b41e0088411a186228f760a99f3">SVF::ExtAPI</a>
-</li>
 <li>extAPI
 : <a class="el" href="classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618">SVF::ExtAPI</a>
 </li>
+<li>ExtAPI()
+: <a class="el" href="classSVF_1_1ExtAPI.html#af1c46b41e0088411a186228f760a99f3">SVF::ExtAPI</a>
+</li>
 <li>extended
 : <a class="el" href="classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e">SVF::DCHGraph</a>
 </li>

package/SVF-doxygen/html/html/functions_f.html

@@ -491,24 +491,24 @@ $(function() {
 <li>FunToArgsListMap
 : <a class="el" href="classSVF_1_1PAG.html#a11b3e5d1aacf8a199b4ad35ce8cbca04">SVF::PAG</a>
 </li>
-<li>FunToCallGraphNodeMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
-</li>
 <li>funToCallGraphNodeMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph</a>
 </li>
+<li>FunToCallGraphNodeMap
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
+</li>
 <li>FunToDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a69109de5fddf4042037bc6d66563a9e5">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a99580fd5a2cc7185d26198c53efe422d">SVF::PTACFInfoBuilder</a>
 </li>
-<li>FunToEntryChiSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
-</li>
 <li>funToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
 </li>
+<li>FunToEntryChiSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
+</li>
 <li>funToExitBBsMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ad35f1bdb406a85c5bfdcbbc15642853b">SVF::PathCondAllocator</a>
 </li>
@@ -549,14 +549,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToModsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#aeb185d6d9c7bfe4b98c7440db6b8bbc4">SVF::MRGenerator</a>
-</li>
-<li>funToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
 <li>FunToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
 </li>
+<li>funToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
+</li>
 <li>FunToNodeBSMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
 </li>
@@ -566,11 +566,14 @@ $(function() {
 <li>funToPDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
+<li>funToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
 </li>
-<li>funToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acaf48288039d19bf0bb9f2e506fbfd8d">SVF::MRGenerator</a>
+<li>FunToPointsTosMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
 <li>FunToPostDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a8e4d95e3c98ad17b060844063a494946">SVF::PTACFInfoBuilder</a>
@@ -579,7 +582,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">SVF::IntraDisjointMRG</a>
 </li>
 <li>funToRefsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#afe018918c8acc83cd128b4c56ff42075">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a">SVF::MRGenerator</a>
 </li>
 <li>FunToRetMap
 : <a class="el" href="classSVF_1_1PAG.html#a46ce928b6bfa06c0b4a08cd3c282f696">SVF::PAG</a>

package/SVF-doxygen/html/html/functions_func.html

@@ -164,10 +164,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd">SVF::ICFG</a>
 </li>
 <li>addCallIndirectSVFGEdge()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#af5f61cab0e65b58a40a049b66ad0ac2e">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee">SVF::SVFGOPT</a>
 </li>
 <li>addCallIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#a1484cd0bf03fc336d678d71d045d44c2">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac">SVF::SVFG</a>
 </li>
 <li>addCallPE()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode</a>
@@ -246,16 +246,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46">SVF::VFG</a>
 </li>
 <li>addCPtsToCallSiteMods()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae2594115874771c93963846f3276e1fb">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToCallSiteRefs()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2416e15c41fce38dfa63318a8f64e11f">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToLoad()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4d71379ec4350d6fde0c12336c1b92d8">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a4cd3d3af2cfad7b5c086f00ab8e68169">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToStore()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae439967f24dbb6dbc11287592eb0d30c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#aa9900773ce82da953385df2e6487200e">SVF::MRGenerator</a>
 </li>
 <li>addCxtLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a">SVF::LockAnalysis</a>
@@ -491,7 +491,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc">SVF::ICFG</a>
 </li>
 <li>addIntraIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#aa6e855dc13d0e2db44982722409a9d1d">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80">SVF::SVFG</a>
 </li>
 <li>addIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b">SVF::LockAnalysis</a>
@@ -664,10 +664,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619">SVF::ICFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#abb062ba96797e106a12abc6199e2ad6d">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649">SVF::SVFGOPT</a>
 </li>
 <li>addRetIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#a4578b49f6f59367738c3aa57bdaa61c1">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG</a>
 </li>
 <li>addRetNode()
 : <a class="el" href="classSVF_1_1PAG.html#a51f03f1d0fdc9ccb0e0f150877e01eb1">SVF::PAG</a>
@@ -779,7 +779,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAG.html#a37c31f1829f540fb0a4b57b7de3e7bca">SVF::PAG</a>
 </li>
 <li>addThreadMHPIndirectVFEdge()
-: <a class="el" href="classSVF_1_1SVFG.html#ab8b57187140a36077d9a3dd6d0b25858">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">SVF::SVFG</a>
 </li>
 <li>addToBackwardSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1">SVF::ProgSlice</a>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -537,7 +537,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>computeAllLocations()
-: <a class="el" href="classSVF_1_1LocationSet.html#a0add3116ad446f6045c2a8ad2be1455a">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
@@ -565,7 +565,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5">SVF::ProgSlice</a>
 </li>
 <li>computeIntersections()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">SVF::IntraDisjointMRG</a>
 </li>
 <li>ComputeIntraVFGGuard()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c">SVF::PathCondAllocator</a>
@@ -757,10 +757,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a6c807df0d5627d3afda2359b658bc97c">SVF::BranchCondManager</a>
 </li>
 <li>createDisjointMR()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">SVF::IntraDisjointMRG</a>
 </li>
 <li>createDistinctMR()
-: <a class="el" href="classSVF_1_1DistinctMRG.html#a610cc0e35fb01260a92afffee6f271ac">SVF::DistinctMRG</a>
+: <a class="el" href="classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393">SVF::DistinctMRG</a>
 </li>
 <li>createDummyObj()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a2fede86948eeb07aacfed2575ea329d1">SVF::SymbolTableInfo</a>
@@ -775,7 +775,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a6099f16d3f890c16507f482a8b2ca903">SVF::FlowSensitive</a>
 </li>
 <li>createMR()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a42708b4ce8b5548e156a0e6d01602cc2">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">SVF::MRGenerator</a>
 </li>
 <li>createMUCHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033">SVF::MemSSA</a>