svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html

@@ -326,8 +326,10 @@ Functions</h2></td></tr>
 <tr class="separator:a168f7f7a3a8c70dbf2b5b4269cd4c7c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a22ef185e767ff76c098e75126c885400"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="separator:a22ef185e767ff76c098e75126c885400"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4c45df04366c21ee47ac251fbac582cc"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a4c45df04366c21ee47ac251fbac582cc">isMemSetOrCpyExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="separator:a4c45df04366c21ee47ac251fbac582cc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a688bd5e1bf36b3e75bfcea9388871dc4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">isMemcpyExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="separator:a688bd5e1bf36b3e75bfcea9388871dc4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a54098ea73555caa682287f8e3c9e8fcb"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">isMemsetExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="separator:a54098ea73555caa682287f8e3c9e8fcb"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a19b96a872d9096037f20e25122e469ea"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:a19b96a872d9096037f20e25122e469ea"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap allocator/reallocator.  <a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">More...</a><br /></td></tr>
 <tr class="separator:a19b96a872d9096037f20e25122e469ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -339,9 +341,6 @@ Functions</h2></td></tr>
 <tr class="memitem:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap reallocator.  <a href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">More...</a><br /></td></tr>
 <tr class="separator:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3495236e22e4bc6404b6ac352060439c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">isDeallocExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="memdesc:a3495236e22e4bc6404b6ac352060439c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap dealloc or not.  <a href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">More...</a><br /></td></tr>
-<tr class="separator:a3495236e22e4bc6404b6ac352060439c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a static global call.  <a href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">More...</a><br /></td></tr>
 <tr class="separator:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -393,10 +392,6 @@ Functions</h2></td></tr>
 <tr class="separator:a6740e7686ba111ae525c6c093cbbaf46"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a21eb8acf4b7f876507ff02c65fff0869"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a21eb8acf4b7f876507ff02c65fff0869">isReallocExtCall</a> (const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *inst)</td></tr>
 <tr class="separator:a21eb8acf4b7f876507ff02c65fff0869"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1f52a7f183f1eec7c4db7e4e54fa5e2c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c">isDeallocExtCall</a> (const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs)</td></tr>
-<tr class="separator:a1f52a7f183f1eec7c4db7e4e54fa5e2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a80da8887c0a6a8becd89495541b88d29"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a80da8887c0a6a8becd89495541b88d29">isDeallocExtCall</a> (const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *inst)</td></tr>
-<tr class="separator:a80da8887c0a6a8becd89495541b88d29"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae62938f722543d6d7fc201b685be1abf"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">isStaticExtCall</a> (const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs)</td></tr>
 <tr class="separator:ae62938f722543d6d7fc201b685be1abf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9236e11e62bde33d6ab1f309300c488a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a> (const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *inst)</td></tr>
@@ -529,7 +524,7 @@ template&lt;typename... Ts&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00680">680</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00665">665</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
 
 </div>
 </div>
