svf-tools 1.0.429 → 1.0.430

package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html

@@ -755,7 +755,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00156">SVFBasicTypes.h:156</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00093">SVFModule.h:93</a></div></div>
 <div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00151">SVFBasicTypes.h:151</a></div></div>
-<div class="ttc" id="classSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
+<div class="ttc" id="classSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00048">SymbolTableInfo.h:48</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -801,7 +801,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
-<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a2fc4bfb83b71a4c14e16168382cb8f5d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d">SVF::SymbolTableInfo::isBlkObjOrConstantObj</a></div><div class="ttdeci">static bool isBlkObjOrConstantObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00186">SymbolTableInfo.h:186</a></div></div>
+<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a2fc4bfb83b71a4c14e16168382cb8f5d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d">SVF::SymbolTableInfo::isBlkObjOrConstantObj</a></div><div class="ttdeci">static bool isBlkObjOrConstantObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00185">SymbolTableInfo.h:185</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
 </div><!-- fragment -->
@@ -983,7 +983,7 @@ Friends</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00123">123</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>())</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVFUtil::isConstantData</a>(<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a9e85d445e8b7b205134acd3874bba388"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil::isConstantData</a></div><div class="ttdeci">bool isConstantData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00394">LLVMUtil.h:394</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a9e85d445e8b7b205134acd3874bba388"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil::isConstantData</a></div><div class="ttdeci">bool isConstantData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00407">LLVMUtil.h:407</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html

