svf-tools 1.0.877 → 1.0.879
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/README.md +2 -0
- package/SVF-doxygen/html/CppUtil_8cpp.html +74 -74
- package/SVF-doxygen/html/CppUtil_8cpp_source.html +207 -208
- package/SVF-doxygen/html/CppUtil_8h_source.html +9 -9
- package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +6 -6
- package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +116 -117
- package/docs/images/svf_logo_1.png +0 -0
- package/docs/images/svf_logo_2.png +0 -0
- package/index.html +1 -0
- package/package.json +1 -1
- package/svf-llvm/lib/CppUtil.cpp +0 -1
package/README.md
CHANGED
|
@@ -1,3 +1,5 @@
|
|
|
1
|
+
<img src="./docs/images/svf_logo_2.png">
|
|
2
|
+
|
|
1
3
|
## News
|
|
2
4
|
* <b>SVF now supports LLVM-16.0.0 with opaque pointers (Contributed by [Xiao Cheng](https://github.com/jumormt)). </b>
|
|
3
5
|
* <b>SVF now supports LLVM-13.0.0 (Thank [Shengjie Xu](https://github.com/xushengj) for his help!). </b>
|
|
@@ -175,51 +175,51 @@ Variables</h2></td></tr>
|
|
|
175
175
|
</dl>
|
|
176
176
|
<dl class="section return"><dt>Returns</dt><dd></dd></dl>
|
|
177
177
|
|
|
178
|
-
<p class="definition">Definition at line <a class="el" href="CppUtil_8cpp_source.html#
|
|
179
|
-
<div class="fragment"><div class="line"><a name="
|
|
180
|
-
<div class="line"><a name="
|
|
181
|
-
<div class="line"><a name="
|
|
182
|
-
<div class="line"><a name="
|
|
183
|
-
<div class="line"><a name="
|
|
184
|
-
<div class="line"><a name="
|
|
185
|
-
<div class="line"><a name="
|
|
186
|
-
<div class="line"><a name="
|
|
187
|
-
<div class="line"><a name="
|
|
188
|
-
<div class="line"><a name="
|
|
189
|
-
<div class="line"><a name="
|
|
190
|
-
<div class="line"><a name="
|
|
191
|
-
<div class="line"><a name="
|
|
192
|
-
<div class="line"><a name="
|
|
193
|
-
<div class="line"><a name="
|
|
194
|
-
<div class="line"><a name="
|
|
195
|
-
<div class="line"><a name="
|
|
196
|
-
<div class="line"><a name="
|
|
197
|
-
<div class="line"><a name="
|
|
198
|
-
<div class="line"><a name="
|
|
199
|
-
<div class="line"><a name="
|
|
200
|
-
<div class="line"><a name="
|
|
201
|
-
<div class="line"><a name="
|
|
202
|
-
<div class="line"><a name="
|
|
203
|
-
<div class="line"><a name="
|
|
204
|
-
<div class="line"><a name="
|
|
205
|
-
<div class="line"><a name="
|
|
206
|
-
<div class="line"><a name="
|
|
207
|
-
<div class="line"><a name="
|
|
208
|
-
<div class="line"><a name="
|
|
209
|
-
<div class="line"><a name="
|
|
210
|
-
<div class="line"><a name="
|
|
211
|
-
<div class="line"><a name="
|
|
212
|
-
<div class="line"><a name="
|
|
213
|
-
<div class="line"><a name="
|
|
214
|
-
<div class="line"><a name="
|
|
215
|
-
<div class="line"><a name="
|
|
216
|
-
<div class="line"><a name="
|
|
217
|
-
<div class="line"><a name="
|
|
218
|
-
<div class="line"><a name="
|
|
219
|
-
<div class="line"><a name="
|
|
220
|
-
<div class="line"><a name="
|
|
221
|
-
<div class="line"><a name="
|
|
222
|
-
<div class="line"><a name="
|
|
178
|
+
<p class="definition">Definition at line <a class="el" href="CppUtil_8cpp_source.html#l00660">660</a> of file <a class="el" href="CppUtil_8cpp_source.html">CppUtil.cpp</a>.</p>
|
|
179
|
+
<div class="fragment"><div class="line"><a name="l00661"></a><span class="lineno"> 661</span> {</div>
|
|
180
|
+
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  <span class="keyword">typedef</span> std::pair<u32_t, u32_t> StEdIdxPair;</div>
|
|
181
|
+
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span>  std::stack<int> stack;</div>
|
|
182
|
+
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  std::vector<StEdIdxPair> innerMostPairs;</div>
|
|
183
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  std::vector<bool> used(input.length(), <span class="keyword">false</span>);</div>
|
|
184
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  </div>
|
|
185
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> i = 0; i < input.length(); ++i)</div>
|
|
186
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  {</div>
|
|
187
|
+
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  <span class="keywordflow">if</span> (input[i] == <span class="charliteral">'<'</span>)</div>
|
|
188
|
+
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  {</div>
|
|
189
|
+
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  stack.push(i);</div>
|
|
190
|
+
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span>  }</div>
|
|
191
|
+
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (input[i] == <span class="charliteral">'>'</span> && i > 0 && input[i - 1] != <span class="charliteral">'-'</span>)</div>
|
|
192
|
+
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  {</div>
|
|
193
|
+
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  <span class="keywordflow">if</span> (!stack.empty())</div>
|
|
194
|
+
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  {</div>
|
|
195
|
+
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  <span class="keywordtype">int</span> openIndex = stack.top();</div>
|
|
196
|
+
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  stack.pop();</div>
|
|
197
|
+
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  </div>
|
|
198
|
+
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  <span class="comment">// Check if this pair is innermost</span></div>
|
|
199
|
+
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span>  <span class="keywordtype">bool</span> isInnermost = <span class="keyword">true</span>;</div>
|
|
200
|
+
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span>  <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> j = openIndex + 1; j < i && isInnermost; ++j)</div>
|
|
201
|
+
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span>  {</div>
|
|
202
|
+
<div class="line"><a name="l00684"></a><span class="lineno"> 684</span>  <span class="keywordflow">if</span> (used[j])</div>
|
|
203
|
+
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  {</div>
|
|
204
|
+
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  isInnermost = <span class="keyword">false</span>;</div>
|
|
205
|
+
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  }</div>
|
|
206
|
+
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  }</div>
|
|
207
|
+
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  </div>
|
|
208
|
+
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">if</span> (isInnermost)</div>
|
|
209
|
+
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  {</div>
|
|
210
|
+
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  innerMostPairs.emplace_back(openIndex, i);</div>
|
|
211
|
+
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  used[openIndex] = used[i] = <span class="keyword">true</span>; <span class="comment">// Mark these indices as used</span></div>
|
|
212
|
+
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  }</div>
|
|
213
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  }</div>
|
|
214
|
+
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  }</div>
|
|
215
|
+
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  }</div>
|
|
216
|
+
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  std::vector<std::string> ans(innerMostPairs.size());</div>
|
|
217
|
+
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  std::transform(innerMostPairs.begin(), innerMostPairs.end(), ans.begin(), [&input](StEdIdxPair &<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>) -> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a></div>
|
|
218
|
+
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  {</div>
|
|
219
|
+
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  return input.substr(p.first + 1, p.second - p.first - 1);</div>
|
|
220
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  });</div>
|
|
221
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  <span class="keywordflow">return</span> ans;</div>
|
|
222
|
+
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span> }</div>
|
|
223
223
|
</div><!-- fragment -->
|
|
224
224
|
</div>
|
|
225
225
|
</div>
|
|
@@ -396,21 +396,21 @@ Variables</h2></td></tr>
|
|
|
396
396
|
</table>
|
|
397
397
|
</div><div class="memdoc">
|
|
398
398
|
|
|
399
|
-
<p class="definition">Definition at line <a class="el" href="CppUtil_8cpp_source.html#
|
|
400
|
-
<div class="fragment"><div class="line"><a name="
|
|
401
|
-
<div class="line"><a name="
|
|
402
|
-
<div class="line"><a name="
|
|
403
|
-
<div class="line"><a name="
|
|
404
|
-
<div class="line"><a name="
|
|
405
|
-
<div class="line"><a name="
|
|
406
|
-
<div class="line"><a name="
|
|
407
|
-
<div class="line"><a name="
|
|
408
|
-
<div class="line"><a name="
|
|
409
|
-
<div class="line"><a name="
|
|
410
|
-
<div class="line"><a name="
|
|
411
|
-
<div class="line"><a name="
|
|
412
|
-
<div class="line"><a name="
|
|
413
|
-
<div class="line"><a name="
|
|
399
|
+
<p class="definition">Definition at line <a class="el" href="CppUtil_8cpp_source.html#l00725">725</a> of file <a class="el" href="CppUtil_8cpp_source.html">CppUtil.cpp</a>.</p>
|
|
400
|
+
<div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno"> 726</span> {</div>
|
|
401
|
+
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  std::vector<std::string> tokens;</div>
|
|
402
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keywordtype">size_t</span> start = 0, end = 0;</div>
|
|
403
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  </div>
|
|
404
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  <span class="keywordflow">while</span> ((end = input.find(delimiter, start)) != std::string::npos)</div>
|
|
405
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  {</div>
|
|
406
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  tokens.push_back(<a class="code" href="CppUtil_8cpp.html#a6a41352b62d0c45dcb828d3740083e71">stripWhitespaces</a>(input.substr(start, end - start)));</div>
|
|
407
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  start = end + 1;</div>
|
|
408
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  }</div>
|
|
409
|
+
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  </div>
|
|
410
|
+
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  tokens.push_back(<a class="code" href="CppUtil_8cpp.html#a6a41352b62d0c45dcb828d3740083e71">stripWhitespaces</a>(input.substr(start)));</div>
|
|
411
|
+
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  </div>
|
|
412
|
+
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  <span class="keywordflow">return</span> tokens;</div>
|
|
413
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span> }</div>
|
|
414
414
|
</div><!-- fragment -->
|
|
415
415
|
</div>
|
|
416
416
|
</div>
|
|
@@ -437,19 +437,19 @@ Variables</h2></td></tr>
|
|
|
437
437
|
</dl>
|
|
438
438
|
<dl class="section return"><dt>Returns</dt><dd></dd></dl>
|
|
439
439
|
|
|
440
|
-
<p class="definition">Definition at line <a class="el" href="CppUtil_8cpp_source.html#
|
|
441
|
-
<div class="fragment"><div class="line"><a name="
|
|
442
|
-
<div class="line"><a name="
|
|
443
|
-
<div class="line"><a name="
|
|
444
|
-
<div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="
|
|
446
|
-
<div class="line"><a name="
|
|
447
|
-
<div class="line"><a name="
|
|
448
|
-
<div class="line"><a name="
|
|
449
|
-
<div class="line"><a name="
|
|
450
|
-
<div class="line"><a name="
|
|
451
|
-
<div class="line"><a name="
|
|
452
|
-
<div class="line"><a name="
|
|
440
|
+
<p class="definition">Definition at line <a class="el" href="CppUtil_8cpp_source.html#l00711">711</a> of file <a class="el" href="CppUtil_8cpp_source.html">CppUtil.cpp</a>.</p>
|
|
441
|
+
<div class="fragment"><div class="line"><a name="l00712"></a><span class="lineno"> 712</span> {</div>
|
|
442
|
+
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  <span class="keyword">auto</span> start = std::find_if(str.begin(), str.end(), [](<span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> ch)</div>
|
|
443
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  {</div>
|
|
444
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  return !std::isspace(ch);</div>
|
|
445
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  });</div>
|
|
446
|
+
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span>  <span class="keyword">auto</span> end = std::find_if(str.rbegin(), str.rend(), [](<span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> ch)</div>
|
|
447
|
+
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span>  {</div>
|
|
448
|
+
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span>  return !std::isspace(ch);</div>
|
|
449
|
+
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  }).base();</div>
|
|
450
|
+
<div class="line"><a name="l00721"></a><span class="lineno"> 721</span>  </div>
|
|
451
|
+
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  <span class="keywordflow">return</span> (start < end) ? <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(start, end) : std::<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a>();</div>
|
|
452
|
+
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span> }</div>
|
|
453
453
|
</div><!-- fragment -->
|
|
454
454
|
</div>
|
|
455
455
|
</div>
|
|
@@ -890,7 +890,7 @@ Variables</h2></td></tr>
|
|
|
890
890
|
</div>
|
|
891
891
|
</div><!-- contents -->
|
|
892
892
|
<div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
|
|
893
|
-
<div class="ttc" id="aCppUtil_8cpp_html_a6a41352b62d0c45dcb828d3740083e71"><div class="ttname"><a href="CppUtil_8cpp.html#a6a41352b62d0c45dcb828d3740083e71">stripWhitespaces</a></div><div class="ttdeci">std::string stripWhitespaces(const std::string &str)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#
|
|
893
|
+
<div class="ttc" id="aCppUtil_8cpp_html_a6a41352b62d0c45dcb828d3740083e71"><div class="ttname"><a href="CppUtil_8cpp.html#a6a41352b62d0c45dcb828d3740083e71">stripWhitespaces</a></div><div class="ttdeci">std::string stripWhitespaces(const std::string &str)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00711">CppUtil.cpp:711</a></div></div>
|
|
894
894
|
<div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
|
|
895
895
|
<div class="ttc" id="aCppUtil_8cpp_html_a86fe6d521904f944bcf1b3164cfb5d4b"><div class="ttname"><a href="CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b">NVThunkFunLabel</a></div><div class="ttdeci">const std::string NVThunkFunLabel</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00044">CppUtil.cpp:44</a></div></div>
|
|
896
896
|
<div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
|