svf-tools 1.0.781 → 1.0.783

package/SVF-doxygen/html/html/functions_d.html

@@ -307,14 +307,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256">SVF::ConstraintGraph</a>
 </li>
 <li>directInEdgeBegin()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#abe0a1628c5d43a9200c98a9cb7115c16">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directInEdgeEnd()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a71935b6b78a7fbff2f78ae03f1e07470">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">SVF::ConstraintNode</a>
@@ -323,14 +323,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad">SVF::ForkJoinAnalysis</a>
 </li>
 <li>directOutEdgeBegin()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a6aef1e624a62a05d2cfe57064f00067b">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directOutEdgeEnd()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ad1ae40b6d40395a7bd702b90772694b5">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">SVF::ConstraintNode</a>
@@ -407,7 +407,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6ee6203a72086167e4277a43f0a3f6fd">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a642a365cfbcfd84e6df4b76afd08cc4a">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a8b20aa3687b959574334d55646db4418">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#af5f92a908f90027cb31f4f7d00987ea5">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#adafb93ca8d752a5405c5ec39bcb76e18">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a682f25ccfcb9ff37d6323ce8bce7ca64">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
@@ -493,7 +492,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f">SVF::CFBasicBlockGraph</a>
-, <a class="el" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">SVF::CFGrammar</a>
+, <a class="el" href="classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded">SVF::CFGrammar</a>
 , <a class="el" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">SVF::CFLGraph</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -509,7 +508,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d">SVF::EntryCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#a160d84b3af17cbeadcffc45b68bf82e9">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329">SVF::LoadMU&lt; Cond &gt;</a>
@@ -557,7 +555,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>dumpCxt()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
 <li>DumpFree
@@ -567,7 +565,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options</a>
 </li>
 <li>dumpInterlev()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7">SVF::MTAResultValidator</a>
 </li>
 <li>DumpJson
 : <a class="el" href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">SVF::Options</a>

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

@@ -287,7 +287,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>equalICFGEdgeWrapper
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a1c311364f337aaeef787c2f96f1a087e">SVF::ICFGEdgeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">SVF::CFBasicBlockEdge</a>
 </li>
 <li>equalMemRegion
 : <a class="el" href="classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262">SVF::MemRegion</a>

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

