svf-tools 1.0.321 → 1.0.322

package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html

@@ -84,16 +84,16 @@ Inheritance diagram for SVF::SVFStmt:</div>
   <img src="classSVF_1_1SVFStmt.png" usemap="#SVF::SVFStmt_map" alt=""/>
   <map id="SVF::SVFStmt_map" name="SVF::SVFStmt_map">
 <area href="classSVF_1_1GenericEdge.html" alt="SVF::GenericEdge&lt; NodeTy &gt;" shape="rect" coords="0,0,187,24"/>
-<area href="classSVF_1_1AddrPE.html" alt="SVF::AddrPE" shape="rect" coords="197,112,384,136"/>
+<area href="classSVF_1_1AddrStmt.html" alt="SVF::AddrStmt" shape="rect" coords="197,112,384,136"/>
 <area href="classSVF_1_1BranchStmt.html" alt="SVF::BranchStmt" shape="rect" coords="197,168,384,192"/>
 <area href="classSVF_1_1CallPE.html" alt="SVF::CallPE" shape="rect" coords="197,224,384,248"/>
-<area href="classSVF_1_1CopyPE.html" alt="SVF::CopyPE" shape="rect" coords="197,280,384,304"/>
-<area href="classSVF_1_1GepPE.html" alt="SVF::GepPE" shape="rect" coords="197,336,384,360"/>
-<area href="classSVF_1_1LoadPE.html" alt="SVF::LoadPE" shape="rect" coords="197,392,384,416"/>
+<area href="classSVF_1_1CopyStmt.html" alt="SVF::CopyStmt" shape="rect" coords="197,280,384,304"/>
+<area href="classSVF_1_1GepStmt.html" alt="SVF::GepStmt" shape="rect" coords="197,336,384,360"/>
+<area href="classSVF_1_1LoadStmt.html" alt="SVF::LoadStmt" shape="rect" coords="197,392,384,416"/>
 <area href="classSVF_1_1MultiOpndStmt.html" alt="SVF::MultiOpndStmt" shape="rect" coords="197,448,384,472"/>
 <area href="classSVF_1_1RetPE.html" alt="SVF::RetPE" shape="rect" coords="197,504,384,528"/>
-<area href="classSVF_1_1StorePE.html" alt="SVF::StorePE" shape="rect" coords="197,560,384,584"/>
-<area href="classSVF_1_1UnaryOPPE.html" alt="SVF::UnaryOPPE" shape="rect" coords="197,616,384,640"/>
+<area href="classSVF_1_1StoreStmt.html" alt="SVF::StoreStmt" shape="rect" coords="197,560,384,584"/>
+<area href="classSVF_1_1UnaryOPStmt.html" alt="SVF::UnaryOPStmt" shape="rect" coords="197,616,384,640"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -981,7 +981,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d">SVF::TDJoinPE</a>, <a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">SVF::TDForkPE</a>, <a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE</a>, <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>, <a class="el" href="classSVF_1_1VariantGepPE.html#a7cf29abb58c401251e9be71329338833">SVF::VariantGepPE</a>, <a class="el" href="classSVF_1_1NormalGepPE.html#aee053977f8178bb34a0e0ef00b38d960">SVF::NormalGepPE</a>, <a class="el" href="classSVF_1_1GepPE.html#a72bfaa84a4ee1e5f194b4b32b9d79f20">SVF::GepPE</a>, <a class="el" href="classSVF_1_1LoadPE.html#a3fbb6dbe97deace81d7267de650bc1e9">SVF::LoadPE</a>, <a class="el" href="classSVF_1_1StorePE.html#a4e810eb248504871c8cb2f979779aad9">SVF::StorePE</a>, <a class="el" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt</a>, <a class="el" href="classSVF_1_1UnaryOPPE.html#addab62c4c919b0c04abbcea383082e1f">SVF::UnaryOPPE</a>, <a class="el" href="classSVF_1_1BinaryOPPE.html#af72be46571cfe62db580282080b54144">SVF::BinaryOPPE</a>, <a class="el" href="classSVF_1_1CmpPE.html#a421aaae2483b5df73c08e2b65b65372c">SVF::CmpPE</a>, <a class="el" href="classSVF_1_1PhiPE.html#a0febb111a72ad77edf514c62e0a5cb9f">SVF::PhiPE</a>, <a class="el" href="classSVF_1_1CopyPE.html#a05802cdb7820f524f539353c99056295">SVF::CopyPE</a>, and <a class="el" href="classSVF_1_1AddrPE.html#a90d1b41129c54f2ee5f43f55149596a3">SVF::AddrPE</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d">SVF::TDJoinPE</a>, <a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">SVF::TDForkPE</a>, <a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE</a>, <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>, <a class="el" href="classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4">SVF::VariantGepStmt</a>, <a class="el" href="classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6">SVF::NormalGepStmt</a>, <a class="el" href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">SVF::GepStmt</a>, <a class="el" href="classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a">SVF::LoadStmt</a>, <a class="el" href="classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac">SVF::StoreStmt</a>, <a class="el" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt</a>, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65">SVF::UnaryOPStmt</a>, <a class="el" href="classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa">SVF::BinaryOPStmt</a>, <a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">SVF::CmpStmt</a>, <a class="el" href="classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a">SVF::PhiStmt</a>, <a class="el" href="classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a">SVF::CopyStmt</a>, and <a class="el" href="classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8">SVF::AddrStmt</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00061">61</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
 <div class="fragment"><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;    std::string str;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;SVFStmt: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html

