svf-tools 1.0.317 → 1.0.321

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

@@ -128,6 +128,10 @@ 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_1BranchCondManager.html">BranchCondManager</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_1BranchStmt.html">BranchStmt</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_1BranchVFGNode.html">BranchVFGNode</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_1BreakConstantGEPs.html">BreakConstantGEPs</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_1BVDataPTAImpl.html">BVDataPTAImpl</a></td></tr>
@@ -154,6 +158,8 @@ 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_1CHEdge.html">CHEdge</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_1CHGBuilder.html">CHGBuilder</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_1CHGraph.html">CHGraph</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_1CHNode.html">CHNode</a></td></tr>
@@ -254,8 +260,6 @@ 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_1ExtAPI.html">ExtAPI</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_1ExternalPAG.html">ExternalPAG</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_1FieldInfo.html">FieldInfo</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_1FIFOWorkList.html">FIFOWorkList</a></td></tr>
@@ -426,6 +430,8 @@ 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_1MTASVFGBuilder.html">MTASVFGBuilder</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_1MultiOpndStmt.html">MultiOpndStmt</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_1MutableDFPTData.html">MutableDFPTData</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_1MutableDiffPTData.html">MutableDiffPTData</a></td></tr>
@@ -480,6 +486,8 @@ 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="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>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a></td></tr>
@@ -648,6 +656,17 @@ Typedefs</h2></td></tr>
 <tr class="separator:aa612d67dfa9b0c2999eeef980ca6c893"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa50ee8563f99ba1eb897301f55e9d855"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt; <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855">LocDPItem</a></td></tr>
 <tr class="separator:aa50ee8563f99ba1eb897301f55e9d855"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a53511f619c06836ee85acf12153810e2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f">GlobalValue</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">VTableSet</a></td></tr>
+<tr class="separator:a53511f619c06836ee85acf12153810e2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad2b487757f1e1a1d81073120fc1d49c7"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">VFunSet</a></td></tr>
+<tr class="separator:ad2b487757f1e1a1d81073120fc1d49c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7cb629496a70d2dd22634405652e573a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">CHNode</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a7cb629496a70d2dd22634405652e573a">GenericCHEdgeTy</a></td></tr>
+<tr class="separator:a7cb629496a70d2dd22634405652e573a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a838ed37e84836101711c25a760eec57d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">CHEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">GenericCHNodeTy</a></td></tr>
+<tr class="separator:a838ed37e84836101711c25a760eec57d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa8bd37e4ec2e98c805a14adbf590b9dd"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">CHEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa8bd37e4ec2e98c805a14adbf590b9dd">GenericCHGraphTy</a></td></tr>
+<tr class="memdesc:aa8bd37e4ec2e98c805a14adbf590b9dd"><td class="mdescLeft">&#160;</td><td class="mdescRight">class hierarchy graph  <a href="#aa8bd37e4ec2e98c805a14adbf590b9dd">More...</a><br /></td></tr>
+<tr class="separator:aa8bd37e4ec2e98c805a14adbf590b9dd"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1d2b00b4b0ab475899488fc89b2bfe66"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66">GenericConsEdgeTy</a></td></tr>
 <tr class="separator:a1d2b00b4b0ab475899488fc89b2bfe66"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a825a8805e4a16072031a18b8d553c5a2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>, <a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">GenericConsNodeTy</a></td></tr>
@@ -728,19 +747,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a8e1221553658c8b506c348534135ceaa"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6144ebf5a46ac5e8899044864caf92ba"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFLSolver.html">CFLSolver</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *, <a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a6144ebf5a46ac5e8899044864caf92ba">CFLSrcSnkSolver</a></td></tr>
 <tr class="separator:a6144ebf5a46ac5e8899044864caf92ba"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7cb629496a70d2dd22634405652e573a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">CHNode</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a7cb629496a70d2dd22634405652e573a">GenericCHEdgeTy</a></td></tr>