@@ -1247,10 +1242,10 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Return sole argument of the thread routine. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00624">624</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;{</div>
-<div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(cs);</div>
-<div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00609">609</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;{</div>
+<div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(cs);</div>
+<div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1278,10 +1273,10 @@ template&lt;class X , class Y &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00628">628</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;{</div>
-<div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(inst);</div>
-<div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00613">613</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;{</div>
+<div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getActualParmAtForkSite(inst);</div>
+<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1378,10 +1373,10 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Return thread fork function. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00417">417</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;{</div>
-<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(cs);</div>
-<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00413">413</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;{</div>
+<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(cs);</div>
+<div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1409,10 +1404,10 @@ template&lt;class X , class Y &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00421">421</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;{</div>
-<div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(inst);</div>
-<div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00417">417</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;{</div>
+<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getForkedFun(inst);</div>
+<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1440,10 +1435,10 @@ template&lt;class X , class Y &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00477">477</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;{</div>
-<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00473">473</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;{</div>
+<div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1473,10 +1468,10 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Get the position of argument that holds an allocated heap object. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00336">336</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;{</div>
-<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    <span class="keywordflow">return</span> ExtAPI::getExtAPI()-&gt;get_alloc_arg_pos(fun);</div>
-<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00340">340</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;{</div>
+<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    <span class="keywordflow">return</span> ExtAPI::getExtAPI()-&gt;get_alloc_arg_pos(fun);</div>
+<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1504,10 +1499,10 @@ template&lt;class X , class Y &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00482">482</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;{</div>
-<div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00478">478</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;{</div>
+<div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">getHeapAllocHoldingArgPosition</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1569,13 +1564,13 @@ template&lt;class X , class Y &gt; </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;    <span class="keywordflow">while</span> (line != <span class="keyword">nullptr</span> &amp;&amp; (found_vmrss == <span class="keyword">false</span> || found_vmsize == <span class="keyword">false</span>))</div>
 <div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;    {</div>
-<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">if</span> (strstr(line, <span class="stringliteral">&quot;VmRSS:&quot;</span>) != <span class="keyword">nullptr</span>)</div>
+<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a>(line, <span class="stringliteral">&quot;VmRSS:&quot;</span>) != <span class="keyword">nullptr</span>)</div>
 <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;            sscanf(line, <span class="stringliteral">&quot;%*s %u&quot;</span>, vmrss_kb);</div>
 <div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            found_vmrss = <span class="keyword">true</span>;</div>
 <div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        }</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> (strstr(line, <span class="stringliteral">&quot;VmSize:&quot;</span>) != <span class="keyword">nullptr</span>)</div>
+<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a>(line, <span class="stringliteral">&quot;VmSize:&quot;</span>) != <span class="keyword">nullptr</span>)</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;            sscanf(line, <span class="stringliteral">&quot;%*s %u&quot;</span>, vmsize_kb);</div>
 <div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;            found_vmsize = <span class="keyword">true</span>;</div>
@@ -1615,16 +1610,16 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Get program entry function from module. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00386">386</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;{</div>
-<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
-<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    {</div>
-<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;        <span class="keyword">const</span> SVFFunction *fun = *it;</div>
-<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">isProgEntryFunction</a>(fun))</div>
-<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;            <span class="keywordflow">return</span> (fun);</div>
-<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;    }</div>
-<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
-<div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00382">382</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;{</div>
+<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
+<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;    {</div>
+<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        <span class="keyword">const</span> SVFFunction *fun = *it;</div>
+<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">isProgEntryFunction</a>(fun))</div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="keywordflow">return</span> (fun);</div>
+<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    }</div>
+<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1664,16 +1659,16 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Get program entry function from module. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00374">374</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;{</div>
-<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;    <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
-<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    {</div>
-<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        <span class="keyword">const</span> SVFFunction *fun = *it;</div>
-<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        <span class="keywordflow">if</span> (fun-&gt;getName()==funName)</div>
-<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;            <span class="keywordflow">return</span> fun;</div>
-<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    }</div>
-<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
-<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00370">370</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;{</div>
+<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;    <span class="keywordflow">for</span> (SVFModule::const_iterator it = svfModule-&gt;begin(), eit = svfModule-&gt;end(); it != eit; ++it)</div>
+<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    {</div>
+<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keyword">const</span> SVFFunction *fun = *it;</div>
+<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        <span class="keywordflow">if</span> (fun-&gt;getName()==funName)</div>
+<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;            <span class="keywordflow">return</span> fun;</div>
+<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    }</div>
+<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1774,10 +1769,10 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Return the task data argument of the parallel_for routine. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00648">648</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;{</div>
-<div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(cs);</div>
-<div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00633">633</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;{</div>
+<div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(cs);</div>
+<div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1805,10 +1800,10 @@ template&lt;class X , class Y &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00652">652</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;{</div>
-<div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(inst);</div>
-<div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00637">637</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;{</div>
+<div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskDataAtHareParForSite(inst);</div>
+<div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1838,10 +1833,10 @@ template&lt;class X , class Y &gt; </div>
 
 <p>Return the task function of the parallel_for routine. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00636">636</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;{</div>