@@ -80,18 +80,18 @@ Inheritance diagram for SVF::SVFVar:</div>
   <img src="classSVF_1_1SVFVar.png" usemap="#SVF::SVFVar_map" alt=""/>
   <map id="SVF::SVFVar_map" name="SVF::SVFVar_map">
 <area href="classSVF_1_1GenericNode.html" alt="SVF::GenericNode&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="701,0,946,24"/>
-<area href="classSVF_1_1ObjPN.html" alt="SVF::ObjPN" shape="rect" coords="255,112,500,136"/>
+<area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="255,112,500,136"/>
 <area href="classSVF_1_1RetPN.html" alt="SVF::RetPN" shape="rect" coords="510,112,755,136"/>
-<area href="classSVF_1_1ValPN.html" alt="SVF::ValPN" shape="rect" coords="892,112,1137,136"/>
+<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="892,112,1137,136"/>
 <area href="classSVF_1_1VarArgPN.html" alt="SVF::VarArgPN" shape="rect" coords="1147,112,1392,136"/>
-<area href="classSVF_1_1DummyObjPN.html" alt="SVF::DummyObjPN" shape="rect" coords="0,168,245,192"/>
-<area href="classSVF_1_1FIObjPN.html" alt="SVF::FIObjPN" shape="rect" coords="255,168,500,192"/>
+<area href="classSVF_1_1DummyObjVar.html" alt="SVF::DummyObjVar" shape="rect" coords="0,168,245,192"/>
+<area href="classSVF_1_1FIObjVar.html" alt="SVF::FIObjVar" shape="rect" coords="255,168,500,192"/>
 <area href="classSVF_1_1GepObjPN.html" alt="SVF::GepObjPN" shape="rect" coords="510,168,755,192"/>
