svf-tools 1.0.782 → 1.0.783

package/SVF-doxygen/html/html/functions_func_r.html

@@ -153,9 +153,6 @@ $(function() {
 <li>releaseFSWPA()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8">SVF::FlowSensitive</a>
 </li>
-<li>releaseICFGWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#aac34548409f5722182c7a0a585a62c0b">SVF::ICFGWrapper</a>
-</li>
 <li>releaseLLVMModuleSet()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet</a>
 </li>
@@ -219,6 +216,12 @@ $(function() {
 <li>removeCDGNode()
 : <a class="el" href="classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb">SVF::CDG</a>
 </li>
+<li>removeCFBBEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph</a>
+</li>
+<li>removeCFBBNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph</a>
+</li>
 <li>removeCFLInEdge()
 : <a class="el" href="classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a">SVF::CFLNode</a>
 </li>
@@ -249,15 +252,9 @@ $(function() {
 <li>removeICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf">SVF::ICFG</a>
 </li>
-<li>removeICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a2566b0ef4ae6c86aef8f9ac063947509">SVF::ICFGWrapper</a>
-</li>
 <li>removeICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb">SVF::ICFG</a>
 </li>
-<li>removeICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a90bf154ba64f42ba9bf9ac08c8866000">SVF::ICFGWrapper</a>
-</li>
 <li>removeIncomingAddrEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6">SVF::ConstraintNode</a>
 </li>
@@ -265,8 +262,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500">SVF::ConstraintNode</a>
 </li>
 <li>removeIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aaca796cf612ae68edeb949b8e20364f4">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1595d3b9c142ae3bfeb144b3deb88935">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>removeIncomingLoadEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b">SVF::ConstraintNode</a>
@@ -283,6 +280,9 @@ $(function() {
 <li>removeMDTag()
 : <a class="el" href="classSVF_1_1Annotator.html#a35dabd3a84615e730b34f568623ad8f5">SVF::Annotator</a>
 </li>
+<li>removeNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a772a7259fa9ef0eae1ec2ba30b17587f">SVF::CFBasicBlockNode</a>
+</li>
 <li>removeOutEdges()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d">SVF::SVFGOPT</a>
 </li>
@@ -293,8 +293,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f">SVF::ConstraintNode</a>
 </li>
 <li>removeOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ab5e10f79dcdbbf82d0326fac224c206c">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a2e09d431bbe6a9a70c04db17d89eda2c">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>removeOutgoingLoadEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0">SVF::ConstraintNode</a>
@@ -430,7 +430,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee">SVF::RetMU&lt; Cond &gt;</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -439,7 +439,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9">SVF::FormalRetVFGNode</a>
 </li>
 <li>RetPN()
-: <a class="el" href="classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23">SVF::RetPN</a>
+: <a class="el" href="classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23">SVF::RetPN</a>
 </li>
 <li>retSyms()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -178,9 +178,6 @@ $(function() {
 <li>setCallGraphSCC()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>setCallICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a9c88141ac224a795635a3cac3fdead56">SVF::ICFGNodeWrapper</a>
-</li>
 <li>setCDN()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO</a>
 </li>
@@ -212,7 +209,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8">SVF::PointsTo</a>
 </li>
 <li>setCurrentLocation()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a18b425afe4cb7fc230c219334d2c458e">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a15105737c91d01ba9daf2161fad220ef">SVF::SVFIRBuilder</a>
 </li>
 <li>setCurrentQueryPtr()
 : <a class="el" href="classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f">SVF::DDAClient</a>
@@ -292,9 +289,6 @@ $(function() {
 <li>setICFG()
 : <a class="el" href="classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec">SVF::SVFIR</a>
 </li>
-<li>setICFGEdge()
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#afc87848a02fcaae4605861f14ca165d1">SVF::ICFGEdgeWrapper</a>
-</li>
 <li>setICFGNode()
 : <a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">SVF::VFGNode</a>
@@ -464,9 +458,6 @@ $(function() {
 <li>setRetICFGNode()
 : <a class="el" href="classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20">SVF::CallICFGNode</a>
 </li>
-<li>setRetICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ab863f24d8c1b58b1e5dba02671abe349">SVF::ICFGNodeWrapper</a>
-</li>
 <li>setScalar()
 : <a class="el" href="classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4">SVF::DCHNode</a>
 </li>
@@ -567,7 +558,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
 <li>SingleAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a0f0a092868104d0f8e0c4c16ec07009b">SVF::SingleAbsValue</a>
+: <a class="el" href="classSVF_1_1SingleAbsValue.html#ad6fca68c9815414866c39c7000f35f23">SVF::SingleAbsValue</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>
@@ -651,8 +642,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -695,10 +686,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
@@ -706,22 +697,22 @@ $(function() {
 <li>store()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823">SVF::RelExeState</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>storeVAddrs()
 : <a class="el" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -745,11 +736,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFArgument()
-: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayType()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType</a>
@@ -770,16 +761,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633">SVF::SVFCallInst</a>
 </li>
 <li>SVFConstant()
-: <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
+: <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
-: <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
 : <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
@@ -797,7 +788,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">SVF::SVFGBuilder</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#a18dc40d9d9007c928a5b9d92c269cd87">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNodeLockSpan()
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e">SVF::SVFGNodeLockSpan</a>
@@ -863,7 +854,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
 <li>SVFStructType()
 : <a class="el" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVF::SVFStructType</a>
@@ -875,13 +866,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
 </li>
 <li>SVFVirtualCallInst()
 : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd">SVF::SVFVirtualCallInst</a>
 </li>
 <li>Symbol()
-: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_func_t.html

@@ -207,9 +207,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638">SVF::GepVFGNode</a>
 , <a class="el" href="classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47">SVF::GlobalICFGNode</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a6ed40c8fb227854d8c76eeb251701f37">SVF::ICFGEdgeWrapper</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aa404c26d3fbbaabfef0ffeba1e450802">SVF::ICFGNodeWrapper</a>
 , <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">SVF::InterPHIVFGNode</a>

package/SVF-doxygen/html/html/functions_func_v.html

@@ -155,7 +155,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#afe90b2a51288455d5a8ee2c0aaa58707">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929">SVF::VFG</a>
@@ -164,7 +163,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader</a>
 </li>
 <li>virtToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a7cb8eb8f3e50390ae1c551f1329d6846">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#add3db3506c3ffc57f6f4fa8aadcb7556">SVF::SVFIRWriter</a>
 </li>
 <li>visit()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1">SVF::CFBasicBlockGWTO::TailBuilder</a>
@@ -206,7 +205,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder</a>
 </li>
 <li>visited()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitExtractElementInst()

package/SVF-doxygen/html/html/functions_func_~.html

@@ -280,18 +280,6 @@ $(function() {
 <li>~ICFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a6dea0df51f68b621fcabef6a3ce9e778">SVF::ICFGEdge</a>
 </li>
-<li>~ICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a0a635e6d28d90ecadf2e5ec23b9e157a">SVF::ICFGEdgeWrapper</a>
-</li>
-<li>~ICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ab1c43a4e8aabcf554a48dfda6bdf2e4e">SVF::ICFGNodeWrapper</a>
-</li>
-<li>~ICFGWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a014026db5f64c8674ec32772251b4f00">SVF::ICFGWrapper</a>
-</li>
-<li>~ICFGWrapperBuilder()
-: <a class="el" href="classSVF_1_1ICFGWrapperBuilder.html#a00851c4b99b50a01d6238f305c175911">SVF::ICFGWrapperBuilder</a>
-</li>
 <li>~InterDisjointMRG()
 : <a class="el" href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">SVF::InterDisjointMRG</a>
 </li>

package/SVF-doxygen/html/html/functions_g.html

@@ -521,9 +521,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetICFGNode.html#a98c5e8394aa337e53a5ba8f4b0a245d4">SVF::RetICFGNode</a>
 , <a class="el" href="classSVF_1_1TCT.html#a90f5d399420894f087a24d315ad2ee8e">SVF::TCT</a>
 </li>
-<li>getCallICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a4bc53b9fce4066344e3c71d7e5bf7f90">SVF::ICFGNodeWrapper</a>
-</li>
 <li>getCallInst()
 : <a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42">SVF::RetPE</a>
@@ -638,7 +635,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>getCFBasicBlockEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a1bde348163056b87d5679b0bb91413a9">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">SVF::CFBasicBlockGraph</a>
 </li>
 <li>getCFBasicBlockGraph()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1">SVF::CFBasicBlockGBuilder</a>
@@ -1012,7 +1009,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a274c4364c648cfb35deb9dda37f4a547">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#af1b3645c9eb434b163c60e374d5428ab">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a0722462dfd91b70ee09cec6f511dd644">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#a6a0e0c3a79f93e526835f146b1ea624c">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab279f3042677c2120a23d83bd0ed4039">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
@@ -1047,7 +1043,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a22b5a3147fd8e7daa4a3dc703df135be">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a66e40fd1741f5a5dd418bb73e7299be5">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a18996409976ff870789803b76a0c04f7">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#a695cb1f054c49a353e7e1d09bb24aa42">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a59a5e6cd5edb423e927bd1d08bc78aa9">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
@@ -1060,9 +1055,6 @@ $(function() {
 <li>getEdgeType()
 : <a class="el" href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge</a>
 </li>
-<li>getEdgeWrapperNum()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#ae4649434664e9eadd2edcb212c6fbc62">SVF::ICFGWrapper</a>
-</li>
 <li>getElementNum()
 : <a class="el" href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath</a>
 </li>
@@ -1288,9 +1280,6 @@ $(function() {
 <li>getFunctionType()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a7660f2d57d671c4826186e85eaff055d">SVF::SVFFunction</a>
 </li>
-<li>getFunEntry()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a5689d48a1be0caa0617bc80b74c25e77">SVF::ICFGWrapper</a>
-</li>
 <li>getFunEntryBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#acc261924103bd0c357acd3acfa6cf38a">SVF::ICFG</a>
 </li>
@@ -1304,9 +1293,6 @@ $(function() {
 <li>getFunEntryNode()
 : <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e">SVF::FormalINSVFGNode</a>
 </li>
-<li>getFunExit()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#ad2cdfcfda5579fc98c4fee42e79f3cf0">SVF::ICFGWrapper</a>
-</li>
 <li>getFunExitBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#a22d7f37a0cb2df90f73c1f2e3eaa71c6">SVF::ICFG</a>
 </li>
@@ -1420,7 +1406,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6030238b53d8145bc69285dcc629c16b">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a3ea6e02395874966b0f4944104388ddb">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a68b94951ed25f24c455a6c6fb8cc7a1f">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#af8f909e8483b696c275e2812a3ebc8fd">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a38e619de70d79e38d3d65d521f224d07">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4234340e5806dc49b6c450736a1a4d94">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ae7bb12f8b7bd9230599f461060fdd38b">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
@@ -1435,28 +1420,21 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR</a>
 </li>
 <li>getICFGEdge()
-: <a class="el" href="classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a5771aba204129513ce6b22871a7bc27b">SVF::ICFGEdgeWrapper</a>
-</li>
-<li>getICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#ac7c36b5adafc2fe9886205b8d72e0ec0">SVF::ICFGWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">SVF::CFBasicBlockEdge</a>
+, <a class="el" href="classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475">SVF::ICFG</a>
 </li>
 <li>getICFGNode()
 : <a class="el" href="classSVF_1_1CDGNode.html#a5d230e1bd20951869df6453a1a929022">SVF::CDGNode</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a6d94dc57c4d7a70eada4ca4c115e279c">SVF::ICFGNodeWrapper</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">SVF::VFGNode</a>
 </li>
+<li>getICFGNodeNum()
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#afbf1bb58613f86e4761db3ccc16a9401">SVF::CFBasicBlockNode</a>
+</li>
 <li>getIcfgNodeToSVFLoopVec()
 : <a class="el" href="classSVF_1_1ICFG.html#a412c24cf17c977b9337eca9d25a0ec0d">SVF::ICFG</a>
 </li>
-<li>getICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a34183331424d0440fbc40691be1c9188">SVF::ICFGWrapper</a>
-</li>
-<li>getICFGWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#adc4a07c34f62c98993dbf968b243b687">SVF::ICFGWrapper</a>
-</li>
 <li>getId()
 : <a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">SVF::MemObj</a>
@@ -1506,8 +1484,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">SVF::SVFIR</a>
 </li>
 <li>getInEdges()
-: <a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a962701d7ca922f3fd2891f2b75a3cd67">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a6bfafe540f83e097370ca0dc66422214">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getInEdgeWithTy()
 : <a class="el" href="classSVF_1_1CFLNode.html#a38123f7bd5e33fb085d0108bcbdc9729">SVF::CFLNode</a>
@@ -1910,7 +1888,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a6a127e760a76f581b57edcdbe607eab6">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a97e3cbb530c0b4c0dcb9aa0de9406ed3">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#a6ff82ac563438483991cb76eda831a50">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
@@ -1942,7 +1919,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a23e6aa55ef0b0e4ca3573c2bf0185dcf">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a120207fca1bca1b08817bdec4ff39610">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#a09df9cdc40e6e01d1bb4a5e2e58e9a54">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
@@ -1956,9 +1932,6 @@ $(function() {
 <li>getNodePtr()
 : <a class="el" href="classSVF_1_1GenericGraphReader.html#ab09fa674af96a107ac14306eae021381">SVF::GenericGraphReader&lt; NodeTy, EdgeTy &gt;</a>
 </li>
-<li>getNodeWrapperNum()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a077e509145bff1dad023d42df2df6584">SVF::ICFGWrapper</a>
-</li>
 <li>getNonterminals()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase</a>
 </li>
@@ -2024,7 +1997,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">SVF::IRGraph</a>
@@ -2097,12 +2070,6 @@ $(function() {
 <li>getOrAddBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#ae832950bae16346dd25f9e47ee13c34c">SVF::ICFGBuilder</a>
 </li>
-<li>getOrAddCFBasicBlockEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a5083e0c8e1c26d3ca7104c8f6310a37f">SVF::CFBasicBlockGraph</a>
-</li>
-<li>getOrAddCFBasicBlockNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a2e5ee754a3979b4f1c298a0f56083eba">SVF::CFBasicBlockGraph</a>
-</li>
 <li>getOrAddInterBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a5d7c24a1bf3300f784741ed8dba5a683">SVF::ICFGBuilder</a>
 </li>
@@ -2132,8 +2099,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">SVF::SVFModule</a>
 </li>
 <li>getOutEdges()
-: <a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a9bcf325bc7ab0fb10931761af16219c0">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getOutEdgeWithTy()
 : <a class="el" href="classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542">SVF::CFLNode</a>
@@ -2149,7 +2116,7 @@ $(function() {
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a829e59b4f8cf01c125cf8a9b45f7b7d0">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
@@ -2245,7 +2212,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
 <li>getPostDomTreeMap()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2254,7 +2221,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
@@ -2264,7 +2231,7 @@ $(function() {
 </li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
@@ -2337,7 +2304,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2417,9 +2384,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
 </li>
-<li>getRetICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#af756c63ebd535c9e7cb82d00b383f326">SVF::ICFGNodeWrapper</a>
-</li>
 <li>getRetParmAtJoinedSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
 </li>
@@ -2453,7 +2417,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2496,7 +2460,6 @@ $(function() {
 : <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a5aa39463364e34edd365d8eb743d93c6">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#a3142940503868cfacb57fdf9cb14a32f">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
@@ -2610,7 +2573,7 @@ $(function() {
 </li>
 <li>getStringArg()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
 </li>
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2660,7 +2623,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2751,10 +2714,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -3011,10 +2974,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>