-<tr class="separator:a7cb629496a70d2dd22634405652e573a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a838ed37e84836101711c25a760eec57d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">CHEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">GenericCHNodeTy</a></td></tr>
-<tr class="separator:a838ed37e84836101711c25a760eec57d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa8bd37e4ec2e98c805a14adbf590b9dd"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">CHEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa8bd37e4ec2e98c805a14adbf590b9dd">GenericCHGraphTy</a></td></tr>
-<tr class="memdesc:aa8bd37e4ec2e98c805a14adbf590b9dd"><td class="mdescLeft">&#160;</td><td class="mdescRight">class hierarchy graph  <a href="#aa8bd37e4ec2e98c805a14adbf590b9dd">More...</a><br /></td></tr>
-<tr class="separator:aa8bd37e4ec2e98c805a14adbf590b9dd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a53511f619c06836ee85acf12153810e2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f">GlobalValue</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">VTableSet</a></td></tr>
-<tr class="separator:a53511f619c06836ee85acf12153810e2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad2b487757f1e1a1d81073120fc1d49c7"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">VFunSet</a></td></tr>
-<tr class="separator:ad2b487757f1e1a1d81073120fc1d49c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a27e8f5a940b51ef9e4e8c291099e37b6"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a27e8f5a940b51ef9e4e8c291099e37b6">PAGBuilder</a></td></tr>
-<tr class="separator:a27e8f5a940b51ef9e4e8c291099e37b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a86863d104a3930b3a806935d92ddbf30"><td class="memItemLeft" align="right" valign="top">typedef llvm::SMDiagnostic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SMDiagnostic</a></td></tr>
 <tr class="memdesc:a86863d104a3930b3a806935d92ddbf30"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Basic classes.  <a href="#a86863d104a3930b3a806935d92ddbf30">More...</a><br /></td></tr>
 <tr class="separator:a86863d104a3930b3a806935d92ddbf30"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -2364,7 +2370,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00042">42</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00076">76</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
 
 </div>
 </div>
@@ -2382,7 +2388,7 @@ Functions</h2></td></tr>
 
 <p>class hierarchy graph </p>
 
-<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00175">175</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00207">207</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
 
 </div>
 </div>
@@ -2398,7 +2404,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00071">71</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00103">103</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
 
 </div>
 </div>
@@ -3489,23 +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#l00732">732</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-
-</div>
-</div>
-<a id="a27e8f5a940b51ef9e4e8c291099e37b6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a27e8f5a940b51ef9e4e8c291099e37b6">&#9670;&nbsp;</a></span>PAGBuilder</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> <a class="el" href="namespaceSVF.html#a27e8f5a940b51ef9e4e8c291099e37b6">SVF::PAGBuilder</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SVFIRBuilder_8h_source.html#l00388">388</a> of file <a class="el" href="SVFIRBuilder_8h_source.html">SVFIRBuilder.h</a>.</p>
+<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>
 
 </div>
 </div>
@@ -4574,7 +4564,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CommonCHG_8h_source.html#l00018">18</a> of file <a class="el" href="CommonCHG_8h_source.html">CommonCHG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00047">47</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
 
 </div>
 </div>
@@ -4590,7 +4580,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CommonCHG_8h_source.html#l00017">17</a> of file <a class="el" href="CommonCHG_8h_source.html">CommonCHG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00044">44</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/namespacemembers_p.html