-<area href="classSVF_1_1DummyValPN.html" alt="SVF::DummyValPN" shape="rect" coords="765,168,1010,192"/>
-<area href="classSVF_1_1GepValPN.html" alt="SVF::GepValPN" shape="rect" coords="1020,168,1265,192"/>
-<area href="classSVF_1_1CloneDummyObjPN.html" alt="SVF::CloneDummyObjPN" shape="rect" coords="0,224,245,248"/>
-<area href="classSVF_1_1CloneFIObjPN.html" alt="SVF::CloneFIObjPN" shape="rect" coords="255,224,500,248"/>
-<area href="classSVF_1_1CloneGepObjPN.html" alt="SVF::CloneGepObjPN" shape="rect" coords="510,224,755,248"/>
+<area href="classSVF_1_1DummyValVar.html" alt="SVF::DummyValVar" shape="rect" coords="765,168,1010,192"/>
+<area href="classSVF_1_1GepValVar.html" alt="SVF::GepValVar" shape="rect" coords="1020,168,1265,192"/>
+<area href="classSVF_1_1CloneDummyObjVar.html" alt="SVF::CloneDummyObjVar" shape="rect" coords="0,224,245,248"/>
+<area href="classSVF_1_1CloneFIObjVar.html" alt="SVF::CloneFIObjVar" shape="rect" coords="255,224,500,248"/>
+<area href="classSVF_1_1CloneGepObjVar.html" alt="SVF::CloneGepObjVar" shape="rect" coords="510,224,755,248"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -383,7 +383,7 @@ Friends</h2></td></tr>
 <p><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> constructor </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8cpp_source.html#l00040">40</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
-<div class="fragment"><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;    <a class="code" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a>(i,k), <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>(val)</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</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;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>( <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a> &lt;= k &amp;&amp; k &lt;= <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> &amp;&amp; <span class="stringliteral">&quot;new SVFIR node kind?&quot;</span>);</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="keywordflow">switch</span> (k)</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a>:</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">GepValNode</a>:</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    {</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for ValPN or GepValNode&quot;</span>);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = val-&gt;getType()-&gt;isPointerTy();</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    }</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98">RetNode</a>:</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    {</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for RetNode&quot;</span>);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = SVFUtil::cast&lt;Function&gt;(val)-&gt;getReturnType()-&gt;isPointerTy();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordflow">break</span>;</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;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a>:</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</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_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a>:</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>:</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">FIObjNode</a>:</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">DummyObjNode</a>:</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a>:</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a>:</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a>:</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;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
+<div class="fragment"><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;    <a class="code" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a>(i,k), <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>(val)</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</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;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>( <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a> &lt;= k &amp;&amp; k &lt;= <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> &amp;&amp; <span class="stringliteral">&quot;new SVFIR node kind?&quot;</span>);</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="keywordflow">switch</span> (k)</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a>:</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">GepValNode</a>:</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    {</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for ValVar or GepValNode&quot;</span>);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = val-&gt;getType()-&gt;isPointerTy();</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    }</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98">RetNode</a>:</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    {</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for RetNode&quot;</span>);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = SVFUtil::cast&lt;Function&gt;(val)-&gt;getReturnType()-&gt;isPointerTy();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordflow">break</span>;</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;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a>:</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</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_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a>:</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>:</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">FIObjNode</a>:</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">DummyObjNode</a>:</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a>:</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a>:</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a>:</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;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00066">SVFVariables.h:66</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
@@ -768,7 +768,7 @@ Friends</h2></td></tr>
 
 <p>Return type of the value. </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValPN.html#aae597b40c984a5a0226d630f7564cefb">SVF::GepValPN</a>, and <a class="el" href="classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539">SVF::ObjPN</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4">SVF::GepValVar</a>, and <a class="el" href="classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d">SVF::ObjVar</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00103">103</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    {</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getType();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</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#l00078">SVFVariables.h:78</a></div></div>