-<div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(cs);</div>
-<div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00621">621</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;{</div>
+<div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(cs);</div>
+<div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1869,10 +1864,10 @@ template&lt;class X , class Y &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00640">640</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;{</div>
-<div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(inst);</div>
-<div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00625">625</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;{</div>
+<div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;getTaskFuncAtHareParForSite(inst);</div>
+<div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2134,10 +2129,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 
 <p>This function servers a allocation wrapper detector. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00428">428</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;{</div>
-<div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00424">424</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;{</div>
+<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2167,13 +2162,13 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 
 <p>Return true if this argument belongs to an uncalled function. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00407">407</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;{</div>
-<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    <span class="keywordflow">if</span>(<span class="keyword">const</span> SVFArgument* arg = SVFUtil::dyn_cast&lt;SVFArgument&gt;(svfval))</div>
-<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <span class="keywordflow">return</span> arg-&gt;isArgOfUncalledFunction();</div>
-<div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;    <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00403">403</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;{</div>
+<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;    <span class="keywordflow">if</span>(<span class="keyword">const</span> SVFArgument* arg = SVFUtil::dyn_cast&lt;SVFArgument&gt;(svfval))</div>
+<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;        <span class="keywordflow">return</span> arg-&gt;isArgOfUncalledFunction();</div>
+<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2203,10 +2198,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 
 <p>Return true if this is a barrier wait call. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00612">612</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;{</div>
-<div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(cs);</div>
-<div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00597">597</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;{</div>
+<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(cs);</div>
+<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2234,10 +2229,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00616">616</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;{</div>
-<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(inst);</div>
-<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00601">601</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;{</div>
+<div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDBarWait(inst);</div>
+<div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2310,102 +2305,6 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a1f52a7f183f1eec7c4db7e4e54fa5e2c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1f52a7f183f1eec7c4db7e4e54fa5e2c">&#9670;&nbsp;</a></span>isDeallocExtCall() <span class="overload">[1/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::SVFUtil::isDeallocExtCall </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallSite.html">CallSite</a>&#160;</td>
-          <td class="paramname"><em>cs</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00501">501</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;{</div>
-<div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">isDeallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;}</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a80da8887c0a6a8becd89495541b88d29"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a80da8887c0a6a8becd89495541b88d29">&#9670;&nbsp;</a></span>isDeallocExtCall() <span class="overload">[2/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::SVFUtil::isDeallocExtCall </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a> *&#160;</td>
-          <td class="paramname"><em>inst</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00506">506</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;{</div>
-<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">isDeallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;}</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a3495236e22e4bc6404b6ac352060439c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3495236e22e4bc6404b6ac352060439c">&#9670;&nbsp;</a></span>isDeallocExtFun()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::SVFUtil::isDeallocExtFun </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td>
-          <td class="paramname"><em>fun</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Return true if the call is a heap dealloc or not. </p>
-<p>note that this function is not suppose to be used externally </p>
-
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00352">352</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;{</div>
-<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; (ExtAPI::getExtAPI()-&gt;is_dealloc(fun));</div>
-<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;}</div>
-</div><!-- fragment -->
-</div>
-</div>
 <a id="aad27a96075234ad2182a84e0e9d31a45"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aad27a96075234ad2182a84e0e9d31a45">&#9670;&nbsp;</a></span>isExtCall() <span class="overload">[1/3]</span></h2>
 
@@ -2430,10 +2329,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00433">433</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;{</div>
-<div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00429">429</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;{</div>
+<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2493,10 +2392,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00438">438</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;{</div>
-<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00434">434</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;{</div>
+<div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">isExtCall</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2525,10 +2424,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><div class="memdoc">
 <p>Return true if this is a hare_parallel_for call </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00552">552</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;{</div>
