npm - svf-tools - Versions diffs - 1.0.322 → 1.0.323 - Mend

svf-tools 1.0.322 → 1.0.323

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (335) hide show

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

@@ -137,12 +137,12 @@ $(function() {
 <li>GepObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVF::SVFVar</a>
 </li>
-<li>GepObjNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3ab46db0dc6ebab78d431e4a540dcc9e">SVF::SVFIR</a>
-</li>
 <li>GepObjPN()
 : <a class="el" href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">SVF::GepObjPN</a>
 </li>
+<li>GepObjVarMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8">SVF::SVFIR</a>
+</li>
 <li>gepOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">SVF::ConstraintNode</a>
 </li>
@@ -161,15 +161,15 @@ $(function() {
 <li>GepValNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar</a>
 </li>
-<li>GepValNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ae5e06d403091c05df995aeea0a4f773d">SVF::SVFIR</a>
-</li>
-<li>GepValPNMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3cf5be37df32cdcd44fa7b1971fae2de">SVF::SVFIR</a>
+<li>GepValObjMap
+: <a class="el" href="classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67">SVF::SVFIR</a>
 </li>
 <li>gepValType
 : <a class="el" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar</a>
 </li>
+<li>GepValueVarMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a52dfad2ac907db45a91752c53384fb3d">SVF::SVFIR</a>
+</li>
 <li>GepValVar()
 : <a class="el" href="classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5">SVF::GepValVar</a>
 </li>
@@ -297,17 +297,17 @@ $(function() {
 <li>getBaseObj()
 : <a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR</a>
 </li>
-<li>getBaseObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a2337fa70dc5b0b13dbba4cd776404c6b">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a8008bdef087708de961a37a8bf458fc7">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a4720426ab75f8d07e780995ffad7d51a">SVF::SVFIR</a>
+<li>getBaseObjVar()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a6e8c46641da751fe3369c9d5407ce415">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR</a>
 </li>
 <li>getBaseTypeAndFlattenedFields()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4792ed440aab997e13321f5f6cba2156">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6243a2a002784b2ee1f0b1cfe9d3ea0f">SVF::SymbolTableInfo</a>
 </li>
-<li>getBaseValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a851075193a0b9a9b594848d6b3ba659e">SVF::SVFIR</a>
+<li>getBaseValVar()
+: <a class="el" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">SVF::SVFIR</a>
 </li>
 <li>getBasicBlock()
 : <a class="el" href="classSVF_1_1CallCHI.html#a69f83ff81ea017d645aadeb46334880f">SVF::CallCHI&lt; Cond &gt;</a>
@@ -462,7 +462,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0">SVF::VFG</a>
 </li>
 <li>getCallSiteArgsList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a432e99757dfe844fd8450f2ab4ff4093">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5">SVF::SVFIR</a>
 </li>
 <li>getCallSiteArgsMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">SVF::SVFIR</a>
@@ -866,9 +866,6 @@ $(function() {
 <li>getEdgeKind()
 : <a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
-<li>getEdgeSet()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e">SVF::SVFIR</a>
-</li>
 <li>getEdgeSourceLabel()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
@@ -964,10 +961,10 @@ $(function() {
 <li>getFilterSet()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getFIObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a5fbbfb7b935e0b8867f7beab32ab7763">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a15494d0aa074ae2e89470b3c9f407cc4">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a702edc6714da142c16857995778a9f4b">SVF::SVFIR</a>
+<li>getFIObjVar()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
 <li>getFlattenByteOffset()
 : <a class="el" href="classSVF_1_1FieldInfo.html#a727d1ea8110a3239834f0aab134231d6">SVF::FieldInfo</a>
@@ -1033,7 +1030,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>
 </li>
 <li>getFunArgsList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1cac93c15fcbf15798c4fe374380f8ae">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">SVF::SVFIR</a>
 </li>
 <li>getFunArgsMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c">SVF::SVFIR</a>
@@ -1103,11 +1100,6 @@ $(function() {
 <li>getGepObjClones()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aa175b5db473eb57c03b6f908791d1133">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getGepObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a4a42759f8a39ff4495c8691f3c87e443">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6423e0d1bc9a5ee6bfea27a4a358574f">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2b80cf884eedb51f77a5e84def7d8793">SVF::SVFIR</a>
-</li>
 <li>getGepObjNodeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a77e3c407ea3990413e371589aa468963">SVF::SVFIR</a>
 </li>
@@ -1117,22 +1109,27 @@ $(function() {
 <li>getGepObjsFromMemObj()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad043ab95900849a5a894ca4bada4e032">SVF::TypeBasedHeapCloning</a>
 </li>
+<li>getGepObjVar()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101">SVF::SVFIR</a>
+</li>
 <li>getGepOutEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">SVF::ConstraintNode</a>
 </li>
-<li>getGepValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af37d6fc7f816d235c0a6158d43d6dda5">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1f2f512b7cf1ebb9aa2cebe90c8372c2">SVF::SVFIRBuilder</a>
+<li>getGepValVar()
+: <a class="el" href="classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58">SVF::SVFIRBuilder</a>
 </li>
 <li>getGlobalBlockNode()
 : <a class="el" href="classSVF_1_1ICFG.html#ae3b8f1b45c75b5fc231da76d3a49ad57">SVF::ICFG</a>
 </li>
-<li>getGlobalPAGEdgeSet()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac0b7ac004c8c258af81a0d16872f3406">SVF::SVFIR</a>
-</li>
 <li>getGlobalRep()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">SVF::LLVMModuleSet</a>
 </li>
+<li>getGlobalSVFStmtSet()
+: <a class="el" href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">SVF::SVFIR</a>
+</li>
 <li>getGlobalVarField()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae">SVF::SVFIRBuilder</a>
 </li>
@@ -1188,13 +1185,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e">SVF::PointerAnalysis</a>
 </li>
 <li>getIncomingEdges()
-: <a class="el" href="classSVF_1_1SVFVar.html#a0deeb2f08b7681c63ad91a04a4b4c6c9">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">SVF::SVFVar</a>
 </li>
 <li>getIncomingEdgesBegin()
-: <a class="el" href="classSVF_1_1SVFVar.html#ab137b1def56c6539b5048c84dfd92c7b">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">SVF::SVFVar</a>
 </li>
 <li>getIncomingEdgesEnd()
-: <a class="el" href="classSVF_1_1SVFVar.html#ab6cfd409bdb445cc1a7e50ed958b7d25">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">SVF::SVFVar</a>
 </li>
 <li>getIndCallMap()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe">SVF::PointerAnalysis</a>
@@ -1238,12 +1235,6 @@ $(function() {
 <li>getInstancesAndDescendants()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30">SVF::CHGBuilder</a>
 </li>
-<li>getInstPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#adf344b7cbcebd343b026b9b4b9d72fdb">SVF::SVFIR</a>
-</li>
-<li>getInstPTAPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad0c6908c3e4ff83d0eb34906826d2a10">SVF::SVFIR</a>
-</li>
 <li>getInstruction()
 : <a class="el" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite</a>
 </li>
@@ -1379,13 +1370,13 @@ $(function() {
 </li>
 <li>getLockVal()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9">SVF::ThreadAPI</a>
 </li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
 </li>
 <li>getLoopInfo()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f">SVF::PathCondAllocator</a>
@@ -1447,8 +1438,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">SVF::MRGenerator</a>
@@ -1522,7 +1513,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1633,7 +1624,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">SVF::IRGraph</a>
@@ -1747,13 +1738,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getOutgoingEdges()
-: <a class="el" href="classSVF_1_1SVFVar.html#af41e3da7f7d6918f58785446d715fec6">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3">SVF::SVFVar</a>
 </li>
 <li>getOutgoingEdgesBegin()
-: <a class="el" href="classSVF_1_1SVFVar.html#adb1f35a6f8db19c48cf7fd6c8f4a8ff3">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">SVF::SVFVar</a>
 </li>
 <li>getOutgoingEdgesEnd()
-: <a class="el" href="classSVF_1_1SVFVar.html#adec782d2f9d055b0dbcb56f511e75c24">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">SVF::SVFVar</a>
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
@@ -1789,14 +1780,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998">SVF::IRGraph</a>
 </li>
 <li>getPAGEdges()
-: <a class="el" href="classSVF_1_1ICFGNode.html#a9d195144cc118279695880625615d8ad">SVF::ICFGNode</a>
+: <a class="el" href="classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff">SVF::ICFGNode</a>
 </li>
 <li>getPAGEdgeSet()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#ad5d89d94b16c167a593aa2a0c8e6ad9c">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1VFG.html#a37239391028cd313eab7110626444682">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a08478529524005aba86660f031cf55af">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864">SVF::VFG</a>
 </li>
 <li>getPAGEdgesFromInst()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a820e30118868947b62f0a558da5512fc">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acc78a116ca0be01a359d1313b2ae603c">SVF::MRGenerator</a>
 </li>
 <li>getPAGNode()
 : <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode</a>
@@ -1884,12 +1875,15 @@ $(function() {
 <li>getPTACallGraph()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis</a>
 </li>
-<li>getPTAEdgeSet()
-: <a class="el" href="classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6">SVF::SVFIR</a>
-</li>
 <li>getPTAPAGEdgeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">SVF::IRGraph</a>
 </li>
+<li>getPTASVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">SVF::SVFIR</a>
+</li>
+<li>getPTASVFStmtSet()
+: <a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">SVF::SVFIR</a>
+</li>
 <li>getPtCache()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792">SVF::BVDataPTAImpl</a>
 </li>
@@ -1916,7 +1910,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2157,7 +2151,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abed63cf10f8e8cb9bb4b01772e4b0c6d">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2195,6 +2189,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074">SVF::TCT</a>
 </li>
+<li>getSVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">SVF::SVFIR</a>
+</li>
+<li>getSVFStmtSet()
+: <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
+</li>
 <li>getTaskDataAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
@@ -2307,7 +2307,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>
 </li>
 <li>getValueEdges()
-: <a class="el" href="classSVF_1_1IRGraph.html#aa9aca34170ac4308359a4c8c3466dcd0">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">SVF::IRGraph</a>
 </li>
 <li>getValueName()
 : <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>
@@ -2408,10 +2408,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>
@@ -2449,15 +2449,15 @@ $(function() {
 <li>GlobalVFGNodeSet
 : <a class="el" href="classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13">SVF::VFG</a>
 </li>
-<li>globPAGEdgesSet
-: <a class="el" href="classSVF_1_1SVFIR.html#a633fb7a85c90f9b766689b8d2fdf3bac">SVF::SVFIR</a>
-</li>
 <li>globs
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">SVF::SaberSVFGBuilder</a>
 </li>
 <li>globSVFGNodes
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997">SVF::SaberSVFGBuilder</a>
 </li>
+<li>globSVFStmtSet
+: <a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">SVF::SVFIR</a>
+</li>
 <li>GLOBVAR_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b">SVF::ObjTypeInfo</a>
 </li>

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

@@ -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 CHANGED Viewed

@@ -255,7 +255,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>
@@ -388,14 +388,14 @@ $(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>
+: <a class="el" href="classSVF_1_1SVFIR.html#a69c1d98135987a6246bb45c4f36c02ec">SVF::SVFIR</a>
+</li>
+<li>inst2PTASVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a5f2ee4a5d1f154c4c069427dd1baf148">SVF::SVFIR</a>
 </li>
-<li>inst2PTAPAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b">SVF::SVFIR</a>
+<li>inst2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a3dcc02abd9aaa872e0d493f5965e4418">SVF::SVFIR</a>
 </li>
 <li>INSTANCE
 : <a class="el" href="classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77">SVF::DCHEdge</a>

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

@@ -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 CHANGED Viewed

@@ -121,12 +121,12 @@ $(function() {
 <li>llvmFunEnd()
 : <a class="el" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule</a>
 </li>
-<li>LLVMModuleSet()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
-</li>
 <li>llvmModuleSet
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">SVF::LLVMModuleSet</a>
 </li>
+<li>LLVMModuleSet()
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
+</li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>

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

@@ -365,12 +365,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 </li>
-<li>opIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
-</li>
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>opIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -473,7 +473,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">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 CHANGED Viewed

@@ -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>
@@ -781,7 +762,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>
@@ -895,11 +876,8 @@ $(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>
@@ -912,13 +890,11 @@ $(function() {
 </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 +950,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 +976,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 CHANGED Viewed

@@ -605,7 +605,7 @@ $(function() {
 </li>
 <li>runOnModule()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a7bc2c9a62b7d97b8e19bee0c4625aea3">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a71c9f9450e369d1196c49b7d9019dbda">SVF::DoubleFreeChecker</a>
 , <a class="el" href="classSVF_1_1FileChecker.html#a98a68536b8ffdb2250bbb01437598ac3">SVF::FileChecker</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>