@@ -836,7 +836,7 @@ Friends</h2></td></tr>
 
 <p>Get name of the LLVM value. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1CloneFIObjPN.html#a604e88030c2c32408f4fd99a69b97e6b">SVF::CloneFIObjPN</a>, <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae6640a10e3fc58b057ed94f1d4c774ba">SVF::CloneGepObjPN</a>, <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a2239f9e2aaa61bed50d0c33d3ad8e0ea">SVF::CloneDummyObjPN</a>, <a class="el" href="classSVF_1_1DummyObjPN.html#a3b3dabed91ed32ee99835324108061c7">SVF::DummyObjPN</a>, <a class="el" href="classSVF_1_1DummyValPN.html#ad43ed5282ca6f6cf546e60c37be968c9">SVF::DummyValPN</a>, <a class="el" href="classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjPN.html#ae5c2e49f3fa0511b7fa00de2a682f0e1">SVF::FIObjPN</a>, <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValPN.html#a2ca8cf54bf67f76db2acd05cf7dcf1d1">SVF::GepValPN</a>, <a class="el" href="classSVF_1_1ObjPN.html#a7500f73cb499a5aa0d828075b179b709">SVF::ObjPN</a>, and <a class="el" href="classSVF_1_1ValPN.html#a6894944b680cfd7a45b1582169517d54">SVF::ValPN</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803">SVF::CloneFIObjVar</a>, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e">SVF::CloneGepObjVar</a>, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>, <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>, <a class="el" href="classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd">SVF::DummyValVar</a>, <a class="el" href="classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>, <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3">SVF::GepValVar</a>, <a class="el" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar</a>, and <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>.</p>
 
 </div>
 </div>
@@ -1133,7 +1133,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1CloneFIObjPN.html#aa2b28fe8abd1d131849e95708a640934">SVF::CloneFIObjPN</a>, <a class="el" href="classSVF_1_1CloneGepObjPN.html#a77863cea018e2489e7cb05cb38cae654">SVF::CloneGepObjPN</a>, <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a30dc38493f8d078b58e684f62a1834e7">SVF::CloneDummyObjPN</a>, <a class="el" href="classSVF_1_1DummyObjPN.html#a1f355f6eeeaaba782d24ba3db48adea4">SVF::DummyObjPN</a>, <a class="el" href="classSVF_1_1DummyValPN.html#a4ae5839912059488b0fdd94875cf5df5">SVF::DummyValPN</a>, <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjPN.html#ace2095db79e359533b0cca78f5c1751d">SVF::FIObjPN</a>, <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValPN.html#ab2423c5ca6f7487d30e2a10e933db946">SVF::GepValPN</a>, <a class="el" href="classSVF_1_1ObjPN.html#aca96a0173b40f7917ebc814a5a0b1372">SVF::ObjPN</a>, and <a class="el" href="classSVF_1_1ValPN.html#a417f15b3dba7f5e36fb5c8ed46dccd8e">SVF::ValPN</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc">SVF::CloneFIObjVar</a>, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">SVF::CloneGepObjVar</a>, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b">SVF::CloneDummyObjVar</a>, <a class="el" href="classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40">SVF::DummyObjVar</a>, <a class="el" href="classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84">SVF::DummyValVar</a>, <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595">SVF::FIObjVar</a>, <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de">SVF::GepValVar</a>, <a class="el" href="classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3">SVF::ObjVar</a>, and <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#l00100">100</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                                       {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    std::string str;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;SVFVar ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00105"></a><span class="lineno">  105</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/classSVF_1_1SaberSVFGBuilder.html

@@ -532,7 +532,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Recursively collect global memory objects </p>
 
 <p class="definition">Definition at line <a class="el" href="SaberSVFGBuilder_8cpp_source.html#l00066">66</a> of file <a class="el" href="SaberSVFGBuilder_8cpp_source.html">SaberSVFGBuilder.cpp</a>.</p>
