svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/classSVF_1_1MemObj.html

@@ -75,22 +75,13 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:ab22373574ae9dff2f8ffbef16d5b339c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#ab22373574ae9dff2f8ffbef16d5b339c">MemObj</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> id)</td></tr>
-<tr class="memdesc:ab22373574ae9dff2f8ffbef16d5b339c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#ab22373574ae9dff2f8ffbef16d5b339c">More...</a><br /></td></tr>
-<tr class="separator:ab22373574ae9dff2f8ffbef16d5b339c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1303b79b7e15db0fac202ad686584915"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a1303b79b7e15db0fac202ad686584915">MemObj</a> (<a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> id, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type=nullptr)</td></tr>
-<tr class="memdesc:a1303b79b7e15db0fac202ad686584915"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor for black hole and constant obj.  <a href="#a1303b79b7e15db0fac202ad686584915">More...</a><br /></td></tr>
-<tr class="separator:a1303b79b7e15db0fac202ad686584915"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afc62b5dbcaf790e561c852f567ca5bd1"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">MemObj</a> (<a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> id, <a class="el" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a> *ti, const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val=nullptr)</td></tr>
+<tr class="memdesc:afc62b5dbcaf790e561c852f567ca5bd1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#afc62b5dbcaf790e561c852f567ca5bd1">More...</a><br /></td></tr>
+<tr class="separator:afc62b5dbcaf790e561c852f567ca5bd1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad56f353dde7462dd54297e1b51e6eb05"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05">~MemObj</a> ()</td></tr>
 <tr class="memdesc:ad56f353dde7462dd54297e1b51e6eb05"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#ad56f353dde7462dd54297e1b51e6eb05">More...</a><br /></td></tr>
 <tr class="separator:ad56f353dde7462dd54297e1b51e6eb05"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a768e82826964c68673af7db3b5702442"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">init</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
-<tr class="memdesc:a768e82826964c68673af7db3b5702442"><td class="mdescLeft">&#160;</td><td class="mdescRight">Initialize the object.  <a href="#a768e82826964c68673af7db3b5702442">More...</a><br /></td></tr>
-<tr class="separator:a768e82826964c68673af7db3b5702442"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a581e1d4f060a0fe5a7cac1c05508caa6"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a581e1d4f060a0fe5a7cac1c05508caa6">init</a> (const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type)</td></tr>
-<tr class="memdesc:a581e1d4f060a0fe5a7cac1c05508caa6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Initialize black hole and constant object.  <a href="#a581e1d4f060a0fe5a7cac1c05508caa6">More...</a><br /></td></tr>
-<tr class="separator:a581e1d4f060a0fe5a7cac1c05508caa6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa4fa7a1b86d66692ffffeaee0e187216"><td class="memItemLeft" align="right" valign="top">const llvm::Type *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a> () const</td></tr>
+<tr class="memitem:aa4fa7a1b86d66692ffffeaee0e187216"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a> () const</td></tr>
 <tr class="memdesc:aa4fa7a1b86d66692ffffeaee0e187216"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get obj type.  <a href="#aa4fa7a1b86d66692ffffeaee0e187216">More...</a><br /></td></tr>
 <tr class="separator:aa4fa7a1b86d66692ffffeaee0e187216"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7d029aa6ac6d1427831ed8bc166ba22f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a7d029aa6ac6d1427831ed8bc166ba22f">getMaxFieldOffsetLimit</a> () const</td></tr>
@@ -166,10 +157,10 @@ Private Attributes</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Memory Object </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00284">284</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00278">278</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="ab22373574ae9dff2f8ffbef16d5b339c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab22373574ae9dff2f8ffbef16d5b339c">&#9670;&nbsp;</a></span>MemObj() <span class="overload">[1/2]</span></h2>
+<a id="afc62b5dbcaf790e561c852f567ca5bd1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afc62b5dbcaf790e561c852f567ca5bd1">&#9670;&nbsp;</a></span>MemObj()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -177,51 +168,20 @@ Private Attributes</h2></td></tr>
         <tr>
           <td class="memname">MemObj::MemObj </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