-<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isHareParFor(cs);</div>
-<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00537">537</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isHareParFor(cs);</div>
+<div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2556,10 +2455,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00556">556</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isHareParFor(inst);</div>
-<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00541">541</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isHareParFor(inst);</div>
+<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2587,10 +2486,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00466">466</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;{</div>
-<div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(cs);</div>
-<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00462">462</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;{</div>
+<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(cs);</div>
+<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2618,10 +2517,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00471">471</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;{</div>
-<div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(inst);</div>
-<div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00467">467</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><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="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">isHeapAllocExtCallViaRet</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">isHeapAllocExtCallViaArg</a>(inst);</div>
+<div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2649,10 +2548,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00443">443</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;{</div>
-<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00439">439</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;{</div>
+<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2680,10 +2579,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00448">448</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><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">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00444">444</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;{</div>
+<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2713,11 +2612,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 
 <p>interfaces to be used externally </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00454">454</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><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="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
-<div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00450">450</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><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="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
+<div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2745,11 +2644,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00460">460</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;{</div>
-<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
-<div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00456">456</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;{</div>
+<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
+<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2777,10 +2676,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00329">329</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><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;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;is_arg_alloc(fun);</div>
-<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00333">333</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;{</div>
+<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;is_arg_alloc(fun);</div>
+<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2811,11 +2710,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 <p>Return true if the call is a heap allocator/reallocator. </p>
 <p>note that these two functions are not suppose to be used externally </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00323">323</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><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="keywordflow">return</span> fun &amp;&amp; (ExtAPI::getExtAPI()-&gt;is_alloc(fun)</div>
-<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;                   || ExtAPI::getExtAPI()-&gt;is_realloc(fun));</div>
-<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00327">327</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;{</div>
+<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; (ExtAPI::getExtAPI()-&gt;is_alloc(fun)</div>
+<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;                   || ExtAPI::getExtAPI()-&gt;is_realloc(fun));</div>
+<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2845,10 +2744,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 
 <p>Return true if the call is a static global call. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00527">527</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;{</div>
-<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">isHeapAllocExtCall</a>(cs);</div>
-<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00512">512</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;{</div>
+<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a>(cs) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">isHeapAllocExtCall</a>(cs);</div>
+<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2876,10 +2775,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00532">532</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">isHeapAllocExtCall</a>(inst);</div>
-<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00517">517</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;{</div>
+<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">isStaticExtCall</a>(inst) || <a class="code" href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">isHeapAllocExtCall</a>(inst);</div>
+<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2942,10 +2841,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><div class="memdoc">
 <p>Return true if this is a lock acquire call </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00588">588</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;{</div>
-<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(cs);</div>
-<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00573">573</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;{</div>
+<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(cs);</div>
+<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2973,10 +2872,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00592">592</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;{</div>
-<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(inst);</div>
-<div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00577">577</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;{</div>
+<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDAcquire(inst);</div>
+<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3005,10 +2904,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><div class="memdoc">
 <p>Return true if this is a lock acquire call </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00600">600</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;{</div>
-<div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(cs);</div>
-<div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00585">585</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;{</div>
+<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(cs);</div>
+<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3036,15 +2935,46 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00604">604</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;{</div>
-<div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(inst);</div>
-<div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00589">589</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;{</div>
+<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDRelease(inst);</div>
+<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a688bd5e1bf36b3e75bfcea9388871dc4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a688bd5e1bf36b3e75bfcea9388871dc4">&#9670;&nbsp;</a></span>isMemcpyExtFun()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::SVFUtil::isMemcpyExtFun </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td>
+          <td class="paramname"><em>fun</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00314">314</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;{</div>
+<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;is_memcpy(fun);</div>
+<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a4c45df04366c21ee47ac251fbac582cc"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4c45df04366c21ee47ac251fbac582cc">&#9670;&nbsp;</a></span>isMemSetOrCpyExtFun()</h2>
+<a id="a54098ea73555caa682287f8e3c9e8fcb"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a54098ea73555caa682287f8e3c9e8fcb">&#9670;&nbsp;</a></span>isMemsetExtFun()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -3053,7 +2983,7 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">bool SVF::SVFUtil::isMemSetOrCpyExtFun </td>
+          <td class="memname">bool SVF::SVFUtil::isMemsetExtFun </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td>
           <td class="paramname"><em>fun</em></td><td>)</td>
