svf-tools 1.0.321 → 1.0.325

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -90,7 +90,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddrPE.html">AddrPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddrStmt.html">AddrStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddrVFGNode.html">AddrVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -118,7 +118,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ArgumentVFGNode.html">ArgumentVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BinaryOPPE.html">BinaryOPPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BinaryOPVFGNode.html">BinaryOPVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -164,13 +164,13 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html">CHNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneDummyObjPN.html">CloneDummyObjPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneDummyObjVar.html">CloneDummyObjVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneFIObjPN.html">CloneFIObjPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneFIObjVar.html">CloneFIObjVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneGepObjPN.html">CloneGepObjPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneGepObjVar.html">CloneGepObjVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpPE.html">CmpPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpVFGNode.html">CmpVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -201,7 +201,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CopyPE.html">CopyPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CopyVFGNode.html">CopyVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -250,9 +250,9 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DPItem.html">DPItem</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjPN.html">DummyObjPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html">DummyObjVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValPN.html">DummyValPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html">DummyValVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html">DummyVersionPropSVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -268,7 +268,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html">FILOWorkList</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FIObjPN.html">FIObjPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FIObjVar.html">FIObjVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FlowDDA.html">FlowDDA</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -306,9 +306,9 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html">GepObjPN</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepPE.html">GepPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepValPN.html">GepValPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -377,7 +377,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LoadMU.html">LoadMU</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LoadPE.html">LoadPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LoadStmt.html">LoadStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LoadVFGNode.html">LoadVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -449,14 +449,14 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NormalGepCGEdge.html">NormalGepCGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NormalGepPE.html">NormalGepPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NormalGepStmt.html">NormalGepStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NullPtrVFGNode.html">NullPtrVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html">ObjPN</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1OfflineConsG.html">OfflineConsG</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html">Options</a></td></tr>
@@ -486,7 +486,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiPE.html">PhiPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -551,7 +551,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StorePE.html">StorePE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreVFGNode.html">StoreVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -613,17 +613,17 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TypeBasedHeapCloning.html">TypeBasedHeapCloning</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPPE.html">UnaryOPPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">UnaryOPVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ValPN.html">ValPN</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ValVar.html">ValVar</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VarArgPN.html">VarArgPN</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VariantGepPE.html">VariantGepPE</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VariantGepStmt.html">VariantGepStmt</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VersionedFlowSensitive.html">VersionedFlowSensitive</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -2470,7 +2470,7 @@ Functions</h2></td></tr>
         </tr>
       </table>
 </div><div class="memdoc">
-<p>Interprocedural control-flow graph node, representing different kinds of program statements including top-level pointers (<a class="el" href="classSVF_1_1ValPN.html">ValPN</a>) and address-taken objects (<a class="el" href="classSVF_1_1ObjPN.html">ObjPN</a>) </p>
+<p>Interprocedural control-flow graph node, representing different kinds of program statements including top-level pointers (<a class="el" href="classSVF_1_1ValVar.html">ValVar</a>) and address-taken objects (<a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a>) </p>
 
 <p class="definition">Definition at line <a class="el" href="ICFGNode_8h_source.html#l00046">46</a> of file <a class="el" href="ICFGNode_8h_source.html">ICFGNode.h</a>.</p>
 
@@ -2602,7 +2602,7 @@ Functions</h2></td></tr>
         </tr>
       </table>
 </div><div class="memdoc">
-<p>Interprocedural control-flow graph node, representing different kinds of program statements including top-level pointers (<a class="el" href="classSVF_1_1ValPN.html">ValPN</a>) and address-taken objects (<a class="el" href="classSVF_1_1ObjPN.html">ObjPN</a>) </p>
+<p>Interprocedural control-flow graph node, representing different kinds of program statements including top-level pointers (<a class="el" href="classSVF_1_1ValVar.html">ValVar</a>) and address-taken objects (<a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a>) </p>
 
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00045">45</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 
@@ -3495,7 +3495,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00666">666</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00665">665</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/search/all_1.js

