svf-tools 1.0.317 → 1.0.321

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

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -398,25 +398,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>
@@ -444,14 +446,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>
@@ -459,10 +462,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>
@@ -472,11 +475,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_type_b.html

@@ -129,12 +129,6 @@ $(function() {
 <li>BBWorkList
 : <a class="el" href="classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d">SVF::PCG</a>
 </li>
-<li>BinaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a5c4e176e2bc022b571b0b29a258034b9">SVF::SVFIR</a>
-</li>
-<li>BinaryOPList
-: <a class="el" href="classSVF_1_1SVFIR.html#ad4704a620a7e2ec39e059cdc70442214">SVF::SVFIR</a>
-</li>
 <li>BranchCond
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#ad90fb1713be8b6a064e2423da5dd98b3">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1BranchCondManager.html#a37bec50768d5df6317a4ba6c790c569d">SVF::BranchCondManager</a>

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

@@ -210,7 +210,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
 <li>CHNodeSetTy
-: <a class="el" href="classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7">SVF::CHGBuilder</a>
+, <a class="el" href="classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b">SVF::CHGraph</a>
 </li>
 <li>CILockToSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#acdcc3fc4b90e7f67cfb9601ddc31d5f8">SVF::LockAnalysis</a>
@@ -218,12 +219,6 @@ $(function() {
 <li>CISpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229">SVF::LockAnalysis</a>
 </li>
-<li>CmpNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a12df88c75f40c85bb9d2d230b1b1a58f">SVF::SVFIR</a>
-</li>
-<li>CmpPEList
-: <a class="el" href="classSVF_1_1SVFIR.html#a04bd17589cde5b6f058705a2e8fb5719">SVF::SVFIR</a>
-</li>
 <li>Condition
 : <a class="el" href="classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_type_o.html

@@ -70,6 +70,9 @@ $(function() {
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
+</li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>

package/SVF-doxygen/html/html/functions_type_p.html

@@ -102,6 +102,9 @@ $(function() {
 <li>PAGNodeToBinaryOPVFGNodeMapTy
 : <a class="el" href="classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383">SVF::VFG</a>
 </li>
+<li>PAGNodeToBranchVFGNodeMapTy
+: <a class="el" href="classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991">SVF::VFG</a>
+</li>
 <li>PAGNodeToCmpVFGNodeMapTy
 : <a class="el" href="classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0">SVF::VFG</a>
 </li>
@@ -154,7 +157,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1">SVF::MemSSA</a>
 </li>
 <li>PHINodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ac0a3d6c77fb8f170f5661decdd7a6d43">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a93148e8b0e21d2b920f53d46493c1f58">SVF::SVFIR</a>
 </li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_type_u.html

@@ -61,12 +61,6 @@ $(function() {
  
 
 <h3><a id="index_u"></a>- u -</h3><ul>
-<li>UnaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a5458fee250c6f93de78bf4622dbf5f62">SVF::SVFIR</a>
-</li>
-<li>UnaryOPList
-: <a class="el" href="classSVF_1_1SVFIR.html#af25261d5aa1e0e7261d606e176248993">SVF::SVFIR</a>
-</li>
 <li>UpdatedVarconstIter
 : <a class="el" href="classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_type_v.html

@@ -71,6 +71,9 @@ $(function() {
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>
+<li>Var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
+</li>
 <li>VarToPropNodeMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_type_w.html

@@ -66,6 +66,7 @@ $(function() {
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</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_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>

package/SVF-doxygen/html/html/functions_u.html

@@ -64,24 +64,15 @@ $(function() {
 <li>ub
 : <a class="el" href="structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512">DdGen</a>
 </li>
-<li>unaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a6e51761a67856bf9749267742101d33a">SVF::SVFIR</a>
-</li>
-<li>UnaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a5458fee250c6f93de78bf4622dbf5f62">SVF::SVFIR</a>
-</li>
 <li>UnaryOp
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode</a>
 </li>
-<li>UnaryOPList
-: <a class="el" href="classSVF_1_1SVFIR.html#af25261d5aa1e0e7261d606e176248993">SVF::SVFIR</a>
-</li>
 <li>UnaryOPPE()
-: <a class="el" href="classSVF_1_1UnaryOPPE.html#a9ca4c8b29789bcdb93d4392f7c6e6123">SVF::UnaryOPPE</a>
+: <a class="el" href="classSVF_1_1UnaryOPPE.html#a97fda2d05af9a0b74d975f0d644d26ad">SVF::UnaryOPPE</a>
 </li>
 <li>UnaryOPVFGNode()
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132">SVF::UnaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1">SVF::UnaryOPVFGNode</a>
 </li>
 <li>undefType
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a6363466e64eee4405806568d26206d2e">SVF::TypeBasedHeapCloning</a>
@@ -100,10 +91,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a5647b7fad5c14f7ec57d3de3480758eb">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a0b757b12ace04b7b7d1e081ad1b742cf">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9cc43f58ea3be1b7fbc7df7cfe965c3c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache&lt; Data &gt;</a>

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

@@ -132,9 +132,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
-<li>valueNodes
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620">SVF::ExternalPAG</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
@@ -144,6 +141,12 @@ $(function() {
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
+<li>Var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>
@@ -310,7 +313,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>VFPathCond()
-: <a class="el" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">SVF::VFPathCond</a>
+: <a class="el" href="classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c">SVF::VFPathCond</a>
 </li>
 <li>VFS_WPA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">SVF::PointerAnalysis</a>
@@ -387,7 +390,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#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <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.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitedCTPs

package/SVF-doxygen/html/html/functions_vars_a.html

@@ -220,9 +220,6 @@ $(function() {
 <li>arcviolation
 : <a class="el" href="structDdManager.html#aa0b71843baf33ac9815c7bddeb327aa6">DdManager</a>
 </li>
-<li>argNodes
-: <a class="el" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">SVF::ExternalPAG</a>
-</li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_b.html

@@ -100,9 +100,6 @@ $(function() {
 <li>BestCandidate
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>
 </li>
-<li>binaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a5ea6cfb0656b6a60d853a82b5ba99f5c">SVF::SVFIR</a>
-</li>
 <li>bindVar
 : <a class="el" href="structDdSubtable.html#a54a4f8f090e30084c77362e5de3ee591">DdSubtable</a>
 </li>
@@ -137,6 +134,12 @@ $(function() {
 <li>BriefConsCGDotGraph
 : <a class="el" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options</a>
 </li>
+<li>brInst
+: <a class="el" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt</a>
+</li>
+<li>brstmt
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode</a>
+</li>
 <li>bucket
 : <a class="el" href="structDdHashTable.html#a14e9b750bdad0f77294dd8e18f18d32c">DdHashTable</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -221,6 +221,9 @@ $(function() {
 <li>chaMap
 : <a class="el" href="classSVF_1_1DCHGraph.html#ac0d5f1e10f642aac5b64792bf5fcbd9d">SVF::DCHGraph</a>
 </li>
+<li>chg
+: <a class="el" href="classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc">SVF::CHGBuilder</a>
+</li>
 <li>chgraph
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a251638a947815a8ff91a507486cadfcd">SVF::PointerAnalysis</a>
 </li>
@@ -270,9 +273,6 @@ $(function() {
 <li>ClusterMethod
 : <a class="el" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">SVF::Options</a>
 </li>
-<li>cmpNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ac59e0cbd000c33430bd83b4978c777a3">SVF::SVFIR</a>
-</li>
 <li>cnext
 : <a class="el" href="structDdQueueItem.html#a5500eae904c7432f4e08452c93c501fa">DdQueueItem</a>
 </li>
@@ -289,7 +289,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond</a>
 </li>
 <li>cond
-: <a class="el" href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">SVF::MSSACHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -90,8 +90,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>edges
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a6b937c69282317ddf07bdcaaf9c560d4">SVF::ExternalPAG</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">SVF::VFPathCond</a>
+: <a class="el" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">SVF::VFPathCond</a>
 </li>
 <li>edgeType
 : <a class="el" href="classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8">SVF::CHEdge</a>

package/SVF-doxygen/html/html/functions_vars_f.html

@@ -209,18 +209,9 @@ $(function() {
 <li>FuncPointerPrint
 : <a class="el" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">SVF::Options</a>
 </li>
-<li>functionName
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a3afc6af562a7900d682394acc64d5890">SVF::ExternalPAG</a>
-</li>
 <li>FunctionSet
 : <a class="el" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule</a>
 </li>
-<li>functionToExternalPAGEntries
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">SVF::ExternalPAG</a>
-</li>
-<li>functionToExternalPAGReturns
-: <a class="el" href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">SVF::ExternalPAG</a>
-</li>
 <li>funcToInterMap
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078">SVF::IntraDisjointMRG</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_h.html

@@ -70,9 +70,6 @@ $(function() {
 <li>hash
 : <a class="el" href="structst__table.html#a70df318ebef482661599de3bcc536cc3">st_table</a>
 </li>
-<li>hasReturn
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a10963e35a9e28ba2c5d2781a71a2c8bf">SVF::ExternalPAG</a>
-</li>
 <li>HBPair
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019">SVF::ForkJoinAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_m.html

@@ -332,6 +332,9 @@ $(function() {
 <li>multiforked
 : <a class="el" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode</a>
 </li>
+<li>multiOpndLabelCounter
+: <a class="el" href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt</a>
+</li>
 <li>mutPTData
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

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

@@ -64,9 +64,6 @@ $(function() {
 <li>object
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">SVF::DummyVersionPropSVFGNode</a>
 </li>
-<li>objectNodes
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a817a1204dd3469910ee0590679159b14">SVF::ExternalPAG</a>
-</li>
 <li>objMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a">SVF::SymbolTableInfo</a>
 </li>
@@ -110,6 +107,11 @@ $(function() {
 <li>OnTheFlyIterBudgetForStat
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac">SVF::PointerAnalysis</a>
 </li>
+<li>opcode
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a1c30f75eec7e5566612d0d7d940cd000">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a4a79b74096650de3d42b8af538f1d163">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a09724c2ba28387799ec49e9d8683f818">SVF::UnaryOPPE</a>
+</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
@@ -119,6 +121,9 @@ $(function() {
 <li>OPTSVFG
 : <a class="el" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">SVF::Options</a>
 </li>
+<li>opVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -100,6 +100,9 @@ $(function() {
 <li>PAGNodeToBinaryOPVFGNodeMap
 : <a class="el" href="classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6">SVF::VFG</a>
 </li>
+<li>PAGNodeToBranchVFGNodeMap
+: <a class="el" href="classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1">SVF::VFG</a>
+</li>
 <li>PAGNodeToCmpVFGNodeMap
 : <a class="el" href="classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde">SVF::VFG</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_r.html

@@ -167,9 +167,6 @@ $(function() {
 <li>retPEs
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode</a>
 </li>
-<li>returnNode
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a72d638670931f9984cea132f38cdce5a">SVF::ExternalPAG</a>
-</li>
 <li>returnSymMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -284,6 +284,9 @@ $(function() {
 <li>subtableZ
 : <a class="el" href="structDdManager.html#a7e75a8f45ea61dd45c34b114a0f22a34">DdManager</a>
 </li>
+<li>successors
+: <a class="el" href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">SVF::BranchStmt</a>
+</li>
 <li>succset
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262">SVF::MTASVFGBuilder</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_u.html

@@ -64,9 +64,6 @@ $(function() {
 <li>ub
 : <a class="el" href="structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512">DdGen</a>
 </li>
-<li>unaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a6e51761a67856bf9749267742101d33a">SVF::SVFIR</a>
-</li>
 <li>undefType
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a6363466e64eee4405806568d26206d2e">SVF::TypeBasedHeapCloning</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_v.html

@@ -79,12 +79,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFValue.html#ae0c3918bbf8338efd8e6c00c51d9d9d2">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar</a>
 </li>
-<li>valueNodes
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620">SVF::ExternalPAG</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>varargSymMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">SVF::SymbolTableInfo</a>
 </li>

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

@@ -79,11 +79,14 @@ $(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#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</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_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
@@ -91,14 +94,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </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>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <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>

package/SVF-doxygen/html/html/globals_d.html

@@ -725,10 +725,6 @@ $(function() {
 <li>DSaber
 : <a class="el" href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">SVFBasicTypes.h</a>
 </li>
-<li>DumpPAGFunctions
-: <a class="el" href="ExternalPAG_8h.html#acbba9510c89f3a87e7043cf6327ae7cb">ExternalPAG.h</a>
-, <a class="el" href="ExternalPAG_8cpp.html#af98d1169e98f5fca2139efbe0c5b0170">ExternalPAG.cpp</a>
-</li>
 <li>DWPA
 : <a class="el" href="SVFBasicTypes_8h.html#a45d9233db3cad59f4f72b7c573bae180">SVFBasicTypes.h</a>
 </li>

package/SVF-doxygen/html/html/globals_e.html

@@ -127,8 +127,8 @@ $(function() {
 , <a class="el" href="epd_8c.html#a3536c078e406935aad14411b65d8e67b">epd.c</a>
 </li>
 <li>EpdMakeInf()
-: <a class="el" href="epd_8h.html#ad7f335f4d08864f0998ddc0bf9144201">epd.h</a>
-, <a class="el" href="epd_8c.html#ad7f335f4d08864f0998ddc0bf9144201">epd.c</a>
+: <a class="el" href="epd_8c.html#ad7f335f4d08864f0998ddc0bf9144201">epd.c</a>
+, <a class="el" href="epd_8h.html#ad7f335f4d08864f0998ddc0bf9144201">epd.h</a>
 </li>
 <li>EpdMakeNan()
 : <a class="el" href="epd_8h.html#ab4a88d4bcd2b94aed8fb71d15b9cc5f8">epd.h</a>
@@ -166,12 +166,12 @@ $(function() {
 , <a class="el" href="epd_8h.html#ab698b565b8fe370d23a71a92f1cbd460">epd.h</a>
 </li>
 <li>EpdPow2Decimal()
-: <a class="el" href="epd_8c.html#aa69188dd624691e44c14889eba0cd9ca">epd.c</a>
-, <a class="el" href="epd_8h.html#aa69188dd624691e44c14889eba0cd9ca">epd.h</a>
+: <a class="el" href="epd_8h.html#aa69188dd624691e44c14889eba0cd9ca">epd.h</a>
+, <a class="el" href="epd_8c.html#aa69188dd624691e44c14889eba0cd9ca">epd.c</a>
 </li>
 <li>EpdSubtract3()
-: <a class="el" href="epd_8h.html#a766747cec957171a7386fec2faf697cd">epd.h</a>
-, <a class="el" href="epd_8c.html#a766747cec957171a7386fec2faf697cd">epd.c</a>
+: <a class="el" href="epd_8c.html#a766747cec957171a7386fec2faf697cd">epd.c</a>
+, <a class="el" href="epd_8h.html#a766747cec957171a7386fec2faf697cd">epd.h</a>
 </li>
 <li>EpType
 : <a class="el" href="epd_8h.html#a618ccbef690a6439abf31cd8b30330e9">epd.h</a>
@@ -188,9 +188,6 @@ $(function() {
 <li>EXTERN
 : <a class="el" href="util_8c.html#a77366c1bd428629dc898e188bfd182a3">util.c</a>
 </li>
-<li>ExternalPAGArgs()
-: <a class="el" href="ExternalPAG_8cpp.html#aa6aef64c49ac60c404305e2e3d0bb312">ExternalPAG.cpp</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_func_d.html

@@ -337,9 +337,6 @@ $(function() {
 <li>dp2()
 : <a class="el" href="cuddInt_8c.html#a080be670e3403d8e4ab391fcb3a6adae">cuddInt.c</a>
 </li>
-<li>DumpPAGFunctions()
-: <a class="el" href="ExternalPAG_8cpp.html#af98d1169e98f5fca2139efbe0c5b0170">ExternalPAG.cpp</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->