svf-tools 1.0.341 → 1.0.345

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

@@ -70,10 +70,10 @@ $(function() {
 <tr><td valign="top"><a class="el" href="classSVF_1_1CxtStmtDPItem.html">CxtStmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::CHNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html">isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html">RaceResultValidator::AccessPair</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThread.html">CxtThread</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::ConstraintNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html">isa_impl_cl&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="classSVF_1_1RaceResultValidator.html">RaceResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThreadProc.html">CxtThreadProc</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::DCHNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html">isa_impl_cl&lt; To, 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="classSVF_1_1RaceValidator.html">RaceValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThreadStmt.html">CxtThreadStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_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_1RetBlockNode.html">RetBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThreadStmt.html">CxtThreadStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_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_1RetCFGEdge.html">RetCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_d"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;d&#160;&#160;</div></td></tr></table>
-</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">isa_impl_wrap&lt; To, FromTy, FromTy &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_1RetCFGEdge.html">RetCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IteratedDominanceFrontier.html">IteratedDominanceFrontier</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">isa_impl_wrap&lt; To, FromTy, FromTy &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_1RetDirSVFGEdge.html">RetDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IteratedDominanceFrontier.html">IteratedDominanceFrontier</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DCHEdge.html">DCHEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::SVFVar * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_l"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;l&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="classSVF_1_1RetIndSVFGEdge.html">RetIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1AddrStmt.html">AddrStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DCHGraph.html">DCHGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::TCTNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetMU.html">RetMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
@@ -109,11 +109,11 @@ $(function() {
 <tr><td rowspan="2" valign="bottom"><a name="letter_c"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;c&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">DOTGraphTraits&lt; ICFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash.html">Hash</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSACHI.html">MSSACHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html">DOTGraphTraits&lt; IRGraph * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html">hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGBuilder.html">SVFGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html">DOTGraphTraits&lt; OfflineConsG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html">hash&lt; const SVF::ContextCond &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAMU.html">MSSAMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGlobal.html">SVFGlobal</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html">DOTGraphTraits&lt; PTACallGraph * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHI.html">MSSAPHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html">SVFGNodeLockSpan</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallCHI.html">CallCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">DOTGraphTraits&lt; SVFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html">hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">MSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGOPT.html">SVFGOPT</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html">DOTGraphTraits&lt; TCT * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html">Hash&lt; NodePair &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTA.html">MTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGStat.html">SVFGStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallGraphBuilder.html">CallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">DOTGraphTraits&lt; VFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">Hash&lt; std::pair&lt; S, T &gt; &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAAnnotator.html">MTAAnnotator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html">DOTGraphTraits&lt; OfflineConsG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html">hash&lt; const SVF::ContextCond &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAMU.html">MSSAMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGlobal.html">SVFGlobal</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallCHI.html">CallCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html">DOTGraphTraits&lt; PTACallGraph * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHI.html">MSSAPHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html">SVFGNodeLockSpan</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">DOTGraphTraits&lt; SVFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html">hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">MSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGOPT.html">SVFGOPT</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallGraphBuilder.html">CallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html">DOTGraphTraits&lt; TCT * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html">Hash&lt; NodePair &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTA.html">MTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGStat.html">SVFGStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">DOTGraphTraits&lt; VFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">Hash&lt; std::pair&lt; S, T &gt; &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAAnnotator.html">MTAAnnotator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CallIndSVFGEdge.html">CallIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html">hash&lt; std::vector&lt; T &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CallMU.html">CallMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DPItem.html">DPItem</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_1CallSite_01_4.html">hash&lt; SVF::CallSite &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAStat.html">MTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFModule.html">SVFModule</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CallPE.html">CallPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DummyObjVar.html">DummyObjVar</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_1CondStdSet_3_01Element_01_4_01_4.html">hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTASVFGBuilder.html">MTASVFGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
@@ -152,15 +152,15 @@ $(function() {
 </td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CondExpr.html">CondExpr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalINSVFGNode.html">FormalINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structIeeeNanStruct.html">IeeeNanStruct</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CondManager.html">CondManager</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalOUTSVFGNode.html">FormalOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">IndirectSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PCG.html">PCG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ValVar.html">ValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet.html">CondPointsToSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterBlockNode.html">InterBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VarArgPN.html">VarArgPN</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondPTAImpl.html">CondPTAImpl</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalRetVFGNode.html">FormalRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet.html">CondPointsToSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VarArgPN.html">VarArgPN</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondPTAImpl.html">CondPTAImpl</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalRetVFGNode.html">FormalRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterICFGNode.html">InterICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html">CondPointsToSet::CondPtsSetIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FSMPTA.html">FSMPTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html">InterMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html">PersistentIncDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VariantGepStmt.html">VariantGepStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondStdSet.html">CondStdSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunEntryBlockNode.html">FunEntryBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">InterPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitive.html">VersionedFlowSensitive</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondVar.html">CondVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunExitBlockNode.html">FunExitBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraBlockNode.html">IntraBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">VersionedFlowSensitiveStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunptrDDAClient.html">FunptrDDAClient</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondStdSet.html">CondStdSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">InterPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitive.html">VersionedFlowSensitive</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondVar.html">CondVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">VersionedFlowSensitiveStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunptrDDAClient.html">FunptrDDAClient</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html">IntraDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_g"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;g&#160;&#160;</div></td></tr></table>
-</td><td valign="top"><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html">IntraDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFG.html">VFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFGEdge.html">VFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+</td><td valign="top"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFG.html">VFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFGEdge.html">VFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">IntraIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ContextDDA.html">ContextDDA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">IntraMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFPathCond.html">VFPathCond</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraPHIVFGNode.html">IntraPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::PointsToIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_w"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;w&#160;&#160;</div></td></tr></table>
@@ -171,7 +171,7 @@ $(function() {
 <tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVector::CoreBitVectorIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</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_1PTACallGraphNode.html">PTACallGraphNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPAPass.html">WPAPass</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CSC.html">CSC</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html">isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &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_1PTACFInfoBuilder.html">PTACFInfoBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPASCCSolver.html">WPASCCSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structcuddPathPair.html">cuddPathPair</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</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_1PTASCEV.html">PTASCEV</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPASolver.html">WPASolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GlobalBlockNode.html">GlobalBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl&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="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl&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="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html">SCCDetection::GNodeSCCInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html">isa_impl_cl&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="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
 <tr><td></td><td></td><td></td><td></td><td></td></tr>
 </table>

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

@@ -80,7 +80,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6">SVF::SVFGOPT</a>
 </li>
 <li>ActualINSVFGNode()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326">SVF::ActualINSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0">SVF::ActualINSVFGNode</a>
 </li>
 <li>ActualINSVFGNodeSet
 : <a class="el" href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">SVF::SVFG</a>
@@ -92,19 +92,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9">SVF::SVFGOPT</a>
 </li>
 <li>ActualOUTSVFGNode()
-: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0">SVF::ActualOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844">SVF::ActualOUTSVFGNode</a>
 </li>
 <li>ActualOUTSVFGNodeSet
 : <a class="el" href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">SVF::SVFG</a>
 </li>
 <li>ActualParmNodeVec
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a058711bcf2ae9bc15106c8d99ce02c1c">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841">SVF::CallICFGNode</a>
 </li>
 <li>ActualParmVFGNode()
-: <a class="el" href="classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d">SVF::ActualParmVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5">SVF::ActualParmVFGNode</a>
 </li>
 <li>actualRet
-: <a class="el" href="classSVF_1_1RetBlockNode.html#a74ea1e2e7765016e0a07720d9c2e0a81">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c">SVF::RetICFGNode</a>
 </li>
 <li>ActualRetVFGNode()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">SVF::ActualRetVFGNode</a>
@@ -116,23 +116,23 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a42d52c9444028e72ea8e6dc0c8c08ada">SVF::PointerAnalysis</a>
 </li>
 <li>addActualINSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">SVF::SVFG</a>
 </li>
 <li>addActualOUTSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9">SVF::SVFG</a>
 </li>
 <li>addActualParms()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a6d819186e239e68c117af16ed405da84">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59">SVF::CallICFGNode</a>
 </li>
 <li>addActualParmVFGNode()
-: <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ac6a3fe78d1459a79055703ea4afa14c6">SVF::SaberSVFGBuilder</a>
-, <a class="el" href="classSVF_1_1VFG.html#a0fabca3c0f9bebe23f66a914dbb99e39">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec">SVF::SaberSVFGBuilder</a>
+, <a class="el" href="classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53">SVF::VFG</a>
 </li>
 <li>addActualRet()
-: <a class="el" href="classSVF_1_1RetBlockNode.html#ad2cd6f6589ce5464d6fbcac49f115714">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54">SVF::RetICFGNode</a>
 </li>
 <li>addActualRetVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc">SVF::VFG</a>
 </li>
 <li>addAddrCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266">SVF::ConstraintGraph</a>
@@ -194,14 +194,14 @@ $(function() {
 </li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG</a>
 </li>
 <li>addCallGraphNode()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3">SVF::PTACallGraph</a>
 </li>
 <li>addCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a9168a7e686797d5e09d6d9aebea963e3">SVF::ICFG</a>
 </li>
 <li>addCallIndirectSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee">SVF::SVFGOPT</a>
@@ -211,23 +211,23 @@ $(function() {
 </li>
 <li>addCallPE()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325">SVF::SVFIR</a>
 </li>
 <li>addCallSite()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d">SVF::PTACallGraph</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a51f28f03a236b244b636ca88c5511a30">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">SVF::PTACallGraph</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db">SVF::SVFIR</a>
 </li>
 <li>addCallSiteArgs()
-: <a class="el" href="classSVF_1_1SVFIR.html#a5fafbfd6a30b8796b92a3a1f3409767f">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8">SVF::SVFIR</a>
 </li>
 <li>AddCallSiteCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#ac6f2171f92e0bdd5dbdb58efed144c18">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d">SVF::MemSSA</a>
 </li>
 <li>AddCallSiteMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#a1aa05f81640286a796db0ded4e10c7ac">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24">SVF::MemSSA</a>
 </li>
 <li>addCallSiteRets()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3c8070a1d7a6a705433b05dd633185b1">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0">SVF::SVFIR</a>
 </li>
 <li>addCandidate()
 : <a class="el" href="classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8">SVF::DDAClient</a>
@@ -283,10 +283,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85">SVF::VFG</a>
 </li>
 <li>addCPtsToCallSiteMods()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToCallSiteRefs()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToLoad()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967">SVF::MRGenerator</a>
@@ -307,22 +307,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addDirectCallGraphEdge()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#ab0da49175c64d8e2fccd19680d79771e">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df">SVF::PTACallGraph</a>
 </li>
 <li>addDirectCallSite()
-: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9f2ef4c539e31e91f26a3af2ffae26de">SVF::PTACallGraphEdge</a>
+: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158">SVF::PTACallGraphEdge</a>
 </li>
 <li>addDirectForkEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a92e5a3154a98e12bdbbe4e0d39e62b3e">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">SVF::ThreadCallGraph</a>
 </li>
 <li>addDirectJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a62476a033fb54314da61dff6981bf229">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee">SVF::ThreadCallGraph</a>
 </li>
 <li>addDirectlyJoinTID()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe">SVF::ForkJoinAnalysis</a>
 </li>
 <li>addDirectParForEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a700ec3fd1c9d89a7176e05b2f1949aef">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">SVF::ThreadCallGraph</a>
 </li>
 <li>addDpmToLoc()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -381,22 +381,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00">SVF::PCG</a>
 </li>
 <li>addForksite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">SVF::ThreadCallGraph</a>
 </li>
 <li>addFormalINSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d">SVF::SVFG</a>
 </li>
 <li>addFormalOUTSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207">SVF::SVFG</a>
 </li>
 <li>addFormalParms()
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#ae6ebc073885c5d47f685c61097dadf20">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d">SVF::FunEntryICFGNode</a>
 </li>
 <li>addFormalParmVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d">SVF::VFG</a>
 </li>
 <li>addFormalRet()
-: <a class="el" href="classSVF_1_1FunExitBlockNode.html#ae1499a3ea7d5bb90dccd5d04a8b97dfc">SVF::FunExitBlockNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode</a>
 </li>
 <li>addFormalRetVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373">SVF::VFG</a>
@@ -414,10 +414,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26">SVF::CHGBuilder</a>
 </li>
 <li>addFunEntryICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a56afcc853b9cf9fcab1e1472c64d5036">SVF::ICFG</a>
 </li>
 <li>addFunExitICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a7874a7a92beb17fd5a4a9575cb183975">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a2c2daaafcdc20d7e800c94a647c2b9da">SVF::ICFG</a>
 </li>
 <li>addFunRet()
 : <a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">SVF::SVFIR</a>
@@ -453,7 +453,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>addHareParForEdgeSetMap()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a845258d0d19de3dda573521a34dbf705">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">SVF::ThreadCallGraph</a>
 </li>
 <li>addICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b">SVF::ICFG</a>
@@ -486,19 +486,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">SVF::ConstraintNode</a>
 </li>
 <li>addIndirectCallGraphEdge()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a09d0b8461ec0e678e1e69368b0f66b02">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758">SVF::PTACallGraph</a>
 </li>
 <li>addInDirectCallSite()
-: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#aad95920da19b78c0211e68caadba6d39">SVF::PTACallGraphEdge</a>
+: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20">SVF::PTACallGraphEdge</a>
 </li>
 <li>addIndirectCallsites()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa91db3ebf92eacf077ae7b4d0735635b">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68">SVF::SVFIR</a>
 </li>
 <li>addIndirectForkEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a2b0ccaaf219533907c0733b050628100">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7">SVF::ThreadCallGraph</a>
 </li>
 <li>addIndirectParForEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a349b7fce76822de0c13118d9fdcd3db9">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428">SVF::ThreadCallGraph</a>
 </li>
 <li>addInEdge()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">SVF::SVFVar</a>
@@ -534,7 +534,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8">SVF::SVFGOPT</a>
 </li>
 <li>addIntraBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a9c9984f07859c7b0a4cc05ef7acf28af">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a9e1f6fb3e078357ec19a24fcb3bf7537">SVF::ICFG</a>
 </li>
 <li>addIntraDirectVFEdge()
 : <a class="el" href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">SVF::VFG</a>
@@ -555,7 +555,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df">SVF::VFG</a>
 </li>
 <li>addJoinsite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">SVF::ThreadCallGraph</a>
 </li>
 <li>addLCDCandidate()
 : <a class="el" href="classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb">SVF::AndersenLCD</a>
@@ -594,7 +594,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options</a>
 </li>
 <li>addModSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e">SVF::MRGenerator</a>
 </li>
 <li>addModSideEffectOfFunction()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a">SVF::MRGenerator</a>
@@ -673,7 +673,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addParForSite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe">SVF::ThreadCallGraph</a>
 </li>
 <li>addPath()
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
@@ -714,7 +714,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940">SVF::OfflineConsG</a>
 </li>
 <li>addRefSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee">SVF::MRGenerator</a>
 </li>
 <li>addRefSideEffectOfFunction()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf">SVF::MRGenerator</a>
@@ -730,11 +730,11 @@ $(function() {
 </li>
 <li>addRetEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a50702f09af1ea9d50ee4726fc8f8a65c">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG</a>
 </li>
 <li>addRetICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a10a3b111322e551dc781d732e2015261">SVF::ICFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649">SVF::SVFGOPT</a>
@@ -747,7 +747,7 @@ $(function() {
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d">SVF::SVFIR</a>
 </li>
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -783,7 +783,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a1d946482cce92f7b1718a2a8c178be0b">SVF::PCG</a>
 </li>
 <li>addSrcToCSID()
-: <a class="el" href="classSVF_1_1LeakChecker.html#a5046d4a090560dd6f4ffd85631086b10">SVF::LeakChecker</a>
+: <a class="el" href="classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7">SVF::LeakChecker</a>
 </li>
 <li>addStartRoutineOfCxtThread()
 : <a class="el" href="classSVF_1_1TCT.html#a11d9eeffdb1fc777f573fae75f48532a">SVF::TCT</a>
@@ -801,7 +801,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
 </li>
 <li>addStoreStmt()
-: <a class="el" href="classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">SVF::SVFIR</a>
 </li>
 <li>addStoreVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
@@ -843,22 +843,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d">SVF::MTASVFGBuilder</a>
 </li>
 <li>addThreadForkEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a7a311f7789c6c7a028ad0f595c1e0295">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadForkEdgeSetMap()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a29d3e4d720f61b4c29fee9691cedff96">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadForkPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a787dc5aff6f7a7d8ec3a7a23d9f40a7e">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408">SVF::SVFIR</a>
 </li>
 <li>addThreadJoinEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4acfddb8e683bbcc2e3949907361ea29">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadJoinEdgeSetMap()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadJoinPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a4f64a1a266838ac72b66cca138ec57ca">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed">SVF::SVFIR</a>
 </li>
 <li>addThreadMHPIndirectVFEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">SVF::SVFG</a>
@@ -947,7 +947,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d">SVF::VFG</a>
 </li>
 <li>addVFGInterEdges()
-: <a class="el" href="classSVF_1_1VFG.html#ab1f4c2765af027e903634d5262aea80b">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6">SVF::VFG</a>
 </li>
 <li>addVFGNode()
 : <a class="el" href="classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5">SVF::ICFGNode</a>
@@ -1240,7 +1240,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">SVF::VFGNode</a>
 </li>
 <li>APNodes
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a1caa9664587eb96c575af2f293b4cd1e">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22">SVF::CallICFGNode</a>
 </li>
 <li>APOUT
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode</a>