@@ -38,20 +38,20 @@ var searchData=
   ['addactualret',['addActualRet',['../classSVF_1_1RetBlockNode.html#ad2cd6f6589ce5464d6fbcac49f115714',1,'SVF::RetBlockNode']]],
   ['addactualretvfgnode',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251',1,'SVF::VFG']]],
   ['addaddrcgedge',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
-  ['addaddredge',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#ab5ee064069e588e9d5b686aba4aa39cf',1,'SVF::SVFIRBuilder']]],
-  ['addaddrpe',['addAddrPE',['../classSVF_1_1SVFIR.html#a247f006b6f168a7d853814339b0a6ed5',1,'SVF::SVFIR']]],
+  ['addaddredge',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
+  ['addaddrstmt',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
   ['addaddrtakennodetimeend',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
   ['addaddrtakennodetimestart',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
-  ['addaddrvfgnode',['addAddrVFGNode',['../classSVF_1_1VFG.html#a7b0d533f3ccce8fc64deae6077f3d959',1,'SVF::VFG']]],
+  ['addaddrvfgnode',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
   ['addaliasset',['addAliasSet',['../classSVF_1_1SVFModule.html#a9b28f106dfedb917c6c757d5d0a6771e',1,'SVF::SVFModule']]],
   ['addandersenmetadata',['addAndersenMetadata',['../classSVF_1_1IRAnnotator.html#aa36cd38b0518a9c9a3b57cea9b07b227',1,'SVF::IRAnnotator']]],
   ['addandersennamedmetdata',['addAndersenNamedMetdata',['../classSVF_1_1IRAnnotator.html#af48723d319bbe2ecfd0c4777c1c92dc1',1,'SVF::IRAnnotator']]],
   ['addbackwardvisited',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
-  ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#aa939418b3f4727fb7ec84057dd97ba66',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryoppe',['addBinaryOPPE',['../classSVF_1_1SVFIR.html#a1d6d9dbc5cd43eb8af776f5a1b373507',1,'SVF::SVFIR']]],
-  ['addbinaryopvfgnode',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#afb440e02353766c2a2541005dd29fb24',1,'SVF::VFG']]],
+  ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e',1,'SVF::SVFIRBuilder']]],
+  ['addbinaryopstmt',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
+  ['addbinaryopvfgnode',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
   ['addblackholeaddredge',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719',1,'SVF::SVFIRBuilder']]],
-  ['addblackholeaddrpe',['addBlackHoleAddrPE',['../classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc',1,'SVF::SVFIR']]],
+  ['addblackholeaddrstmt',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
   ['addblackholeobjnode',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
   ['addblackholeptrnode',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
   ['addbranchstmt',['addBranchStmt',['../classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd',1,'SVF::SVFIR::addBranchStmt()'],['../classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e',1,'SVF::SVFIRBuilder::addBranchStmt()']]],
@@ -72,22 +72,22 @@ var searchData=
   ['addclonedummyobjnode',['addCloneDummyObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#ac6ebb2fd24fc4272faf5db6ddd1e464b',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonefiobjnode',['addCloneFIObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a83fb1e2a7b66d5f33fa34698a52250af',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonegepobjnode',['addCloneGepObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3',1,'SVF::TypeBasedHeapCloning']]],
-  ['addcmpedge',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a6636324fa8135f2be841e0d06d5e5f54',1,'SVF::SVFIRBuilder']]],
-  ['addcmppe',['addCmpPE',['../classSVF_1_1SVFIR.html#afbb721dfd574c35e3ddb0a8d26f978c7',1,'SVF::SVFIR']]],
-  ['addcmpvfgnode',['addCmpVFGNode',['../classSVF_1_1VFG.html#ab4166804d4612c1cf194d1d8710c09a6',1,'SVF::VFG']]],
+  ['addcmpedge',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81',1,'SVF::SVFIRBuilder']]],
+  ['addcmpstmt',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
+  ['addcmpvfgnode',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
   ['addcomplexconsforext',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602',1,'SVF::SVFIRBuilder']]],
   ['addcondintralock',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957',1,'SVF::LockAnalysis']]],
   ['addconditionalintraedge',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a8b038782880ae8950076e2c104bc4b18',1,'SVF::ICFG']]],
   ['addconstantobjnode',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
   ['addconstraintnode',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
   ['addcopycgedge',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
-  ['addcopyedge',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#ab699fe11eed6d0eb655a55540de69586',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
-  ['addcopype',['addCopyPE',['../classSVF_1_1SVFIR.html#a0aefb9f6ac03251dd2893e8d5fa30c30',1,'SVF::SVFIR']]],
-  ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46',1,'SVF::VFG']]],
+  ['addcopyedge',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
+  ['addcopystmt',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
+  ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
   ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78',1,'SVF::MRGenerator']]],
   ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3',1,'SVF::MRGenerator']]],
-  ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a4cd3d3af2cfad7b5c086f00ab8e68169',1,'SVF::MRGenerator']]],
-  ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#aa9900773ce82da953385df2e6487200e',1,'SVF::MRGenerator']]],
+  ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
+  ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
@@ -130,12 +130,12 @@ var searchData=
   ['addfunentryicfgnode',['addFunEntryICFGNode',['../classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd',1,'SVF::ICFG']]],
   ['addfunexiticfgnode',['addFunExitICFGNode',['../classSVF_1_1ICFG.html#a7874a7a92beb17fd5a4a9575cb183975',1,'SVF::ICFG']]],
   ['addfunret',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
-  ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a1923643ba56b180b64ee32b95db8c642',1,'SVF::SVFIRBuilder']]],
+  ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141',1,'SVF::SVFIRBuilder']]],
   ['addgepobjnode',['addGepObjNode',['../classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d',1,'SVF::SVFIR']]],
-  ['addgeppe',['addGepPE',['../classSVF_1_1SVFIR.html#ad0977abfd0eda258b5215d351d34c0f5',1,'SVF::SVFIR']]],
+  ['addgepstmt',['addGepStmt',['../classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe',1,'SVF::SVFIR']]],
   ['addgeptoobj',['addGepToObj',['../classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804',1,'SVF::TypeBasedHeapCloning']]],
   ['addgepvalnode',['addGepValNode',['../classSVF_1_1SVFIR.html#a9a702ceb8ba3851daef444f1ece3a2f8',1,'SVF::SVFIR']]],
-  ['addgepvfgnode',['addGepVFGNode',['../classSVF_1_1VFG.html#a51b3b232ddda0656bfe0c7d9527b4a84',1,'SVF::VFG']]],
+  ['addgepvfgnode',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
   ['addglobalblackholeaddredge',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
   ['addglobalpagedge',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
   ['addglobalset',['addGlobalSet',['../classSVF_1_1SVFModule.html#a9aabe6d24bea26f3b5c7cab5a0fc3053',1,'SVF::SVFModule']]],
@@ -173,17 +173,17 @@ var searchData=
   ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
   ['addintralock',['addIntraLock',['../classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b',1,'SVF::LockAnalysis']]],
   ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572',1,'SVF::SVFG']]],
-  ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#aba0389fbcac1efab08339b53d149bf84',1,'SVF::VFG']]],
+  ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df',1,'SVF::VFG']]],
   ['addjoinsite',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2',1,'SVF::ThreadCallGraph']]],
   ['addlcdcandidate',['addLCDCandidate',['../classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb',1,'SVF::AndersenLCD']]],
   ['addloadcgedge',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
   ['addloadcvar',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
   ['addloaddpm',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
   ['addloaddpmandcvar',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
-  ['addloadedge',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#ab4327a515c8ce8dabd0457a93424df26',1,'SVF::SVFIRBuilder']]],
-  ['addloadmu',['AddLoadMU',['../classSVF_1_1MemSSA.html#a9f4c84dbffb28eea74a0bc03fda9fc51',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadPE *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a62a4bdd739d502b56fdea932e1248b51',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadPE *load, const MemRegion *mr)']]],
-  ['addloadpe',['addLoadPE',['../classSVF_1_1SVFIR.html#a5b89eb728f02a2d235f898dcf555d1a2',1,'SVF::SVFIR']]],
-  ['addloadvfgnode',['addLoadVFGNode',['../classSVF_1_1VFG.html#adbd7966d18ab50da5a485ba6e043ba61',1,'SVF::VFG']]],
+  ['addloadedge',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189',1,'SVF::SVFIRBuilder']]],
+  ['addloadmu',['AddLoadMU',['../classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a397c835c15c15e18697beca2ff27a73f',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
+  ['addloadstmt',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
+  ['addloadvfgnode',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
   ['addmdtag',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
   ['addmetedge',['addMetEdge',['../classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91',1,'SVF::AndersenLCD']]],
   ['addmodelflag',['AddModelFlag',['../classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371',1,'SVF::Options']]],
@@ -198,12 +198,12 @@ var searchData=
   ['addnodeintoworklist',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
   ['addnodetobecollapsed',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
   ['addnormalgepcgedge',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b',1,'SVF::ConstraintGraph']]],
-  ['addnormalgepedge',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#ab19a9a94a7c8f382a70c3a3269f22959',1,'SVF::SVFIRBuilder']]],
-  ['addnormalgeppe',['addNormalGepPE',['../classSVF_1_1SVFIR.html#acd2ba7adf250f1a90b57e51a085b6363',1,'SVF::SVFIR']]],
+  ['addnormalgepedge',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#ab56217d45668368157d272d7a524c40d',1,'SVF::SVFIRBuilder']]],
+  ['addnormalgepstmt',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a2a851ff7011e3bd71c36be5c7198a1f4',1,'SVF::SVFIR']]],
   ['addnullptrnode',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
   ['addnullptrvfgnode',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
   ['addobjnode',['addObjNode',['../classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d',1,'SVF::SVFIR::addObjNode(const Value *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a3a5d8b7f6286ec31b5a9038c88779151',1,'SVF::SVFIR::addObjNode(const Value *, SVFVar *node, NodeID i)']]],
-  ['addopvar',['addOpVar',['../classSVF_1_1PhiPE.html#a046dc179515df629e079092827e25036',1,'SVF::PhiPE']]],
+  ['addopvar',['addOpVar',['../classSVF_1_1PhiStmt.html#ae20d273a8afe603395b6621f04e6cb65',1,'SVF::PhiStmt']]],
   ['addoutedge',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
   ['addoutgoingaddredge',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
   ['addoutgoingcopyedge',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
@@ -216,7 +216,7 @@ var searchData=
   ['addpagedge',['addPAGEdge',['../classSVF_1_1ICFGNode.html#a820364ef4158270478e9c09e11b6c2ea',1,'SVF::ICFGNode']]],
   ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
-  ['addphinode',['addPhiNode',['../classSVF_1_1SVFIR.html#a3da8a2168e33f49708cdcc79f9e311a4',1,'SVF::SVFIR::addPhiNode()'],['../classSVF_1_1SVFIRBuilder.html#ab6c80be878f5e9d888d8532a633a2566',1,'SVF::SVFIRBuilder::addPhiNode()']]],
+  ['addphistmt',['addPhiStmt',['../classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0',1,'SVF::SVFIR::addPhiStmt()'],['../classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c',1,'SVF::SVFIRBuilder::addPhiStmt()']]],
   ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
   ['addr',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()']]],
@@ -235,11 +235,11 @@ var searchData=
   ['addretnode',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
   ['addretpe',['addRetPE',['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f',1,'SVF::SVFIR::addRetPE()']]],
   ['addrevpts',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
-  ['addrpe',['AddrPE',['../classSVF_1_1AddrPE.html',1,'SVF::AddrPE'],['../classSVF_1_1AddrPE.html#afba53cf476a19e95acb0ebae08731fcb',1,'SVF::AddrPE::AddrPE()'],['../classSVF_1_1AddrPE.html#aaee1f796aba46628adff06071645b4ff',1,'SVF::AddrPE::AddrPE(const AddrPE &)'],['../classSVF_1_1AddrPE.html#aeebea7899e9ae4501421d9d66d8c9fb9',1,'SVF::AddrPE::AddrPE(SVFVar *s, SVFVar *d)']]],
   ['addrspace',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['addrstmt',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF::AddrStmt'],['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
   ['addrsvfgnode',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
   ['addrtime',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
-  ['addrvfgnode',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF::AddrVFGNode'],['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ab0ef39f1827e41731e67276eb105cf11',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrPE *edge)']]],
+  ['addrvfgnode',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF::AddrVFGNode'],['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
   ['addscccandidate',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
   ['addsinglerevpts',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
   ['addsinktocurslice',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
@@ -250,10 +250,10 @@ var searchData=
   ['addstartroutineofcxtthread',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a11d9eeffdb1fc777f573fae75f48532a',1,'SVF::TCT']]],
   ['addstmtvfgnode',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
   ['addstorecgedge',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
-  ['addstorechi',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a71fe305891acfaad16d510dc11a764fc',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StorePE *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a0b3314736ed1d9a8ac0ba8c437fad211',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StorePE *store, const MemRegion *mr)']]],
-  ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a7e518bfc56c34dfbaaafbd78b85143b7',1,'SVF::SVFIRBuilder']]],
-  ['addstorepe',['addStorePE',['../classSVF_1_1SVFIR.html#a147a1a57edd4d2eff937b28f677866d2',1,'SVF::SVFIR']]],
-  ['addstorevfgnode',['addStoreVFGNode',['../classSVF_1_1VFG.html#aa21ad616306c111b77fb3ec8f16b19be',1,'SVF::VFG']]],
+  ['addstorechi',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a8d9bfa2ad724a3b286edc56b7c15e9bf',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
+  ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4',1,'SVF::SVFIRBuilder']]],
+  ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870',1,'SVF::SVFIR']]],
+  ['addstorevfgnode',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
   ['addsubnode',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
   ['addsubnodes',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
   ['addsustat',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
@@ -279,23 +279,23 @@ var searchData=
   ['addtofulljoin',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
   ['addtohbpair',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
   ['addtohppair',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
-  ['addtoinstpagedgelist',['addToInstPAGEdgeList',['../classSVF_1_1SVFIR.html#a7d64f6195fd6d660c5238bdda495ddf0',1,'SVF::SVFIR']]],
   ['addtopartial',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
   ['addtoplevelnodetimeend',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
   ['addtoplevelnodetimestart',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
   ['addtosinks',['addToSinks',['../classSVF_1_1SVFGStat.html#add8a63f5e0f0057ce07d3992355ce3fa',1,'SVF::SVFGStat::addToSinks()'],['../classSVF_1_1ProgSlice.html#acee5145fb261280a1f8187184e393aed',1,'SVF::ProgSlice::addToSinks()'],['../classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8',1,'SVF::SrcSnkDDA::addToSinks()']]],
   ['addtosources',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
   ['addtostmt2typemap',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
+  ['addtosvfstmtlist',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
   ['addtypedef',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
   ['addtypeforgepobjnode',['addTypeForGepObjNode',['../classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6',1,'SVF::Andersen']]],
-  ['addunaryopedge',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a2020793d5013abd1300331302f0514d4',1,'SVF::SVFIRBuilder']]],
-  ['addunaryoppe',['addUnaryOPPE',['../classSVF_1_1SVFIR.html#a30409c96194976713b6b7728c072b8a5',1,'SVF::SVFIR']]],
-  ['addunaryopvfgnode',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#ae746db691e5c96dff1d590b109bffb7f',1,'SVF::VFG']]],
+  ['addunaryopedge',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf',1,'SVF::SVFIRBuilder']]],
+  ['addunaryopstmt',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
+  ['addunaryopvfgnode',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
   ['addvalnode',['addValNode',['../classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf',1,'SVF::SVFIR::addValNode(const Value *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9',1,'SVF::SVFIR::addValNode(const Value *, SVFVar *node, NodeID i)']]],
   ['addvarargnode',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
   ['addvariantgepcgedge',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
-  ['addvariantgepedge',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#ad7c282ef14cefd8abcc48ec0c2d504aa',1,'SVF::SVFIRBuilder']]],
-  ['addvariantgeppe',['addVariantGepPE',['../classSVF_1_1SVFIR.html#a33d8fad47352f7ca8aac035eb2adb57e',1,'SVF::SVFIR']]],
+  ['addvariantgepedge',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2',1,'SVF::SVFIRBuilder']]],
+  ['addvariantgepstmt',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#aa96e20426d3ccb8dcaab6ee1ec759b6b',1,'SVF::SVFIR']]],
   ['addvartoconst',['addVarToConst',['../cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b',1,'cuddInt.c']]],
   ['addvfedge',['addVFEdge',['../classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263',1,'SVF::VFPathCond']]],
   ['addvfgedge',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],

package/SVF-doxygen/html/html/search/all_10.js

@@ -7,19 +7,14 @@ var searchData=
   ['pagdotgraph',['PAGDotGraph',['../classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0',1,'SVF::Options']]],
   ['pagdotgraphshorter',['PAGDotGraphShorter',['../classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c',1,'SVF::Options']]],
   ['pagedge',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF::PAGEdge()']]],
-  ['pagedgekindtosetmap',['PAGEdgeKindToSetMap',['../classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4',1,'SVF::IRGraph']]],
-  ['pagedgelist',['PAGEdgeList',['../classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6',1,'SVF::ICFGNode::PAGEdgeList()'],['../classSVF_1_1SVFIR.html#a896b591a710148fad7705a0d88652976',1,'SVF::SVFIR::PAGEdgeList()'],['../classSVF_1_1MRGenerator.html#aad6c5bb3abf7449b36b2ec51c4f35f6c',1,'SVF::MRGenerator::PAGEdgeList()'],['../classSVF_1_1MemSSA.html#a45f8ece590b091bd5ebf87f820f28f44',1,'SVF::MemSSA::PAGEdgeList()']]],
-  ['pagedges',['pagEdges',['../classSVF_1_1ICFGNode.html#ab4c08610a97e122bac840e602cbb1cbb',1,'SVF::ICFGNode']]],
-  ['pagedgeset',['PAGEdgeSet',['../classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2',1,'SVF::IRGraph::PAGEdgeSet()'],['../classSVF_1_1VFG.html#aa22b76d96c028055cb0cc14d7dd0ed2e',1,'SVF::VFG::PAGEdgeSet()']]],
-  ['pagedgesetty',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4',1,'SVF::SVFStmt']]],
+  ['pagedges',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
+  ['pagedgesetty',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2',1,'SVF::SVFStmt']]],
   ['pagedgetofunmap',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
-  ['pagedgetosetmapty',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03',1,'SVF::SVFStmt']]],
+  ['pagedgetosetmapty',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa',1,'SVF::SVFStmt']]],
   ['pagedgetostmtvfgnodemap',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
   ['pagedgetostmtvfgnodemapty',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
   ['pagfilename',['pagFileName',['../classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60',1,'SVF::SVFModule']]],
-  ['pagkindtoedgesetmapty',['PAGKindToEdgeSetMapTy',['../classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936',1,'SVF::SVFStmt']]],
   ['pagnode',['PAGNode',['../namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea',1,'SVF']]],
-  ['pagnodelist',['PAGNodeList',['../classSVF_1_1SVFIR.html#a64cee36354a14aae6b64f8b9d3edbd96',1,'SVF::SVFIR']]],
   ['pagnodeset',['PAGNodeSet',['../classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488',1,'SVF::AliasDDAClient::PAGNodeSet()'],['../classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b',1,'SVF::VFG::PAGNodeSet()']]],
   ['pagnodetoactualparmmap',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
   ['pagnodetoactualparmmapty',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#abec730a1ec61532cd164f3d42aa107b0',1,'SVF::VFG']]],
@@ -65,7 +60,7 @@ var searchData=
   ['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
   ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
   ['pathcond',['PathCond',['../classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258',1,'SVF::VFPathCond::PathCond()'],['../classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86',1,'SVF::PathStmtDPItem::PathCond()']]],
-  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()']]],
+  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()']]],
   ['pathcondallocator_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
   ['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
   ['pathdpitem_2eh',['PathDPItem.h',['../PathDPItem_8h.html',1,'']]],
@@ -117,11 +112,11 @@ var searchData=
   ['persptdataty',['PersPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae3ba6392560e5c0978335151c3373fd1',1,'SVF::BVDataPTAImpl']]],
   ['persversioned',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
-  ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
+  ['phi',['Phi',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()'],['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()']]],
   ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#a93148e8b0e21d2b920f53d46493c1f58',1,'SVF::SVFIR::PHINodeMap()'],['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()']]],
-  ['phipe',['PhiPE',['../classSVF_1_1PhiPE.html',1,'SVF::PhiPE'],['../classSVF_1_1PhiPE.html#ac23c761f684a91cdf62e04228430cfdd',1,'SVF::PhiPE::PhiPE()'],['../classSVF_1_1PhiPE.html#acf197240c6abc68bd87ae736f631b382',1,'SVF::PhiPE::PhiPE(const PhiPE &)'],['../classSVF_1_1PhiPE.html#a4ea3497a0716a73950e2037792c54c8f',1,'SVF::PhiPE::PhiPE(SVFVar *s, const OPVars &opnds)']]],
+  ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()'],['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
+  ['phistmt',['PhiStmt',['../classSVF_1_1PhiStmt.html',1,'SVF::PhiStmt'],['../classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f',1,'SVF::PhiStmt::PhiStmt()'],['../classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b',1,'SVF::PhiStmt::PhiStmt(const PhiStmt &)'],['../classSVF_1_1PhiStmt.html#a7a5147246ce71f9863398abdd6ddcfc2',1,'SVF::PhiStmt::PhiStmt(SVFVar *s, const OPVars &opnds)']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
   ['phitime',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
   ['phivfgnode',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html',1,'SVF::PHIVFGNode'],['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode::PHIVFGNode()']]],
@@ -159,6 +154,7 @@ var searchData=
   ['postreorderinghook',['postReorderingHook',['../structDdManager.html#a051721a550ae2f41b9838b8153d46b30',1,'DdManager']]],
   ['ppag',['ppag',['../classSVF_1_1TypeBasedHeapCloning.html#a629ad3cef8929865b7319fb9e389f7bf',1,'SVF::TypeBasedHeapCloning']]],
   ['precise',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
+  ['predicate',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f',1,'SVF::Options']]],
   ['preemptivecomplements',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
   ['preemptiveintersections',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
@@ -269,12 +265,11 @@ var searchData=
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
   ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
   ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1FlowSensitiveTBHC.html#a1eb2f49fd20527b174c2acb8b7d64a41',1,'SVF::FlowSensitiveTBHC::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
-  ['ptapagedgekindtosetmap',['PTAPAGEdgeKindToSetMap',['../classSVF_1_1IRGraph.html#a780372b8241dc1c76e31b0340d5d2401',1,'SVF::IRGraph']]],
   ['ptascev',['PTASCEV',['../classSVF_1_1PTASCEV.html',1,'SVF::PTASCEV'],['../classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3',1,'SVF::PTASCEV::PTASCEV()'],['../classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856',1,'SVF::PTASCEV::PTASCEV(const Value *p, const SCEV *s, ScalarEvolution *SE)'],['../classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70',1,'SVF::PTASCEV::PTASCEV(const PTASCEV &ptase)']]],
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
   ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
   ['ptastat_2eh',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
-  ['ptaty',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()'],['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()']]],
+  ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
   ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
   ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
   ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
@@ -291,14 +286,14 @@ var searchData=
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
-  ['ptrtocptsmap',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
+  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
+  ['ptrtocptsmap',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
   ['ptrtointinst',['PtrToIntInst',['../namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0',1,'SVF']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
   ['ptruint',['ptruint',['../cuddInt_8h.html#afd9afe0bf7ac5855fcd5eb42ea5fcb18',1,'cuddInt.h']]],
   ['ptsallprint',['PTSAllPrint',['../classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c',1,'SVF::Options']]],
   ['ptsdiff',['PtsDiff',['../classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206',1,'SVF::Options']]],
-  ['ptsmap',['PtsMap',['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()'],['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
+  ['ptsmap',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()'],['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()']]],
   ['ptsmapconstiter',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
   ['ptsmapiter',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
   ['ptsprint',['PTSPrint',['../classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_12.js

@@ -153,7 +153,7 @@ var searchData=
   ['retindsvfgedge',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
   ['retindvf',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
   ['retmssamu',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()']]],
+  ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()']]],
   ['retnode',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
   ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a03739021e33640699ab54220c9a7f16d',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallBlockNode *i, GEdgeKind k=SVFStmt::Ret)']]],
   ['retpebegin',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],