svf-tools 1.0.782 → 1.0.783

package/SVF-doxygen/html/html/functions_s.html

@@ -248,9 +248,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>
@@ -362,9 +359,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>
@@ -534,9 +528,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>
@@ -979,12 +970,12 @@ $(function() {
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
-<li>storesToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
-</li>
 <li>StoresToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
+<li>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -1003,12 +994,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
-<li>Strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
-</li>
 <li>strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
 </li>
+<li>Strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -1080,7 +1071,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue</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>SVFArrayTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType</a>
@@ -1089,10 +1080,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType</a>
 </li>
 <li>SVFBasicBlock()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVF::SVFBasicBlock</a>
-</li>
-<li>SVFBasicBlockToCFBasicBlockNodeMap
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ad3779ac1173bac3f354e50b8722db5">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBB
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVF::SVFValue</a>
@@ -1154,9 +1142,6 @@ $(function() {
 <li>SVFFunctionType()
 : <a class="el" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType</a>
 </li>
-<li>SVFFuncToICFGNodeWrapperMap
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a979e1017ab0650ef7a44262cea58c748">SVF::ICFGWrapper</a>
-</li>
 <li>svfg
 : <a class="el" href="classSVF_1_1CFLVF.html#aed71ea423497a4f64c8b62ee4187210e">SVF::CFLVF</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9">SVF::FlowSensitive</a>
@@ -1230,12 +1215,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>svfgNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
-</li>
 <li>SVFGNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
 </li>
+<li>svfgNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1281,7 +1266,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType</a>
@@ -1524,13 +1509,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
 </li>
-<li>svfModule
-: <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
-</li>
 <li>svfModuleFieldJson
 : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
 </li>
@@ -1556,7 +1539,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType</a>
@@ -1568,7 +1551,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>SVFStmtList
 : <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>

package/SVF-doxygen/html/html/functions_t.html

@@ -388,12 +388,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>TIMEStatMap
-: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
-</li>
 <li>timeStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
+<li>TIMEStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>
@@ -481,9 +481,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>
@@ -697,13 +695,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
+: <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>

package/SVF-doxygen/html/html/functions_type_c.html

@@ -193,6 +193,10 @@ $(function() {
 <li>CFBasicBlockNodes
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">SVF::CFBasicBlockGWTO</a>
 </li>
+<li>CFBBEdgeSetTy
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">SVF::CFBasicBlockEdge</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aefd060ec49a9e2146a7aebdc5e8dfbf6">SVF::CFBasicBlockNode</a>
+</li>
 <li>CFLEdgeDataTy
 : <a class="el" href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">SVF::CFLNode</a>
 </li>
@@ -279,6 +283,8 @@ $(function() {
 <li>const_iterator
 : <a class="el" href="classSVF_1_1CDG.html#a35b7418b3f2f2851c18227fa10e30f4e">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#aca4257495b32baba3eab1ee841e66d78">SVF::CDGNode</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">SVF::CFBasicBlockEdge</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3">SVF::ContextCond</a>
@@ -286,10 +292,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a6e5c30338b5641d47b6abd0f96564f72">SVF::ICFGEdgeWrapper</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a33d8e82c7e951d64367945bd72e4587a">SVF::ICFGNodeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#a56f7b2ec7e2e0fc5d47a6ff4c3e654ff">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2">SVF::POCRSolver</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec">SVF::PTACallGraphNode</a>

package/SVF-doxygen/html/html/functions_type_e.html

@@ -92,7 +92,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_type_i.html

@@ -71,11 +71,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3">SVF::ICFGEdge</a>
 </li>
-<li>ICFGEdgeWrapperSetTy
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a2bd030cf4dbeaeabcd3635ab46412eed">SVF::ICFGEdgeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a65f2eff24af3cc79d07b3af571045092">SVF::ICFGNodeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#ac8ad7d4ac97b1ad2244204a14056dad0">SVF::ICFGWrapper</a>
-</li>
 <li>ICFGNode2SVFStmtsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
 </li>
@@ -95,15 +90,6 @@ $(function() {
 <li>ICFGNodeVector
 : <a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">SVF::CDG</a>
 </li>
-<li>ICFGNodeWrapperPairVector
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a3803dc8e1f590f1abc2ef8763eab0004">SVF::ICFGWrapper</a>
-</li>
-<li>ICFGNodeWrapperVector
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#adb175502284b568799a1d0cb2736b390">SVF::ICFGWrapper</a>
-</li>
-<li>ICFGWrapperNodeIDToNodeMapTy
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#aae9335337421fe0fbabd1a7b2d074f40">SVF::ICFGWrapper</a>
-</li>
 <li>IdToCallSiteMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba">SVF::PTACallGraph</a>
 </li>
@@ -177,13 +163,15 @@ $(function() {
 <li>iterator
 : <a class="el" href="classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0">SVF::CDGNode</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">SVF::CFBasicBlockEdge</a>
 </li>
 <li>Iterator
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b">SVF::CFBasicBlockGWTOCycle</a>
 </li>
 <li>iterator
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6">SVF::CoreBitVector</a>
@@ -191,10 +179,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a9dc48d242ad9e4c265ab827922d60f6d">SVF::ICFGEdgeWrapper</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aec04926ac971feec1465d66acf3dbb06">SVF::ICFGNodeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#a84a6f4b7f962aa950d14c5a5c0cb678f">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3">SVF::POCRSolver</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f">SVF::PointsTo</a>

package/SVF-doxygen/html/html/functions_type_n.html

@@ -112,7 +112,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a5cb946aa10005bc7605528bd09006090">SVF::GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#aab14259075b96fab09dde300fbeff390">SVF::GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a34dfeab39b3cd90b44c10b4e4b02f63c">SVF::GenericGraphTraits&lt; SVF::ICFG * &gt;</a>
-, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#aa2a0f0e4f26640e7be7f136911556ab9">SVF::GenericGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a7a2a2ab036bfeffdeb7d3328fe9c7c50">SVF::GenericGraphTraits&lt; SVF::IRGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a4226541df4a405048579a94ec0573296">SVF::GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#a0e3ed0946d46830533f184f12428bbb0">SVF::GenericGraphTraits&lt; SVF::SVFG * &gt;</a>
@@ -172,7 +171,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a2d2d962ff64827e29a6ad917b611b258">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a07002cad1d9399f1626d5b965b259f2b">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a10af45bcbdbb34263454107c0e5184d4">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#ad3b90b5f85400e0f435236f5a15f8f8d">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#aa3077dc4ff70cb2cf07dd5d4ad96c224">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af92c90b3ed1895cdb345472ee928ea75">SVF::DOTGraphTraits&lt; VFG * &gt;</a>

package/SVF-doxygen/html/html/functions_type_s.html

@@ -106,12 +106,6 @@ $(function() {
 <li>super
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
-<li>SVFBasicBlockToCFBasicBlockNodeMap
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ad3779ac1173bac3f354e50b8722db5">SVF::CFBasicBlockGraph</a>
-</li>
-<li>SVFFuncToICFGNodeWrapperMap
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a979e1017ab0650ef7a44262cea58c748">SVF::ICFGWrapper</a>
-</li>
 <li>SVFGEdgeK
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">SVF::ICFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f">SVF::VFGEdge</a>

package/SVF-doxygen/html/html/functions_v.html

@@ -137,12 +137,12 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>
@@ -355,7 +355,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>
@@ -415,7 +414,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#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <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.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitedCTPs

package/SVF-doxygen/html/html/functions_vars.html

@@ -100,7 +100,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>_bbToNode
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9c4bab700158a9e285bcc71118a59308">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph</a>
 </li>
 <li>_br_cond
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b">SVF::SVFIR2ItvExeState</a>
@@ -114,9 +114,6 @@ $(function() {
 <li>_callGraphSCC
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>_callICFGNodeWrapper
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aae0a4bfca8e74af69c570f9a25a4a126">SVF::ICFGNodeWrapper</a>
-</li>
 <li>_CFBasicBlockG
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder</a>
 </li>
@@ -151,9 +148,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
-<li>_edgeWrapperNum
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a1217fa89fbfaa2d3eceb6dc3fa281b3e">SVF::ICFGWrapper</a>
-</li>
 <li>_endIter
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
@@ -164,12 +158,6 @@ $(function() {
 <li>_exeState
 : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
 </li>
-<li>_funcToFunEntry
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a46883363840546f7b1b72c3726af9c54">SVF::ICFGWrapper</a>
-</li>
-<li>_funcToFunExit
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4db9cf41b8fd87e950989ba26edbec5f">SVF::ICFGWrapper</a>
-</li>
 <li>_graph
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -196,22 +184,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
-<li>_icfg
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a8eb126193a64d4c5c4dbc6db1ee770c0">SVF::ICFGWrapper</a>
-</li>
 <li>_icfgEdge
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a0b964c6ea18a4bb0ce59cfb4e226287e">SVF::ICFGEdgeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">SVF::CFBasicBlockEdge</a>
 </li>
 <li>_icfgNode
 : <a class="el" href="classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba">SVF::CDGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#afb1a2b1811794e94a05db2b6341e7e00">SVF::ICFGNodeWrapper</a>
 </li>
 <li>_icfgNodes
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode</a>
 </li>
-<li>_icfgWrapper
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a674cf5a565b1474045c81c33262ee95f">SVF::ICFGWrapper</a>
-</li>
 <li>_inSCC
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
@@ -300,9 +281,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c">SVF::CFBasicBlockGWTO::TailBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
 </li>
-<li>_nodeWrapperNum
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4bf30edde695c64288311491744f3447">SVF::ICFGWrapper</a>
-</li>
 <li>_num
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">SVF::CFBasicBlockGWTO</a>
 </li>
@@ -442,9 +420,6 @@ $(function() {
 <li>_rep
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
-<li>_retICFGNodeWrapper
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a6a19151c50fdd1201970ae4152f6d70b">SVF::ICFGNodeWrapper</a>
-</li>
 <li>_S
 : <a class="el" href="classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51">SVF::CSC</a>
 </li>
@@ -463,18 +438,12 @@ $(function() {
 <li>_subNodes
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
-<li>_svfBasicBlock
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a5cc563d66215225affbdd71d49e4a5c8">SVF::CFBasicBlockNode</a>
-</li>
 <li>_svfcontrolMap
 : <a class="el" href="classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613">SVF::CDGBuilder</a>
 </li>
 <li>_svfdependentOnMap
 : <a class="el" href="classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e">SVF::CDGBuilder</a>
 </li>
-<li>_svfFunction
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">SVF::CFBasicBlockGraph</a>
-</li>
 <li>_svfg
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass</a>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -177,8 +177,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar</a>
 </li>
 <li>InEdges
-: <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a694296e00a86936cfe1bd5be059eca43">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>inICFGEdges
 : <a class="el" href="classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98">SVF::SVFLoop</a>

package/SVF-doxygen/html/html/functions_vars_o.html

@@ -146,8 +146,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>
 </li>
 <li>OutEdges
-: <a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a4441d57e784b94ada205c0dbafd09547">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outICFGEdges
 : <a class="el" href="classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d">SVF::SVFLoop</a>

package/SVF-doxygen/html/html/functions_w.html

@@ -100,23 +100,21 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
@@ -131,11 +129,13 @@ $(function() {
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>worklist
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
 </li>
@@ -222,7 +222,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300">SVF::CFBasicBlockGWTOComp</a>
 </li>
 <li>WTOCycleDepth()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
 </li>
 <li>WTOCycleDepthBuilder()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>

package/SVF-doxygen/html/html/functions_~.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>