@@ -263,6 +263,12 @@ $(function() {
 <li>addCDGNodesFromVector()
 : <a class="el" href="classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f">SVF::CDG</a>
 </li>
+<li>addCFBBEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph</a>
+</li>
+<li>addCFBBNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph</a>
+</li>
 <li>addCFLEdge()
 : <a class="el" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph</a>
 </li>
@@ -487,21 +493,12 @@ $(function() {
 <li>addICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b">SVF::ICFG</a>
 </li>
-<li>addICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a070d287dc910dae3956108be85b54675">SVF::ICFGWrapper</a>
-</li>
 <li>addICFGInterEdges()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783">SVF::ICFGBuilder</a>
 </li>
 <li>addICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973">SVF::ICFG</a>
 </li>
-<li>addICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a61ddfb8c09db9b844c362a01235f3183">SVF::ICFGWrapper</a>
-</li>
-<li>addICFGNodeWrapperFromICFGNode()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a1f26477b83e906503a144ec9a55fbd88">SVF::ICFGWrapper</a>
-</li>
 <li>addIncomingAddrEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">SVF::ConstraintNode</a>
 </li>
@@ -512,8 +509,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819">SVF::ConstraintNode</a>
 </li>
 <li>addIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a44f7a8a0e20cbd84999791715d408578">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>addIncomingGepEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">SVF::ConstraintNode</a>
@@ -657,7 +654,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a">SVF::SVFGOPT</a>
 </li>
 <li>addNode()
-: <a class="el" href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">SVF::IRGraph</a>
 </li>
 <li>addNodeIntoWorkList()
 : <a class="el" href="classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
@@ -718,9 +716,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67">SVF::ConstraintNode</a>
 </li>
 <li>addOutgoingEdge()
-: <a class="el" href="classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d">SVF::CFLNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a59dc0f5017e4f1949e1cbf0b4f4b3a0b">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d">SVF::CFLNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a5b1d2a7e458e5c910a5e7dc5b129cbcd">SVF::ICFGNodeWrapper</a>
 </li>
 <li>addOutgoingGepEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">SVF::ConstraintNode</a>
@@ -1000,7 +998,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1034,7 +1032,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
@@ -1043,7 +1041,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
 </li>
 <li>alias_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
@@ -1175,7 +1173,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -175,12 +175,11 @@ $(function() {
 </li>
 <li>build()
 : <a class="el" href="classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97">SVF::CDGBuilder</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">SVF::CFBasicBlockGBuilder</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
-, <a class="el" href="classSVF_1_1ICFGWrapperBuilder.html#a9141cf4488d61d09907869e6ae1a2bc6">SVF::ICFGWrapperBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa">SVF::PAGBuilderFromFile</a>
@@ -306,7 +305,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTable()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>

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

@@ -141,13 +141,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDGNode.html#a2d8c242701bca378ac8e98acf9b48552">SVF::CDGNode</a>
 </li>
 <li>CFBasicBlockEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">SVF::CFBasicBlockEdge</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">SVF::CFBasicBlockEdge</a>
 </li>
 <li>CFBasicBlockGBuilder()
-: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a24c285ef9522d889397519f91f1b91fd">SVF::CFBasicBlockGBuilder</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947">SVF::CFBasicBlockGBuilder</a>
 </li>
 <li>CFBasicBlockGraph()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ad042f65d6b9ce50db37e0c2584228fa3">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#afad7ee1f21bf2983d4aa40cccf368137">SVF::CFBasicBlockGraph</a>
 </li>
 <li>CFBasicBlockGWTO()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">SVF::CFBasicBlockGWTO</a>
@@ -162,7 +162,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a06da59237001e5b4436eae7bf7dda429">SVF::CFBasicBlockGWTONode</a>
 </li>
 <li>CFBasicBlockNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a23b45345db53640e342c28778d44c38e">SVF::CFBasicBlockNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">SVF::CFBasicBlockNode</a>
 </li>
 <li>CFGNormalizer()
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">SVF::CFGNormalizer</a>
@@ -262,7 +262,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5">SVF::Andersen</a>
-, <a class="el" href="classSVF_1_1AndersenBase.html#a0167fa7b59571c07b2cbec08905f6629">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
 , <a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
@@ -324,7 +324,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe">SVF::IntraDirSVFGEdge</a>
-, <a class="el" href="classSVF_1_1IntraICFGNode.html#a295649753e583729a9f3bfd9e8a1e87f">SVF::IntraICFGNode</a>
+, <a class="el" href="classSVF_1_1IntraICFGNode.html#a00e015884ec85772b161cc7b4a5bfbd8">SVF::IntraICFGNode</a>
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e">SVF::IntraPHIVFGNode</a>
@@ -355,7 +355,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1PHIVFGNode.html#a1c5073aade64acbac65e8a8add61e231">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a4699fc06762e2d2573bbe3c0fd903da4">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a">SVF::RetCFGEdge</a>
 , <a class="el" href="classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb">SVF::RetDirSVFGEdge</a>
@@ -474,7 +474,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#af686e607c3dd26a08a36c4212107d78d">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a080969ab00b584d44ea9afbd2baa740a">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a7560a47f1e8894b9025b779c4794138c">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -526,10 +526,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aedd12e894fb2c17d2201f4049e5f3793">SVF::VersionedFlowSensitive</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -554,7 +554,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator</a>
 </li>
 <li>collectCallsiteTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae76dbc090bc0039de0c82fb9e9fa72bd">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator</a>
 </li>
 <li>collectCandidateQueries()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360">SVF::AliasDDAClient</a>
@@ -571,7 +571,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -587,7 +587,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder</a>
 </li>
 <li>collectInterleavingTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a044d4c936df5b37496076c173f0dd503">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a3c3eacff786230d093d27615ff360ed4">SVF::MTAResultValidator</a>
 </li>
 <li>collectLoadStoreInst()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#ab84e4295f1137090bdf9e0608a4c2077">SVF::MTAAnnotator</a>
@@ -651,7 +651,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectTCTTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a47b07809c67e2a48245f19ae2a7a488c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
 </li>
 <li>collectTypeInfo()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">SVF::LLVMModuleSet</a>
@@ -741,7 +741,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPTAImpl()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a60678dda5071557483b27d09d26dc270">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -753,7 +753,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -813,7 +813,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#ad619c8c3874b9c65e706651d6a1c22ab">SVF::ConsExeState</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
 </li>
 <li>constant_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule</a>
@@ -853,10 +853,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a4a61edccc5cdea0b353a0dbeb53f740b">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a32fb1b1ff8c53745842b8b691c3abd5e">SVF::SVFIRWriter</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -865,16 +865,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -897,10 +897,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cpyItvToLocal()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">SVF::IntervalExeState</a>
@@ -1007,25 +1007,25 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadStmt()
 : <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>

package/SVF-doxygen/html/html/functions_func_d.html

@@ -149,24 +149,24 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970">SVF::PTACallGraphEdge</a>
 </li>
 <li>directInEdgeBegin()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#abe0a1628c5d43a9200c98a9cb7115c16">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directInEdgeEnd()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a71935b6b78a7fbff2f78ae03f1e07470">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directOutEdgeBegin()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a6aef1e624a62a05d2cfe57064f00067b">SVF::ICFGNodeWrapper</a>
 </li>
 <li>directOutEdgeEnd()
-: <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ad1ae40b6d40395a7bd702b90772694b5">SVF::ICFGNodeWrapper</a>
 </li>
 <li>DirectSVFGEdge()
 : <a class="el" href="classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95">SVF::DirectSVFGEdge</a>
@@ -216,7 +216,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6ee6203a72086167e4277a43f0a3f6fd">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a642a365cfbcfd84e6df4b76afd08cc4a">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a8b20aa3687b959574334d55646db4418">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#af5f92a908f90027cb31f4f7d00987ea5">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#adafb93ca8d752a5405c5ec39bcb76e18">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a682f25ccfcb9ff37d6323ce8bce7ca64">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
@@ -228,7 +227,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a">SVF::DoubleFreeChecker</a>
 </li>
 <li>DPItem()
-: <a class="el" href="classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df">SVF::DPItem</a>
+: <a class="el" href="classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8">SVF::DPItem</a>
 </li>
 <li>DummyObjVar()
 : <a class="el" href="classSVF_1_1DummyObjVar.html#ae5e65493edff2eca47a901b15ee0dff7">SVF::DummyObjVar</a>
@@ -261,7 +260,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d">SVF::EntryCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#a160d84b3af17cbeadcffc45b68bf82e9">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329">SVF::LoadMU&lt; Cond &gt;</a>
@@ -306,7 +304,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>dumpCxt()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
 <li>dumpInterlev()