-          <td class="paramname"><em>val</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
           <td class="paramtype"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td>
-          <td class="paramname"><em>id</em>&#160;</td>
+          <td class="paramname"><em>id</em>, </td>
         </tr>
         <tr>
+          <td class="paramkey"></td>
           <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p>Constructor. </p>
-<p>Constructor of a memory object </p>
-
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00253">253</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;                                         :</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>(val), <a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>(<span class="keywordtype">id</span>), <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;{</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">init</a>(val);</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a768e82826964c68673af7db3b5702442"><div class="ttname"><a href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">SVF::MemObj::init</a></div><div class="ttdeci">void init(const Value *val)</div><div class="ttdoc">Initialize the object. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00053">SymbolTableInfo.cpp:53</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00289">MemModel.h:289</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00291">MemModel.h:291</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a1303b79b7e15db0fac202ad686584915"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1303b79b7e15db0fac202ad686584915">&#9670;&nbsp;</a></span>MemObj() <span class="overload">[2/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">MemObj::MemObj </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td>
-          <td class="paramname"><em>id</em>, </td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a> *&#160;</td>
+          <td class="paramname"><em>ti</em>, </td>
         </tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td>
-          <td class="paramname"><em>type</em> = <code>nullptr</code>&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
+          <td class="paramname"><em>val</em> = <code>nullptr</code>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -231,14 +191,13 @@ Private Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p>Constructor for black hole and constant obj. </p>
+<p>Constructor. </p>
 <p>Constructor of a memory object </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00262">262</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;                                         :</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>(<span class="keywordtype">id</span>), <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;{</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">init</a>(type);</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a768e82826964c68673af7db3b5702442"><div class="ttname"><a href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">SVF::MemObj::init</a></div><div class="ttdeci">void init(const Value *val)</div><div class="ttdoc">Initialize the object. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00053">SymbolTableInfo.cpp:53</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00289">MemModel.h:289</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00291">MemModel.h:291</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00137">137</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                                                          :</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>(val), <a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>(<span class="keywordtype">id</span>), <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>(ti)</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;{</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00283">MemModel.h:283</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00285">MemModel.h:285</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -267,8 +226,8 @@ Private Attributes</h2></td></tr>
 
 <p>Destructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00304">304</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <a class="code" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">destroy</a>();</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a1e6ff4c2b04b07c5f71e5e7a6a0d7735"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">SVF::MemObj::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00295">MemModel.cpp:295</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00295">295</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    {</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <a class="code" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">destroy</a>();</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a1e6ff4c2b04b07c5f71e5e7a6a0d7735"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">SVF::MemObj::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00169">MemModel.cpp:169</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -290,8 +249,8 @@ Private Attributes</h2></td></tr>
 
 <p>Clean up memory. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00295">295</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;{</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    <span class="keyword">delete</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>;</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00169">169</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;{</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    <span class="keyword">delete</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -320,9 +279,9 @@ Private Attributes</h2></td></tr>
 
 <p>Get max field offset limit. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00319">319</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    {</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">getMaxFieldOffsetLimit</a>();</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a81bc3d785062c7e527ecf8e564cd52a4"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">SVF::ObjTypeInfo::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit()</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00195">MemModel.h:195</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00303">303</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;    {</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">getMaxFieldOffsetLimit</a>();</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a81bc3d785062c7e527ecf8e564cd52a4"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">SVF::ObjTypeInfo::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit()</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00189">MemModel.h:189</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -351,8 +310,8 @@ Private Attributes</h2></td></tr>
 
 <p>Get the reference value to this object. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00325">325</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;    {</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>;</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00289">MemModel.h:289</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00309">309</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00283">MemModel.h:283</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -381,8 +340,8 @@ Private Attributes</h2></td></tr>
 
 <p>Get the memory object id. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00331">331</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;    {</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00291">MemModel.h:291</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00315">315</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    {</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>;</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00285">MemModel.h:285</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -404,12 +363,12 @@ Private Attributes</h2></td></tr>
 <p>Get obj type. </p>
 <p>Get obj type info. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00278">278</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;{</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MemObj.html#af8f4f85cfbcb09615fb04ca63d634138">isHeap</a>() == <span class="keyword">false</span>)</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    {</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a>* type = SVFUtil::dyn_cast&lt;PointerType&gt;(<a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>()))</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;            <span class="keywordflow">return</span> type-&gt;getElementType();</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>();</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a> &amp;&amp; SVFUtil::isa&lt;Instruction&gt;(<a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>))</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce">SVFUtil::getTypeOfHeapAlloc</a>(SVFUtil::cast&lt;Instruction&gt;(<a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>));</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>();</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00152">152</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;{</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MemObj.html#af8f4f85cfbcb09615fb04ca63d634138">isHeap</a>() == <span class="keyword">false</span>)</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    {</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a>* type = SVFUtil::dyn_cast&lt;PointerType&gt;(<a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>()))</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <span class="keywordflow">return</span> type-&gt;getElementType();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>();</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    }</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a> &amp;&amp; SVFUtil::isa&lt;Instruction&gt;(<a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>))</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce">SVFUtil::getTypeOfHeapAlloc</a>(SVFUtil::cast&lt;Instruction&gt;(<a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>));</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>();</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
 <div class="ttc" id="namespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a706cdc47e78732853252d5a4af85653a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get LLVM type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00189">MemModel.h:189</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00289">MemModel.h:289</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_af8f4f85cfbcb09615fb04ca63d634138"><div class="ttname"><a href="classSVF_1_1MemObj.html#af8f4f85cfbcb09615fb04ca63d634138">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00372">MemModel.h:372</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a706cdc47e78732853252d5a4af85653a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get LLVM type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00183">MemModel.h:183</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00283">MemModel.h:283</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_af8f4f85cfbcb09615fb04ca63d634138"><div class="ttname"><a href="classSVF_1_1MemObj.html#af8f4f85cfbcb09615fb04ca63d634138">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00356">MemModel.h:356</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a973113323e30a01fd904b35ac18d40ce"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce">SVF::SVFUtil::getTypeOfHeapAlloc</a></div><div class="ttdeci">const Type * getTypeOfHeapAlloc(const llvm::Instruction *inst)</div><div class="ttdoc">Get the type of the heap allocation. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00269">LLVMUtil.cpp:269</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -437,74 +396,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00405">405</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    {</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>();</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ac5bae1e7917f415193a805e8d2e29320"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">SVF::ObjTypeInfo::hasPtrObj</a></div><div class="ttdeci">bool hasPtrObj()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00273">MemModel.h:273</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a768e82826964c68673af7db3b5702442"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a768e82826964c68673af7db3b5702442">&#9670;&nbsp;</a></span>init() <span class="overload">[1/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">void MemObj::init </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
-          <td class="paramname"><em>val</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p>Initialize the object. </p>
-
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00053">53</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;{</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a> *refTy = <span class="keyword">nullptr</span>;</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="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *I = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>&gt;(val);</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;    <span class="comment">// We consider two types of objects:</span></div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="comment">// (1) A heap/static object from a callsite</span></div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="keywordflow">if</span> (I &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91">isNonInstricCallSite</a>(I))</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        refTy = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a">getRefTypeOfHeapAllocOrStatic</a>(I);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="comment">// (2) Other objects (e.g., alloca, global, etc.)</span></div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        refTy = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a>&gt;(val-&gt;getType());</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <span class="keywordflow">if</span> (refTy)</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *objTy = refTy-&gt;getElementType();</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a8c7ece61e55940be1a0d310bd2cf77f8">Options::LocMemModel</a>)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LocObjTypeInfo.html">LocObjTypeInfo</a>(val, objTy, <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">Options::MaxFieldLimit</a>);</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a>(val, objTy, <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">Options::MaxFieldLimit</a>);</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aba198ceecd53d73ab0b0deb0133cda0d">init</a>(val);</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">else</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    {</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d">writeWrnMsg</a>(<span class="stringliteral">&quot;try to create an object with a non-pointer type.&quot;</span>);</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d">writeWrnMsg</a>(val-&gt;getName().str());</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d">writeWrnMsg</a>(<span class="stringliteral">&quot;(&quot;</span> + <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(val) + <span class="stringliteral">&quot;)&quot;</span>);</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Memory object must be held by a pointer-typed ref value.&quot;</span>);</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a8c7ece61e55940be1a0d310bd2cf77f8"><div class="ttname"><a href="classSVF_1_1Options.html#a8c7ece61e55940be1a0d310bd2cf77f8">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00075">BasicTypes.h:75</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="namespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_adfc1a5c6098d3867e29fc65ca9ffa1cc"><div class="ttname"><a href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00037">Options.h:37</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a077caa1b10ab84d101d79fc7ea50db2d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d">SVF::SVFUtil::writeWrnMsg</a></div><div class="ttdeci">void writeWrnMsg(std::string msg)</div><div class="ttdoc">Writes a message run through wrnMsg. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00069">SVFUtil.cpp:69</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
-<div class="ttc" id="classSVF_1_1LocObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1LocObjTypeInfo.html">SVF::LocObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00485">SymbolTableInfo.h:485</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a9232d260dc83d3a25cd98195ba76567a"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a">SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic</a></div><div class="ttdeci">const PointerType * getRefTypeOfHeapAllocOrStatic(const CallSite cs)</div><div class="ttdoc">Get the reference type of heap/static object from an allocation site. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00227">LLVMUtil.h:227</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aba198ceecd53d73ab0b0deb0133cda0d"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aba198ceecd53d73ab0b0deb0133cda0d">SVF::ObjTypeInfo::init</a></div><div class="ttdeci">void init(const Value *value)</div><div class="ttdoc">Initialize the object type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00121">MemModel.cpp:121</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8d8216a92140d982303f83ea424ddc91"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91">SVF::SVFUtil::isNonInstricCallSite</a></div><div class="ttdeci">bool isNonInstricCallSite(const Instruction *inst)</div><div class="ttdoc">Whether an instruction is a callsite in the application code, excluding llvm intrinsic calls...</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00206">SVFUtil.h:206</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00130">MemModel.h:130</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a581e1d4f060a0fe5a7cac1c05508caa6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a581e1d4f060a0fe5a7cac1c05508caa6">&#9670;&nbsp;</a></span>init() <span class="overload">[2/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">void MemObj::init </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td>
-          <td class="paramname"><em>type</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p>Initialize black hole and constant object. </p>
-
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00243">243</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;{</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a>(<a class="code" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">StInfo::getMaxFieldLimit</a>(),type);</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49">setFlag</a>(<a class="code" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">ObjTypeInfo::HEAP_OBJ</a>);</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49">setFlag</a>(<a class="code" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9">ObjTypeInfo::HASPTR_OBJ</a>);</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">SVF::ObjTypeInfo::HEAP_OBJ</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00140">MemModel.h:140</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ad6fb2bfae3d4b73a6821a87106f65f49"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49">SVF::ObjTypeInfo::setFlag</a></div><div class="ttdeci">void setFlag(MEMTYPE mask)</div><div class="ttdoc">Flag for this object type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00208">MemModel.h:208</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00088">MemModel.h:88</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9">SVF::ObjTypeInfo::HASPTR_OBJ</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00146">MemModel.h:146</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00130">MemModel.h:130</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00389">389</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    {</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>();</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ac5bae1e7917f415193a805e8d2e29320"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">SVF::ObjTypeInfo::hasPtrObj</a></div><div class="ttdeci">bool hasPtrObj()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00267">MemModel.h:267</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -531,9 +425,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00381">381</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    {</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">isArray</a>();</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a0627e8b9dda2e13cc77c334eefab21e1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">SVF::ObjTypeInfo::isArray</a></div><div class="ttdeci">bool isArray()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00265">MemModel.h:265</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00365">365</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    {</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">isArray</a>();</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a0627e8b9dda2e13cc77c334eefab21e1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">SVF::ObjTypeInfo::isArray</a></div><div class="ttdeci">bool isArray()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00259">MemModel.h:259</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -555,9 +449,9 @@ Private Attributes</h2></td></tr>
 <p>Whether it is a black hole object. </p>
 <p>Whether it is a black hole object </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00271">271</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;{</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SymbolTableInfo::isBlkObj</a>(<a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;}</div><div class="ttc" id="classSVF_1_1SymbolTableInfo_html_ad9cdb21e20182f3bc95f04bbb97712f3"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SVF::SymbolTableInfo::isBlkObj</a></div><div class="ttdeci">static bool isBlkObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00192">SymbolTableInfo.h:192</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00291">MemModel.h:291</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00145">145</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;{</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SymbolTableInfo::isBlkObj</a>(<a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;}</div><div class="ttc" id="classSVF_1_1SymbolTableInfo_html_ad9cdb21e20182f3bc95f04bbb97712f3"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SVF::SymbolTableInfo::isBlkObj</a></div><div class="ttdeci">static bool isBlkObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00183">SymbolTableInfo.h:183</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00285">MemModel.h:285</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -584,9 +478,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00401">401</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;    {</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">isConstant</a>();</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a8c0ae8e177452b88b3a4ec81bf77c378"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">SVF::ObjTypeInfo::isConstant</a></div><div class="ttdeci">bool isConstant()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00269">MemModel.h:269</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00385">385</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;    {</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">isConstant</a>();</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a8c0ae8e177452b88b3a4ec81bf77c378"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">SVF::ObjTypeInfo::isConstant</a></div><div class="ttdeci">bool isConstant()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00263">MemModel.h:263</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -613,9 +507,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00397">397</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;    {</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">isConstArray</a>();</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ad90ea6a01cca9c370b7f17b408dcc5a7"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">SVF::ObjTypeInfo::isConstArray</a></div><div class="ttdeci">bool isConstArray()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00261">MemModel.h:261</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00381">381</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    {</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">isConstArray</a>();</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ad90ea6a01cca9c370b7f17b408dcc5a7"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">SVF::ObjTypeInfo::isConstArray</a></div><div class="ttdeci">bool isConstArray()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00255">MemModel.h:255</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -642,9 +536,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00393">393</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    {</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">isConstStruct</a>();</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a5d4afc5e1ba5cbcedf049467f75ef7c4"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">SVF::ObjTypeInfo::isConstStruct</a></div><div class="ttdeci">bool isConstStruct()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00249">MemModel.h:249</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00377">377</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;    {</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">isConstStruct</a>();</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a5d4afc5e1ba5cbcedf049467f75ef7c4"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4">SVF::ObjTypeInfo::isConstStruct</a></div><div class="ttdeci">bool isConstStruct()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00243">MemModel.h:243</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -673,8 +567,8 @@ Private Attributes</h2></td></tr>
 
 <p>Return true if its field limit is 0. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00337">337</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    {</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a7d029aa6ac6d1427831ed8bc166ba22f">getMaxFieldOffsetLimit</a>() == 0;</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a7d029aa6ac6d1427831ed8bc166ba22f"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7d029aa6ac6d1427831ed8bc166ba22f">SVF::MemObj::getMaxFieldOffsetLimit</a></div><div class="ttdeci">Size_t getMaxFieldOffsetLimit() const</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00319">MemModel.h:319</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00321">321</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;    {</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a7d029aa6ac6d1427831ed8bc166ba22f">getMaxFieldOffsetLimit</a>() == 0;</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a7d029aa6ac6d1427831ed8bc166ba22f"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7d029aa6ac6d1427831ed8bc166ba22f">SVF::MemObj::getMaxFieldOffsetLimit</a></div><div class="ttdeci">Size_t getMaxFieldOffsetLimit() const</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00303">MemModel.h:303</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -703,9 +597,9 @@ Private Attributes</h2></td></tr>
 
 <p>object attributes methods </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00356">356</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">isFunction</a>();</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ac99fa14fdf7bc0dd3e9ff36c7a3a351f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">SVF::ObjTypeInfo::isFunction</a></div><div class="ttdeci">bool isFunction()</div><div class="ttdoc">Object attributes. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00220">MemModel.h:220</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00340">340</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    {</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">isFunction</a>();</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_ac99fa14fdf7bc0dd3e9ff36c7a3a351f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">SVF::ObjTypeInfo::isFunction</a></div><div class="ttdeci">bool isFunction()</div><div class="ttdoc">Object attributes. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00214">MemModel.h:214</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -732,9 +626,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00360">360</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;    {</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">isGlobalObj</a>();</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aa2855b69150287e5f04a7a683dc4c91f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">SVF::ObjTypeInfo::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00224">MemModel.h:224</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00344">344</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;    {</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">isGlobalObj</a>();</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aa2855b69150287e5f04a7a683dc4c91f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">SVF::ObjTypeInfo::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00218">MemModel.h:218</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -761,9 +655,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00372">372</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    {</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">isHeap</a>();</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a26c179394fbda9a9261d0bf3f52b619d"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">SVF::ObjTypeInfo::isHeap</a></div><div class="ttdeci">bool isHeap()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00236">MemModel.h:236</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00356">356</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">isHeap</a>();</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a26c179394fbda9a9261d0bf3f52b619d"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">SVF::ObjTypeInfo::isHeap</a></div><div class="ttdeci">bool isHeap()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00230">MemModel.h:230</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -791,9 +685,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00409">409</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    {</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">isNonPtrFieldObj</a>(ls);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a3a58b1e0192b92dac5bbfad24adbcdac"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">SVF::ObjTypeInfo::isNonPtrFieldObj</a></div><div class="ttdeci">virtual bool isNonPtrFieldObj(const LocationSet &amp;ls)</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00179">MemModel.cpp:179</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00393">393</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    {</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">isNonPtrFieldObj</a>(ls);</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a3a58b1e0192b92dac5bbfad24adbcdac"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac">SVF::ObjTypeInfo::isNonPtrFieldObj</a></div><div class="ttdeci">virtual bool isNonPtrFieldObj(const LocationSet &amp;ls)</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00071">MemModel.cpp:71</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -820,9 +714,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00368">368</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    {</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">isStack</a>();</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aa568dc82decd28d2ef40785a4a647602"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">SVF::ObjTypeInfo::isStack</a></div><div class="ttdeci">bool isStack()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00232">MemModel.h:232</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00352">352</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    {</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">isStack</a>();</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aa568dc82decd28d2ef40785a4a647602"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602">SVF::ObjTypeInfo::isStack</a></div><div class="ttdeci">bool isStack()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00226">MemModel.h:226</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -849,9 +743,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00364">364</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    {</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">isStaticObj</a>();</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a3594dc1c1943dbac0ab72f2ff163c523"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">SVF::ObjTypeInfo::isStaticObj</a></div><div class="ttdeci">bool isStaticObj()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00228">MemModel.h:228</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00348">348</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    {</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">isStaticObj</a>();</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a3594dc1c1943dbac0ab72f2ff163c523"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">SVF::ObjTypeInfo::isStaticObj</a></div><div class="ttdeci">bool isStaticObj()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00222">MemModel.h:222</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -878,9 +772,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00377">377</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;    {</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">isStruct</a>();</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a06493939f797f122b70b90bbf22cad7a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">SVF::ObjTypeInfo::isStruct</a></div><div class="ttdeci">bool isStruct()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00253">MemModel.h:253</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00361">361</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    {</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">isStruct</a>();</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a06493939f797f122b70b90bbf22cad7a"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">SVF::ObjTypeInfo::isStruct</a></div><div class="ttdeci">bool isStruct()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00247">MemModel.h:247</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -907,9 +801,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00389">389</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    {</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">isVarArray</a>();</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aca1e900f9b0a774684af77666cf033e3"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">SVF::ObjTypeInfo::isVarArray</a></div><div class="ttdeci">bool isVarArray()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00257">MemModel.h:257</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00373">373</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;    {</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">isVarArray</a>();</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_aca1e900f9b0a774684af77666cf033e3"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3">SVF::ObjTypeInfo::isVarArray</a></div><div class="ttdeci">bool isVarArray()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00251">MemModel.h:251</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -936,9 +830,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00385">385</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;    {</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">isVarStruct</a>();</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a40d6703875b370aed2c6dc41c0594af5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo::isVarStruct</a></div><div class="ttdeci">bool isVarStruct()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00245">MemModel.h:245</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00369">369</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    {</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">isVarStruct</a>();</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a40d6703875b370aed2c6dc41c0594af5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo::isVarStruct</a></div><div class="ttdeci">bool isVarStruct()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00239">MemModel.h:239</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -968,8 +862,8 @@ Private Attributes</h2></td></tr>
 
 <p>Operator overloading. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00416">416</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    {</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a> == mem.getRefVal();</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00289">MemModel.h:289</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00400">400</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;    {</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a> == mem.getRefVal();</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique pointer value refer this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00283">MemModel.h:283</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -998,9 +892,9 @@ Private Attributes</h2></td></tr>
 
 <p>Set the memory object to be field insensitive. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00343">343</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    {</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(0);</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a9fff869c63776c6ebeff78933e0f6092"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">SVF::ObjTypeInfo::setMaxFieldOffsetLimit</a></div><div class="ttdeci">void setMaxFieldOffsetLimit(u32_t limit)</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00201">MemModel.h:201</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00327">327</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    {</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;        <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(0);</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a9fff869c63776c6ebeff78933e0f6092"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">SVF::ObjTypeInfo::setMaxFieldOffsetLimit</a></div><div class="ttdeci">void setMaxFieldOffsetLimit(u32_t limit)</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00195">MemModel.h:195</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1022,9 +916,9 @@ Private Attributes</h2></td></tr>
 <p>Set the memory object to be field sensitive (up to max field limit) </p>
 <p>Set mem object to be field sensitive (up to maximum field limit) </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00236">236</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;{</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(<a class="code" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">StInfo::getMaxFieldLimit</a>());</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00293">MemModel.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a9fff869c63776c6ebeff78933e0f6092"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">SVF::ObjTypeInfo::setMaxFieldOffsetLimit</a></div><div class="ttdeci">void setMaxFieldOffsetLimit(u32_t limit)</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00201">MemModel.h:201</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00128">128</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;{</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>-&gt;<a class="code" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">setMaxFieldOffsetLimit</a>(<a class="code" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">StInfo::getMaxFieldLimit</a>());</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00287">MemModel.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjTypeInfo_html_a9fff869c63776c6ebeff78933e0f6092"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">SVF::ObjTypeInfo::setMaxFieldOffsetLimit</a></div><div class="ttdeci">void setMaxFieldOffsetLimit(u32_t limit)</div><div class="ttdoc">Get max field offset limit. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00195">MemModel.h:195</a></div></div>
 <div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00088">MemModel.h:88</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1052,7 +946,7 @@ Private Attributes</h2></td></tr>
 
 <p>The unique id in the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00291">291</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00285">285</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
 
 </div>
 </div>
@@ -1078,7 +972,7 @@ Private Attributes</h2></td></tr>
 
 <p>The unique pointer value refer this object. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00289">289</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00283">283</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
 
 </div>
 </div>
@@ -1104,14 +998,13 @@ Private Attributes</h2></td></tr>
 
 <p>Type information of this object. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00293">293</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemModel_8h_source.html#l00287">287</a> of file <a class="el" href="MemModel_8h_source.html">MemModel.h</a>.</p>
 
 </div>
 </div>
 <hr/>The documentation for this class was generated from the following files:<ul>
 <li>/home/runner/work/SVF/SVF/include/MemoryModel/<a class="el" href="MemModel_8h_source.html">MemModel.h</a></li>
 <li>/home/runner/work/SVF/SVF/lib/MemoryModel/<a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a></li>
-<li>/home/runner/work/SVF/SVF/lib/SVF-FE/<a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a></li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->