svf-tools 1.0.781 → 1.0.783

package/SVF-doxygen/html/html/functions_func_g.html

@@ -456,9 +456,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>
@@ -573,7 +570,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>
@@ -947,7 +944,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>
@@ -982,7 +978,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>
@@ -995,9 +990,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>
@@ -1223,9 +1215,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>
@@ -1239,9 +1228,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>
@@ -1355,7 +1341,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>
@@ -1370,28 +1355,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>
@@ -1441,8 +1419,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>
@@ -1731,7 +1709,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a081be672a9fc1b1fd93f00d390b8fc95">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1845,7 +1823,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>
@@ -1877,7 +1854,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>
@@ -1891,9 +1867,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>
@@ -2032,12 +2005,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>
@@ -2067,8 +2034,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>
@@ -2088,7 +2055,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2269,12 +2236,12 @@ $(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>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass</a>
 </li>
 <li>getPtsMap()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -2349,9 +2316,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#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
 </li>
@@ -2385,7 +2349,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>
@@ -2428,7 +2392,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>
@@ -2542,7 +2505,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>
@@ -2567,10 +2530,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
@@ -2686,7 +2649,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2777,7 +2740,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066">SVF::DCHNode</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()
@@ -2943,10 +2906,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#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/html/functions_func_h.html

@@ -242,7 +242,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">SVF::CDG</a>
 </li>
 <li>hasCFBasicBlockEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839">SVF::CFBasicBlockGraph</a>
+</li>
+<li>hasCFBasicBlockNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516">SVF::CFBasicBlockGraph</a>
 </li>
 <li>hasCHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
@@ -343,18 +346,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr</a>
 </li>
-<li>hasICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4152357fcc3e0cd7e6e63e5c0eae4815">SVF::ICFGWrapper</a>
-</li>
 <li>hasICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
-<li>hasICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#ab582fdf8a332db97c3414e013c11181c">SVF::ICFGWrapper</a>
-</li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#acdd899bad767f9351961b64ad0af6ccb">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ac468c52cc443f1137f6d5fb510a8ac46">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -396,7 +393,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
 : <a class="el" href="classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512">SVF::TCT</a>
@@ -427,8 +424,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a8257838748dae3fe2f6e1c329213ce06">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1b02680eb7b603ffaed3eecd2f09455e">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -73,9 +73,6 @@ $(function() {
 <li>ICFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">SVF::ICFGEdge</a>
 </li>
-<li>ICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a7d2ded0d73605918c73b48eba7d54d6f">SVF::ICFGEdgeWrapper</a>
-</li>
 <li>ICFGNode()
 : <a class="el" href="classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6">SVF::ICFGNode</a>
 </li>
@@ -85,18 +82,9 @@ $(function() {
 <li>ICFGNodesEnd()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2">SVF::SVFLoop</a>
 </li>
-<li>ICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aeba5968ce7ab2859e69bb78ffc4de975">SVF::ICFGNodeWrapper</a>
-</li>
 <li>ICFGStat()
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">SVF::ICFGStat</a>
 </li>
-<li>ICFGWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a7a7a1a8f9aba659a9fe5ae58c84fd1cd">SVF::ICFGWrapper</a>
-</li>
-<li>ICFGWrapperBuilder()
-: <a class="el" href="classSVF_1_1ICFGWrapperBuilder.html#af3c30eab15cb08ec459ac76a64af2577">SVF::ICFGWrapperBuilder</a>
-</li>
 <li>ICFGWriter()
 : <a class="el" href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter</a>
 </li>
@@ -107,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b">SVF::PCG</a>
 </li>
 <li>idToObjMap()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697">SVF::SymbolTableInfo</a>
 </li>
 <li>inBackwardSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">SVF::ProgSlice</a>
@@ -165,12 +153,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21">SVF::SVFGStat</a>
 </li>
 <li>InEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ac6a9670cb97922875a7db0f3cbee2b0b">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a36e13381f80af68ba51a038314ae8b39">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>InEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aebccce8861260f448dee3826cfbabf5f">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a8a9df60ba644f5387506c8bec1fea61d">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>inEdgesBegin()
 : <a class="el" href="classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf">SVF::SVFLoop</a>
@@ -923,13 +911,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -964,7 +952,6 @@ $(function() {
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">SVF::DefaultDOTGraphTraits</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa89ef1fbbc6ff785a933f45201054af6">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a4157da89f5224f90d19a505131e5a8bf">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#abf7abdeb19d067867dacbf5384f91488">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aafa70c57c0bbad9c2334b83d88eb1a89">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
@@ -1025,7 +1012,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1173,17 +1160,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1194,7 +1181,7 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
@@ -1295,7 +1282,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_func_o.html

@@ -160,6 +160,7 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f">std::hash&lt; SVF::SymState &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade">std::hash&lt; SVF::Z3Expr &gt;</a>
+, <a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html#a98d11fc92ce13e41762ad33cddd77e07">SVF::CFBasicBlockEdge::equalCFBBEdge</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">SVF::GrammarBase::SymbolHash</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">SVF::GrammarBase::SymbolVectorHash</a>
@@ -167,7 +168,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">SVF::Hash&lt; CoreBitVector &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash&lt; NodePair &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>
-, <a class="el" href="structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper.html#a643cf99beb6c5c5a06af7862286609b2">SVF::ICFGEdgeWrapper::equalICFGEdgeWrapper</a>
 , <a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b">SVF::MemRegion::equalMemRegion</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e">SVF::SVFUtil::equalNodeBS</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9">SVF::SVFUtil::equalPointsTo</a>
@@ -328,6 +328,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AccessPath.html#a9a21ba7604bc851f743250c9bd6afe35">SVF::AccessPath</a>
 , <a class="el" href="classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec">SVF::CallSite</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">SVF::CFBasicBlockEdge</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5">SVF::CondStdSet&lt; Element &gt;</a>
@@ -346,8 +347,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">SVF::GrammarBase::Symbol</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#aa23ace3554cff8fcf86e70f0d7169486">SVF::ICFGEdgeWrapper</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj</a>
@@ -387,7 +387,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>opPts()
@@ -397,7 +397,7 @@ $(function() {
 : <a class="el" href="classOption.html#a62e78ab5e41cc3ba467c07c014f410e5">Option&lt; T &gt;</a>
 </li>
 <li>OptionBase()
-: <a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>
+: <a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a>
 </li>
 <li>OptionMap()
 : <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
@@ -434,12 +434,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a0f4c31bacc64d6e378df4a085bbec562">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a559c0d5fbcfc4c4da276e44f08cd51c2">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -524,7 +524,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>