svf-tools 1.0.299 → 1.0.300

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.
Files changed (63) hide show
  1. package/SVF-doxygen/html/html/PathCondAllocator_8cpp.html +3 -3
  2. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +11 -11
  3. package/SVF-doxygen/html/html/PathCondAllocator_8h.html +2 -2
  4. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +10 -10
  5. package/SVF-doxygen/html/html/ProgSlice_8h.html +1 -1
  6. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
  7. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  8. package/SVF-doxygen/html/html/classSVF_1_1DPItem.html +1 -1
  9. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +33 -28
  10. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  11. package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +0 -2
  12. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +0 -2
  13. package/SVF-doxygen/html/html/dir_f64ba85ee2ef09a6a63396483e9e686d.html +2 -0
  14. package/SVF-doxygen/html/html/dir_fdb79cd259bf25322a80ea604c9317b5.html +2 -0
  15. package/SVF-doxygen/html/html/files.html +25 -25
  16. package/SVF-doxygen/html/html/functions_c.html +10 -12
  17. package/SVF-doxygen/html/html/functions_f.html +9 -9
  18. package/SVF-doxygen/html/html/functions_func_c.html +5 -5
  19. package/SVF-doxygen/html/html/functions_func_g.html +4 -4
  20. package/SVF-doxygen/html/html/functions_func_i.html +2 -2
  21. package/SVF-doxygen/html/html/functions_g.html +4 -4
  22. package/SVF-doxygen/html/html/functions_i.html +2 -2
  23. package/SVF-doxygen/html/html/functions_l.html +3 -3
  24. package/SVF-doxygen/html/html/functions_n.html +3 -3
  25. package/SVF-doxygen/html/html/functions_o.html +3 -3
  26. package/SVF-doxygen/html/html/functions_p.html +3 -3
  27. package/SVF-doxygen/html/html/functions_r.html +5 -3
  28. package/SVF-doxygen/html/html/functions_s.html +12 -10
  29. package/SVF-doxygen/html/html/functions_t.html +7 -7
  30. package/SVF-doxygen/html/html/functions_v.html +3 -3
  31. package/SVF-doxygen/html/html/functions_w.html +6 -8
  32. package/SVF-doxygen/html/html/search/all_10.js +3 -3
  33. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  34. package/SVF-doxygen/html/html/search/all_13.js +9 -9
  35. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  36. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  37. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  38. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  39. package/SVF-doxygen/html/html/search/all_3.js +11 -11
  40. package/SVF-doxygen/html/html/search/all_4.js +2 -2
  41. package/SVF-doxygen/html/html/search/all_6.js +3 -3
  42. package/SVF-doxygen/html/html/search/all_7.js +9 -9
  43. package/SVF-doxygen/html/html/search/all_9.js +3 -3
  44. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  45. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  46. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  47. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  48. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  49. package/SVF-doxygen/html/html/search/functions_2.js +7 -7
  50. package/SVF-doxygen/html/html/search/functions_3.js +2 -2
  51. package/SVF-doxygen/html/html/search/functions_6.js +9 -9
  52. package/SVF-doxygen/html/html/search/functions_8.js +3 -3
  53. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  54. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  55. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  56. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  57. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  58. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  59. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  60. package/include/{Util → SABER}/PathCondAllocator.h +0 -0
  61. package/include/SABER/ProgSlice.h +1 -1
  62. package/lib/{Util → SABER}/PathCondAllocator.cpp +26 -27
  63. package/package.json +1 -1
package/SVF-doxygen/html/html/PathCondAllocator_8cpp.html CHANGED
@@ -5,7 +5,7 @@
5
5
  <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
6
  <meta name="generator" content="Doxygen 1.8.13"/>
7
7
  <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
- <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/lib/Util/PathCondAllocator.cpp File Reference</title>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/lib/SABER/PathCondAllocator.cpp File Reference</title>
9
9
  <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
10
  <script type="text/javascript" src="jquery.js"></script>
11
11
  <script type="text/javascript" src="dynsections.js"></script>
@@ -58,7 +58,7 @@ $(function() {
58
58
 
59
59
  <div id="nav-path" class="navpath">
60
60
  <ul>
61
- <li class="navelem"><a class="el" href="dir_97aefd0d527b934f1d99a682da8fe6a9.html">lib</a></li><li class="navelem"><a class="el" href="dir_862d3276083eaac55caed79b9120bf29.html">Util</a></li> </ul>
61
+ <li class="navelem"><a class="el" href="dir_97aefd0d527b934f1d99a682da8fe6a9.html">lib</a></li><li class="navelem"><a class="el" href="dir_f64ba85ee2ef09a6a63396483e9e686d.html">SABER</a></li> </ul>
62
62
  </div>
63
63
  </div><!-- top -->
64
64
  <div class="header">
@@ -68,7 +68,7 @@ $(function() {
68
68
  <div class="contents">
69
69
  <div class="textblock"><code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
70
70
  <code>#include &quot;<a class="el" href="LLVMUtil_8h_source.html">SVF-FE/LLVMUtil.h</a>&quot;</code><br />
71
- <code>#include &quot;<a class="el" href="PathCondAllocator_8h_source.html">Util/PathCondAllocator.h</a>&quot;</code><br />
71
+ <code>#include &quot;<a class="el" href="PathCondAllocator_8h_source.html">SABER/PathCondAllocator.h</a>&quot;</code><br />
72
72
  <code>#include &quot;<a class="el" href="DPItem_8h_source.html">Util/DPItem.h</a>&quot;</code><br />
73
73
  <code>#include &quot;<a class="el" href="SVFG_8h_source.html">Graphs/SVFG.h</a>&quot;</code><br />
74
74
  <code>#include &lt;climits&gt;</code><br />