-<div class="fragment"><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_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>();</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">NodeVector</a> worklist;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFIR::iterator</a> it = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(), eit = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it!=eit; it++)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pagNode = it-&gt;second;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;DummyValPN&gt;(pagNode) || SVFUtil::isa&lt;DummyObjPN&gt;(pagNode))</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1GepObjPN.html">GepObjPN</a>* gepobj = SVFUtil::dyn_cast&lt;GepObjPN&gt;(pagNode)) {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;DummyObjPN&gt;(pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(gepobj-&gt;getBaseNode())))</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        }</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* val = pagNode-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>())</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalVariable&gt;(val))</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                worklist.push_back(it-&gt;first);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        }</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">NodeToPTSSMap</a> cachedPtsMap;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">while</span>(!worklist.empty())</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span> = worklist.back();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        worklist.pop_back();</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">globs</a>.<a class="code" href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">set</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>&amp; pts = pta-&gt;<a class="code" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">getPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> it = pts.<a class="code" href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">begin</a>(), eit = pts.<a class="code" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">end</a>(); it!=eit; ++it)</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        {</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">globs</a> |= <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">CollectPtsChain</a>(pta,*it,cachedPtsMap);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00361">GenericGraph.h:361</a></div></div>
+<div class="fragment"><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_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>();</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">NodeVector</a> worklist;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFIR::iterator</a> it = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(), eit = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it!=eit; it++)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pagNode = it-&gt;second;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;DummyValVar&gt;(pagNode) || SVFUtil::isa&lt;DummyObjVar&gt;(pagNode))</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1GepObjPN.html">GepObjPN</a>* gepobj = SVFUtil::dyn_cast&lt;GepObjPN&gt;(pagNode)) {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;DummyObjVar&gt;(pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(gepobj-&gt;getBaseNode())))</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        }</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* val = pagNode-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>())</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalVariable&gt;(val))</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                worklist.push_back(it-&gt;first);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        }</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">NodeToPTSSMap</a> cachedPtsMap;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">while</span>(!worklist.empty())</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span> = worklist.back();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        worklist.pop_back();</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">globs</a>.<a class="code" href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">set</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>&amp; pts = pta-&gt;<a class="code" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">getPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> it = pts.<a class="code" href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">begin</a>(), eit = pts.<a class="code" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">end</a>(); it!=eit; ++it)</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        {</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">globs</a> |= <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">CollectPtsChain</a>(pta,*it,cachedPtsMap);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00361">GenericGraph.h:361</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberSVFGBuilder_html_a4cb1f607e33d106dfa178e822c5ab7e1"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder::NodeToPTSSMap</a></div><div class="ttdeci">Map&lt; NodeID, PointsTo &gt; NodeToPTSSMap</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8h_source.html#l00045">SaberSVFGBuilder.h:45</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_1_1PointsToIterator_html"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html">SVF::PointsTo::PointsToIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00174">PointsTo.h:174</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1StoreCHI-members.html

@@ -83,9 +83,9 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb">getOpVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSACHI.html">SVF::MSSACHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">getResVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html#ab86317f542f22cf46a6376c9811becf7">getStoreInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html#aead80cf9aad5818f16ad61d7a83b7c79">getStoreInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">inst</a></td><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">inst</a></td><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">mr</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">MSSACHI</a>(CHITYPE t, const MemRegion *m, Cond c)</td><td class="entry"><a class="el" href="classSVF_1_1MSSACHI.html">SVF::MSSACHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">MSSADEF</a>(DEFTYPE t, const MemRegion *m)</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -95,7 +95,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05">setResVer</a>(MRVer *v)</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580">SSACHI</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">SSAPHI</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b">StoreCHI</a>(const BasicBlock *b, const StorePE *i, const MemRegion *m, Cond c=true)</td><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79">StoreCHI</a>(const BasicBlock *b, const StoreStmt *i, const MemRegion *m, Cond c=true)</td><td class="entry"><a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">StoreMSSACHI</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">type</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSACHI.html#a01cdeb7ac96e0809d1d56c9da56c4b97">~MSSACHI</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MSSACHI.html">SVF::MSSACHI&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html

@@ -88,16 +88,16 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a85eb84312c003a57b2c9c4ed7df7c239"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#a85eb84312c003a57b2c9c4ed7df7c239">getBasicBlock</a> () const</td></tr>
 <tr class="memdesc:a85eb84312c003a57b2c9c4ed7df7c239"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get basic block.  <a href="#a85eb84312c003a57b2c9c4ed7df7c239">More...</a><br /></td></tr>
 <tr class="separator:a85eb84312c003a57b2c9c4ed7df7c239"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab86317f542f22cf46a6376c9811becf7"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#ab86317f542f22cf46a6376c9811becf7">getStoreInst</a> () const</td></tr>
