svf-tools 1.0.317 → 1.0.321

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

@@ -79,9 +79,6 @@ $(function() {
 <li>parForSitesEnd()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728">SVF::ThreadCallGraph</a>
 </li>
-<li>parseExternalPAGs()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a50cf3da29657a69d66396a6951f628d8">SVF::ExternalPAG</a>
-</li>
 <li>parseSelfCycleHandleOption()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d">SVF::SVFGOPT</a>
 </li>
@@ -98,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">SVF::VFPathCond</a>
 </li>
 <li>PathStmtDPItem()
-: <a class="el" href="classSVF_1_1PathStmtDPItem.html#a0f2d575defc85aca8c3f85353edba685">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>PCG()
 : <a class="el" href="classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081">SVF::PCG</a>
@@ -170,6 +167,9 @@ $(function() {
 <li>PersistentVersionedPTData()
 : <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
+<li>PhiPE()
+: <a class="el" href="classSVF_1_1PhiPE.html#ac23c761f684a91cdf62e04228430cfdd">SVF::PhiPE</a>
+</li>
 <li>PHIVFGNode()
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode</a>
 </li>
@@ -186,7 +186,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22">SVF::PointsTo</a>
 </li>
 <li>PointsToIterator()
-: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16">SVF::PointsTo::PointsToIterator</a>
+: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>pop()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList&lt; Data &gt;</a>
@@ -473,7 +473,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720">SVF::VersionedFlowSensitive</a>
 </li>
 <li>PTASCEV()
-: <a class="el" href="classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70">SVF::PTASCEV</a>
+: <a class="el" href="classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>

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

@@ -66,13 +66,12 @@ $(function() {
 </li>
 <li>readFromFile()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1ExternalPAG.html#ae010036c742cfdf95fad5355f0100984">SVF::ExternalPAG</a>
 </li>
 <li>readFromModule()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a857cdacfc8cafdeb1431bdfa077ef9b5">SVF::BVDataPTAImpl</a>
 </li>
 <li>readInheritanceMetadataFromModule()
-: <a class="el" href="classSVF_1_1CHGraph.html#a315f0dc381d62f99bede32f08aa9cde8">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058">SVF::CHGBuilder</a>
 </li>
 <li>readPAGgepNodes()
 : <a class="el" href="classSVF_1_1IRAnnotator.html#a7f69afba3424c615736bffe2469d9a20">SVF::IRAnnotator</a>
@@ -303,7 +302,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a93486083c0f186b91e655cbef2382634">SVF::LeakChecker</a>
 </li>
 <li>requiredBits()
-: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad0f0a6b61a044db819c253f8b9ab093e">SVF::NodeIDAllocator::Clusterer</a>
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a9aea96839c51ac1e2cbf4813174bb21c">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>reset()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aced740c1aadf06b4a63630844fac2dd8">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -404,7 +403,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
-, <a class="el" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">SVF::MTA</a>
+, <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()

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

@@ -347,9 +347,6 @@ $(function() {
 <li>setRetBlockNode()
 : <a class="el" href="classSVF_1_1CallBlockNode.html#a8ad5091c13a0dc2f6518a0e3340dcb05">SVF::CallBlockNode</a>
 </li>
-<li>setReturnNode()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a8f692a4725b0b9d548f816c71b2c3401">SVF::ExternalPAG</a>
-</li>
 <li>setScalar()
 : <a class="el" href="classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4">SVF::DCHNode</a>
 </li>
@@ -474,8 +471,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -530,10 +527,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StorePE()
-: <a class="el" href="classSVF_1_1StorePE.html#a077224fe9876211abacd4f4ff10ed062">SVF::StorePE</a>
+: <a class="el" href="classSVF_1_1StorePE.html#a685978a3b742ea163a2ccc5f704f5e26">SVF::StorePE</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -545,14 +542,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFBasicBlock()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#abf53678f536d64c4d979600c9fe429d1">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944">SVF::SVFFunction</a>
 </li>
 <li>SVFG()
 : <a class="el" href="classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12">SVF::SVFG</a>

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

@@ -136,25 +136,27 @@ $(function() {
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">SVF::ActualOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa">SVF::ActualRetVFGNode</a>
-, <a class="el" href="classSVF_1_1AddrPE.html#a202747525079d2946a26f43e71a7c194">SVF::AddrPE</a>
+, <a class="el" href="classSVF_1_1AddrPE.html#a90d1b41129c54f2ee5f43f55149596a3">SVF::AddrPE</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5">SVF::ArgumentVFGNode</a>
-, <a class="el" href="classSVF_1_1BinaryOPPE.html#a88ed686dbd153c863e9063471722f337">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BinaryOPPE.html#af72be46571cfe62db580282080b54144">SVF::BinaryOPPE</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1CallBlockNode.html#ae4ea32a63a095f27e973bc8bf6e38262">SVF::CallBlockNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e">SVF::CallIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1CallPE.html#acf586dd6d455c381d1b6f6e95ef228e4">SVF::CallPE</a>
+, <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a30dc38493f8d078b58e684f62a1834e7">SVF::CloneDummyObjPN</a>
 , <a class="el" href="classSVF_1_1CloneFIObjPN.html#aa2b28fe8abd1d131849e95708a640934">SVF::CloneFIObjPN</a>
 , <a class="el" href="classSVF_1_1CloneGepObjPN.html#a77863cea018e2489e7cb05cb38cae654">SVF::CloneGepObjPN</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#a69fa89fb9e2137e32555d2ce3a510752">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a421aaae2483b5df73c08e2b65b65372c">SVF::CmpPE</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4">SVF::CondVar&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee">SVF::ContextCond</a>
-, <a class="el" href="classSVF_1_1CopyPE.html#ac1232ca5d43be2c7f68ed86d9e158c72">SVF::CopyPE</a>
+, <a class="el" href="classSVF_1_1CopyPE.html#a05802cdb7820f524f539353c99056295">SVF::CopyPE</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c">SVF::DirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1DummyObjPN.html#a1f355f6eeeaaba782d24ba3db48adea4">SVF::DummyObjPN</a>
@@ -182,14 +184,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e">SVF::IntraPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1LoadPE.html#a827b665b667174b9aa5fbde846207d5f">SVF::LoadPE</a>
+, <a class="el" href="classSVF_1_1LoadPE.html#a3fbb6dbe97deace81d7267de650bc1e9">SVF::LoadPE</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04">SVF::LoadVFGNode</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921">SVF::MRSVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#ac83263efe5e7f66dc3d9ed496c099a16">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepPE.html#aee053977f8178bb34a0e0ef00b38d960">SVF::NormalGepPE</a>
 , <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9">SVF::NullPtrVFGNode</a>
 , <a class="el" href="classSVF_1_1ObjPN.html#aca96a0173b40f7917ebc814a5a0b1372">SVF::ObjPN</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#a0febb111a72ad77edf514c62e0a5cb9f">SVF::PhiPE</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973">SVF::PTACallGraphNode</a>
@@ -197,10 +200,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa">SVF::RetCFGEdge</a>
 , <a class="el" href="classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf">SVF::RetDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5">SVF::RetIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1RetPE.html#ad8d044af7c089cddae99d8ac24a7969a">SVF::RetPE</a>
+, <a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>
 , <a class="el" href="classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8">SVF::StmtVFGNode</a>
-, <a class="el" href="classSVF_1_1StorePE.html#a5fa112e5ed76a41effb11343a433c8c1">SVF::StorePE</a>
+, <a class="el" href="classSVF_1_1StorePE.html#a4e810eb248504871c8cb2f979779aad9">SVF::StorePE</a>
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar</a>
@@ -210,11 +213,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7">SVF::ThreadJoinEdge</a>
 , <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521">SVF::ThreadMHPIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#af81c662850dbe211a476fdf65aaef378">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#addab62c4c919b0c04abbcea383082e1f">SVF::UnaryOPPE</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValPN.html#a417f15b3dba7f5e36fb5c8ed46dccd8e">SVF::ValPN</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>
-, <a class="el" href="classSVF_1_1VariantGepPE.html#a6b07bff6314141157f0a965cc8383730">SVF::VariantGepPE</a>
+, <a class="el" href="classSVF_1_1VariantGepPE.html#a7cf29abb58c401251e9be71329338833">SVF::VariantGepPE</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_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">SVF::VFPathCond</a>

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

@@ -282,9 +282,6 @@ $(function() {
 <li>getAndersenAnalysis()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>getArgNodes()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">SVF::ExternalPAG</a>
-</li>
 <li>getArgOperand()
 : <a class="el" href="classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a">SVF::CallSite</a>
 </li>
@@ -329,15 +326,9 @@ $(function() {
 <li>getBBToPhiSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA</a>
 </li>
-<li>getBinaryNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a7a22298e0c19fa5ef156b8934dde88ce">SVF::SVFIR</a>
-</li>
 <li>getBinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d">SVF::VFG</a>
 </li>
-<li>getBinaryPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#a2431fc9172f303c15c274f0e0b35c1a7">SVF::SVFIR</a>
-</li>
 <li>getBlackHoleNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab2b4725a8fcae8a1bc3c026d236005b8">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0">SVF::IRGraph</a>
@@ -361,6 +352,15 @@ $(function() {
 <li>getBranchCondtion()
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef">SVF::IntraCFGEdge</a>
 </li>
+<li>getBranchInst()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">SVF::BranchStmt</a>
+</li>
+<li>getBranchStmt()
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#abbb429b521b54c2d7a6d8d7f52751455">SVF::BranchVFGNode</a>
+</li>
+<li>getBranchVFGNode()
+: <a class="el" href="classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843">SVF::VFG</a>
+</li>
 <li>getBVPointsTo()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -558,12 +558,6 @@ $(function() {
 <li>getClones()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getCmpNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1391337b9336d12088c06625155f9bbe">SVF::SVFIR</a>
-</li>
-<li>getCmpPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#a34f31a31bc62fc441bcd9472b3ce196d">SVF::SVFIR</a>
-</li>
 <li>getCmpVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">SVF::VFG</a>
 </li>
@@ -584,6 +578,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca">SVF::PathCondAllocator</a>
 </li>
+<li>getCondition()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt</a>
+</li>
 <li>getCondKind()
 : <a class="el" href="classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef">SVF::CondExpr</a>
 </li>
@@ -643,7 +640,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">SVF::ConstraintNode</a>
 </li>
 <li>getCSClasses()
-: <a class="el" href="classSVF_1_1CHGraph.html#a687d4d05b4c7db21d85256cd03efe08b">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#adc3e52b70db841cb1566a1fb855256b6">SVF::CHGBuilder</a>
 </li>
 <li>getCSIDAtCall()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a2ce589a1d63a5126e178fc47527e0f92">SVF::ContextDDA</a>
@@ -824,10 +821,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getDstID()
-: <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a8931941a1b06e14b91cce4a96275a430">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a8f70278ac9d9bf4cd8750c474646b0e2">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#a22cddfea40eae983e8837d2a0dc7883f">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a4787898e7f2b72bf00994fb664c5136d">SVF::UnaryOPPE</a>
 </li>
 <li>getDstNode()
-: <a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#ac8a72c9d79dc893d95b4e4bf27a88fe6">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a4e66cb6ffd9d6a6dd6d575ce091bec5f">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#aa40c8037d8ddb883ba044aba4d528c80">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a5b34d99314a12894af2a155dd85cc4da">SVF::UnaryOPPE</a>
 </li>
 <li>getDT()
 : <a class="el" href="classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197">SVF::MemSSA</a>
@@ -859,11 +866,8 @@ $(function() {
 <li>getEdgeKind()
 : <a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
-<li>getEdges()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">SVF::ExternalPAG</a>
-</li>
 <li>getEdgeSet()
-: <a class="el" href="classSVF_1_1IRGraph.html#a3071bd100577507b49859f1b1e23fa77">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e">SVF::SVFIR</a>
 </li>
 <li>getEdgeSourceLabel()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
@@ -1044,9 +1048,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f">SVF::RetMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">SVF::SVFVar</a>
 </li>
-<li>getFunctionName()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a25d59d95afaa5f548e09e6e625a14f33">SVF::ExternalPAG</a>
-</li>
 <li>getFunctionType()
 : <a class="el" href="classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f">SVF::CallSite</a>
 </li>
@@ -1140,7 +1141,6 @@ $(function() {
 </li>
 <li>getGNode()
 : <a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a27a4fcd20c56e8454ea525c17db8ab2b">SVF::NullPtrVFGNode</a>
 </li>
 <li>getGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">SVF::PTACallGraph</a>
@@ -1236,7 +1236,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#a894a69fa143d3f460d433646a0521b6f">SVF::CHGraph</a>
 </li>
 <li>getInstancesAndDescendants()
-: <a class="el" href="classSVF_1_1CHGraph.html#aef3ce1727cb91581d6cd1123cf767cfb">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30">SVF::CHGBuilder</a>
 </li>
 <li>getInstPAGEdgeList()
 : <a class="el" href="classSVF_1_1SVFIR.html#adf344b7cbcebd343b026b9b4b9d72fdb">SVF::SVFIR</a>
@@ -1379,7 +1379,7 @@ $(function() {
 </li>
 <li>getLockVal()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48">SVF::ThreadAPI</a>
 </li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1447,8 +1447,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">SVF::MRGenerator</a>
@@ -1624,6 +1624,10 @@ $(function() {
 <li>getNumStridePair()
 : <a class="el" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet</a>
 </li>
+<li>getNumSuccessors()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6">SVF::BranchVFGNode</a>
+</li>
 <li>getObj()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906">SVF::SymbolTableInfo</a>
 </li>
@@ -1638,9 +1642,6 @@ $(function() {
 <li>getObjectNodeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#a8e9b2e37b36433c01e90d54a4edbf7f3">SVF::IRGraph</a>
 </li>
-<li>getObjectNodes()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG</a>
-</li>
 <li>getObjSize()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a0f6e58467a6c280181c0366ca6331f98">SVF::SymbolTableBuilder</a>
 </li>
@@ -1666,12 +1667,32 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepPE.html#a38ac1dd06ada0a04e13a038f8b69e3e5">SVF::NormalGepPE</a>
 </li>
+<li>getOpcode()
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#ac1738c0751fb19b56af2e3296a4b439f">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#aac8a0b9e765da7baa617c14cc6154ea2">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a8884cec63c7eea39f0e767bcedf74b3d">SVF::UnaryOPPE</a>
+</li>
 <li>getOperand()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
 <li>getOpIncomingBB()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70">SVF::IntraPHIVFGNode</a>
 </li>
+<li>getOpndVars()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt</a>
+</li>
+<li>getOpVar()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a9e1afd73d1cd1f03e6e4e46cce5f1a64">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595">SVF::UnaryOPVFGNode</a>
+</li>
+<li>getOpVarID()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a4a5fb44d0171a871d5434fc97f9cf21d">SVF::UnaryOPPE</a>
+</li>
+<li>getOpVarNum()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt</a>
+</li>
 <li>getOpVer()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a4c71d3d586a5389f524f93ca82ffe0e5">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a62a87f7ee66c51302e093bbaf5d0901b">SVF::CmpVFGNode</a>
@@ -1777,6 +1798,9 @@ $(function() {
 <li>getPAGEdgesFromInst()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a820e30118868947b62f0a558da5512fc">SVF::MRGenerator</a>
 </li>
+<li>getPAGNode()
+: <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode</a>
+</li>
 <li>getPAGNodeKindValue()
 : <a class="el" href="classSVF_1_1ICFGPrinter.html#a54f0729c869b5061b5fb9fe056c326ef">SVF::ICFGPrinter</a>
 </li>
@@ -1821,12 +1845,6 @@ $(function() {
 <li>getPHIComplementCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#abef2785eb426d5e1d6f273300c691db6">SVF::PathCondAllocator</a>
 </li>
-<li>getPhiCopyPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#acfad220c028d3d3209eca362da09d35a">SVF::SVFIR</a>
-</li>
-<li>getPhiNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a4824eb27f3b4616f74b5caf25195727c">SVF::SVFIR</a>
-</li>
 <li>getPHISet()
 : <a class="el" href="classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274">SVF::MemSSA</a>
 </li>
@@ -1867,7 +1885,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis</a>
 </li>
 <li>getPTAEdgeSet()
-: <a class="el" href="classSVF_1_1IRGraph.html#a2e2b2090569c09c2e2f1d90d04fd2f8b">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6">SVF::SVFIR</a>
 </li>
 <li>getPTAPAGEdgeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">SVF::IRGraph</a>
@@ -1947,9 +1965,15 @@ $(function() {
 <li>getRes()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a80eb6a6681caf7407d7e16b36d7cb658">SVF::UnaryOPPE</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode</a>
 </li>
+<li>getResID()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#add17d2cf1d1ad46faf343c8f2ee2a5f8">SVF::UnaryOPPE</a>
+</li>
 <li>getResVer()
 : <a class="el" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">SVF::MSSAPHISVFGNode</a>
@@ -1965,7 +1989,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1978,7 +2002,6 @@ $(function() {
 </li>
 <li>getReturnNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1ExternalPAG.html#ab32ce97e36e69379bc6b70c1657bbaa6">SVF::ExternalPAG</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92">SVF::SVFIRBuilder</a>
 </li>
@@ -1990,7 +2013,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</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>
@@ -2048,10 +2071,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4">SVF::LeakChecker</a>
 </li>
 <li>getSrcID()
-: <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a62e2bf0b9c769c23f537ba4d3537b42b">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#aa69a4905db6aa3a5a24645be84d75a2e">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#a3744f6f373df3d4671ba6064437cb562">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a470aed30aaa89484ae29c55729596322">SVF::UnaryOPPE</a>
 </li>
 <li>getSrcNode()
-: <a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a13f8f936a0f8b3614543ec9cbb60eb58">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a8809fbf0f9b34769a3fc0025996df8bc">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#ad6ab8b64a2868f38cc309584efd6ab53">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a9ebc160ddba554b395cef580b694a316">SVF::UnaryOPPE</a>
 </li>
 <li>getSSAVersion()
 : <a class="el" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer</a>
@@ -2115,8 +2148,16 @@ $(function() {
 <li>getSubs()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
 </li>
+<li>getSuccessor()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30">SVF::BranchVFGNode</a>
+</li>
+<li>getSuccessors()
+: <a class="el" href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#abed63cf10f8e8cb9bb4b01772e4b0c6d">SVF::BranchVFGNode</a>
+</li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2158,7 +2199,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2239,20 +2280,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
 </li>
-<li>getUnaryNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a8ab6b4a744b462a36aa469fe30345577">SVF::SVFIR</a>
-</li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
 </li>
-<li>getUnaryPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#ae29da52f0907f16446d95dc758ddd3d7">SVF::SVFIR</a>
-</li>
 <li>getUnifyExit()
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca">SVF::MergeFunctionRets</a>
 </li>
@@ -2297,9 +2332,6 @@ $(function() {
 <li>getValueNodeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22">SVF::IRGraph</a>
 </li>
-<li>getValueNodes()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">SVF::ExternalPAG</a>
-</li>
 <li>getVarargNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">SVF::IRGraph</a>
@@ -2376,10 +2408,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</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#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>