@@ -64,9 +64,6 @@ $(function() {
 <li>PAG
 : <a class="el" href="namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d">SVF</a>
 </li>
-<li>PAGBuilder
-: <a class="el" href="namespaceSVF.html#a27e8f5a940b51ef9e4e8c291099e37b6">SVF</a>
-</li>
 <li>PAGEdge
 : <a class="el" href="namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_p.html

@@ -64,9 +64,6 @@ $(function() {
 <li>PAG
 : <a class="el" href="namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d">SVF</a>
 </li>
-<li>PAGBuilder
-: <a class="el" href="namespaceSVF.html#a27e8f5a940b51ef9e4e8c291099e37b6">SVF</a>
-</li>
 <li>PAGEdge
 : <a class="el" href="namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152">SVF</a>
 </li>

package/SVF-doxygen/html/html/saber_8cpp_source.html

@@ -68,7 +68,7 @@ $(function() {
 <div class="contents">
 <a href="saber_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- saber.cpp -- Source-sink bug checker------------------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===-----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> // Saber: Software Bug Check.</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> //</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> // Author: Yulei Sui,</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-FE/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LeakChecker_8h.html">SABER/LeakChecker.h</a>&quot;</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="FileChecker_8h.html">SABER/FileChecker.h</a>&quot;</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DoubleFreeChecker_8h.html">SABER/DoubleFreeChecker.h</a>&quot;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">InputFilename</a>(cl::Positional,</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        llvm::cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), llvm::cl::init(<span class="stringliteral">&quot;-&quot;</span>));</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a>(<span class="stringliteral">&quot;leak&quot;</span>, llvm::cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;                                       llvm::cl::desc(<span class="stringliteral">&quot;Memory Leak Detection&quot;</span>));</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a>(<span class="stringliteral">&quot;fileck&quot;</span>, llvm::cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;                                       llvm::cl::desc(<span class="stringliteral">&quot;File Open/Close Detection&quot;</span>));</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">DFREECHECKER</a>(<span class="stringliteral">&quot;dfree&quot;</span>, llvm::cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;                                        llvm::cl::desc(<span class="stringliteral">&quot;Double Free Detection&quot;</span>));</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   50</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVFUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;                                <span class="stringliteral">&quot;Source-Sink Bug Detector\n&quot;</span>);</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a> *saber;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a>)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a>)</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileChecker.html">FileChecker</a>();</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">DFREECHECKER</a>)</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a>();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();  <span class="comment">// if no checker is specified, we use leak checker as the default one.</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    saber-&gt;<a class="code" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">runOnModule</a>(svfModule);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1LeakChecker_html"><div class="ttname"><a href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00042">LeakChecker.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1DoubleFreeChecker_html"><div class="ttname"><a href="classSVF_1_1DoubleFreeChecker.html">SVF::DoubleFreeChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="DoubleFreeChecker_8h_source.html#l00042">DoubleFreeChecker.h:42</a></div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00385">ConsG.h:385</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00328">CHG.h:328</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a2d332c504284f0bc181289ee67479845"><div class="ttname"><a href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">InputFilename</a></div><div class="ttdeci">static llvm::cl::opt&lt; std::string &gt; InputFilename(cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;))</div></div>
 <div class="ttc" id="FileChecker_8h_html"><div class="ttname"><a href="FileChecker_8h.html">FileChecker.h</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="saber_8cpp_source.html#l00050">saber.cpp:50</a></div></div>

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

@@ -47,14 +47,15 @@ var searchData=
   ['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']]],
-  ['addbinarynode',['addBinaryNode',['../classSVF_1_1SVFIR.html#ad1a64553b9291d9bd05d89728c686d44',1,'SVF::SVFIR']]],
-  ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9a470a38227ba07e62c0c812a4ec2f81',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryoppe',['addBinaryOPPE',['../classSVF_1_1SVFIR.html#a1b04aece8eb719555982bd947840947d',1,'SVF::SVFIR']]],
-  ['addbinaryopvfgnode',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#aa6c2ec65e990fcf7f2d77b75c6f0f9a3',1,'SVF::VFG']]],
+  ['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']]],
   ['addblackholeaddredge',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719',1,'SVF::SVFIRBuilder']]],
   ['addblackholeaddrpe',['addBlackHoleAddrPE',['../classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc',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()']]],
+  ['addbranchvfgnode',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
   ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14',1,'SVF::SVFIRBuilder::addCallEdge()']]],
   ['addcallgraphnode',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
   ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd',1,'SVF::ICFG']]],
@@ -71,10 +72,9 @@ 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#a724ba7c0c43efec7d7fd171640dfd0f9',1,'SVF::SVFIRBuilder']]],
-  ['addcmpnode',['addCmpNode',['../classSVF_1_1SVFIR.html#a2f33717b2b9bb3de30791f4ae55dbe49',1,'SVF::SVFIR']]],
-  ['addcmppe',['addCmpPE',['../classSVF_1_1SVFIR.html#ac655a9b115fb6a48a74d794847858aef',1,'SVF::SVFIR']]],
-  ['addcmpvfgnode',['addCmpVFGNode',['../classSVF_1_1VFG.html#a4f605ce5604c65ffb816d3be0688bbd3',1,'SVF::VFG']]],
+  ['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']]],
   ['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']]],
@@ -100,10 +100,10 @@ var searchData=
   ['adddirectparforedge',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a700ec3fd1c9d89a7176e05b2f1949aef',1,'SVF::ThreadCallGraph']]],
   ['adddpmtoloc',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
   ['adddummymemobj',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532',1,'SVF::SVFIR']]],
-  ['adddummyobjnode',['addDummyObjNode',['../classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const Type *type)'],['../classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb',1,'SVF::SVFIR::addDummyObjNode(const Type *type=nullptr)']]],
-  ['adddummyvalnode',['addDummyValNode',['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)'],['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()']]],
+  ['adddummyobjnode',['addDummyObjNode',['../classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb',1,'SVF::SVFIR::addDummyObjNode(const Type *type=nullptr)'],['../classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const Type *type)']]],
+  ['adddummyvalnode',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
   ['adddummyversionpropsvfgnode',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
-  ['addedge',['addEdge',['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#ac6bfe0ed1a75be19b3f10db9a95952ef',1,'SVF::PAGBuilderFromFile::addEdge()'],['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ada73b0a14d4f545a59c37e11d6bd9d81',1,'SVF::SVFIRBuilder::addEdge()']]],
+  ['addedge',['addEdge',['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#ac6bfe0ed1a75be19b3f10db9a95952ef',1,'SVF::PAGBuilderFromFile::addEdge()'],['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ada73b0a14d4f545a59c37e11d6bd9d81',1,'SVF::SVFIRBuilder::addEdge()']]],
   ['addedge_5fallopt',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
   ['addedge_5fnoalias',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
   ['addedge_5fnoedge',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
@@ -113,7 +113,6 @@ var searchData=
   ['addedge_5fnorp',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
   ['addelemnumstridepair',['addElemNumStridePair',['../classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b',1,'SVF::LocationSet']]],
   ['addextactualparmsvfgnodes',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
-  ['addexternalpag',['addExternalPAG',['../classSVF_1_1ExternalPAG.html#a6e8b309508de040504ad4b2ce6a5de28',1,'SVF::ExternalPAG']]],
   ['addfiobjnode',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
   ['addfldwithtype',['addFldWithType',['../classSVF_1_1StInfo.html#ac8483f7707339d3ba53fa2ae0127ec98',1,'SVF::StInfo']]],
   ['addfollowerfun',['addFollowerFun',['../classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00',1,'SVF::PCG']]],
@@ -127,7 +126,7 @@ var searchData=
   ['addforwardvisited',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
   ['addfunargs',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
   ['addfunctionset',['addFunctionSet',['../classSVF_1_1SVFModule.html#ae5512e574414dc259daaacaecf8cdf13',1,'SVF::SVFModule']]],
-  ['addfunctofuncvector',['addFuncToFuncVector',['../classSVF_1_1CHGraph.html#a9836450a0f8cc10bf4f2311295c4c404',1,'SVF::CHGraph']]],
+  ['addfunctofuncvector',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26',1,'SVF::CHGBuilder']]],
   ['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']]],
@@ -174,7 +173,7 @@ 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#a8ed810b95bdb58a12d2c24aad3e588ae',1,'SVF::VFG']]],
+  ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#aba0389fbcac1efab08339b53d149bf84',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']]],
@@ -204,6 +203,7 @@ var searchData=
   ['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']]],
   ['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#aa20b26d03ffb6920046f6c532d42e68a',1,'SVF::SVFIR']]],
+  ['addphinode',['addPhiNode',['../classSVF_1_1SVFIR.html#a3da8a2168e33f49708cdcc79f9e311a4',1,'SVF::SVFIR::addPhiNode()'],['../classSVF_1_1SVFIRBuilder.html#ab6c80be878f5e9d888d8532a633a2566',1,'SVF::SVFIRBuilder::addPhiNode()']]],
   ['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()']]],
@@ -285,12 +285,12 @@ var searchData=
   ['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']]],
   ['addtypedef',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
   ['addtypeforgepobjnode',['addTypeForGepObjNode',['../classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6',1,'SVF::Andersen']]],
-  ['addunarynode',['addUnaryNode',['../classSVF_1_1SVFIR.html#a3a3cf0f247024ffd73caf75d63ed04d2',1,'SVF::SVFIR']]],
-  ['addunaryopedge',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a78d85371f9ddca90bcd311eca9ecf639',1,'SVF::SVFIRBuilder']]],
-  ['addunaryoppe',['addUnaryOPPE',['../classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e',1,'SVF::SVFIR']]],
-  ['addunaryopvfgnode',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a0a7c8a1e8a85ab815161497113435e4a',1,'SVF::VFG']]],
+  ['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']]],
   ['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']]],
@@ -356,7 +356,7 @@ var searchData=
   ['analyzeintraproceduallock',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
   ['analyzelockspancxtstmt',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
   ['analyzestaticobjtype',['analyzeStaticObjType',['../classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211',1,'SVF::ObjTypeInfo']]],
-  ['analyzevtables',['analyzeVTables',['../classSVF_1_1CHGraph.html#a0685bd653851a903f765e21aec0fdbd1',1,'SVF::CHGraph']]],
+  ['analyzevtables',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
   ['and',['AND',['../classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04',1,'SVF::BranchCondManager::AND()'],['../classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7',1,'SVF::CondManager::AND()']]],
   ['ander',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
   ['andersen',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF::Andersen'],['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen::Andersen()']]],
@@ -420,7 +420,6 @@ var searchData=
   ['argindeadfunction',['ArgInDeadFunction',['../namespaceSVF_1_1SVFUtil.html#a4543a9c0299c72deb68f2472e1ea05ce',1,'SVF::SVFUtil']]],
   ['arginnocallerfunction',['ArgInNoCallerFunction',['../namespaceSVF_1_1SVFUtil.html#afd690c09e01989e57899875ca97f0166',1,'SVF::SVFUtil']]],
   ['arginprogentryfunction',['ArgInProgEntryFunction',['../namespaceSVF_1_1SVFUtil.html#a4d4191a1c81d80bf26aac120ed880135',1,'SVF::SVFUtil']]],
-  ['argnodes',['argNodes',['../classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac',1,'SVF::ExternalPAG']]],
   ['argument',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
   ['argumentvfgnode',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF::ArgumentVFGNode'],['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode::ArgumentVFGNode()']]],
   ['array_5fcompare',['array_compare',['../cuddInt_8c.html#a7bf1f52c1a099b9c9ff70e091fc2a11b',1,'cuddInt.c']]],

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

@@ -1,7 +1,6 @@
 var searchData=
 [
   ['pag',['pag',['../classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff',1,'SVF::DDAClient::pag()'],['../classSVF_1_1ConstraintGraph.html#aa8b09f64c6e4bbd081c6062a1a0e8948',1,'SVF::ConstraintGraph::pag()'],['../classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a',1,'SVF::VFG::pag()'],['../classSVF_1_1PAGBuilderFromFile.html#a79f00ac0ee4a67beec6e7ef45c504e4d',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3',1,'SVF::PointerAnalysis::pag()'],['../classSVF_1_1SVFIR.html#aaf86146b5e765d1f278b6d812bf913f5',1,'SVF::SVFIR::pag()'],['../classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb',1,'SVF::SVFIRBuilder::pag()'],['../namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d',1,'SVF::PAG()']]],
-  ['pagbuilder',['PAGBuilder',['../namespaceSVF.html#a27e8f5a940b51ef9e4e8c291099e37b6',1,'SVF']]],
   ['pagbuilderfromfile',['PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html',1,'SVF::PAGBuilderFromFile'],['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR::PAGBuilderFromFile()'],['../classSVF_1_1PAGBuilderFromFile.html#ac328e86f1081de231fc485a579997507',1,'SVF::PAGBuilderFromFile::PAGBuilderFromFile()']]],
   ['pagbuilderfromfile_2ecpp',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
   ['pagbuilderfromfile_2eh',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
@@ -13,7 +12,7 @@ var searchData=
   ['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']]],
-  ['pagedgetofunmap',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()']]],
+  ['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']]],
   ['pagedgetostmtvfgnodemap',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
   ['pagedgetostmtvfgnodemapty',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
@@ -28,6 +27,8 @@ var searchData=
   ['pagnodetoactualretmapty',['PAGNodeToActualRetMapTy',['../classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7',1,'SVF::VFG']]],
   ['pagnodetobinaryopvfgnodemap',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
   ['pagnodetobinaryopvfgnodemapty',['PAGNodeToBinaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemap',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemapty',['PAGNodeToBranchVFGNodeMapTy',['../classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991',1,'SVF::VFG']]],
   ['pagnodetocmpvfgnodemap',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
   ['pagnodetocmpvfgnodemapty',['PAGNodeToCmpVFGNodeMapTy',['../classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0',1,'SVF::VFG']]],
   ['pagnodetodefmap',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
@@ -41,7 +42,7 @@ var searchData=
   ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
+  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
   ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
   ['pairindex',['pairIndex',['../structDdSubtable.html#a027d40eb603e409faef302acc952ca85',1,'DdSubtable']]],
   ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
@@ -54,7 +55,6 @@ var searchData=
   ['parforsites',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
   ['parforsitesbegin',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
   ['parforsitesend',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
-  ['parseexternalpags',['parseExternalPAGs',['../classSVF_1_1ExternalPAG.html#a50cf3da29657a69d66396a6951f628d8',1,'SVF::ExternalPAG']]],
   ['parseselfcyclehandleoption',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
   ['partialjoin',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
   ['partialreachable',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
@@ -65,7 +65,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_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()']]],
+  ['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_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
   ['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
   ['pathdpitem_2eh',['PathDPItem.h',['../PathDPItem_8h.html',1,'']]],
@@ -117,9 +117,10 @@ 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',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
   ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()'],['../classSVF_1_1SVFIR.html#ac0a3d6c77fb8f170f5661decdd7a6d43',1,'SVF::SVFIR::PHINodeMap()']]],
+  ['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)']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
   ['phitime',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
@@ -258,7 +259,7 @@ var searchData=
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
   ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
-  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
+  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
   ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
   ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
   ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],
@@ -273,7 +274,7 @@ var searchData=
   ['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#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
+  ['ptaty',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()'],['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',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()']]],
@@ -310,7 +311,7 @@ var searchData=
   ['ptstosubptsmap',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1',1,'SVF::IntraDisjointMRG']]],
   ['pttype',['PtType',['../classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304',1,'SVF::Options']]],
   ['pure_5fabstract',['PURE_ABSTRACT',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()']]],
-  ['purevirtualfunname',['pureVirtualFunName',['../CHG_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHG.cpp']]],
+  ['purevirtualfunname',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
   ['push',['push',['../classSVF_1_1List.html#aaec02f979702cf4bd899e41defd53c1a',1,'SVF::List::push()'],['../classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8',1,'SVF::FIFOWorkList::push()'],['../classSVF_1_1FILOWorkList.html#a342e5498a91c6a8796fe0e93064a02c8',1,'SVF::FILOWorkList::push()']]],
   ['pushcontext',['pushContext',['../classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884',1,'SVF::ContextCond::pushContext()'],['../classSVF_1_1CxtStmtDPItem.html#a3bb07147466d6ccb397616e1c09fc60b',1,'SVF::CxtStmtDPItem::pushContext()'],['../classSVF_1_1CxtDPItem.html#a31a33a291b4bb688f54572c986c0b845',1,'SVF::CxtDPItem::pushContext()'],['../classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897',1,'SVF::PathStmtDPItem::pushContext()']]],
   ['pushcxt',['pushCxt',['../classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17',1,'SVF::LockAnalysis::pushCxt()'],['../classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44',1,'SVF::MHP::pushCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e',1,'SVF::ForkJoinAnalysis::pushCxt()'],['../classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, const Instruction *call, const Function *callee)'],['../classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, CallSiteID csId)']]],