svf-tools 1.0.320 → 1.0.324

package/SVF-doxygen/html/html/functions_h.html

@@ -398,10 +398,6 @@ $(function() {
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
 </li>
-<li>hasPAGEdgeList()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#ade4dc34350ab7d5e05295dfdd5d019c6">SVF::SVFIR</a>
-</li>
 <li>hasParentThread()
 : <a class="el" href="classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce">SVF::TCT</a>
 </li>
@@ -411,8 +407,8 @@ $(function() {
 <li>hasPointsTo()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
-<li>hasPTAPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a90f8da69c50f9aa82366ca9b88eb5027">SVF::SVFIR</a>
+<li>hasPTASVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">SVF::SVFIR</a>
 </li>
 <li>HASPTR_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9">SVF::ObjTypeInfo</a>
@@ -448,6 +444,10 @@ $(function() {
 <li>hasSVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">SVF::SVFG</a>
 </li>
+<li>hasSVFStmtList()
+: <a class="el" href="classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">SVF::SVFIR</a>
+</li>
 <li>hasTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/html/functions_i.html

@@ -99,6 +99,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">SVF::VFGNode</a>
 </li>
+<li>icfgNode2PTASVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">SVF::SVFIR</a>
+</li>
+<li>icfgNode2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
+</li>
+<li>ICFGNode2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
+</li>
 <li>ICFGNodeIDToNodeMapTy
 : <a class="el" href="classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d">SVF::ICFG</a>
 </li>
@@ -255,7 +264,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>InEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar</a>
 </li>
 <li>InEdges
 : <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -378,9 +387,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d">SVF::IntraBlockNode</a>
-, <a class="el" href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">SVF::LoadMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46">SVF::LoadMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2">SVF::RetPE</a>
-, <a class="el" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">SVF::StoreCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>inst2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt</a>
@@ -388,15 +397,6 @@ $(function() {
 <li>Inst2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
 </li>
-<li>inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a711d8a047ab8db4fdcac9d53aadf561c">SVF::SVFIR</a>
-</li>
-<li>Inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a945fd37adc7071bd71d7aff65445544e">SVF::SVFIR</a>
-</li>
-<li>inst2PTAPAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b">SVF::SVFIR</a>
-</li>
 <li>INSTANCE
 : <a class="el" href="classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77">SVF::DCHEdge</a>
 </li>
@@ -1225,14 +1225,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a0ff50b4312b9aa2c7ebd00e9a40a2668">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
@@ -1250,7 +1250,7 @@ $(function() {
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>

package/SVF-doxygen/html/html/functions_k.html

@@ -105,6 +105,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">SVF::VFG</a>
 </li>
+<li>KindToPTASVFStmtSetMap
+: <a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">SVF::IRGraph</a>
+</li>
+<li>KindToSVFStmtMapTy
+: <a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVF::SVFStmt</a>
+</li>
+<li>KindToSVFStmtSetMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">SVF::IRGraph</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_l.html

@@ -157,7 +157,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">SVF::MSSAMU&lt; Cond &gt;</a>
 </li>
 <li>LoadMU()
-: <a class="el" href="classSVF_1_1LoadMU.html#a2288f957cbd10892eb6f3a4d3d0e39ee">SVF::LoadMU&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca">SVF::LoadMU&lt; Cond &gt;</a>
 </li>
 <li>LOADMU
 : <a class="el" href="classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1">SVF::MemSSA</a>
@@ -166,9 +166,6 @@ $(function() {
 <li>loadOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">SVF::ConstraintNode</a>
 </li>
-<li>LoadPE()
-: <a class="el" href="classSVF_1_1LoadPE.html#a1d0bc42c2bb9d19e2427d17f1627f9eb">SVF::LoadPE</a>
-</li>
 <li>LoadSet
 : <a class="el" href="classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b">SVF::MTA</a>
 </li>
@@ -178,23 +175,26 @@ $(function() {
 <li>loadSrcNodes
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282">SVF::AliasDDAClient</a>
 </li>
+<li>LoadStmt()
+: <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
+</li>
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
 <li>LoadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
+</li>
+<li>LoadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
-<li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
-</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>
 <li>LoadToMUSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35">SVF::MemSSA</a>
 </li>
 <li>loadToPTCVarMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -314,9 +314,9 @@ $(function() {
 </li>
 <li>ls
 : <a class="el" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN</a>
-, <a class="el" href="classSVF_1_1GepValPN.html#afb8bad0c8d61cd59410d99a405dfa9e8">SVF::GepValPN</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#abb2e135f44a20e5f9005a83fb8f72e7d">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#a5dd71e9aea01d5dc2bf8fc070e67cadd">SVF::NormalGepStmt</a>
 </li>
 <li>lsa
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0">SVF::MTAAnnotator</a>

package/SVF-doxygen/html/html/functions_m.html

@@ -304,7 +304,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18">SVF::VersionedFlowSensitive</a>
 </li>
 <li>mem
-: <a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN</a>
+: <a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar</a>
 </li>
 <li>MemObj()
 : <a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">SVF::MemObj</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -302,8 +302,8 @@ $(function() {
 <li>NormalGepCGEdge()
 : <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
 </li>
-<li>NormalGepPE()
-: <a class="el" href="classSVF_1_1NormalGepPE.html#af5df28b9937418a6551235895312d0bd">SVF::NormalGepPE</a>
+<li>NormalGepStmt()
+: <a class="el" href="classSVF_1_1NormalGepStmt.html#a6769f3460e31e3f91921bee6156e144c">SVF::NormalGepStmt</a>
 </li>
 <li>normalized
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">SVF::CondPTAImpl&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_o.html

@@ -70,9 +70,6 @@ $(function() {
 <li>ObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">SVF::SVFVar</a>
 </li>
-<li>ObjPN()
-: <a class="el" href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">SVF::ObjPN</a>
-</li>
 <li>ObjSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00">SVF::SymbolTableInfo</a>
 </li>
@@ -103,6 +100,9 @@ $(function() {
 <li>ObjTypeInfo()
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d">SVF::ObjTypeInfo</a>
 </li>
+<li>ObjVar()
+: <a class="el" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar</a>
+</li>
 <li>oCG
 : <a class="el" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD</a>
 </li>
@@ -138,9 +138,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</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>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
 </li>
 <li>operator &amp;=()
 : <a class="el" href="classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad">SVF::CondStdSet&lt; Element &gt;</a>
@@ -269,22 +268,22 @@ $(function() {
 <li>operator=()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732">SVF::AddrCGEdge</a>
-, <a class="el" href="classSVF_1_1AddrPE.html#a5253aaa1e22c8b847dea4fcf2d251cce">SVF::AddrPE</a>
+, <a class="el" href="classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66">SVF::AddrVFGNode</a>
-, <a class="el" href="classSVF_1_1BinaryOPPE.html#a9cad24d45c2ed94f321b1743bb7020df">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">SVF::BitVector</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#aeab9328da01789aa1974a372738c6ec5">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80">SVF::CondVar&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703">SVF::CopyCGEdge</a>
-, <a class="el" href="classSVF_1_1CopyPE.html#acddceaf83d32a3110b7816f65c13a1c6">SVF::CopyPE</a>
+, <a class="el" href="classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277">SVF::CopyStmt</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">SVF::CoreBitVector</a>
@@ -298,31 +297,31 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b">SVF::GepCGEdge</a>
-, <a class="el" href="classSVF_1_1GepPE.html#a8b4403db8a3ab39adc72021c6389708c">SVF::GepPE</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode</a>
 , <a class="el" href="classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443">SVF::LoadCGEdge</a>
-, <a class="el" href="classSVF_1_1LoadPE.html#a60a45885801dde7b268f33a170f0acd5">SVF::LoadPE</a>
+, <a class="el" href="classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d">SVF::LoadStmt</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f">SVF::LoadVFGNode</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#af5c4696cb71f71ef38d2a62ceebc1789">SVF::NormalGepStmt</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#abd2a0e889e38cd6bcc4509c8bc73308a">SVF::PhiPE</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0">SVF::StoreCGEdge</a>
-, <a class="el" href="classSVF_1_1StorePE.html#a72ce40a0d09ae0525b729e9b4d2ad626">SVF::StorePE</a>
+, <a class="el" href="classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef">SVF::StoreStmt</a>
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">SVF::TDForkPE</a>
 , <a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">SVF::TDJoinPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#aae7c3eadd1dce50ecc24f2bb54248998">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VariantGepPE.html#a5c3708cf69512dedb683d691dff2e105">SVF::VariantGepPE</a>
+, <a class="el" href="classSVF_1_1VariantGepStmt.html#a0dd09a0b451cf951d51f0b1c7b97b7a5">SVF::VariantGepStmt</a>
 , <a class="el" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">SVF::VFPathCond</a>
 </li>
 <li>operator==()
@@ -386,12 +385,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>OPVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
-</li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
 </li>
+<li>OPVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
@@ -414,28 +413,26 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>opVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</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>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
@@ -467,13 +464,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5">SVF::FlowSensitiveStat</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>
 </li>
 <li>OutEdges
 : <a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>

package/SVF-doxygen/html/html/functions_p.html

@@ -83,33 +83,20 @@ $(function() {
 <li>pagEdge
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode</a>
 </li>
-<li>PAGEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">SVF::IRGraph</a>
-</li>
-<li>PAGEdgeList
-: <a class="el" href="classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1MemSSA.html#a45f8ece590b091bd5ebf87f820f28f44">SVF::MemSSA</a>
-, <a class="el" href="classSVF_1_1MRGenerator.html#aad6c5bb3abf7449b36b2ec51c4f35f6c">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a896b591a710148fad7705a0d88652976">SVF::SVFIR</a>
-</li>
 <li>pagEdges
-: <a class="el" href="classSVF_1_1ICFGNode.html#ab4c08610a97e122bac840e602cbb1cbb">SVF::ICFGNode</a>
-</li>
-<li>PAGEdgeSet
-: <a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">SVF::IRGraph</a>
-, <a class="el" href="classSVF_1_1VFG.html#aa22b76d96c028055cb0cc14d7dd0ed2e">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71">SVF::ICFGNode</a>
 </li>
 <li>PAGEdgeSetTy
-: <a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">SVF::SVFStmt</a>
-</li>
-<li>PAGEdgeToFunMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
 </li>
 <li>pagEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
 </li>
+<li>PAGEdgeToFunMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
+</li>
 <li>PAGEdgeToSetMapTy
-: <a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
 </li>
 <li>PAGEdgeToStmtVFGNodeMap
 : <a class="el" href="classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f">SVF::VFG</a>
@@ -120,12 +107,6 @@ $(function() {
 <li>pagFileName()
 : <a class="el" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVF::SVFModule</a>
 </li>
-<li>PAGKindToEdgeSetMapTy
-: <a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVF::SVFStmt</a>
-</li>
-<li>PAGNodeList
-: <a class="el" href="classSVF_1_1SVFIR.html#a64cee36354a14aae6b64f8b9d3edbd96">SVF::SVFIR</a>
-</li>
 <li>PAGNodeSet
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488">SVF::AliasDDAClient</a>
 , <a class="el" href="classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b">SVF::VFG</a>
@@ -415,19 +396,19 @@ $(function() {
 <li>Phi
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
 </li>
-<li>PHINodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a93148e8b0e21d2b920f53d46493c1f58">SVF::SVFIR</a>
-</li>
 <li>phiNodeMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
 </li>
-<li>PhiPE()
-: <a class="el" href="classSVF_1_1PhiPE.html#ac23c761f684a91cdf62e04228430cfdd">SVF::PhiPE</a>
+<li>PHINodeMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
 </li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
 </li>
+<li>PhiStmt()
+: <a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">SVF::PhiStmt</a>
+</li>
 <li>phiTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
 </li>
@@ -510,6 +491,9 @@ $(function() {
 <li>Precise
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c">SVF::WPAPass</a>
 </li>
+<li>predicate
+: <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
+</li>
 <li>PredictPtOcc
 : <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
 </li>
@@ -781,7 +765,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
 </li>
 <li>propagateVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
 </li>
 <li>propagateViaObj()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -880,12 +864,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>ptaImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
-</li>
 <li>PTAImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
 </li>
+<li>ptaImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -895,30 +879,25 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720">SVF::VersionedFlowSensitive</a>
 </li>
-<li>PTAPAGEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a780372b8241dc1c76e31b0340d5d2401">SVF::IRGraph</a>
-</li>
 <li>PTASCEV()
-: <a class="el" href="classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856">SVF::PTASCEV</a>
+: <a class="el" href="classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>ptaTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
-</li>
 <li>PTATY
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
 </li>
+<li>ptaTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
-<li>PTAVector
-: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
-</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -974,18 +953,18 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
-<li>PtrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>PtrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+<li>PtrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -1000,11 +979,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/functions_r.html

@@ -612,7 +612,7 @@ $(function() {
 , <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#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()
 : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>