svf-tools 1.0.893 → 1.0.895

package/SVF-doxygen/html/BufOverflowChecker_8h.html

@@ -80,8 +80,6 @@ $(function() {
 Classes</h2></td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1BufOverflowException.html">SVF::BufOverflowException</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html">SVF::BufOverflowCheckerAPI</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">

package/SVF-doxygen/html/BufOverflowChecker_8h_source.html

@@ -171,72 +171,50 @@ $(function() {
 <div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c">  100</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* <a class="code" href="structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c">_allocVar</a>;</div>
 <div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;};</div>
 <div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160; </div>
-<div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowCheckerAPI.html">  103</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html">BufOverflowCheckerAPI</a>: <span class="keyword">public</span> <a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a></div>
+<div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html">  103</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a>: <span class="keyword">public</span> <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a></div>
 <div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;{</div>
 <div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#ad8c1d7dfcb2fcd14fe0d8911b83500fd">BufOverflowCheckerAPI</a>() = <span class="keyword">delete</span>;</div>
-<div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowCheckerAPI.html#a97dddad0d473fc3fdacc0c9ae6976531">  107</a></span>&#160;    <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a97dddad0d473fc3fdacc0c9ae6976531">BufOverflowCheckerAPI</a>(<a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> * ae, <a class="code" href="classSVF_1_1AEStat.html">AEStat</a> * stat): <a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a>(ae, stat)</div>
-<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    {</div>
-<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a49a9ee0125f2af00cc55c3224611f28e">initExtFunMap</a>();</div>
-<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a950ff9c290eef3ed8b4343aaa527946e">initExtAPIBufOverflowCheckRules</a>();</div>
-<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <a class="code" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">_kind</a> = <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
-<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    }</div>
-<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowCheckerAPI.html#a9832ccaca3754bfd4acc2a851c8e0cb4">  113</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a9832ccaca3754bfd4acc2a851c8e0cb4">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a>* api)</div>
+<div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">  106</a></span>&#160;    <a class="code" href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">BufOverflowChecker</a>() : <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>()</div>
+<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    {</div>
+<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <a class="code" href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">initExtFunMap</a>();</div>
+<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <a class="code" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a> = <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
+<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <a class="code" href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">initExtAPIBufOverflowCheckRules</a>();</div>
+<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    }</div>
+<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160; </div>
+<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">  113</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* ae)</div>
 <div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div>
-<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">return</span> api-&gt;<a class="code" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">getKind</a>() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
+<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">return</span> ae-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
 <div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div>
 <div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160; </div>
-<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a49a9ee0125f2af00cc55c3224611f28e">initExtFunMap</a>();</div>
-<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160; </div>
-<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a950ff9c290eef3ed8b4343aaa527946e">initExtAPIBufOverflowCheckRules</a>();</div>
-<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160; </div>
-<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a6a4afd9b4546d0a01dc869c6672f6dc6">handleExtAPI</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call) ;</div>
-<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a296a3ea0f8df72ce6480b5cb0f207945">detectStrcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
-<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#ae88696790ca4f3392c7dc76c74619f46">detectStrcat</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
-<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160; </div>
-<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a62a7eb3560c8ec158c2fe0c1fc95189d">canSafelyAccessMemory</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value, <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;len, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *curNode);</div>
-<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160; </div>
+<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="keyword">protected</span>:</div>
+<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">initExtFunMap</a>() <span class="keyword">override</span>;</div>
+<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160; </div>
+<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">initExtAPIBufOverflowCheckRules</a>();</div>
+<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160; </div>
+<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde">handleExtAPI</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call) <span class="keyword">override</span>;</div>
+<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#ad8b2f2fa6f22b9d1655135c819cbad8a">detectStrcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
+<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#aa68f8aef09481d7c07dc59d7dfb83822">detectStrcat</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
+<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160; </div>
+<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#ace5ad1d6a63d5392044fee2ecbc9236e">canSafelyAccessMemory</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value, <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;len, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *curNode);</div>
 <div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160; </div>
-<div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03">  169</a></span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, const GepStmt*&gt;</a> <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03">_addrToGep</a>;</div>
-<div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowCheckerAPI.html#adf5b059cb16c8f35146166269f9e1ebc">  170</a></span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;std::string, std::vector&lt;std::pair&lt;u32_t, u32_t&gt;</a>&gt;&gt; <a class="code" href="classSVF_1_1BufOverflowCheckerAPI.html#adf5b059cb16c8f35146166269f9e1ebc">_extAPIBufOverflowCheckRules</a>;</div>
-<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;};</div>
-<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160; </div>
-<div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html">  173</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a>: <span class="keyword">public</span> <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a></div>
-<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;{</div>
-<div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">  175</a></span>&#160;    <span class="keyword">friend</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">BufOverflowCheckerAPI</a>;</div>
+<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;<span class="keyword">private</span>:</div>
+<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">handleSVFStatement</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt) <span class="keyword">override</span>;</div>
 <div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160; </div>
-<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">  178</a></span>&#160;    <a class="code" href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">BufOverflowChecker</a>() : <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>()</div>
-<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div>
-<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <a class="code" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a> = <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
-<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    }</div>
-<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160; </div>
-<div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">  183</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* ae)</div>
-<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    {</div>
-<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        <span class="keywordflow">return</span> ae-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>;</div>
-<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;    }</div>
-<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160; </div>
-<div class="line"><a name="l00188"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">  188</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">initExtAPI</a>()<span class="keyword"> override</span></div>
-<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;<span class="keyword">    </span>{</div>
-<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <a class="code" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">_api</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">BufOverflowCheckerAPI</a>(<span class="keyword">this</span>, <a class="code" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">_stat</a>);</div>
-<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div>
-<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160; </div>
-<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;<span class="keyword">private</span>:</div>
-<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">handleSVFStatement</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt) <span class="keyword">override</span>;</div>
-<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160; </div>
-<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e">handleICFGNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a> *node) <span class="keyword">override</span>;</div>
-<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160; </div>
-<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1">detectBufOverflow</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node);</div>
-<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160; </div>
-<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">addBugToRecoder</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a>&amp; e, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
-<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160; </div>
-<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160; </div>
-<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;};</div>
-<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;}</div>
+<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e">handleICFGNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a> *node) <span class="keyword">override</span>;</div>
+<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160; </div>
+<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1">detectBufOverflow</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node);</div>
+<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160; </div>
+<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">addBugToRecoder</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a>&amp; e, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
+<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160; </div>
+<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;<span class="keyword">private</span>:</div>
+<div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">  201</a></span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, const GepStmt*&gt;</a> <a class="code" href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">_addrToGep</a>;</div>
+<div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">  202</a></span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;std::string, std::vector&lt;std::pair&lt;u32_t, u32_t&gt;</a>&gt;&gt; <a class="code" href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">_extAPIBufOverflowCheckRules</a>;</div>
+<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160; </div>
+<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;};</div>
+<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00113">AbstractExecution.h:113</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad36d48c0ef82de915d9339c4f47cbd70"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00249">AbstractExecution.h:249</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a62a7eb3560c8ec158c2fe0c1fc95189d"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a62a7eb3560c8ec158c2fe0c1fc95189d">SVF::BufOverflowCheckerAPI::canSafelyAccessMemory</a></div><div class="ttdeci">bool canSafelyAccessMemory(const SVFValue *value, const IntervalValue &amp;len, const ICFGNode *curNode)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00497">BufOverflowChecker.cpp:497</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00108">AbstractExecution.h:108</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad36d48c0ef82de915d9339c4f47cbd70"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00349">AbstractExecution.h:349</a></div></div>
 <div class="ttc" id="aAbstractExecution_8h_html"><div class="ttname"><a href="AbstractExecution_8h.html">AbstractExecution.h</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a645203900fcf19bb3118d0eacb21f137"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a645203900fcf19bb3118d0eacb21f137">SVF::BufOverflowException::getAllocVar</a></div><div class="ttdeci">const SVFValue * getAllocVar() const</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00086">BufOverflowChecker.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_afa6b30220b0b3261205a909def9ca44e"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e">SVF::BufOverflowChecker::handleICFGNode</a></div><div class="ttdeci">virtual void handleICFGNode(const SVF::ICFGNode *node) override</div></div>
@@ -244,55 +222,44 @@ $(function() {
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a4eb54eb3943f96e60f89d2fdd99f08c0"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0">SVF::BufOverflowException::what</a></div><div class="ttdeci">const char * what() const noexcept override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00091">BufOverflowChecker.h:91</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_aa436c171dc79cbc55281bdad17370d3f"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#aa436c171dc79cbc55281bdad17370d3f">SVF::BufOverflowException::setAllocLb</a></div><div class="ttdeci">void setAllocLb(u32_t allocLb)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00051">BufOverflowChecker.h:51</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html">SVF::BufOverflowException</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00036">BufOverflowChecker.h:36</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a9bd2a222c9f63c589df5a8d2076ffe03"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03">SVF::BufOverflowCheckerAPI::_addrToGep</a></div><div class="ttdeci">Map&lt; NodeID, const GepStmt * &gt; _addrToGep</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00169">BufOverflowChecker.h:169</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ad8b2f2fa6f22b9d1655135c819cbad8a"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ad8b2f2fa6f22b9d1655135c819cbad8a">SVF::BufOverflowChecker::detectStrcpy</a></div><div class="ttdeci">bool detectStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00123">BufOverflowChecker.cpp:123</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a6d6801e705ce872340bc2722fade01ca"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a6d6801e705ce872340bc2722fade01ca">SVF::BufOverflowException::_allocUb</a></div><div class="ttdeci">u32_t _allocUb</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00099">BufOverflowChecker.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_aedeb24d82f36ba581fa32de47f531a1f"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#aedeb24d82f36ba581fa32de47f531a1f">SVF::BufOverflowException::setAllocUb</a></div><div class="ttdeci">void setAllocUb(u32_t allocUb)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00061">BufOverflowChecker.h:61</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">SVF::AEKind::BufOverflowChecker</a></div><div class="ttdeci">@ BufOverflowChecker</div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a95463e50b7e92f46cb095fd2a706257a"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a95463e50b7e92f46cb095fd2a706257a">SVF::BufOverflowException::getAccessUb</a></div><div class="ttdeci">u32_t getAccessUb() const</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00076">BufOverflowChecker.h:76</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_adf5b059cb16c8f35146166269f9e1ebc"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#adf5b059cb16c8f35146166269f9e1ebc">SVF::BufOverflowCheckerAPI::_extAPIBufOverflowCheckRules</a></div><div class="ttdeci">Map&lt; std::string, std::vector&lt; std::pair&lt; u32_t, u32_t &gt; &gt; &gt; _extAPIBufOverflowCheckRules</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00170">BufOverflowChecker.h:170</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6c381287424a3623cfdae5a75d2a9c9b"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution::getKind</a></div><div class="ttdeci">AEKind getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00138">AbstractExecution.h:138</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6c381287424a3623cfdae5a75d2a9c9b"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution::getKind</a></div><div class="ttdeci">AEKind getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00132">AbstractExecution.h:132</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_ade4a2ef6faf5677945804e8c1539cbbc"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#ade4a2ef6faf5677945804e8c1539cbbc">SVF::BufOverflowException::setAccessUb</a></div><div class="ttdeci">void setAccessUb(u32_t accessUb)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00081">BufOverflowChecker.h:81</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a97dddad0d473fc3fdacc0c9ae6976531"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a97dddad0d473fc3fdacc0c9ae6976531">SVF::BufOverflowCheckerAPI::BufOverflowCheckerAPI</a></div><div class="ttdeci">BufOverflowCheckerAPI(AbstractExecution *ae, AEStat *stat)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00107">BufOverflowChecker.h:107</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_aed959fce840cbea32d3567ee1ac01e82"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">SVF::BufOverflowChecker::initExtAPIBufOverflowCheckRules</a></div><div class="ttdeci">void initExtAPIBufOverflowCheckRules()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00076">BufOverflowChecker.cpp:76</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_aa68f8aef09481d7c07dc59d7dfb83822"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#aa68f8aef09481d7c07dc59d7dfb83822">SVF::BufOverflowChecker::detectStrcat</a></div><div class="ttdeci">bool detectStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00372">BufOverflowChecker.cpp:372</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a9c169e68b0c793909d643e3e266434fe"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a9c169e68b0c793909d643e3e266434fe">SVF::BufOverflowException::getAccessLb</a></div><div class="ttdeci">u32_t getAccessLb() const</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00066">BufOverflowChecker.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_adcfa49d892daef07e7d4274ab8d34b6f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">SVF::BufOverflowChecker::BufOverflowChecker</a></div><div class="ttdeci">BufOverflowChecker()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00178">BufOverflowChecker.h:178</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_adcfa49d892daef07e7d4274ab8d34b6f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f">SVF::BufOverflowChecker::BufOverflowChecker</a></div><div class="ttdeci">BufOverflowChecker()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00106">BufOverflowChecker.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a49a9ee0125f2af00cc55c3224611f28e"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a49a9ee0125f2af00cc55c3224611f28e">SVF::BufOverflowCheckerAPI::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00134">BufOverflowChecker.cpp:134</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a9832ccaca3754bfd4acc2a851c8e0cb4"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a9832ccaca3754bfd4acc2a851c8e0cb4">SVF::BufOverflowCheckerAPI::classof</a></div><div class="ttdeci">static bool classof(const AEAPI *api)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00113">BufOverflowChecker.h:113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ace5ad1d6a63d5392044fee2ecbc9236e"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ace5ad1d6a63d5392044fee2ecbc9236e">SVF::BufOverflowChecker::canSafelyAccessMemory</a></div><div class="ttdeci">bool canSafelyAccessMemory(const SVFValue *value, const IntervalValue &amp;len, const ICFGNode *curNode)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00485">BufOverflowChecker.cpp:485</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_ac7acc98da0c61a5b9835125bf3d2999d"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d">SVF::BufOverflowException::_allocLb</a></div><div class="ttdeci">u32_t _allocLb</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00099">BufOverflowChecker.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a52de7d619e8746a70718719306d7c5a1"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1">SVF::BufOverflowChecker::detectBufOverflow</a></div><div class="ttdeci">bool detectBufOverflow(const ICFGNode *node)</div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ace460f7684aedf51c9907c995b94b653"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">SVF::BufOverflowChecker::classof</a></div><div class="ttdeci">static bool classof(const AbstractExecution *ae)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00183">BufOverflowChecker.h:183</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ace460f7684aedf51c9907c995b94b653"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">SVF::BufOverflowChecker::classof</a></div><div class="ttdeci">static bool classof(const AbstractExecution *ae)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00113">BufOverflowChecker.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_af83b65ed98cd4e0f6cd92962e7392d4d"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">SVF::BufOverflowChecker::_extAPIBufOverflowCheckRules</a></div><div class="ttdeci">Map&lt; std::string, std::vector&lt; std::pair&lt; u32_t, u32_t &gt; &gt; &gt; _extAPIBufOverflowCheckRules</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00202">BufOverflowChecker.h:202</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a09144623a46e13e561db8b282440e6fc"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a09144623a46e13e561db8b282440e6fc">SVF::BufOverflowException::getAllocUb</a></div><div class="ttdeci">u32_t getAllocUb() const</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00056">BufOverflowChecker.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_ad8c1d7dfcb2fcd14fe0d8911b83500fd"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#ad8c1d7dfcb2fcd14fe0d8911b83500fd">SVF::BufOverflowCheckerAPI::BufOverflowCheckerAPI</a></div><div class="ttdeci">BufOverflowCheckerAPI()=delete</div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_af8a7272c33f826f0079d5a31f6c5d547"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#af8a7272c33f826f0079d5a31f6c5d547">SVF::BufOverflowException::getAllocLb</a></div><div class="ttdeci">u32_t getAllocLb() const</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00046">BufOverflowChecker.h:46</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a26f8c21bd96ae22ca2e72af6fbfa410c"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">SVF::AbstractExecution::_api</a></div><div class="ttdeci">AEAPI * _api</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00245">AbstractExecution.h:245</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AEAPI_html_ab549486e45e0c775c75f0f8749797a1c"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">SVF::AEAPI::getKind</a></div><div class="ttdeci">AEKind getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00314">AbstractExecution.h:314</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00173">BufOverflowChecker.h:173</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a74a55a4d4941c85bdfed81f060049bf0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">SVF::AbstractExecution::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00248">AbstractExecution.h:248</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00103">BufOverflowChecker.h:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a0b79c3694a08100d2d8d1b8109998131"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">SVF::BufOverflowChecker::handleSVFStatement</a></div><div class="ttdeci">virtual void handleSVFStatement(const SVFStmt *stmt) override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00062">BufOverflowChecker.cpp:62</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html">SVF::BufOverflowCheckerAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00103">BufOverflowChecker.h:103</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a563fed00ad732985dbe7a7e2c6525e6a"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">SVF::BufOverflowChecker::BufOverflowCheckerAPI</a></div><div class="ttdeci">friend BufOverflowCheckerAPI</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00175">BufOverflowChecker.h:175</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a6a4afd9b4546d0a01dc869c6672f6dc6"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a6a4afd9b4546d0a01dc869c6672f6dc6">SVF::BufOverflowCheckerAPI::handleExtAPI</a></div><div class="ttdeci">void handleExtAPI(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00421">BufOverflowChecker.cpp:421</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a950ff9c290eef3ed8b4343aaa527946e"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a950ff9c290eef3ed8b4343aaa527946e">SVF::BufOverflowCheckerAPI::initExtAPIBufOverflowCheckRules</a></div><div class="ttdeci">void initExtAPIBufOverflowCheckRules()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00077">BufOverflowChecker.cpp:77</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_af0e2276001df7d51c45b22d5d11ca09b"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">SVF::BufOverflowChecker::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00133">BufOverflowChecker.cpp:133</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_add564a4b3a2d36953936f217e794ded0"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0">SVF::BufOverflowException::_msg</a></div><div class="ttdeci">std::string _msg</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00098">BufOverflowChecker.h:98</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AEStat_html"><div class="ttname"><a href="classSVF_1_1AEStat.html">SVF::AEStat</a></div><div class="ttdoc">AEStat: Statistic for AE.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00057">AbstractExecution.h:57</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_ae88696790ca4f3392c7dc76c74619f46"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#ae88696790ca4f3392c7dc76c74619f46">SVF::BufOverflowCheckerAPI::detectStrcat</a></div><div class="ttdeci">bool detectStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00382">BufOverflowChecker.cpp:382</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a3227be2f0eed6dd0215aa47ea484205c"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c">SVF::BufOverflowException::_allocVar</a></div><div class="ttdeci">const SVFValue * _allocVar</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00100">BufOverflowChecker.h:100</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a3b4548e9ff028f4de2aee57ac9f8a6a2"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a3b4548e9ff028f4de2aee57ac9f8a6a2">SVF::BufOverflowException::BufOverflowException</a></div><div class="ttdeci">BufOverflowException(std::string msg, u32_t allocLb, u32_t allocUb, u32_t accessLb, u32_t accessUb, const SVFValue *allocVal)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00039">BufOverflowChecker.h:39</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowCheckerAPI_html_a296a3ea0f8df72ce6480b5cb0f207945"><div class="ttname"><a href="classSVF_1_1BufOverflowCheckerAPI.html#a296a3ea0f8df72ce6480b5cb0f207945">SVF::BufOverflowCheckerAPI::detectStrcpy</a></div><div class="ttdeci">bool detectStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00124">BufOverflowChecker.cpp:124</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a1ed3cb0a1a118d9e505b192841a58dde"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde">SVF::BufOverflowChecker::handleExtAPI</a></div><div class="ttdeci">void handleExtAPI(const CallICFGNode *call) override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00410">BufOverflowChecker.cpp:410</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a7a81a6ff4877a87f1a09c14cc70b1cc0"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a7a81a6ff4877a87f1a09c14cc70b1cc0">SVF::BufOverflowException::_accessLb</a></div><div class="ttdeci">u32_t _accessLb</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00099">BufOverflowChecker.h:99</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AEAPI_html"><div class="ttname"><a href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00286">AbstractExecution.h:286</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a0088456e712c555cbfba6203aec38037"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">SVF::BufOverflowChecker::_addrToGep</a></div><div class="ttdeci">Map&lt; NodeID, const GepStmt * &gt; _addrToGep</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00201">BufOverflowChecker.h:201</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_acd607960043c7073d32220e7e3c1a5b9"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9">SVF::BufOverflowException::_accessUb</a></div><div class="ttdeci">u32_t _accessUb</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00099">BufOverflowChecker.h:99</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AEAPI_html_ac647ce8e5e4e14303a4c8c8fc6321492"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">SVF::AEAPI::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00430">AbstractExecution.h:430</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
 <div class="ttc" id="astructSVF_1_1BufOverflowException_html_a5ba160b90bcd053ca2bb25484dfa0147"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html#a5ba160b90bcd053ca2bb25484dfa0147">SVF::BufOverflowException::setAccessLb</a></div><div class="ttdeci">void setAccessLb(u32_t accessLb)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00071">BufOverflowChecker.h:71</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a7c11b81809cb087317cbea654a589f75"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">SVF::BufOverflowChecker::addBugToRecoder</a></div><div class="ttdeci">void addBugToRecoder(const BufOverflowException &amp;e, const ICFGNode *node)</div></div>
-<div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a4787d2e56aa374763656b7942f0ed52f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker::initExtAPI</a></div><div class="ttdeci">void initExtAPI() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00188">BufOverflowChecker.h:188</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html

@@ -266,9 +266,9 @@ $(function() {
 <div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        }</div>
 <div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *gepInst = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(curValue))</div>
 <div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            insertInferSite(gepInst);</div>
-<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: curValue-&gt;uses())</div>
+<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: curValue-&gt;users())</div>
 <div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        {</div>
-<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *loadInst = SVFUtil::dyn_cast&lt;LoadInst&gt;(it.getUser()))</div>
+<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *loadInst = SVFUtil::dyn_cast&lt;LoadInst&gt;(it))</div>
 <div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;            {</div>
 <div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;                <span class="comment">/*</span></div>
 <div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;<span class="comment">                 * infer based on load, e.g.,</span></div>
@@ -278,7 +278,7 @@ $(function() {
 <div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;<span class="comment">                 */</span></div>
 <div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;                insertInferSite(loadInst);</div>
 <div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            }</div>
-<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *storeInst = SVFUtil::dyn_cast&lt;StoreInst&gt;(it.getUser()))</div>
+<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *storeInst = SVFUtil::dyn_cast&lt;StoreInst&gt;(it))</div>
 <div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;            {</div>
 <div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;                <span class="keywordflow">if</span> (storeInst-&gt;getPointerOperand() == curValue)</div>
 <div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                {</div>
@@ -292,7 +292,7 @@ $(function() {
 <div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;                }</div>
 <div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;                <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;                {</div>
-<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;                    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;nit: storeInst-&gt;getPointerOperand()-&gt;uses())</div>
+<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;                    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;nit: storeInst-&gt;getPointerOperand()-&gt;users())</div>
 <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;                        <span class="comment">/*</span></div>
 <div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;<span class="comment">                         * propagate across store (value operand) and load</span></div>
@@ -301,8 +301,8 @@ $(function() {
 <div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;<span class="comment">                         %q = load i8*, i8** %p</span></div>
 <div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;<span class="comment">                         ..infer based on %q..</span></div>
 <div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;<span class="comment">                        */</span></div>
-<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;                        <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadInst&gt;(nit.getUser()))</div>
-<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                            insertInferSitesOrPushWorklist(nit.getUser());</div>
+<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;                        <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadInst&gt;(nit))</div>
+<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                            insertInferSitesOrPushWorklist(nit);</div>
 <div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;                    }</div>
 <div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;                    <span class="comment">/*</span></div>
 <div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;<span class="comment">                     * infer based on store (value operand) &lt;- gep (result element)</span></div>
@@ -322,18 +322,18 @@ $(function() {
 <div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;                        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *gepBase = gepInst-&gt;getPointerOperand();</div>
 <div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;                        <span class="keywordflow">if</span> (!SVFUtil::isa&lt;LoadInst&gt;(gepBase)) <span class="keywordflow">continue</span>;</div>
 <div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;                        <span class="keyword">const</span> <span class="keyword">auto</span> *load = SVFUtil::dyn_cast&lt;LoadInst&gt;(gepBase);</div>
-<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;                        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;loadUse: load-&gt;getPointerOperand()-&gt;uses())</div>
+<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;                        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;loadUse: load-&gt;getPointerOperand()-&gt;users())</div>
 <div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;                        {</div>
-<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                            <span class="keywordflow">if</span> (loadUse.getUser() == load || !SVFUtil::isa&lt;LoadInst&gt;(loadUse.getUser()))</div>
+<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                            <span class="keywordflow">if</span> (loadUse == load || !SVFUtil::isa&lt;LoadInst&gt;(loadUse))</div>
 <div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;                                <span class="keywordflow">continue</span>;</div>
-<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;                            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;gepUse: loadUse.getUser()-&gt;uses())</div>
+<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;                            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;gepUse: loadUse-&gt;users())</div>
 <div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;                            {</div>
-<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;                                <span class="keywordflow">if</span> (!SVFUtil::isa&lt;GetElementPtrInst&gt;(gepUse.getUser())) <span class="keywordflow">continue</span>;</div>
-<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;                                <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;loadUse2: gepUse.getUser()-&gt;uses())</div>
+<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;                                <span class="keywordflow">if</span> (!SVFUtil::isa&lt;GetElementPtrInst&gt;(gepUse)) <span class="keywordflow">continue</span>;</div>
+<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;                                <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;loadUse2: gepUse-&gt;users())</div>
 <div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;                                {</div>
-<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;                                    <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadInst&gt;(loadUse2.getUser()))</div>
+<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;                                    <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadInst&gt;(loadUse2))</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;                                        insertInferSitesOrPushWorklist(loadUse2.getUser());</div>
+<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;                                        insertInferSitesOrPushWorklist(loadUse2);</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>
@@ -343,7 +343,7 @@ $(function() {
 <div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;                }</div>
 <div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160; </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> (<span class="keyword">const</span> <span class="keyword">auto</span> *gepInst = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(it.getUser()))</div>
+<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *gepInst = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(it))</div>
 <div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;            {</div>
 <div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;                <span class="comment">/*</span></div>
 <div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;<span class="comment">                 * infer based on gep (pointer operand)</span></div>
@@ -354,17 +354,17 @@ $(function() {
 <div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;                <span class="keywordflow">if</span> (gepInst-&gt;getPointerOperand() == curValue)</div>
 <div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                    insertInferSite(gepInst);</div>
 <div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            }</div>
-<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *bitcast = SVFUtil::dyn_cast&lt;BitCastInst&gt;(it.getUser()))</div>
+<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *bitcast = SVFUtil::dyn_cast&lt;BitCastInst&gt;(it))</div>
 <div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;            {</div>
 <div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                <span class="comment">// continue on bitcast</span></div>
 <div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;                insertInferSitesOrPushWorklist(bitcast);</div>
 <div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;            }</div>
-<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *phiNode = SVFUtil::dyn_cast&lt;PHINode&gt;(it.getUser()))</div>
+<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *phiNode = SVFUtil::dyn_cast&lt;PHINode&gt;(it))</div>
 <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="comment">// continue on bitcast</span></div>
 <div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;                insertInferSitesOrPushWorklist(phiNode);</div>
 <div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;            }</div>
-<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *retInst = SVFUtil::dyn_cast&lt;ReturnInst&gt;(it.getUser()))</div>
+<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *retInst = SVFUtil::dyn_cast&lt;ReturnInst&gt;(it))</div>
 <div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;            {</div>
 <div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;                <span class="comment">/*</span></div>
 <div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;<span class="comment">                 * propagate from return to caller</span></div>
@@ -377,9 +377,9 @@ $(function() {
 <div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;<span class="comment">                 %call = call i8* @malloc_wrapper()</span></div>
 <div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;<span class="comment">                 ..infer based on %call..</span></div>
 <div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;<span class="comment">                */</span></div>