-<tr class="memdesc:ab86317f542f22cf46a6376c9811becf7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get store instruction.  <a href="#ab86317f542f22cf46a6376c9811becf7">More...</a><br /></td></tr>
-<tr class="separator:ab86317f542f22cf46a6376c9811becf7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aead80cf9aad5818f16ad61d7a83b7c79"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#aead80cf9aad5818f16ad61d7a83b7c79">getStoreInst</a> () const</td></tr>
+<tr class="memdesc:aead80cf9aad5818f16ad61d7a83b7c79"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get store instruction.  <a href="#aead80cf9aad5818f16ad61d7a83b7c79">More...</a><br /></td></tr>
+<tr class="separator:aead80cf9aad5818f16ad61d7a83b7c79"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af889bd9b729182e20ca7598ad4167bb8"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8">dump</a> ()</td></tr>
 <tr class="memdesc:af889bd9b729182e20ca7598ad4167bb8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Print CHI.  <a href="#af889bd9b729182e20ca7598ad4167bb8">More...</a><br /></td></tr>
 <tr class="separator:af889bd9b729182e20ca7598ad4167bb8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
-<tr class="memitem:aa220094176013de75a81c0bfa974b99b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b">StoreCHI</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *b, const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *i, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m, Cond c=true)</td></tr>
-<tr class="memdesc:aa220094176013de75a81c0bfa974b99b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructors for <a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a>.  <a href="#aa220094176013de75a81c0bfa974b99b">More...</a><br /></td></tr>
-<tr class="separator:aa220094176013de75a81c0bfa974b99b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a34433e6e437d302014fd06b5fb624a79"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79">StoreCHI</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *b, const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *i, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m, Cond c=true)</td></tr>
+<tr class="memdesc:a34433e6e437d302014fd06b5fb624a79"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructors for <a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a>.  <a href="#a34433e6e437d302014fd06b5fb624a79">More...</a><br /></td></tr>
+<tr class="separator:a34433e6e437d302014fd06b5fb624a79"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a95f30699dd8622ff60d4aba7e51d0ecf"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#a95f30699dd8622ff60d4aba7e51d0ecf">~StoreCHI</a> ()</td></tr>
 <tr class="separator:a95f30699dd8622ff60d4aba7e51d0ecf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1MSSACHI"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSACHI')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSACHI.html">SVF::MSSACHI&lt; Cond &gt;</a></td></tr>
@@ -158,8 +158,8 @@ Static Public Member Functions</h2></td></tr>
 Private Attributes</h2></td></tr>
 <tr class="memitem:a3b1bcd4535e2199b57adc67fc283fb3f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#a3b1bcd4535e2199b57adc67fc283fb3f">bb</a></td></tr>
 <tr class="separator:a3b1bcd4535e2199b57adc67fc283fb3f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a787017e8aab6f713a409cdec76549293"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">inst</a></td></tr>
-<tr class="separator:a787017e8aab6f713a409cdec76549293"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6e58e7cde1f417ec3feaef98f6f74be2"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">inst</a></td></tr>
+<tr class="separator:a6e58e7cde1f417ec3feaef98f6f74be2"><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>
@@ -193,8 +193,8 @@ class SVF::StoreCHI&lt; Cond &gt;</h3>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00461">461</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="aa220094176013de75a81c0bfa974b99b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa220094176013de75a81c0bfa974b99b">&#9670;&nbsp;</a></span>StoreCHI()</h2>
+<a id="a34433e6e437d302014fd06b5fb624a79"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a34433e6e437d302014fd06b5fb624a79">&#9670;&nbsp;</a></span>StoreCHI()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -213,7 +213,7 @@ template&lt;class Cond &gt; </div>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *&#160;</td>
           <td class="paramname"><em>i</em>, </td>
         </tr>
         <tr>
