svf-tools 1.0.337 → 1.0.341

package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html

@@ -77,6 +77,7 @@ Inheritance diagram for SVF::VarArgPN:</div>
  <div class="center">
   <img src="classSVF_1_1VarArgPN.png" usemap="#SVF::VarArgPN_map" alt=""/>
   <map id="SVF::VarArgPN_map" name="SVF::VarArgPN_map">
+<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="0,112,245,136"/>
 <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="0,56,245,80"/>
 <area href="classSVF_1_1GenericNode.html" alt="SVF::GenericNode&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="0,0,245,24"/>
 </map>
@@ -92,6 +93,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:aec7ac87f5fff58b24daea998aaf0cc2a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a617077176f0ea586a0cf9a4a1034e99d"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">toString</a> () const</td></tr>
 <tr class="separator:a617077176f0ea586a0cf9a4a1034e99d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1ValVar"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ValVar')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td></tr>
+<tr class="memitem:ae5dc21b3327a100ffe3e0e2c876ba1bb inherit pub_methods_classSVF_1_1ValVar"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a>)</td></tr>
+<tr class="memdesc:ae5dc21b3327a100ffe3e0e2c876ba1bb inherit pub_methods_classSVF_1_1ValVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">More...</a><br /></td></tr>
+<tr class="separator:ae5dc21b3327a100ffe3e0e2c876ba1bb inherit pub_methods_classSVF_1_1ValVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1SVFVar"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SVFVar')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td></tr>
 <tr class="memitem:a24daf5faa4b1d159c193e61951d17414 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVFVar</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> k)</td></tr>
 <tr class="memdesc:a24daf5faa4b1d159c193e61951d17414 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">address-taken pointer  <a href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">More...</a><br /></td></tr>
@@ -229,8 +234,18 @@ Static Public Member Functions</h2></td></tr>
 <tr class="separator:acaecf9e9d98c4a14fecee0877a72839c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2adee91065fef72cb8f64924aa83ec0a"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VarArgPN.html#a2adee91065fef72cb8f64924aa83ec0a">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
 <tr class="separator:a2adee91065fef72cb8f64924aa83ec0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3a7f82ff9fe4426ae8d967460995e2cd"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VarArgPN.html#a3a7f82ff9fe4426ae8d967460995e2cd">classof</a> (const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> *node)</td></tr>
+<tr class="separator:a3a7f82ff9fe4426ae8d967460995e2cd"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7f873a8015eb6a6b30530a7e5a69018d"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
 <tr class="separator:a7f873a8015eb6a6b30530a7e5a69018d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_classSVF_1_1ValVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ValVar')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td></tr>
+<tr class="memitem:adbbf3c9ff5dcb10ac528d3eb4b69750c inherit pub_static_methods_classSVF_1_1ValVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">classof</a> (const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> *)</td></tr>
+<tr class="memdesc:adbbf3c9ff5dcb10ac528d3eb4b69750c inherit pub_static_methods_classSVF_1_1ValVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">More...</a><br /></td></tr>
+<tr class="separator:adbbf3c9ff5dcb10ac528d3eb4b69750c inherit pub_static_methods_classSVF_1_1ValVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a71e5f4eaf74f852d3354ac6b0b65f39c inherit pub_static_methods_classSVF_1_1ValVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ValVar.html#a71e5f4eaf74f852d3354ac6b0b65f39c">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
+<tr class="separator:a71e5f4eaf74f852d3354ac6b0b65f39c inherit pub_static_methods_classSVF_1_1ValVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a371f38564932cc04c6c4a00a99bf6c6a inherit pub_static_methods_classSVF_1_1ValVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ValVar.html#a371f38564932cc04c6c4a00a99bf6c6a">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
+<tr class="separator:a371f38564932cc04c6c4a00a99bf6c6a inherit pub_static_methods_classSVF_1_1ValVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
 Additional Inherited Members</h2></td></tr>
