svf-tools 1.0.320 → 1.0.324

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

@@ -137,21 +137,21 @@ $(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>
-<li>GepPE()
-: <a class="el" href="classSVF_1_1GepPE.html#a6fc0ad43bcb6500f45403c6c82db164e">SVF::GepPE</a>
-</li>
 <li>gepSrcNodes
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c">SVF::AliasDDAClient</a>
 </li>
+<li>GepStmt()
+: <a class="el" href="classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586">SVF::GepStmt</a>
+</li>
 <li>gepTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290">SVF::FlowSensitive</a>
 </li>
@@ -161,17 +161,17 @@ $(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>GepValObjMap
+: <a class="el" href="classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67">SVF::SVFIR</a>
 </li>
-<li>GepValPN()
-: <a class="el" href="classSVF_1_1GepValPN.html#a02df9e70d4daf4eefaa63b0d26cd06ce">SVF::GepValPN</a>
+<li>gepValType
+: <a class="el" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar</a>
 </li>
-<li>GepValPNMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3cf5be37df32cdcd44fa7b1971fae2de">SVF::SVFIR</a>
+<li>GepValueVarMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a52dfad2ac907db45a91752c53384fb3d">SVF::SVFIR</a>
 </li>
-<li>gepValType
-: <a class="el" href="classSVF_1_1GepValPN.html#a41d083e2ed08dd926a8228df5c42a4d7">SVF::GepValPN</a>
+<li>GepValVar()
+: <a class="el" href="classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5">SVF::GepValVar</a>
 </li>
 <li>GepVFGNode()
 : <a class="el" href="classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2">SVF::GepVFGNode</a>
@@ -240,11 +240,11 @@ $(function() {
 <li>getAllCallSitesInvokingCallee()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">SVF::PTACallGraph</a>
 </li>
-<li>getAllFieldsObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a8200b7cbd600958c662f24169ccbc8d6">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a96089e24ef6aaa7f7d30c50a64d5042f">SVF::FlowSensitiveTBHC</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#aeec490de5955497af1a2a9cd429f0d5d">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a5a635bc1142c388da1db87d9172c03ab">SVF::SVFIR</a>
+<li>getAllFieldsObjVars()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a">SVF::FlowSensitiveTBHC</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR</a>
 </li>
 <li>getAllocationSite()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683">SVF::TypeBasedHeapCloning</a>
@@ -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>
@@ -550,7 +550,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a">SVF::TCT</a>
 </li>
 <li>getCHISet()
-: <a class="el" href="classSVF_1_1MemSSA.html#a24dd10cbd41df4f57d8d6fa9ca6a3083">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418">SVF::MemSSA</a>
 </li>
 <li>getClk()
 : <a class="el" href="classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc">SVF::PTAStat</a>
@@ -821,20 +821,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getDstID()
-: <a class="el" href="classSVF_1_1BinaryOPPE.html#a8931941a1b06e14b91cce4a96275a430">SVF::BinaryOPPE</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a038040bb8f22fc56a595fb10c21f4e32">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#a8f70278ac9d9bf4cd8750c474646b0e2">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a4849faf9aff64d966ef2303389e43d31">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#a22cddfea40eae983e8837d2a0dc7883f">SVF::PhiPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a4787898e7f2b72bf00994fb664c5136d">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#a54ca12e0375a19a655f57f91bf899593">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#aaea063a340f2e4a8949178406d9cd33b">SVF::UnaryOPStmt</a>
 </li>
 <li>getDstNode()
-: <a class="el" href="classSVF_1_1BinaryOPPE.html#ac8a72c9d79dc893d95b4e4bf27a88fe6">SVF::BinaryOPPE</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a5b9991fd0aa583d5f8df7f3e19c1687f">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#a4e66cb6ffd9d6a6dd6d575ce091bec5f">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a1f2f847bbff70e43f65cf06b1b41f99d">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#aa40c8037d8ddb883ba044aba4d528c80">SVF::PhiPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a5b34d99314a12894af2a155dd85cc4da">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#aabae1e97422bd9b6c861e45b3153946e">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce">SVF::UnaryOPStmt</a>
 </li>
 <li>getDT()
 : <a class="el" href="classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197">SVF::MemSSA</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>
@@ -926,7 +923,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#adfea906ce463903c365abca5ea1b45d1">SVF::SymbolTableInfo</a>
 </li>
 <li>getFieldIdx()
-: <a class="el" href="classSVF_1_1GepValPN.html#ab61c3b510838c4654e880e306f3af881">SVF::GepValPN</a>
+: <a class="el" href="classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8">SVF::GepValVar</a>
 </li>
 <li>getFieldIdxVec()
 : <a class="el" href="classSVF_1_1StInfo.html#a219b42bae46d10dbeab28c6fd922dd68">SVF::StInfo</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>
@@ -1346,10 +1337,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">SVF::ConstraintNode</a>
 </li>
 <li>getLoadInst()
-: <a class="el" href="classSVF_1_1LoadMU.html#abd883317106589b17e4a824dc44721c0">SVF::LoadMU&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1LoadMU.html#a5c26668b6ab2db91c4d5ba32d6a27b14">SVF::LoadMU&lt; Cond &gt;</a>
 </li>
 <li>getLoadMRSet()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a5cf5ae60ad6028809088f3c842afde9d">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a19da5768681a21c52a6c43761814a157">SVF::MRGenerator</a>
 </li>
 <li>getLoadMuNum()
 : <a class="el" href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">SVF::MemSSA</a>
@@ -1369,7 +1360,7 @@ $(function() {
 <li>getLocationSet()
 : <a class="el" href="classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e">SVF::GepObjPN</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#ac086d39e0f554705b627c2fc07a33875">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef">SVF::NormalGepStmt</a>
 </li>
 <li>getLocationSetFromBaseNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d">SVF::SVFIR</a>
@@ -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>
@@ -1424,7 +1415,7 @@ $(function() {
 </li>
 <li>getMemObj()
 : <a class="el" href="classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50">SVF::IRGraph</a>
-, <a class="el" href="classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf">SVF::ObjPN</a>
+, <a class="el" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">SVF::ObjVar</a>
 </li>
 <li>getMemToFieldsMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">SVF::SVFIR</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#aea0fc1d2e5407f86e0211d8e253fa24e">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>
@@ -1662,15 +1653,14 @@ $(function() {
 </li>
 <li>getOffset()
 : <a class="el" href="classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d">SVF::DCHEdge</a>
-, <a class="el" href="classSVF_1_1GepValPN.html#a0f8a17f7624765228e44456d34897d5a">SVF::GepValPN</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#a38ac1dd06ada0a04e13a038f8b69e3e5">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10">SVF::NormalGepStmt</a>
 </li>
 <li>getOpcode()
-: <a class="el" href="classSVF_1_1BinaryOPPE.html#ac1738c0751fb19b56af2e3296a4b439f">SVF::BinaryOPPE</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#aac8a0b9e765da7baa617c14cc6154ea2">SVF::CmpPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a8884cec63c7eea39f0e767bcedf74b3d">SVF::UnaryOPPE</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt</a>
 </li>
 <li>getOperand()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -1683,12 +1673,12 @@ $(function() {
 </li>
 <li>getOpVar()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a9e1afd73d1cd1f03e6e4e46cce5f1a64">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595">SVF::UnaryOPVFGNode</a>
 </li>
 <li>getOpVarID()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a4a5fb44d0171a871d5434fc97f9cf21d">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2">SVF::UnaryOPStmt</a>
 </li>
 <li>getOpVarNum()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt</a>
@@ -1747,13 +1737,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 +1779,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>
@@ -1861,6 +1851,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1">SVF::PTACFInfoBuilder</a>
 , <a class="el" href="classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc">SVF::TCT</a>
 </li>
+<li>getPredicate()
+: <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
+</li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
@@ -1884,12 +1877,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 +1912,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>
@@ -1967,12 +1963,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a80eb6a6681caf7407d7e16b36d7cb658">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode</a>
 </li>
 <li>getResID()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#add17d2cf1d1ad46faf343c8f2ee2a5f8">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856">SVF::UnaryOPStmt</a>
 </li>
 <li>getResVer()
 : <a class="el" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF</a>
@@ -2071,20 +2067,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4">SVF::LeakChecker</a>
 </li>
 <li>getSrcID()
-: <a class="el" href="classSVF_1_1BinaryOPPE.html#a62e2bf0b9c769c23f537ba4d3537b42b">SVF::BinaryOPPE</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a7ceeaffe5aae4bf572b0e21d33331035">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#aa69a4905db6aa3a5a24645be84d75a2e">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a9c725b7a6c7386b2892d82b70f1bec05">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#a3744f6f373df3d4671ba6064437cb562">SVF::PhiPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a470aed30aaa89484ae29c55729596322">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#ac6ee43abe0ca33efe4caf84ef67323dd">SVF::UnaryOPStmt</a>
 </li>
 <li>getSrcNode()
-: <a class="el" href="classSVF_1_1BinaryOPPE.html#a13f8f936a0f8b3614543ec9cbb60eb58">SVF::BinaryOPPE</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0fd752e4cb3eabdc7cdd61a4a4f17253">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#a8809fbf0f9b34769a3fc0025996df8bc">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a342ba9fd88195b90e2419fd44afef23d">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#ad6ab8b64a2868f38cc309584efd6ab53">SVF::PhiPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a9ebc160ddba554b395cef580b694a316">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92">SVF::UnaryOPStmt</a>
 </li>
 <li>getSSAVersion()
 : <a class="el" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer</a>
@@ -2115,10 +2111,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">SVF::ConstraintNode</a>
 </li>
 <li>getStoreInst()
-: <a class="el" href="classSVF_1_1StoreCHI.html#ab86317f542f22cf46a6376c9811becf7">SVF::StoreCHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1StoreCHI.html#aead80cf9aad5818f16ad61d7a83b7c79">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>getStoreMRSet()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac409bbee6bf9deef7e31233a05054ee2">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a364ad1e34d09a92cdc0cfe530c84880f">SVF::MRGenerator</a>
 </li>
 <li>getStoreOperand()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a49434afd0d7beb9f5d6580e8f672889c">SVF::MTAAnnotator</a>
@@ -2157,7 +2153,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 +2191,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>
@@ -2261,12 +2263,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
 , <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>
-, <a class="el" href="classSVF_1_1GepValPN.html#aae597b40c984a5a0226d630f7564cefb">SVF::GepValPN</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9">SVF::MSSAMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539">SVF::ObjPN</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d">SVF::ObjVar</a>
 , <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">SVF::SaberCheckerAPI</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066">SVF::SVFVar</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4">SVF::ThreadAPI</a>
@@ -2307,21 +2309,21 @@ $(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_1CloneDummyObjPN.html#a2239f9e2aaa61bed50d0c33d3ad8e0ea">SVF::CloneDummyObjPN</a>
-, <a class="el" href="classSVF_1_1CloneFIObjPN.html#a604e88030c2c32408f4fd99a69b97e6b">SVF::CloneFIObjPN</a>
-, <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae6640a10e3fc58b057ed94f1d4c774ba">SVF::CloneGepObjPN</a>
-, <a class="el" href="classSVF_1_1DummyObjPN.html#a3b3dabed91ed32ee99835324108061c7">SVF::DummyObjPN</a>
-, <a class="el" href="classSVF_1_1DummyValPN.html#ad43ed5282ca6f6cf546e60c37be968c9">SVF::DummyValPN</a>
-, <a class="el" href="classSVF_1_1FIObjPN.html#ae5c2e49f3fa0511b7fa00de2a682f0e1">SVF::FIObjPN</a>
+: <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>
+, <a class="el" href="classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803">SVF::CloneFIObjVar</a>
+, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e">SVF::CloneGepObjVar</a>
+, <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>
+, <a class="el" href="classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd">SVF::DummyValVar</a>
+, <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>
 , <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>
-, <a class="el" href="classSVF_1_1GepValPN.html#a2ca8cf54bf67f76db2acd05cf7dcf1d1">SVF::GepValPN</a>
-, <a class="el" href="classSVF_1_1ObjPN.html#a7500f73cb499a5aa0d828075b179b709">SVF::ObjPN</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3">SVF::GepValVar</a>
+, <a class="el" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar</a>
 , <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">SVF::SVFVar</a>
-, <a class="el" href="classSVF_1_1ValPN.html#a6894944b680cfd7a45b1582169517d54">SVF::ValPN</a>
+, <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a">SVF::VarArgPN</a>
 </li>
 <li>getValueNode()
@@ -2408,7 +2410,7 @@ $(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>
@@ -2449,15 +2451,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>