@@ -244,9 +244,9 @@ template&lt;class Cond &gt; </div>
 <p>Constructors for <a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a>. </p>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00469">469</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;                                                                                       :</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        MSSACHI&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">MSSADEF::StoreMSSACHI</a>,m,c), <a class="code" href="classSVF_1_1StoreCHI.html#a3b1bcd4535e2199b57adc67fc283fb3f">bb</a>(b), <a class="code" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">inst</a>(i)</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    {</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StoreCHI_html_a3b1bcd4535e2199b57adc67fc283fb3f"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a3b1bcd4535e2199b57adc67fc283fb3f">SVF::StoreCHI::bb</a></div><div class="ttdeci">const BasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00464">MSSAMuChi.h:464</a></div></div>
+<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;                                                                                         :</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        MSSACHI&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">MSSADEF::StoreMSSACHI</a>,m,c), <a class="code" href="classSVF_1_1StoreCHI.html#a3b1bcd4535e2199b57adc67fc283fb3f">bb</a>(b), <a class="code" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">inst</a>(i)</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    {</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StoreCHI_html_a3b1bcd4535e2199b57adc67fc283fb3f"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a3b1bcd4535e2199b57adc67fc283fb3f">SVF::StoreCHI::bb</a></div><div class="ttdeci">const BasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00464">MSSAMuChi.h:464</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">SVF::MSSADEF::StoreMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00332">MSSAMuChi.h:332</a></div></div>
-<div class="ttc" id="classSVF_1_1StoreCHI_html_a787017e8aab6f713a409cdec76549293"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">SVF::StoreCHI::inst</a></div><div class="ttdeci">const StorePE * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00465">MSSAMuChi.h:465</a></div></div>
+<div class="ttc" id="classSVF_1_1StoreCHI_html_a6e58e7cde1f417ec3feaef98f6f74be2"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI::inst</a></div><div class="ttdeci">const StoreStmt * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00465">MSSAMuChi.h:465</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -446,8 +446,8 @@ template&lt;class Cond &gt; </div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab86317f542f22cf46a6376c9811becf7"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab86317f542f22cf46a6376c9811becf7">&#9670;&nbsp;</a></span>getStoreInst()</h2>
+<a id="aead80cf9aad5818f16ad61d7a83b7c79"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aead80cf9aad5818f16ad61d7a83b7c79">&#9670;&nbsp;</a></span>getStoreInst()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -458,7 +458,7 @@ template&lt;class Cond &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a>* <a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI</a>&lt; Cond &gt;::getStoreInst </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a>* <a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI</a>&lt; Cond &gt;::getStoreInst </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -474,7 +474,7 @@ template&lt;class Cond &gt; </div>
 <p>Get store instruction. </p>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00485">485</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    {</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">inst</a>;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StoreCHI_html_a787017e8aab6f713a409cdec76549293"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">SVF::StoreCHI::inst</a></div><div class="ttdeci">const StorePE * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00465">MSSAMuChi.h:465</a></div></div>
+<div class="fragment"><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    {</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">inst</a>;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StoreCHI_html_a6e58e7cde1f417ec3feaef98f6f74be2"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI::inst</a></div><div class="ttdeci">const StoreStmt * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00465">MSSAMuChi.h:465</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -505,8 +505,8 @@ template&lt;class Cond &gt; </div>
 
 </div>
 </div>
-<a id="a787017e8aab6f713a409cdec76549293"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a787017e8aab6f713a409cdec76549293">&#9670;&nbsp;</a></span>inst</h2>
+<a id="a6e58e7cde1f417ec3feaef98f6f74be2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6e58e7cde1f417ec3feaef98f6f74be2">&#9670;&nbsp;</a></span>inst</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -517,7 +517,7 @@ template&lt;class Cond &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a>* <a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI</a>&lt; Cond &gt;::inst</td>
+          <td class="memname">const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a>* <a class="el" href="classSVF_1_1StoreCHI.html">SVF::StoreCHI</a>&lt; Cond &gt;::inst</td>
         </tr>
       </table>
   </td>