@@ -283,7 +298,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00620">620</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00628">628</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="ad6ebe474373838bc6c00e8baaa3f7137"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad6ebe474373838bc6c00e8baaa3f7137">&#9670;&nbsp;</a></span>VarArgPN()</h2>
@@ -321,15 +336,15 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00641">641</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;                                               :</div><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVFVar</a>(val-&gt;getLLVMFun(), i, <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a>)</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;    {</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a24daf5faa4b1d159c193e61951d17414"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVF::SVFVar::SVFVar</a></div><div class="ttdeci">SVFVar(const Value *val, NodeID i, PNODEK k)</div><div class="ttdoc">address-taken pointer </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00040">SVFVariables.cpp:40</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00653">653</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;                                               :</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;        <a class="code" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a>(val-&gt;getLLVMFun(), i, <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a>)</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;    {</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ValVar_html_ae5dc21b3327a100ffe3e0e2c876ba1bb"><div class="ttname"><a href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar::ValVar</a></div><div class="ttdeci">ValVar(const Value *val, NodeID i, PNODEK ty=ValNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00303">SVFVariables.h:303</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVF::SVFVar::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
 <a id="acaecf9e9d98c4a14fecee0877a72839c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acaecf9e9d98c4a14fecee0877a72839c">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/3]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#acaecf9e9d98c4a14fecee0877a72839c">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -352,12 +367,12 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00626">626</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;    {</div><div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00634">634</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;    {</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a2adee91065fef72cb8f64924aa83ec0a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2adee91065fef72cb8f64924aa83ec0a">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/3]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a2adee91065fef72cb8f64924aa83ec0a">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -380,13 +395,42 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00630">630</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;    {</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVFVar::VarargNode</a>;</div><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVF::SVFVar::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00638">638</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;    {</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVFVar::VarargNode</a>;</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVF::SVFVar::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a3a7f82ff9fe4426ae8d967460995e2cd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3a7f82ff9fe4426ae8d967460995e2cd">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/4]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::VarArgPN::classof </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> *&#160;</td>
+          <td class="paramname"><em>node</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00642">642</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;    {</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVFVar::VarargNode</a>;</div><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVF::SVFVar::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <a id="a7f873a8015eb6a6b30530a7e5a69018d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7f873a8015eb6a6b30530a7e5a69018d">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/3]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a7f873a8015eb6a6b30530a7e5a69018d">&#9670;&nbsp;</a></span>classof() <span class="overload">[4/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -409,8 +453,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00634">634</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;    {</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVFVar::VarargNode</a>;</div><div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVF::SVFVar::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00646">646</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;    {</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVFVar::VarargNode</a>;</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">SVF::SVFVar::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -439,10 +483,10 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return name of a LLVM value. </p>
 
