svf-tools 1.0.593 → 1.0.594
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/cJSON_8cpp.html +2 -2
- package/SVF-doxygen/html/html/cJSON_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/cJSON_8h.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +1 -1
- package/lib/Util/ExtAPI.cpp +1 -1
- package/lib/Util/cJSON.cpp +6 -6
- package/package.json +1 -1
|
@@ -686,7 +686,7 @@ Variables</h2></td></tr>
|
|
|
686
686
|
</div><div class="memdoc">
|
|
687
687
|
|
|
688
688
|
<p class="definition">Definition at line <a class="el" href="cJSON_8cpp_source.html#l00125">125</a> of file <a class="el" href="cJSON_8cpp_source.html">cJSON.cpp</a>.</p>
|
|
689
|
-
<div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span> {</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="keyword">static</span> <span class="keywordtype">char</span> version[15];</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span> 
|
|
689
|
+
<div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span> {</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="keyword">static</span> <span class="keywordtype">char</span> version[15];</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  snprintf(version, <span class="keyword">sizeof</span>(version), <span class="stringliteral">"%i.%i.%i"</span>, <a class="code" href="cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380">CJSON_VERSION_MAJOR</a>, <a class="code" href="cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301">CJSON_VERSION_MINOR</a>, <a class="code" href="cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47">CJSON_VERSION_PATCH</a>);</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span> </div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keywordflow">return</span> version;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> }</div><div class="ttc" id="cJSON_8h_html_a78f100ac5089a51941e2ca573ad8e380"><div class="ttname"><a href="cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380">CJSON_VERSION_MAJOR</a></div><div class="ttdeci">#define CJSON_VERSION_MAJOR</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00082">cJSON.h:82</a></div></div>
|
|
690
690
|
<div class="ttc" id="cJSON_8h_html_a55a808fe6b77cef1e4c2cf02a4316301"><div class="ttname"><a href="cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301">CJSON_VERSION_MINOR</a></div><div class="ttdeci">#define CJSON_VERSION_MINOR</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00083">cJSON.h:83</a></div></div>
|
|
691
691
|
<div class="ttc" id="cJSON_8h_html_a6ad7073103d4b9aaf2153add95561c47"><div class="ttname"><a href="cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47">CJSON_VERSION_PATCH</a></div><div class="ttdeci">#define CJSON_VERSION_PATCH</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00084">cJSON.h:84</a></div></div>
|
|
692
692
|
</div><!-- fragment -->
|
|
@@ -418,7 +418,7 @@ Static Private Attributes</h2></td></tr>
|
|
|
418
418
|
</div><div class="memdoc">
|
|
419
419
|
|
|
420
420
|
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00212">212</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
421
|
-
<div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno"> 213</span> {</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keyword">auto</span> it =
|
|
421
|
+
<div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno"> 213</span> {</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keyword">auto</span> it = std::find_if(<a class="code" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">type_pair</a>.begin(), <a class="code" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">type_pair</a>.end(), [&](<span class="keyword">const</span> <span class="keyword">auto</span>& pair)</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  {</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordflow">return</span> pair.second == <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>;</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  });</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  assert(it != <a class="code" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">type_pair</a>.end());</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="keywordflow">return</span> it->first;</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span> }</div><div class="ttc" id="classSVF_1_1ExtAPI_html_a95ac45d2367b3d3124d5d98958e74cc5"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">SVF::ExtAPI::type_pair</a></div><div class="ttdeci">std::map< std::string, extType > type_pair</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00154">ExtAPI.h:154</a></div></div>
|
|
422
422
|
<div class="ttc" id="cJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
423
423
|
</div><!-- fragment -->
|
|
424
424
|
</div>
|
package/lib/Util/ExtAPI.cpp
CHANGED
|
@@ -211,7 +211,7 @@ std::string ExtAPI::get_opName(const std::string& s)
|
|
|
211
211
|
|
|
212
212
|
const std::string& ExtAPI::extType_toString(extType type)
|
|
213
213
|
{
|
|
214
|
-
auto it =
|
|
214
|
+
auto it = std::find_if(type_pair.begin(), type_pair.end(), [&](const auto& pair)
|
|
215
215
|
{
|
|
216
216
|
return pair.second == type;
|
|
217
217
|
});
|
package/lib/Util/cJSON.cpp
CHANGED
|
@@ -125,7 +125,7 @@ CJSON_PUBLIC(double) cJSON_GetNumberValue(const cJSON * const item)
|
|
|
125
125
|
CJSON_PUBLIC(const char*) cJSON_Version(void)
|
|
126
126
|
{
|
|
127
127
|
static char version[15];
|
|
128
|
-
|
|
128
|
+
snprintf(version, sizeof(version), "%i.%i.%i", CJSON_VERSION_MAJOR, CJSON_VERSION_MINOR, CJSON_VERSION_PATCH);
|
|
129
129
|
|
|
130
130
|
return version;
|
|
131
131
|
}
|
|
@@ -562,22 +562,22 @@ static cJSON_bool print_number(const cJSON * const item, printbuffer * const out
|
|
|
562
562
|
/* This checks for NaN and Infinity */
|
|
563
563
|
if (isnan(d) || isinf(d))
|
|
564
564
|
{
|
|
565
|
-
length =
|
|
565
|
+
length = snprintf((char*)number_buffer, sizeof(number_buffer), "null");
|
|
566
566
|
}
|
|
567
567
|
else if(d == (double)item->valueint)
|
|
568
568
|
{
|
|
569
|
-
length =
|
|
569
|
+
length = snprintf((char*)number_buffer, sizeof(number_buffer), "%d", item->valueint);
|
|
570
570
|
}
|
|
571
571
|
else
|
|
572
572
|
{
|
|
573
573
|
/* Try 15 decimal places of precision to avoid nonsignificant nonzero digits */
|
|
574
|
-
length =
|
|
574
|
+
length = snprintf((char*)number_buffer, sizeof(number_buffer), "%1.15g", d);
|
|
575
575
|
|
|
576
576
|
/* Check whether the original double can be recovered */
|
|
577
577
|
if ((sscanf((char*)number_buffer, "%lg", &test) != 1) || !compare_double((double)test, d))
|
|
578
578
|
{
|
|
579
579
|
/* If not, print with 17 decimal places of precision */
|
|
580
|
-
length =
|
|
580
|
+
length = snprintf((char*)number_buffer, sizeof(number_buffer), "%1.17g", d);
|
|
581
581
|
}
|
|
582
582
|
}
|
|
583
583
|
|
|
@@ -1010,7 +1010,7 @@ static cJSON_bool print_string_ptr(const unsigned char * const input, printbuffe
|
|
|
1010
1010
|
break;
|
|
1011
1011
|
default:
|
|
1012
1012
|
/* escape and print as unicode codepoint */
|
|
1013
|
-
|
|
1013
|
+
snprintf((char*)output_pointer, sizeof(output_pointer), "u%04x", *input_pointer);
|
|
1014
1014
|
output_pointer += 4;
|
|
1015
1015
|
break;
|
|
1016
1016
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "svf-tools",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.594",
|
|
4
4
|
"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 />",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"scripts": {
|