@@ -3067,10 +2997,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00315">315</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;{</div>
-<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;is_memset_or_memcpy(fun);</div>
-<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00319">319</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;{</div>
+<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;is_memset(fun);</div>
+<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3136,10 +3066,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 <p>Program entry function e.g. main. </p>
 <p>Return true if this is a program entry function (e.g. main) </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00368">368</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;{</div>
-<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; fun-&gt;getName() == <span class="stringliteral">&quot;main&quot;</span>;</div>
-<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00364">364</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;{</div>
+<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; fun-&gt;getName() == <span class="stringliteral">&quot;main&quot;</span>;</div>
+<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3167,10 +3097,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00658">658</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;{</div>
-<div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00643">643</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;{</div>
+<div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3198,10 +3128,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00663">663</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;{</div>
-<div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00648">648</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;{</div>
+<div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">isProgExitFunction</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3231,12 +3161,12 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 
 <p>Return true if this is a program exit function call. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00399">399</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;{</div>
-<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; (fun-&gt;getName() == <span class="stringliteral">&quot;exit&quot;</span> ||</div>
-<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;                   fun-&gt;getName() == <span class="stringliteral">&quot;__assert_rtn&quot;</span> ||</div>
-<div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;                   fun-&gt;getName() == <span class="stringliteral">&quot;__assert_fail&quot;</span> );</div>
-<div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00395">395</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;{</div>
+<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; (fun-&gt;getName() == <span class="stringliteral">&quot;exit&quot;</span> ||</div>
+<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;                   fun-&gt;getName() == <span class="stringliteral">&quot;__assert_rtn&quot;</span> ||</div>
+<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;                   fun-&gt;getName() == <span class="stringliteral">&quot;__assert_fail&quot;</span> );</div>
+<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3264,11 +3194,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00488">488</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;{</div>
-<div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
-<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00484">484</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;{</div>
+<div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
+<div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3296,11 +3226,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00494">494</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;{</div>
-<div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
-<div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00490">490</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;{</div>
+<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
+<div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3331,10 +3261,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 <p>Return true if the call is a heap reallocator. </p>
 <p>note that this function is not suppose to be used externally </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00344">344</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;{</div>
-<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; (ExtAPI::getExtAPI()-&gt;is_realloc(fun));</div>
-<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00348">348</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;{</div>
+<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; (ExtAPI::getExtAPI()-&gt;is_realloc(fun));</div>
+<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3362,11 +3292,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00512">512</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;{</div>
-<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
-<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
-<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00497">497</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;{</div>
+<div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = cs.getInstruction()-&gt;getType()-&gt;isPointerTy();</div>
+<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(cs));</div>
+<div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3394,11 +3324,11 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00518">518</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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;    <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
-<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
-<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00503">503</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;{</div>
+<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;    <span class="keywordtype">bool</span> isPtrTy = inst-&gt;getType()-&gt;isPointerTy();</div>
+<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    <span class="keywordflow">return</span> isPtrTy &amp;&amp; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">isStaticExtFun</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">getCallee</a>(inst));</div>
+<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3429,10 +3359,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 <p>Return true if the call is a static global call. </p>
 <p>note that this function is not suppose to be used externally </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00360">360</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;{</div>
-<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;has_static(fun);</div>
-<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00356">356</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;{</div>
+<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;    <span class="keywordflow">return</span> fun &amp;&amp; ExtAPI::getExtAPI()-&gt;has_static(fun);</div>
+<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3461,10 +3391,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><div class="memdoc">
 <p>Return true if this is a thread exit call </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00576">576</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;{</div>
-<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDExit(cs);</div>
-<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00561">561</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isTDExit(cs);</div>
+<div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3492,10 +3422,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00580">580</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;{</div>
-<div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDExit(inst);</div>
-<div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00565">565</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isTDExit(inst);</div>
+<div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3524,10 +3454,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><div class="memdoc">
 <p>Return true if this is a thread creation call </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00540">540</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isTDFork(cs);</div>