@@ -325,7 +325,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;{</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">for</span>(ProgSlice::SVFGNodeSet::const_iterator it = <a class="code" href="classSVF_1_1SaberAnnotator.html#adceb8a459b44c289413401b57d8aeb4d">_curSlice</a>-&gt;<a class="code" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">getSinks</a>().begin(),</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;            eit = <a class="code" href="classSVF_1_1SaberAnnotator.html#adceb8a459b44c289413401b57d8aeb4d">_curSlice</a>-&gt;<a class="code" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">getSinks</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    {</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ActualParmVFGNode.html">ActualParmSVFGNode</a>* ap = SVFUtil::dyn_cast&lt;ActualParmSVFGNode&gt;(*it))</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        {</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* sinkinst = ap-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(SVFUtil::isa&lt;CallInst&gt;(sinkinst) &amp;&amp; <span class="stringliteral">&quot;not a call instruction?&quot;</span>);</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a>* sink = SVFUtil::cast&lt;CallInst&gt;(sinkinst);</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;            std::string str;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;            <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;            rawstr &lt;&lt; <a class="code" href="classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f">SB_SLICESINK</a> &lt;&lt; <a class="code" href="classSVF_1_1SaberAnnotator.html#adceb8a459b44c289413401b57d8aeb4d">_curSlice</a>-&gt;<a class="code" href="classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0">getSource</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;            <a class="code" href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">addMDTag</a>(const_cast&lt;CallInst*&gt;(sink),sink-&gt;getArgOperand(0),rawstr.str());</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        }</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;sink node is not a actual parameter?&quot;</span>);</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    }</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;}</div><div class="ttc" id="classSVF_1_1ProgSlice_html_ac1dc48ea64a89ce37394a22e609a0cd0"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0">SVF::ProgSlice::getSource</a></div><div class="ttdeci">const SVFGNode * getSource() const</div><div class="ttdoc">root and sink operations </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00112">ProgSlice.h:112</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00842">VFGNode.h:842</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_adc8b60ca7d60cf6c81feae20e4a04c63"><div class="ttname"><a href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF::CallInst</a></div><div class="ttdeci">llvm::CallInst CallInst</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
+<div class="ttc" id="namespaceSVF_html_adc8b60ca7d60cf6c81feae20e4a04c63"><div class="ttname"><a href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF::CallInst</a></div><div class="ttdeci">llvm::CallInst CallInst</div><div class="ttdoc">LLVM Instructions. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</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="Util_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberAnnotator_html_adceb8a459b44c289413401b57d8aeb4d"><div class="ttname"><a href="classSVF_1_1SaberAnnotator.html#adceb8a459b44c289413401b57d8aeb4d">SVF::SaberAnnotator::_curSlice</a></div><div class="ttdeci">const ProgSlice * _curSlice</div><div class="ttdef"><b>Definition:</b> <a href="SaberAnnotator_8h_source.html#l00047">SaberAnnotator.h:47</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html

@@ -398,7 +398,7 @@ Static Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SaberCheckerAPI_8h_source.html#l00152">152</a> of file <a class="el" href="SaberCheckerAPI_8h_source.html">SaberCheckerAPI.h</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">return</span> <a class="code" href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">getType</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(inst)) == <a class="code" href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb">CK_FCLOSE</a>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_ab0cdd9671c406e8d881f0a057fe44081"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">SVF::SaberCheckerAPI::getType</a></div><div class="ttdeci">CHECKER_TYPE getType(const SVFFunction *F) const</div><div class="ttdoc">Get the function type of a function. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00076">SaberCheckerAPI.h:76</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00268">SVFUtil.h:268</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00263">SVFUtil.h:263</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb">SVF::SaberCheckerAPI::CK_FCLOSE</a></div><div class="ttdoc">File open. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00054">SaberCheckerAPI.h:54</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -491,7 +491,7 @@ Static Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SaberCheckerAPI_8h_source.html#l00136">136</a> of file <a class="el" href="SaberCheckerAPI_8h_source.html">SaberCheckerAPI.h</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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">getType</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(inst)) == <a class="code" href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e">CK_FOPEN</a>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_ab0cdd9671c406e8d881f0a057fe44081"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">SVF::SaberCheckerAPI::getType</a></div><div class="ttdeci">CHECKER_TYPE getType(const SVFFunction *F) const</div><div class="ttdoc">Get the function type of a function. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00076">SaberCheckerAPI.h:76</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e">SVF::SaberCheckerAPI::CK_FOPEN</a></div><div class="ttdoc">memory deallocation </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00053">SaberCheckerAPI.h:53</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00268">SVFUtil.h:268</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00263">SVFUtil.h:263</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -582,7 +582,7 @@ Static Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SaberCheckerAPI_8h_source.html#l00104">104</a> of file <a class="el" href="SaberCheckerAPI_8h_source.html">SaberCheckerAPI.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">getType</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(inst)) == <a class="code" href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e">CK_ALLOC</a>;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_ab0cdd9671c406e8d881f0a057fe44081"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">SVF::SaberCheckerAPI::getType</a></div><div class="ttdeci">CHECKER_TYPE getType(const SVFFunction *F) const</div><div class="ttdoc">Get the function type of a function. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00076">SaberCheckerAPI.h:76</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00268">SVFUtil.h:268</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00263">SVFUtil.h:263</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e">SVF::SaberCheckerAPI::CK_ALLOC</a></div><div class="ttdoc">dummy type </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00051">SaberCheckerAPI.h:51</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -674,7 +674,7 @@ Static Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SaberCheckerAPI_8h_source.html#l00120">120</a> of file <a class="el" href="SaberCheckerAPI_8h_source.html">SaberCheckerAPI.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    {</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">getType</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(inst)) == <a class="code" href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507">CK_FREE</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_ab0cdd9671c406e8d881f0a057fe44081"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081">SVF::SaberCheckerAPI::getType</a></div><div class="ttdeci">CHECKER_TYPE getType(const SVFFunction *F) const</div><div class="ttdoc">Get the function type of a function. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00076">SaberCheckerAPI.h:76</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00268">SVFUtil.h:268</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00263">SVFUtil.h:263</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCheckerAPI_html_a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507">SVF::SaberCheckerAPI::CK_FREE</a></div><div class="ttdoc">memory allocation </div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00052">SaberCheckerAPI.h:52</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html

@@ -435,7 +435,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><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_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    <span class="keywordflow">for</span>(SVFIR::CSToArgsListMap::iterator it = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>().begin(),</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;            eit = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    {</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <a class="code" href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">PTACallGraph::FunctionSet</a> callees;</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        callgraph-&gt;<a class="code" href="classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec">getCallees</a>(it-&gt;first, callees);</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        <span class="keywordflow">for</span> (PTACallGraph::FunctionSet::const_iterator cit = callees.begin(),</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;                ecit = callees.end(); cit != ecit; cit++)</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;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = *cit;</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036">SaberCheckerAPI::getCheckerAPI</a>()-&gt;<a class="code" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">isMemDealloc</a>(fun)</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                    || <a class="code" href="classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036">SaberCheckerAPI::getCheckerAPI</a>()-&gt;<a class="code" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">isFClose</a>(fun))</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;            {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;                <a class="code" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFIR::SVFVarList</a>&amp; arglist = it-&gt;second;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;                <span class="keywordflow">for</span>(SVFIR::SVFVarList::const_iterator ait = arglist.begin(), aeit = arglist.end(); ait!=aeit; ++ait){</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;                    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *pagNode = *ait;</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;                    <span class="keywordflow">if</span> (pagNode-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>()) {</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;                        <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec">addActualParmVFGNode</a>(pagNode, it-&gt;first);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;                        <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">addIntraDirectVFEdge</a>(<a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(pagNode)-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <a class="code" href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e">getActualParmVFGNode</a>(pagNode, it-&gt;first)-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;                    }</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;                }</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            }</div><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;    }</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFIR_html_a64939d7ecfd8e2cf862782954a56596b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR::SVFVarList</a></div><div class="ttdeci">std::vector&lt; const SVFVar * &gt; SVFVarList</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00057">SVFIR.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a8e7a945f4266e8dc7dcfff2ad6494bfb"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">SVF::SVFG::getDefSVFGNode</a></div><div class="ttdeci">const SVFGNode * getDefSVFGNode(const PAGNode *pagNode) const</div><div class="ttdoc">Given a pagNode, return its definition site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00171">SVFG.h:171</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00179">BasicTypes.h:179</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberSVFGBuilder_html_ab8db9f6681eeb4663614119417a83cec"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec">SVF::SaberSVFGBuilder::addActualParmVFGNode</a></div><div class="ttdeci">void addActualParmVFGNode(const PAGNode *pagNode, const CallICFGNode *cs)</div><div class="ttdoc">Add ActualParmVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8h_source.html#l00060">SaberSVFGBuilder.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_a6bbfe457dcc7104e6928323499ea964e"><div class="ttname"><a href="classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e">SVF::VFG::getActualParmVFGNode</a></div><div class="ttdeci">ActualParmVFGNode * getActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00235">VFG.h:235</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
@@ -696,7 +696,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_aee289e298e421448caaa604b7eb34fcb"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00099">PointerAnalysisImpl.h:99</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a879783ba6629e500af9aa7dfcda2563d"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a879783ba6629e500af9aa7dfcda2563d">SVF::PointsTo::count</a></div><div class="ttdeci">u32_t count(void) const</div><div class="ttdoc">Returns number of elements. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00106">PointsTo.cpp:106</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_ae6ea391ac44dffeb6899bb44323c5361"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361">SVF::PointerAnalysis::isHeapMemObj</a></div><div class="ttdeci">bool isHeapMemObj(NodeID id) const</div><div class="ttdoc">Whether this object is heap or array. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00316">PointerAnalysis.h:316</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00674">SymbolTableInfo.cpp:674</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00666">SymbolTableInfo.cpp:666</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a108380f6f0b67654bb7c7676686096c8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">SVF::PointerAnalysis::isLocalVarInRecursiveFun</a></div><div class="ttdeci">bool isLocalVarInRecursiveFun(NodeID id) const</div><div class="ttdoc">Whether a local variable is in function recursions. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00156">PointerAnalysis.cpp:156</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/classSVF_1_1StInfo.html

@@ -150,7 +150,7 @@ Private Attributes</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Flatterned type information of StructType, ArrayType and SingleValueType </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00487">487</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00486">486</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a72dd2114d61e1489676a524b83ebb5ac"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a72dd2114d61e1489676a524b83ebb5ac">&#9670;&nbsp;</a></span>StInfo() <span class="overload">[1/3]</span></h2>
@@ -234,10 +234,10 @@ Private Attributes</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00515">515</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;                    : <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>(s), <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>(s), <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>(s)</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;    {</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00502">SymbolTableInfo.h:502</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00500">SymbolTableInfo.h:500</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00504">SymbolTableInfo.h:504</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00514">514</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;                    : <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>(s), <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>(s), <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>(s)</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;    {</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00501">SymbolTableInfo.h:501</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00499">SymbolTableInfo.h:499</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00503">SymbolTableInfo.h:503</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -266,8 +266,8 @@ Private Attributes</h2></td></tr>
 
 <p>Destructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00519">519</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    {</div><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00518">518</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;    {</div><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -307,9 +307,9 @@ Private Attributes</h2></td></tr>
 <p>Add field (index and offset) with its corresponding type. </p>
 
 <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00057">57</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;{</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>.push_back(elemIdx);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;}</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00492">SymbolTableInfo.h:492</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00496">SymbolTableInfo.h:496</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00494">SymbolTableInfo.h:494</a></div></div>
+<div class="fragment"><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;{</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>.push_back(elemIdx);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;}</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00491">SymbolTableInfo.h:491</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00495">SymbolTableInfo.h:495</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00493">SymbolTableInfo.h:493</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -336,8 +336,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00533">533</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;    {</div><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>;</div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00494">SymbolTableInfo.h:494</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00532">532</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;    {</div><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>;</div><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00493">SymbolTableInfo.h:493</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -364,8 +364,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00529">529</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    {</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00492">SymbolTableInfo.h:492</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00528">528</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    {</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00491">SymbolTableInfo.h:491</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -392,8 +392,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00537">537</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;    {</div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">flattenElementTypes</a>;</div><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a8b24c6a35701a719cd5f1deef62421cd"><div class="ttname"><a href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">SVF::StInfo::flattenElementTypes</a></div><div class="ttdeci">std::vector&lt; const Type * &gt; flattenElementTypes</div><div class="ttdoc">Type vector of fields. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00506">SymbolTableInfo.h:506</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00536">536</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;    {</div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">flattenElementTypes</a>;</div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a8b24c6a35701a719cd5f1deef62421cd"><div class="ttname"><a href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">SVF::StInfo::flattenElementTypes</a></div><div class="ttdeci">std::vector&lt; const Type * &gt; flattenElementTypes</div><div class="ttdoc">Type vector of fields. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00505">SymbolTableInfo.h:505</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -420,8 +420,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00541">541</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf">finfo</a>;</div><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a08cf9420a9c7d4019abee8b42fb578bf"><div class="ttname"><a href="classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; const Type * &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00498">SymbolTableInfo.h:498</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00540">540</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;    {</div><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf">finfo</a>;</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a08cf9420a9c7d4019abee8b42fb578bf"><div class="ttname"><a href="classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; const Type * &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00497">SymbolTableInfo.h:497</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -450,8 +450,8 @@ Private Attributes</h2></td></tr>
 
 <p>Return number of elements after flattenning (including array elements) </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00558">558</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;                                                 {</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>;</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00502">SymbolTableInfo.h:502</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00557">557</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;                                                 {</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>;</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00501">SymbolTableInfo.h:501</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -480,8 +480,8 @@ Private Attributes</h2></td></tr>
 
 <p>Return the number of fields after flattenning (ignoring array elements) </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00563">563</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;                                               {</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>;</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00504">SymbolTableInfo.h:504</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00562">562</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;                                               {</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>;</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00503">SymbolTableInfo.h:503</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -503,7 +503,7 @@ Private Attributes</h2></td></tr>
 <p>struct A { int id; int salary; }; struct B { char name[20]; struct A a;} B b; OriginalFieldType of b with field_idx 1 : Struct A FlatternedFieldType of b with field_idx 1 : int </p>
 
 <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00068">68</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;{</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;u32_t, const Type*&gt;::const_iterator</a> it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00496">SymbolTableInfo.h:496</a></div></div>
+<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;{</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;u32_t, const Type*&gt;::const_iterator</a> it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00495">SymbolTableInfo.h:495</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -533,8 +533,8 @@ Private Attributes</h2></td></tr>
 
 <p>Return the stride. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00567">567</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;                                  {</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00500">SymbolTableInfo.h:500</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00566">566</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;                                  {</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>;</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00499">SymbolTableInfo.h:499</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -602,9 +602,9 @@ Private Attributes</h2></td></tr>
 
 <p>Set number of fields and elements of an aggrate. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00551">551</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;    {</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a> = nf;</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a> = ne;</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00502">SymbolTableInfo.h:502</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00504">SymbolTableInfo.h:504</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00550">550</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;    {</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a> = nf;</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a> = ne;</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00501">SymbolTableInfo.h:501</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00503">SymbolTableInfo.h:503</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -631,7 +631,7 @@ Private Attributes</h2></td></tr>
 
 <p>flattened element indices including structs and arrays by considering strides </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00494">494</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00493">493</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -657,7 +657,7 @@ Private Attributes</h2></td></tr>
 
 <p>All field infos after flattening a struct. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00498">498</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00497">497</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -683,7 +683,7 @@ Private Attributes</h2></td></tr>
 
 <p>Type vector of fields. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00506">506</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00505">505</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -709,7 +709,7 @@ Private Attributes</h2></td></tr>
 
 <p>Types of all fields of a struct. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00496">496</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00495">495</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -735,7 +735,7 @@ Private Attributes</h2></td></tr>
 
 <p>flattened field indices of a struct (ignoring arrays) </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00492">492</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00491">491</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -761,7 +761,7 @@ Private Attributes</h2></td></tr>
 
 <p>number of elements after flattenning (including array elements) </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00502">502</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00501">501</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -787,7 +787,7 @@ Private Attributes</h2></td></tr>
 
 <p>number of fields after flattenning (ignoring array elements) </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00504">504</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00503">503</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -813,7 +813,7 @@ Private Attributes</h2></td></tr>
 
 <p>stride represents the number of repetitive elements if this <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> represent an ArrayType. stride is 1 by default. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00500">500</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00499">499</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>