-<p>Implements <a class="el" href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">SVF::SVFVar</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00647">647</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;    {</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getName().str() + <span class="stringliteral">&quot;_vararg&quot;</span>;</div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00659">659</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    {</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getName().str() + <span class="stringliteral">&quot;_vararg&quot;</span>;</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -469,7 +513,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd">SVF::ValVar</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8cpp_source.html#l00173">173</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                                         {</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    std::string str;</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;VarArgPN ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; Var arg node for function &quot;</span> &lt;&lt; SVFUtil::cast&lt;Function&gt;(<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>)-&gt;getName();</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>

package/SVF-doxygen/html/html/functions_c.html

@@ -864,7 +864,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#a02c4846269bd28bd4e8b127532cb737a">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1024,7 +1024,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1221,9 +1221,15 @@ $(function() {
 <li>CONST_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047">SVF::ObjTypeInfo</a>
 </li>
+<li>CONST_DATA
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e">SVF::ObjTypeInfo</a>
+</li>
 <li>const_global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">SVF::SVFModule</a>
 </li>
+<li>CONST_GLOBAL_OBJ
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c">SVF::ObjTypeInfo</a>
+</li>
 <li>const_iterator
 : <a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode</a>
@@ -1239,9 +1245,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52">SVF::VFG</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode</a>
 </li>
-<li>CONST_OBJ
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af11159d515b7cf1146b5342f64ee2da1">SVF::ObjTypeInfo</a>
-</li>
 <li>CONST_STRUCT_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">SVF::ObjTypeInfo</a>
 </li>
@@ -1318,7 +1321,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1336,7 +1339,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1345,7 +1348,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
@@ -1357,7 +1360,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count
 : <a class="el" href="structDdHashItem.html#aa5bce9f94fb976df2a1768f0f0c7d50c">DdHashItem</a>
@@ -1645,7 +1648,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1696,7 +1699,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -1718,12 +1721,14 @@ $(function() {
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
+<li>cxtStmtToCxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_eval_c.html

@@ -122,8 +122,11 @@ $(function() {
 <li>CONST_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047">SVF::ObjTypeInfo</a>
 </li>
-<li>CONST_OBJ
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af11159d515b7cf1146b5342f64ee2da1">SVF::ObjTypeInfo</a>
+<li>CONST_DATA
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e">SVF::ObjTypeInfo</a>
+</li>
+<li>CONST_GLOBAL_OBJ
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c">SVF::ObjTypeInfo</a>
 </li>
 <li>CONST_STRUCT_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">SVF::ObjTypeInfo</a>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -175,7 +175,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1BranchCondExpr.html#a410279631ba4a555a6b823be2465b0de">SVF::BranchCondExpr</a>
+, <a class="el" href="classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
@@ -191,7 +191,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CloneFIObjVar.html#a96a659f0a876b417ebdf6057db65c870">SVF::CloneFIObjVar</a>
 , <a class="el" href="classSVF_1_1CloneGepObjVar.html#a5f46eff05b965deeeed531bd9a87b464">SVF::CloneGepObjVar</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">SVF::CmpStmt</a>
-, <a class="el" href="classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434">SVF::CopyCGEdge</a>
@@ -202,7 +202,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf">SVF::DirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69">SVF::DummyObjVar</a>
-, <a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">SVF::DummyValVar</a>
+, <a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">SVF::DummyValVar</a>
 , <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa">SVF::EntryCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619">SVF::FIObjVar</a>
@@ -272,14 +272,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#a61b6a4c05576d942024cc002905d5831">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5">SVF::SVFValue</a>
-, <a class="el" href="classSVF_1_1TCTEdge.html#a38d3af1f146d4e70574874c7ec28f6f3">SVF::TCTEdge</a>
+, <a class="el" href="classSVF_1_1TCTEdge.html#a13088f28a806a095ede56240b9fa87a2">SVF::TCTEdge</a>
 , <a class="el" href="classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d">SVF::TDForkPE</a>
 , <a class="el" href="classSVF_1_1TDJoinPE.html#ace17257476d0ee089a9f9cb8dc63e3f2">SVF::TDJoinPE</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89">SVF::ThreadCallGraph</a>
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
 , <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc">SVF::ThreadMHPIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f">SVF::TypeAnalysis</a>
+, <a class="el" href="classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3">SVF::TypeAnalysis</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a11ff85d796e547f0258ec30cf23b7310">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
@@ -350,7 +350,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -373,7 +373,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab01a663b665d629c15f3531f18b5abc2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9f5bb9d2020973660268c4e5ac98cb61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe724603022a8fed7469f9ecd633febc">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a3f78f60e1947a6d6fbcd3a0ee11e262a">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -412,10 +412,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aedd12e894fb2c17d2201f4049e5f3793">SVF::VersionedFlowSensitive</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a02c4846269bd28bd4e8b127532cb737a">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -632,7 +632,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
 : <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
@@ -723,16 +723,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
 </li>
 <li>CopyStmt()
 : <a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
@@ -750,10 +750,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>createAndersenHCD()
 : <a class="el" href="classSVF_1_1AndersenHCD.html#aa3553e6d7c7245d3d2cdc9d083889c28">SVF::AndersenHCD</a>
@@ -836,10 +836,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
@@ -851,13 +851,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>cxtToStr()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac53f22f1e9547b15b8998d83290f4281">SVF::CxtProc</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -432,12 +432,14 @@ $(function() {
 <li>isConnectingTwoCallSites()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d">SVF::SVFGOPT</a>
 </li>
-<li>isConstant()
-: <a class="el" href="classSVF_1_1MemObj.html#a3f429b085f749ed0c8269517eb9094ae">SVF::MemObj</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">SVF::ObjTypeInfo</a>
+<li>isConstantArray()
+: <a class="el" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj</a>
+, <a class="el" href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">SVF::ObjTypeInfo</a>
 </li>
 <li>isConstantData()
-: <a class="el" href="classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1MemObj.html#aa50d7c3b4e7ac0aa769bc094bea26e16">SVF::MemObj</a>
+, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6f6c80f7d067a6082a9af04d2547cf34">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0">SVF::SVFVar</a>
 </li>
 <li>isConstantObj()
 : <a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">SVF::SVFIR</a>
@@ -449,13 +451,13 @@ $(function() {
 <li>isConstantOffset()
 : <a class="el" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">SVF::LocationSet</a>
 </li>
-<li>isConstArray()
-: <a class="el" href="classSVF_1_1MemObj.html#ae30d2d8f6f621795a70ba046ca25af2d">SVF::MemObj</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">SVF::ObjTypeInfo</a>
+<li>isConstantStruct()
+: <a class="el" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">SVF::MemObj</a>
+, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7">SVF::ObjTypeInfo</a>
 </li>
-<li>isConstStruct()
-: <a class="el" href="classSVF_1_1MemObj.html#a0f5283e512d6c749b33ba9cfc2d70d17">SVF::MemObj</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">SVF::ObjTypeInfo</a>
+<li>isConstDataOrConstGlobal()
+: <a class="el" href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">SVF::MemObj</a>
+, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1">SVF::ObjTypeInfo</a>
 </li>
 <li>isDeclaration()
 : <a class="el" href="classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76">SVF::SVFFunction</a>
@@ -558,7 +560,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -623,7 +625,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a65aca2bc12fc34203b16549653943eae">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a4245d946dd694b59b5c8ef30b08cb1dd">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af30d0dad3d17188de8c2cea9b004f3d3">SVF::LockAnalysis</a>
@@ -700,7 +702,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#abe9fee725114243e16db4c2fd1abf3fa">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -910,14 +912,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a9db4df7968ec179e5012794c58fdee70">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a0ff50b4312b9aa2c7ebd00e9a40a2668">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
@@ -931,11 +933,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>