-<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00525">525</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;{</div>
+<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDFork(cs);</div>
+<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3555,10 +3485,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00544">544</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;{</div>
-<div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDFork(inst);</div>
-<div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00529">529</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.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> ThreadAPI::getThreadAPI()-&gt;isTDFork(inst);</div>
+<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3587,10 +3517,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </div><div class="memdoc">
 <p>Return true if this is a thread join call </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00564">564</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;{</div>
-<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(cs);</div>
-<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00549">549</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;{</div>
+<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(cs);</div>
+<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3618,10 +3548,10 @@ template&lt;typename First , typename Second , typename... Rest, typename Y &gt;
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00568">568</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;{</div>
-<div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(inst);</div>
-<div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00553">553</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;{</div>
+<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    <span class="keywordflow">return</span> ThreadAPI::getThreadAPI()-&gt;isTDJoin(inst);</div>
+<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -3729,10 +3659,10 @@ template&lt;typename T &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00670">670</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;{</div>
-<div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(t);</div>
-<div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00655">655</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;{</div>
+<div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(t);</div>
+<div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4205,7 +4135,7 @@ template&lt;typename T &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00690">690</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00675">675</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
 
 </div>
 </div>
@@ -4231,7 +4161,7 @@ template&lt;typename... Ts&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00699">699</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00684">684</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
 
 </div>
 </div>
@@ -4257,7 +4187,7 @@ template&lt;typename... Ts&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00720">720</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00705">705</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
 
 </div>
 </div>
@@ -4283,59 +4213,59 @@ template&lt;typename... Ts&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00708">708</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00693">693</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
 
 </div>
 </div>
 </div><!-- contents -->
 <div class="ttc" id="aSVFUtil_8cpp_html_a326cbc9ef8d75aa44a591bf476c9835b"><div class="ttname"><a href="SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b">KPUR</a></div><div class="ttdeci">#define KPUR</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00044">SVFUtil.cpp:44</a></div></div>
