svf-tools 1.0.317 → 1.0.321

package/SVF-doxygen/html/html/functions_c.html

@@ -206,12 +206,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#aca11d1b778309a72e9d345bd02324459">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1TCTEdge.html#a7b3463c5a458ac6472f2a4e531b80a94">SVF::TCTEdge</a>
 </li>
-<li>CallInstToCallGraphEdgesMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9">SVF::PTACallGraph</a>
-</li>
 <li>callinstToCallGraphEdgesMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5">SVF::PTACallGraph</a>
 </li>
+<li>CallInstToCallGraphEdgesMap
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9">SVF::PTACallGraph</a>
+</li>
 <li>CallInstToForkEdgesMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ad0d6585b7d26cd4597466a79e2fedacd">SVF::ThreadCallGraph</a>
 </li>
@@ -472,6 +472,13 @@ $(function() {
 <li>CHEDGETYPE
 : <a class="el" href="classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676">SVF::CHEdge</a>
 </li>
+<li>chg
+: <a class="el" href="classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc">SVF::CHGBuilder</a>
+</li>
+<li>CHGBuilder()
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a436e4f8b1e1cad85f0c7df938afe8c78">SVF::CHGBuilder</a>
+, <a class="el" href="classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733">SVF::CHGraph</a>
+</li>
 <li>CHGKind
 : <a class="el" href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8">SVF::CommonCHGraph</a>
 </li>
@@ -521,7 +528,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a1f2c496e378d01841e4dc164942dc145">SVF::CHNode</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>
@@ -587,8 +595,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e">SVF::BinaryOPPE</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e">SVF::BranchCondExpr</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#a8ac74fdb13bee140b0568f40c3a94b2a">SVF::CallBlockNode</a>
+, <a class="el" href="classSVF_1_1CallBlockNode.html#a1c688ff81489957e775cb2463c59d1ef">SVF::CallBlockNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
@@ -598,7 +608,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a98a1f11f0adc875b9c166dae69875e05">SVF::CloneDummyObjPN</a>
 , <a class="el" href="classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357">SVF::CloneFIObjPN</a>
-, <a class="el" href="classSVF_1_1CloneGepObjPN.html#a4480ad91fff13e921cdb44e56027ae9c">SVF::CloneGepObjPN</a>
+, <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff">SVF::CloneGepObjPN</a>
 , <a class="el" href="classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f">SVF::CmpPE</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -614,7 +624,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f">SVF::DummyValPN</a>
 , <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa">SVF::EntryCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1FIObjPN.html#a2c26eb5e25b2ff2f497e9ee40f84f582">SVF::FIObjPN</a>
+, <a class="el" href="classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832">SVF::FIObjPN</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910">SVF::FlowSensitiveTBHC</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310">SVF::FormalINSVFGNode</a>
@@ -622,7 +632,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158">SVF::FunEntryBlockNode</a>
-, <a class="el" href="classSVF_1_1FunExitBlockNode.html#a5fdc1edafbd26a57c1c563f8df439cfc">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunExitBlockNode.html#abeae6aae021670c80206c1f5a82ccd97">SVF::FunExitBlockNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55">SVF::GepObjPN</a>
 , <a class="el" href="classSVF_1_1GepPE.html#a12fbd8c5a964b509719ab23e01d5bab5">SVF::GepPE</a>
@@ -648,6 +658,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#adab25ebd69f699c019118bc1e099d4f9">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ac55ddd2788fff5bcff8afc5c0b49ad2d">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -662,6 +673,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#a94cd29c0820595436d0a39f4be74699f">SVF::PhiPE</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947">SVF::RetBlockNode</a>
@@ -850,17 +862,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
-<li>cmpNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ac59e0cbd000c33430bd83b4978c777a3">SVF::SVFIR</a>
-</li>
-<li>CmpNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a12df88c75f40c85bb9d2d230b1b1a58f">SVF::SVFIR</a>
-</li>
 <li>CmpPE()
-: <a class="el" href="classSVF_1_1CmpPE.html#a821be09841152674695e12db8d8c11e3">SVF::CmpPE</a>
-</li>
-<li>CmpPEList
-: <a class="el" href="classSVF_1_1SVFIR.html#a04bd17589cde5b6f058705a2e8fb5719">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96">SVF::CmpPE</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1020,7 +1023,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1058,8 +1061,9 @@ $(function() {
 <li>concreteCxt
 : <a class="el" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond</a>
 </li>
-<li>cond()
-: <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
+<li>cond
+: <a class="el" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</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>
@@ -1107,7 +1111,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b">SVF::PathCondAllocator</a>
@@ -1128,7 +1132,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>condToInstMap
 : <a class="el" href="classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329">SVF::CondManager</a>
@@ -1155,9 +1159,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa1e09df7b3724bf18e450b16735998ab">SVF::VFG</a>
 </li>
-<li>connectCallsiteToExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a7a82128508395830433145977dbe37c0">SVF::ExternalPAG</a>
-</li>
 <li>connectDirectVFGEdges()
 : <a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">SVF::VFG</a>
 </li>
@@ -1191,10 +1192,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0">SVF::SVFGStat</a>
 </li>
 <li>connectInheritEdgeViaCall()
-: <a class="el" href="classSVF_1_1CHGraph.html#aba5986ebcbba17f76202d5d14f35585f">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a06db89019c094ad35bea97be1d3b452a">SVF::CHGBuilder</a>
 </li>
 <li>connectInheritEdgeViaStore()
-: <a class="el" href="classSVF_1_1CHGraph.html#a9b7ecdcab366627a2dd636430f0a3b4b">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#acbdf97de6a24cec8d0ae020e3bfb79e6">SVF::CHGBuilder</a>
 </li>
 <li>connectMHPEdges()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d">SVF::MTASVFGBuilder</a>
@@ -1317,7 +1318,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1335,7 +1336,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1344,7 +1345,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyPE()
-: <a class="el" href="classSVF_1_1CopyPE.html#a452b0b5c27b15808c7599325c9b6412d">SVF::CopyPE</a>
+: <a class="el" href="classSVF_1_1CopyPE.html#a97a4136bd528365446ed8706b4be290f">SVF::CopyPE</a>
 </li>
 <li>CopyPEList
 : <a class="el" href="classSVF_1_1SVFIR.html#a76a5c898ac4b12207cb24c1f68aac786">SVF::SVFIR</a>
@@ -1353,13 +1354,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count
 : <a class="el" href="structDdHashItem.html#aa5bce9f94fb976df2a1768f0f0c7d50c">DdHashItem</a>
@@ -1463,7 +1464,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033">SVF::MemSSA</a>
 </li>
 <li>createNode()
-: <a class="el" href="classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a8e915f257224b1d8e40d0e4c9b5e1df0">SVF::CHGBuilder</a>
 </li>
 <li>createObjTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3">SVF::SymbolTableBuilder</a>
@@ -1647,7 +1648,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1689,7 +1690,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
 </li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1698,10 +1699,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1711,12 +1712,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
@@ -1743,7 +1744,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
@@ -1755,7 +1756,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

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

@@ -540,9 +540,6 @@ $(function() {
 <li>DumpFree
 : <a class="el" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">SVF::Options</a>
 </li>
-<li>dumpFunctions()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#acee9fa409f3649dcf2c0f5e6da66ceb0">SVF::ExternalPAG</a>
-</li>
 <li>dumpGraph()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a3fd44d3cfc3f4ab18506870c65df32f5">SVF::PointerAnalysis</a>
 </li>

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

@@ -105,8 +105,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>EdgeSet
 : <a class="el" href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">SVF::VFPathCond</a>
@@ -363,7 +362,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
 <li>expandFIObjs()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a3af0297eb75ac4009433be44bb286d30">SVF::FlowSensitiveTBHC</a>
 </li>
@@ -372,12 +371,12 @@ $(function() {
 , <a class="el" href="structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2">IeeeDoubleStruct</a>
 , <a class="el" href="structIeeeNanStruct.html#aeb28a08581e489042de6f647eb431e5a">IeeeNanStruct</a>
 </li>
-<li>extAPI
-: <a class="el" href="classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618">SVF::ExtAPI</a>
-</li>
 <li>ExtAPI()
 : <a class="el" href="classSVF_1_1ExtAPI.html#af1c46b41e0088411a186228f760a99f3">SVF::ExtAPI</a>
 </li>
+<li>extAPI
+: <a class="el" href="classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618">SVF::ExtAPI</a>
+</li>
 <li>extendBackward()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a">SVF::CoreBitVector</a>
 </li>
@@ -390,9 +389,8 @@ $(function() {
 <li>extendTo()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349">SVF::CoreBitVector</a>
 </li>
-<li>ExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a7401db95a642fc218e6337dce61b98e1">SVF::ExternalPAG</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">SVF::SVFIR</a>
+<li>ExternalPAG
+: <a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">SVF::SVFIR</a>
 </li>
 <li>extf_t
 : <a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094">SVF::ExtAPI</a>

package/SVF-doxygen/html/html/functions_eval_b.html

@@ -77,6 +77,10 @@ $(function() {
 <li>BlkPtr
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03">SVF::SymbolTableInfo</a>
 </li>
+<li>Branch
+: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt</a>
+, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01">SVF::VFGNode</a>
+</li>
 <li>BranchK
 : <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6ab2a0481a51dd867e2d2f196556c24521">SVF::CondExpr</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_p.html

@@ -85,6 +85,9 @@ $(function() {
 <li>PersVersioned
 : <a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>Phi
+: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
+</li>
 <li>Precise
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c">SVF::WPAPass</a>
 </li>

package/SVF-doxygen/html/html/functions_f.html

@@ -403,9 +403,6 @@ $(function() {
 <li>FUNCTION_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515">SVF::ObjTypeInfo</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_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7">SVF::MTASVFGBuilder</a>
@@ -418,12 +415,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a79eb13fae9ea80e9476723c8e15183f6">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">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>FunctionToFormalINsMapTy
 : <a class="el" href="classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038">SVF::SVFG</a>
 </li>
@@ -476,12 +467,12 @@ $(function() {
 <li>FunptrDDAClient()
 : <a class="el" href="classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5">SVF::FunptrDDAClient</a>
 </li>
-<li>FunPtrToCallSitesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
-</li>
 <li>funPtrToCallSitesMap
 : <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
 </li>
+<li>FunPtrToCallSitesMap
+: <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
+</li>
 <li>FunRet
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">SVF::VFGNode</a>
 </li>
@@ -573,12 +564,12 @@ $(function() {
 <li>funToPDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>