svf-tools 1.0.845 → 1.0.846

package/SVF-doxygen/html/extapi_8c.html

@@ -117,8 +117,6 @@ Functions</h2></td></tr>
 <tr class="separator:a559e62edd847a597c92f3acd9b8b6ba4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adcb0d3ff88a32d766b60a847f84871ec"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec">__attribute__</a> ((annotate(&quot;MEMSET&quot;)))</td></tr>
 <tr class="separator:adcb0d3ff88a32d766b60a847f84871ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a09f0eaec0f51d66148f8b81ea44e9f2a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a">__attribute__</a> ((annotate(&quot;MEMSET&quot;), annotate(&quot;BUF_CHECK:Arg0, Arg2&quot;)))</td></tr>
-<tr class="separator:a09f0eaec0f51d66148f8b81ea44e9f2a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac8de243be63b5a590e4921642fd4bf4e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e">__attribute__</a> ((annotate(&quot;STRCPY&quot;)))</td></tr>
 <tr class="separator:ac8de243be63b5a590e4921642fd4bf4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3510ee3eaec8acfcf3ae0f084bb098c3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3">__attribute__</a> ((annotate(&quot;STRCAT&quot;)))</td></tr>
@@ -361,7 +359,7 @@ Functions</h2></td></tr>
 </div>
 <h2 class="groupheader">Function Documentation</h2>
 <a id="acdc4a948c527401ff9433498a9757f03"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acdc4a948c527401ff9433498a9757f03">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[1/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#acdc4a948c527401ff9433498a9757f03">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[1/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -386,7 +384,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a1a9dbf9c1aae63329912afd2c7e2cf4c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1a9dbf9c1aae63329912afd2c7e2cf4c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[2/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a1a9dbf9c1aae63329912afd2c7e2cf4c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[2/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -411,7 +409,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a06951362ddd7447558e892464d726187"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a06951362ddd7447558e892464d726187">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[3/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a06951362ddd7447558e892464d726187">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[3/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -436,7 +434,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a4a246cca542ae318b758081d5e0b41fe"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4a246cca542ae318b758081d5e0b41fe">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[4/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a4a246cca542ae318b758081d5e0b41fe">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[4/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -461,7 +459,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a3a547ecc92598d2d029246dab1630428"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3a547ecc92598d2d029246dab1630428">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[5/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a3a547ecc92598d2d029246dab1630428">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[5/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -486,7 +484,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="afdab9dcd0a3e6185c17c11ab0d5fc968"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afdab9dcd0a3e6185c17c11ab0d5fc968">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[6/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#afdab9dcd0a3e6185c17c11ab0d5fc968">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[6/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -511,7 +509,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="afc1cad7cb40c599988237bf687c00929"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afc1cad7cb40c599988237bf687c00929">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[7/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#afc1cad7cb40c599988237bf687c00929">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[7/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -536,7 +534,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a0d2d52b60870b500c2b4844a0ee2c90d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0d2d52b60870b500c2b4844a0ee2c90d">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[8/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a0d2d52b60870b500c2b4844a0ee2c90d">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[8/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -561,7 +559,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a559e62edd847a597c92f3acd9b8b6ba4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a559e62edd847a597c92f3acd9b8b6ba4">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[9/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a559e62edd847a597c92f3acd9b8b6ba4">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[9/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -582,7 +580,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="adcb0d3ff88a32d766b60a847f84871ec"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adcb0d3ff88a32d766b60a847f84871ec">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[10/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#adcb0d3ff88a32d766b60a847f84871ec">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[10/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -602,32 +600,8 @@ Functions</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a09f0eaec0f51d66148f8b81ea44e9f2a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a09f0eaec0f51d66148f8b81ea44e9f2a">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[11/17]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">__attribute__ </td>
-          <td>(</td>
-          <td class="paramtype">(annotate(&quot;MEMSET&quot;), annotate(&quot;BUF_CHECK:Arg0, Arg2&quot;))&#160;</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="extapi_8c_source.html#l00616">616</a> of file <a class="el" href="extapi_8c_source.html">extapi.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                                                      :Arg0, Arg2<span class="stringliteral">&quot;)))</span></div>
-<div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;<span class="stringliteral">char *wmemset(wchar_t * dst, wchar_t elem, int sz, int flag) {</span></div>
-<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;<span class="stringliteral">    return NULL;</span></div>
-<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;<span class="stringliteral">}</span></div>
-</div><!-- fragment -->
-</div>
-</div>
 <a id="ad32a60532b1ae70c19221d180ade9b74"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad32a60532b1ae70c19221d180ade9b74">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[12/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#ad32a60532b1ae70c19221d180ade9b74">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[11/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -652,7 +626,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a1e7f01f19313d2c4c4f9b18a02574c93"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1e7f01f19313d2c4c4f9b18a02574c93">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[13/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a1e7f01f19313d2c4c4f9b18a02574c93">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[12/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -677,7 +651,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a2053c6691b7c7b2e199d342ac2cbdc54"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2053c6691b7c7b2e199d342ac2cbdc54">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[14/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a2053c6691b7c7b2e199d342ac2cbdc54">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[13/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -702,7 +676,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a71fa8bd2eab45f458251611d08c1db7c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a71fa8bd2eab45f458251611d08c1db7c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[15/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a71fa8bd2eab45f458251611d08c1db7c">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[14/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -727,7 +701,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="a3510ee3eaec8acfcf3ae0f084bb098c3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3510ee3eaec8acfcf3ae0f084bb098c3">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[16/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a3510ee3eaec8acfcf3ae0f084bb098c3">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[15/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -750,7 +724,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 <a id="ac8de243be63b5a590e4921642fd4bf4e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac8de243be63b5a590e4921642fd4bf4e">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[17/17]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#ac8de243be63b5a590e4921642fd4bf4e">&#9670;&nbsp;</a></span>__attribute__() <span class="overload">[16/16]</span></h2>
 
 <div class="memitem">
 <div class="memproto">

package/SVF-doxygen/html/extapi_8c_source.html

@@ -684,7 +684,7 @@ $(function() {
 <div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>;</div>
 <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; </div>
-<div class="line"><a name="l00616"></a><span class="lineno"><a class="line" href="extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a">  616</a></span>&#160;<a class="code" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">__attribute__</a>((annotate(<span class="stringliteral">&quot;MEMSET&quot;</span>), annotate(<span class="stringliteral">&quot;BUF_CHECK:Arg0, Arg2&quot;</span>)))</div>
+<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;<a class="code" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">__attribute__</a>((annotate(<span class="stringliteral">&quot;MEMSET&quot;</span>)))</div>
 <div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;char *wmemset(<span class="keywordtype">wchar_t</span> * dst, <span class="keywordtype">wchar_t</span> elem, <span class="keywordtype">int</span> sz, <span class="keywordtype">int</span> flag) {</div>
 <div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>;</div>
 <div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;}</div>

package/SVF-doxygen/html/globals.html

@@ -67,7 +67,7 @@ $(function() {
 <li>__attribute__()
 : <a class="el" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">extapi.c</a>
 , <a class="el" href="SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f">SVFValue.cpp</a>
-, <a class="el" href="extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c">extapi.c</a>
+, <a class="el" href="extapi_8c.html#acdc4a948c527401ff9433498a9757f03">extapi.c</a>
 </li>
 <li>__ctype_b_loc()
 : <a class="el" href="extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2">extapi.c</a>
@@ -88,8 +88,8 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a78579ef16de38e7c4d6b6c31662f7741">extapi.c</a>
 </li>
 <li>__pad0__
-: <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
-, <a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PAGGrammar.txt</a>
+: <a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PAGGrammar.txt</a>
+, <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
 </li>
 <li>__pad1__
 : <a class="el" href="PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464">PEGGrammar.txt</a>

package/SVF-doxygen/html/globals_func.html

@@ -67,7 +67,7 @@ $(function() {
 <li>__attribute__()
 : <a class="el" href="extapi_8c.html#a3a547ecc92598d2d029246dab1630428">extapi.c</a>
 , <a class="el" href="SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f">SVFValue.cpp</a>
-, <a class="el" href="extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c">extapi.c</a>
+, <a class="el" href="extapi_8c.html#acdc4a948c527401ff9433498a9757f03">extapi.c</a>
 </li>
 <li>__ctype_b_loc()
 : <a class="el" href="extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2">extapi.c</a>

package/SVF-doxygen/html/search/all_0.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['_5f_5fattribute_5f_5f_0',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a',1,'__attribute__((annotate("MEMSET"), annotate("BUF_CHECK:Arg0, Arg2"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
+  ['_5f_5fattribute_5f_5f_0',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
   ['_5f_5fctype_5fb_5floc_1',['__ctype_b_loc',['../extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2',1,'extapi.c']]],
   ['_5f_5fctype_5ftolower_5floc_2',['__ctype_tolower_loc',['../extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7',1,'extapi.c']]],
   ['_5f_5fctype_5ftoupper_5floc_3',['__ctype_toupper_loc',['../extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d',1,'extapi.c']]],

package/SVF-doxygen/html/search/functions_0.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['_5f_5fattribute_5f_5f_7292',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a',1,'__attribute__((annotate("MEMSET"), annotate("BUF_CHECK:Arg0, Arg2"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
+  ['_5f_5fattribute_5f_5f_7292',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
   ['_5f_5fctype_5fb_5floc_7293',['__ctype_b_loc',['../extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2',1,'extapi.c']]],
   ['_5f_5fctype_5ftolower_5floc_7294',['__ctype_tolower_loc',['../extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7',1,'extapi.c']]],
   ['_5f_5fctype_5ftoupper_5floc_7295',['__ctype_toupper_loc',['../extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d',1,'extapi.c']]],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.845",
+  "version": "1.0.846",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf-llvm/lib/extapi.c

@@ -613,7 +613,7 @@ char *__memset_chk(char * dest, int c, unsigned long destlen, int flag)
     return NULL;
 }
 
-__attribute__((annotate("MEMSET"), annotate("BUF_CHECK:Arg0, Arg2")))
+__attribute__((annotate("MEMSET")))
 char *wmemset(wchar_t * dst, wchar_t elem, int sz, int flag) {
     return NULL;
 }
@@ -1226,4 +1226,4 @@ char *tparm(char *str, ...)
 const char *zError(int a)
 {
     return STATIC_OBJECT;
-}
+}