+<div class="ttc" id="aextapi_8c_html_a4a710d86541afc6b7dafddcdb4b1c94f"><div class="ttname"><a href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a></div><div class="ttdeci">char * strstr(const char *haystack, const char *needle)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l01161">extapi.c:1161</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_a137aa83ec74421d226a90c92ec032ac9"><div class="ttname"><a href="SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9">KNRM</a></div><div class="ttdeci">#define KNRM</div><div class="ttdoc">Color for output format.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00039">SVFUtil.cpp:39</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00655">SVFValue.h:655</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00661">SVFValue.h:661</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aeb570e9267fd7b189bd1bc877896d7ab"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, OutStream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00147">SVFUtil.cpp:147</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_add4cd21115988f9f5eec12e268ddf1d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">SVF::SVFUtil::timeLimitReached</a></div><div class="ttdeci">void timeLimitReached(int signum)</div><div class="ttdoc">Function to call when alarm for time limit hits.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00280">SVFUtil.cpp:280</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a07400bf7b1f50875f3e5123d13cff880"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">SVF::SVFUtil::isHeapAllocExtCall</a></div><div class="ttdeci">bool isHeapAllocExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00471">SVFUtil.h:471</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a07400bf7b1f50875f3e5123d13cff880"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880">SVF::SVFUtil::isHeapAllocExtCall</a></div><div class="ttdeci">bool isHeapAllocExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00467">SVFUtil.h:467</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00143">SVFValue.cpp:143</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac71522e8c55f84cfc6c13a0ddff18436"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436">SVF::SVFUtil::wrnMsg</a></div><div class="ttdeci">std::string wrnMsg(const std::string &amp;msg)</div><div class="ttdoc">Returns warning message by converting a string into yellow string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00061">SVFUtil.cpp:61</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a19b96a872d9096037f20e25122e469ea"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a></div><div class="ttdeci">bool isHeapAllocExtFunViaRet(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap allocator/reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00323">SVFUtil.h:323</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a19b96a872d9096037f20e25122e469ea"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a></div><div class="ttdeci">bool isHeapAllocExtFunViaRet(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap allocator/reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00327">SVFUtil.h:327</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a1bc9bb7bd6c9682debf3ffab7182abf5"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil::isStaticExtFun</a></div><div class="ttdeci">bool isStaticExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a static global call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00360">SVFUtil.h:360</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9f9b3296d2ce69346ac694ad6b04f2b0"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">SVF::SVFUtil::isHeapAllocExtCallViaRet</a></div><div class="ttdeci">bool isHeapAllocExtCallViaRet(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00460">SVFUtil.h:460</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a1bc9bb7bd6c9682debf3ffab7182abf5"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil::isStaticExtFun</a></div><div class="ttdeci">bool isStaticExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a static global call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00356">SVFUtil.h:356</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9f9b3296d2ce69346ac694ad6b04f2b0"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0">SVF::SVFUtil::isHeapAllocExtCallViaRet</a></div><div class="ttdeci">bool isHeapAllocExtCallViaRet(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00456">SVFUtil.h:456</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a503753140aa27b00f99a3501280b2746"><div class="ttname"><a href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a></div><div class="ttdeci">char * buffer</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00163">cJSON.h:163</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a></div><div class="ttdeci">@ HCLUST_METHOD_COMPLETE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00070">fastcluster.h:70</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a97c74c642ad43d955ac8a3f3ad8907b4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil::isReallocExtFun</a></div><div class="ttdeci">bool isReallocExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00344">SVFUtil.h:344</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a97c74c642ad43d955ac8a3f3ad8907b4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil::isReallocExtFun</a></div><div class="ttdeci">bool isReallocExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00348">SVFUtil.h:348</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_a897b10d246533c95ba86cb79f92e465a"><div class="ttname"><a href="SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a">KYEL</a></div><div class="ttdeci">#define KYEL</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00042">SVFUtil.cpp:42</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="aSVFUtil_8cpp_html_ac081c83b067273757f7a2e54a5957d41"><div class="ttname"><a href="SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41">KGRN</a></div><div class="ttdeci">#define KGRN</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00041">SVFUtil.cpp:41</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a630ff9c47f58f9b8df7c8a2b3711477c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVF::SVFUtil::getMemoryUsageKB</a></div><div class="ttdeci">bool getMemoryUsageKB(u32_t *vmrss_kb, u32_t *vmsize_kb)</div><div class="ttdoc">Get memory usage from system file. Return TRUE if succeed.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00177">SVFUtil.cpp:177</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a13d4f8034c444986da7c57cb5338f851"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00246">SVFUtil.h:246</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_af2979f019d38f3faa5c82c6ddc688b51"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00438">SVFUtil.h:438</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a3495236e22e4bc6404b6ac352060439c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">SVF::SVFUtil::isDeallocExtFun</a></div><div class="ttdeci">bool isDeallocExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap dealloc or not.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00352">SVFUtil.h:352</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_af2979f019d38f3faa5c82c6ddc688b51"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00434">SVFUtil.h:434</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a></div><div class="ttdeci">@ HCLUST_METHOD_SVF_BEST</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00076">fastcluster.h:76</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00154">SVFValue.cpp:154</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a></div><div class="ttdeci">@ HCLUST_METHOD_MEDIAN</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00074">fastcluster.h:74</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a7b4c6c7143d012802ea5ee962bec2deb"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">SVF::SVFFunction::isIntrinsic</a></div><div class="ttdeci">bool isIntrinsic() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00343">SVFValue.h:343</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aec7ee60be22e8f9397db108131696d57"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil::isProgExitFunction</a></div><div class="ttdeci">bool isProgExitFunction(const SVFFunction *fun)</div><div class="ttdoc">Return true if this is a program exit function call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00399">SVFUtil.h:399</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a6d613bcc37e54b922ad1b1869b66ee59"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a></div><div class="ttdeci">int getHeapAllocHoldingArgPosition(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00482">SVFUtil.h:482</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a7b4c6c7143d012802ea5ee962bec2deb"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">SVF::SVFFunction::isIntrinsic</a></div><div class="ttdeci">bool isIntrinsic() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00344">SVFValue.h:344</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aec7ee60be22e8f9397db108131696d57"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil::isProgExitFunction</a></div><div class="ttdeci">bool isProgExitFunction(const SVFFunction *fun)</div><div class="ttdoc">Return true if this is a program exit function call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00395">SVFUtil.h:395</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a6d613bcc37e54b922ad1b1869b66ee59"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a></div><div class="ttdeci">int getHeapAllocHoldingArgPosition(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00478">SVFUtil.h:478</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_a66290957baed5df3930ada4cb8caccf1"><div class="ttname"><a href="SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1">KRED</a></div><div class="ttdeci">#define KRED</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00040">SVFUtil.cpp:40</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_abb2bbf6e0dc5adae2140a519259e6f17"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17">SVF::SVFUtil::isIntrinsicInst</a></div><div class="ttdeci">bool isIntrinsicInst(const SVFInstruction *inst)</div><div class="ttdoc">Return true if it is an llvm intrinsic instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00247">SVFUtil.cpp:247</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_add84f76d7bfbbc2b00215d7195f8d3bd"><div class="ttname"><a href="SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd">KCYA</a></div><div class="ttdeci">#define KCYA</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00045">SVFUtil.cpp:45</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a8cb755f339ad1650f8ae2155451d9c0d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8cb755f339ad1650f8ae2155451d9c0d">SVF::SVFUtil::isCallSite</a></div><div class="ttdeci">bool isCallSite(const SVFValue *val)</div><div class="ttdoc">Whether an instruction is a call or invoke instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00179">SVFUtil.h:179</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab4a69173f50ebe48e69103befe516245"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">SVF::SVFUtil::isHeapAllocExtFunViaArg</a></div><div class="ttdeci">bool isHeapAllocExtFunViaArg(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00329">SVFUtil.h:329</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01096">SVFValue.h:1096</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a2c97c2b79b795465490512e267a9309b"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil::isProgEntryFunction</a></div><div class="ttdeci">bool isProgEntryFunction(const SVFFunction *fun)</div><div class="ttdoc">Program entry function e.g. main.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00368">SVFUtil.h:368</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab4a69173f50ebe48e69103befe516245"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">SVF::SVFUtil::isHeapAllocExtFunViaArg</a></div><div class="ttdeci">bool isHeapAllocExtFunViaArg(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00333">SVFUtil.h:333</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a2c97c2b79b795465490512e267a9309b"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil::isProgEntryFunction</a></div><div class="ttdeci">bool isProgEntryFunction(const SVFFunction *fun)</div><div class="ttdoc">Program entry function e.g. main.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00364">SVFUtil.h:364</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a></div><div class="ttdeci">@ HCLUST_METHOD_SINGLE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00068">fastcluster.h:68</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac77155f7e19d92292f52944d3fb32277"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">SVF::SVFUtil::isHeapAllocExtCallViaArg</a></div><div class="ttdeci">bool isHeapAllocExtCallViaArg(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00448">SVFUtil.h:448</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac77155f7e19d92292f52944d3fb32277"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">SVF::SVFUtil::isHeapAllocExtCallViaArg</a></div><div class="ttdeci">bool isHeapAllocExtCallViaArg(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00444">SVFUtil.h:444</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9236e11e62bde33d6ab1f309300c488a"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">SVF::SVFUtil::isStaticExtCall</a></div><div class="ttdeci">bool isStaticExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00518">SVFUtil.h:518</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9236e11e62bde33d6ab1f309300c488a"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">SVF::SVFUtil::isStaticExtCall</a></div><div class="ttdeci">bool isStaticExtCall(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00503">SVFUtil.h:503</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a13729076054a2977670b05a338a6763d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a13729076054a2977670b05a338a6763d">SVF::SVFUtil::isa</a></div><div class="ttdeci">LLVM_NODISCARD bool isa(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00248">Casting.h:248</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_a3f838f2fc3a9a3b434be606fc908964b"><div class="ttname"><a href="SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b">KBLU</a></div><div class="ttdeci">#define KBLU</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00043">SVFUtil.cpp:43</a></div></div>