svf-tools 1.0.855 → 1.0.857

package/SVF-doxygen/html/functions_func_g.html

@@ -587,7 +587,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">SVF::CDG</a>
 </li>
 <li>getCDN()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>getCFBasicBlockEdge()
 : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">SVF::CFBasicBlockGraph</a>
@@ -1559,12 +1559,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymState.html#a2916e86763235f565f2a3276631d0d30">SVF::SymState</a>
 </li>
 <li>getKind()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a906097ba3f14728a1e3e0f7f8d8218a6">SVF::CFBasicBlockGWTOComp</a>
-, <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
+: <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">SVF::VFG</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#acb129a6e7dc72b347f21325fbfe970b1">SVF::WTOComponent&lt; GraphT &gt;</a>
 </li>
 <li>getKindToAttrsMap()
 : <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">SVF::CFLGraphBuilder</a>
@@ -2252,7 +2252,7 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2260,12 +2260,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#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849">SVF::WPAPass</a>
 </li>
 <li>getPtsMap()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -2380,7 +2380,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#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">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>
@@ -2536,7 +2536,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>
@@ -2564,7 +2564,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
@@ -2588,7 +2588,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2675,14 +2675,11 @@ $(function() {
 <li>getSymbolInfo()
 : <a class="el" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">SVF::IRGraph</a>
 </li>
-<li>getTails()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
-</li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2696,7 +2693,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2782,9 +2779,6 @@ $(function() {
 <li>getTypeOfElement()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
 </li>
-<li>getTypeSystem()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
-</li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
 </li>
@@ -2922,10 +2916,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a0a012c8124abb103852e081fd5dead7a">SVF::SVFVirtualCallInst</a>
 </li>
-<li>getWTOCycleDepth()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0efb4902bc6933e28b042edf6fc3f94c">SVF::CFBasicBlockGWTO::TailBuilder</a>
-</li>
 <li>getYield()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
@@ -2936,10 +2926,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#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/functions_func_h.html

@@ -523,13 +523,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d">SVF::VFG</a>
 </li>
 <li>head()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801">SVF::CFBasicBlockGWTOCycle</a>
+: <a class="el" href="classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079">SVF::WTOCycle&lt; GraphT &gt;</a>
 </li>
 <li>headBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>headEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>heapAllocatorViaIndCall()
 : <a class="el" href="classSVF_1_1Andersen.html#a7b1b9e9b25b5643440aca77e23a8de07">SVF::Andersen</a>

package/SVF-doxygen/html/functions_func_i.html

@@ -88,6 +88,9 @@ $(function() {
 <li>ICFGWriter()
 : <a class="el" href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter</a>
 </li>
+<li>ICFGWTO()
+: <a class="el" href="classSVF_1_1ICFGWTO.html#aa8a472a41196fd7537908665c631dcbb">SVF::ICFGWTO</a>
+</li>
 <li>id()
 : <a class="el" href="classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca">SVF::Z3Expr</a>
 </li>
@@ -97,6 +100,9 @@ $(function() {
 <li>idToObjMap()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697">SVF::SymbolTableInfo</a>
 </li>
+<li>in_cycleDepth_table()
+: <a class="el" href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">SVF::WTO&lt; GraphT &gt;</a>
+</li>
 <li>inBackwardSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590">SVF::SVFGStat</a>
@@ -183,6 +189,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7">SVF::RaceResultValidator</a>
 , <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488">SVF::SaberCheckerAPI</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1WTO.html#a12d50323eaa2d40925699232beb37747">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>initCFBasicBlockGNodes()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">SVF::CFBasicBlockGBuilder</a>
@@ -297,9 +304,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a808fdc8ff7637d1c9515e71815548983">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>inNodeToCycleDepth()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d">SVF::CFBasicBlockGWTO</a>
-</li>
 <li>inSameCallGraphSCC()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e">SVF::TCT</a>
@@ -690,7 +694,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -761,10 +765,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP</a>
 </li>
 <li>isHead()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a605c2cb15b3c3ff2581d5f2d0a4719a7">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad0c3ea19875191721cd466fe85b91a8c">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -841,7 +845,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -1155,14 +1159,14 @@ $(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#a9c8681767551575a18ee141f7336db05">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#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
+: <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>
@@ -1171,7 +1175,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
@@ -1180,7 +1184,7 @@ $(function() {
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1274,10 +1278,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">SVF::ConstraintGraph</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <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#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/functions_func_n.html

@@ -91,10 +91,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#ada4902d6ee3ad2d37e31c710a36dcc74">SVF::SaberCondAllocator</a>
 </li>
 <li>newCycle()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>newNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>newPointsToId()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127">SVF::PersistentPointsToCache&lt; Data &gt;</a>
@@ -105,13 +105,13 @@ $(function() {
 <li>nextSetIndex()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383">SVF::CoreBitVector</a>
 </li>
-<li>node()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode</a>
-</li>
 <li>Node()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>node()
+: <a class="el" href="classSVF_1_1WTONode.html#aae0fe6c5464535f41f4723c23615e5cd">SVF::WTONode&lt; GraphT &gt;</a>
+</li>
 <li>Node_Index()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver&lt; GraphType &gt;</a>
@@ -167,7 +167,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>NumericLiteral()
-: <a class="el" href="classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd">SVF::NumericLiteral</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1">SVF::NumericLiteral</a>
 </li>
 <li>numToStr()
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter</a>

package/SVF-doxygen/html/functions_func_o.html

@@ -244,11 +244,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f">SVF::SymState</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ab1c9fade2bcd6db9211ddee376b4f04c">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a44cce3ef52a02cfe8d650e9ce079c210">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>operator&lt;=()
 : <a class="el" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>operator=()
 : <a class="el" href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">SVF::AbstractValue</a>
@@ -266,8 +266,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4041183a3671e35c6b0723e76a34a4f3">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#af46e865e21030fff9b23cfc9e0398a32">SVF::CFBasicBlockGWTOComp</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -305,11 +303,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a615411a2d8909668271782398814bc9f">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a1091d05374c8d6b2915bd51fddf30bee">SVF::SingleAbsValue</a>
+, <a class="el" href="classSVF_1_1SingleAbsValue.html#a89a127d236878ac142ce881df41ef793">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -323,8 +321,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a5ab108a0e1be3f33a3c1ffa2beaedf0e">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
-, <a class="el" href="classSVF_1_1WTOVisitor.html#aabdd2c91e25335bee3b45ead13e95189">SVF::WTOVisitor</a>
+, <a class="el" href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#acc32a8927ef0213dbd383f3da3f0fe29">SVF::WTOComponent&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a54c888711f890d9dd691d0c4c81901c9">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#aeca7ef6c7cca3533d72fc8d6a5d9337c">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
 </li>
 <li>operator==()
@@ -367,28 +367,28 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6">SVF::SymState</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ae9765d0ba0c8b8ec83d9482fea016713">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a4779ba4cfc8a0ae23d27ef9d2f3987d0">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>operator&gt;()
 : <a class="el" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a8ca19a3f2f7e79c20c4a4f98897470c7">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>operator&gt;=()
 : <a class="el" href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a0aa519ff93cdab15f9324c6b05df8e47">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>operator[]()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1IntervalESBase.html#af00c9267eb35bf16c88e321ca3009151">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a2f39e01a347d10b2992a46e5cc52ab77">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a8cb105e01839b136618103a3710d9d86">SVF::RelExeState</a>
 </li>
 <li>operator^()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#ad4171d23b56c5402687bac3febb4b233">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>operator|=()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -404,7 +404,7 @@ $(function() {
 : <a class="el" href="classOption.html#a62e78ab5e41cc3ba467c07c014f410e5">Option&lt; T &gt;</a>
 </li>
 <li>OptionBase()
-: <a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a>
+: <a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>
 </li>
 <li>OptionMap()
 : <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
@@ -441,12 +441,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad37525807d9c8d7c12e7166af068134e">SVF::CFBasicBlockNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</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/functions_func_p.html

@@ -226,11 +226,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#abd2c3366cbb4f24b2e0bc30ea282b752">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>pop()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab">SVF::List&lt; Data &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>popFromCTPWorkList()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58">SVF::LockAnalysis</a>
@@ -506,14 +506,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>push()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#afcf3fcda18e8d3e2bad70a51376c0ce1">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1List.html#ae6357e876e0a1fa2f925cc63dacc529c">SVF::List&lt; Data &gt;</a>
-</li>
-<li>push_back()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>pushContext()
 : <a class="el" href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">SVF::ContextCond</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -182,7 +182,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>setCDN()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>setCFCond()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9">SVF::SaberCondAllocator</a>

package/SVF-doxygen/html/functions_func_t.html

@@ -64,9 +64,6 @@ $(function() {
  
 
 <h3><a id="index_t"></a>- t -</h3><ul>
-<li>TailBuilder()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aa7084b799641d5413dd7d8c76cc2bd9e">SVF::CFBasicBlockGWTO::TailBuilder</a>
-</li>
 <li>TCT()
 : <a class="el" href="classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887">SVF::TCT</a>
 </li>
@@ -80,7 +77,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae">SVF::TDForkPE</a>
 </li>
 <li>TDJoinPE()
-: <a class="el" href="classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160">SVF::TDJoinPE</a>
+: <a class="el" href="classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae">SVF::TDJoinPE</a>
 </li>
 <li>teq()
 : <a class="el" href="classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd">SVF::DCHGraph</a>
@@ -181,7 +178,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr</a>
 </li>
 <li>toJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#af798ab5997e573bd5e400e8b08fb72f1">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#ab51aa59719cf95a623bb6fcb1fc2c505">SVF::SVFIRWriter</a>
 </li>
 <li>toNodeBS()
 : <a class="el" href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">SVF::PointsTo</a>
@@ -217,10 +214,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1CDGEdge.html#a1beaf9451e4e535841384cebd26b26c8">SVF::CDGEdge</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#aab6b96ba8af1b8d1ae653fd73e4b86a3">SVF::CDGNode</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">SVF::CFBasicBlockEdge</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2b918d80839deaf3e1b1fa9fe984dbec">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a2d4103fde1e02e8ba88c375d33a1dbad">SVF::CFBasicBlockGWTOComp</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#a0406854fb89bcb7cabe2a83344b8f1f3">SVF::CFBasicBlockGWTOCycle</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a5b614494716dd565c0af2b7e8110f8d0">SVF::CFBasicBlockGWTONode</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117">SVF::CmpVFGNode</a>
@@ -296,7 +289,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a94c9c81ebe4df428c163f999284b6d98">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#a149bad69eb00f216887a42ae0fb518fc">SVF::WTOComponent&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycle.html#a5ecefd827cf83b86839fb3ac300f86b7">SVF::WTOCycle&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a275559cdb0fea5d06b1516c4c49da0ae">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTONode.html#a9afd271657066e8f3e3ed79397780e91">SVF::WTONode&lt; GraphT &gt;</a>
 </li>
 <li>touchCxtStmt()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2">SVF::LockAnalysis</a>

package/SVF-doxygen/html/functions_func_v.html

@@ -166,13 +166,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#add3db3506c3ffc57f6f4fa8aadcb7556">SVF::SVFIRWriter</a>
 </li>
 <li>visit()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1">SVF::CFBasicBlockGWTO::TailBuilder</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
-, <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC</a>
+: <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8">SVF::VersionedFlowSensitive::SCC</a>
-, <a class="el" href="classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8">SVF::WTOVisitor</a>
+, <a class="el" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
+, <a class="el" href="classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
 </li>
 <li>visitAllocaInst()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">SVF::SVFIRBuilder</a>

package/SVF-doxygen/html/functions_func_w.html

@@ -145,14 +145,26 @@ $(function() {
 <li>writeVersionedAnalysisResultToFile()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971">SVF::VersionedFlowSensitive</a>
 </li>
+<li>WTO()
+: <a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">SVF::WTO&lt; GraphT &gt;</a>
+</li>
+<li>WTOComponent()
+: <a class="el" href="classSVF_1_1WTOComponent.html#ad26a0586d1561625da575ffee89872ba">SVF::WTOComponent&lt; GraphT &gt;</a>
+</li>
+<li>WTOComponentVisitor()
+: <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a5f777a348f19da93c6a171b9fedab820">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
+</li>
+<li>WTOCycle()
+: <a class="el" href="classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b">SVF::WTOCycle&lt; GraphT &gt;</a>
+</li>
 <li>WTOCycleDepth()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>WTOCycleDepthBuilder()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
+: <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
 </li>
-<li>WTOVisitor()
-: <a class="el" href="classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd">SVF::WTOVisitor</a>
+<li>WTONode()
+: <a class="el" href="classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce">SVF::WTONode&lt; GraphT &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->