-<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;callsite: retInst-&gt;getFunction()-&gt;uses())</div>
+<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;callsite: retInst-&gt;getFunction()-&gt;users())</div>
 <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">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *callBase = SVFUtil::dyn_cast&lt;CallBase&gt;(callsite.getUser()))</div>
+<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;                    <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *callBase = SVFUtil::dyn_cast&lt;CallBase&gt;(callsite))</div>
 <div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;                    {</div>
 <div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;                        <span class="comment">// skip function as parameter</span></div>
 <div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;                        <span class="comment">// e.g., call void @foo(%struct.ssl_ctx_st* %9, i32 (i8*, i32, i32, i8*)* @passwd_callback)</span></div>
@@ -388,7 +388,7 @@ $(function() {
 <div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;                    }</div>
 <div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;                }</div>
 <div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;            }</div>
-<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *callBase = SVFUtil::dyn_cast&lt;CallBase&gt;(it.getUser()))</div>
+<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *callBase = SVFUtil::dyn_cast&lt;CallBase&gt;(it))</div>
 <div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;            {</div>
 <div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;                <span class="comment">/*</span></div>
 <div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;<span class="comment">                 * propagate from callsite to callee</span></div>
@@ -503,9 +503,9 @@ $(function() {
 <div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;        }</div>
 <div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *loadInst = SVFUtil::dyn_cast&lt;LoadInst&gt;(curValue))</div>
 <div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;        {</div>
-<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;use: loadInst-&gt;getPointerOperand()-&gt;uses())</div>
+<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;use: loadInst-&gt;getPointerOperand()-&gt;users())</div>
 <div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;            {</div>
-<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;                <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">StoreInst</a> *storeInst = SVFUtil::dyn_cast&lt;StoreInst&gt;(use.getUser()))</div>
+<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;                <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">StoreInst</a> *storeInst = SVFUtil::dyn_cast&lt;StoreInst&gt;(use))</div>
 <div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;                {</div>
 <div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;                    <span class="keywordflow">if</span> (storeInst-&gt;getPointerOperand() == loadInst-&gt;getPointerOperand())</div>
 <div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;                    {</div>
@@ -516,9 +516,9 @@ $(function() {
 <div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        }</div>
 <div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span> *argument = SVFUtil::dyn_cast&lt;Argument&gt;(curValue))</div>
 <div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;        {</div>
-<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;use: argument-&gt;getParent()-&gt;uses())</div>
+<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;use: argument-&gt;getParent()-&gt;users())</div>
 <div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;            {</div>
-<div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;                <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">CallBase</a> *callBase = SVFUtil::dyn_cast&lt;CallBase&gt;(use.getUser()))</div>
+<div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;                <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">CallBase</a> *callBase = SVFUtil::dyn_cast&lt;CallBase&gt;(use))</div>
 <div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;                {</div>
 <div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;                    <span class="comment">// skip function as parameter</span></div>
 <div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;                    <span class="comment">// e.g., call void @foo(%struct.ssl_ctx_st* %9, i32 (i8*, i32, i32, i8*)* @passwd_callback)</span></div>