svf-tools 1.0.909 → 1.0.911

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 (97) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +5 -5
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1163 -1143
  3. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +33 -33
  4. package/SVF-doxygen/html/AbstractState_8cpp_source.html +25 -25
  5. package/SVF-doxygen/html/AbstractState_8h_source.html +390 -391
  6. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +459 -452
  7. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
  8. package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
  9. package/SVF-doxygen/html/RelExeState_8h_source.html +178 -179
  10. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +10 -10
  12. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +10 -10
  13. package/SVF-doxygen/html/ae_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/classSVF_1_1AEStat.html +118 -116
  15. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +2 -2
  16. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1026 -1008
  17. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +25 -25
  18. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +340 -342
  19. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +2 -2
  20. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +120 -117
  21. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +19 -19
  22. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +131 -132
  23. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
  24. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +4 -4
  25. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +54 -54
  26. package/SVF-doxygen/html/classSymblicAbstractionTest.html +2 -2
  27. package/SVF-doxygen/html/functions.html +8 -8
  28. package/SVF-doxygen/html/functions_a.html +9 -3
  29. package/SVF-doxygen/html/functions_func.html +1 -1
  30. package/SVF-doxygen/html/functions_func_g.html +15 -15
  31. package/SVF-doxygen/html/functions_func_p.html +3 -3
  32. package/SVF-doxygen/html/functions_g.html +11 -11
  33. package/SVF-doxygen/html/functions_i.html +4 -4
  34. package/SVF-doxygen/html/functions_l.html +3 -9
  35. package/SVF-doxygen/html/functions_n.html +3 -3
  36. package/SVF-doxygen/html/functions_p.html +27 -33
  37. package/SVF-doxygen/html/functions_r.html +6 -6
  38. package/SVF-doxygen/html/functions_s.html +5 -5
  39. package/SVF-doxygen/html/functions_t.html +3 -3
  40. package/SVF-doxygen/html/functions_type.html +6 -0
  41. package/SVF-doxygen/html/functions_type_l.html +0 -6
  42. package/SVF-doxygen/html/functions_v.html +3 -3
  43. package/SVF-doxygen/html/functions_vars.html +8 -8
  44. package/SVF-doxygen/html/functions_w.html +9 -17
  45. package/SVF-doxygen/html/search/all_0.js +51 -51
  46. package/SVF-doxygen/html/search/all_1.js +210 -208
  47. package/SVF-doxygen/html/search/all_10.js +22 -22
  48. package/SVF-doxygen/html/search/all_11.js +3 -3
  49. package/SVF-doxygen/html/search/all_12.js +8 -8
  50. package/SVF-doxygen/html/search/all_13.js +4 -4
  51. package/SVF-doxygen/html/search/all_15.js +1 -1
  52. package/SVF-doxygen/html/search/all_16.js +1 -1
  53. package/SVF-doxygen/html/search/all_2.js +180 -180
  54. package/SVF-doxygen/html/search/all_3.js +635 -635
  55. package/SVF-doxygen/html/search/all_4.js +237 -237
  56. package/SVF-doxygen/html/search/all_5.js +120 -120
  57. package/SVF-doxygen/html/search/all_6.js +236 -236
  58. package/SVF-doxygen/html/search/all_7.js +1039 -1039
  59. package/SVF-doxygen/html/search/all_8.js +224 -224
  60. package/SVF-doxygen/html/search/all_9.js +627 -627
  61. package/SVF-doxygen/html/search/all_a.js +46 -46
  62. package/SVF-doxygen/html/search/all_b.js +24 -24
  63. package/SVF-doxygen/html/search/all_c.js +96 -98
  64. package/SVF-doxygen/html/search/all_e.js +2 -2
  65. package/SVF-doxygen/html/search/all_f.js +1 -1
  66. package/SVF-doxygen/html/search/functions_1.js +1 -1
  67. package/SVF-doxygen/html/search/functions_10.js +8 -8
  68. package/SVF-doxygen/html/search/functions_11.js +1 -1
  69. package/SVF-doxygen/html/search/functions_12.js +1 -1
  70. package/SVF-doxygen/html/search/functions_7.js +248 -248
  71. package/SVF-doxygen/html/search/typedefs_0.js +13 -11
  72. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  73. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  74. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  75. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  76. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  77. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  78. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  79. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  80. package/SVF-doxygen/html/search/typedefs_9.js +4 -4
  81. package/SVF-doxygen/html/search/typedefs_a.js +24 -26
  82. package/SVF-doxygen/html/search/variables_0.js +51 -51
  83. package/SVF-doxygen/html/search/variables_12.js +1 -1
  84. package/SVF-doxygen/html/search/variables_13.js +3 -3
  85. package/SVF-doxygen/html/search/variables_9.js +1 -1
  86. package/SVF-doxygen/html/search/variables_e.js +1 -1
  87. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html +6 -6
  88. package/package.json +1 -1
  89. package/svf/include/AE/Core/AbstractState.h +23 -24
  90. package/svf/include/AE/Core/RelExeState.h +10 -11
  91. package/svf/include/AE/Svfexe/AbstractInterpretation.h +3 -3
  92. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +1 -1
  93. package/svf/lib/AE/Core/AbstractState.cpp +22 -22
  94. package/svf/lib/AE/Core/RelExeState.cpp +3 -3
  95. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +91 -71
  96. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +37 -30
  97. package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +8 -8
package/SVF-doxygen/html/AbstractInterpretation_8cpp.html CHANGED
@@ -120,16 +120,16 @@ Variables</h2></td></tr>
120
120
  </div><div class="memdoc">
121
121
  <b>Value:</b><div class="fragment"><div class="line"> <span class="keyword">auto</span> sse_##FUNC_NAME = [<span class="keyword">this</span>](<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallSite.html">CallSite</a> &amp;cs) { \</div>
122
122
  <div class="line"> <span class="comment">/* run real ext function */</span> \</div>
123
- <div class="line"> AbstractState&amp;es = _svfir2ExeState-&gt;getEs(); \</div>
123
+ <div class="line"> AbstractState&amp;es = _svfir2AbsState-&gt;getAbsState(); \</div>
124
124
  <div class="line"> u32_t rhs_id = _svfir-&gt;getValueNode(cs.getArgument(0)); \</div>
125
125
  <div class="line"> if (!es.inVarToValTable(rhs_id)) <span class="keywordflow">return</span>; \</div>
126
- <div class="line"> u32_t rhs = _svfir2ExeState-&gt;getEs()[rhs_id].getInterval().lb().getIntNumeral(); \</div>
126
+ <div class="line"> u32_t rhs = _svfir2AbsState-&gt;getAbsState()[rhs_id].getInterval().lb().getIntNumeral(); \</div>
127
127
  <div class="line"> s32_t res = FUNC_NAME(rhs); \</div>
128
- <div class="line"> u32_t lhsId = _svfir-&gt;getValueNode(cs.getInstruction()); \</div>
129
- <div class="line"> _svfir2ExeState-&gt;getEs()[lhsId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(res); \</div>
128
+ <div class="line"> u32_t lhsId = _svfir-&gt;getValueNode(cs.getInstruction()); \</div>
129
+ <div class="line"> _svfir2AbsState-&gt;getAbsState()[lhsId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(res); \</div>
130
130
  <div class="line"> return; \</div>
131
131
  <div class="line"> }; \</div>
132
- <div class="line"> _func_map[#FUNC_NAME] = sse_##FUNC_NAME; \</div>
132
+ <div class="line"> _func_map[#FUNC_NAME] = sse_##FUNC_NAME;</div>
133
133
  </div><!-- fragment -->
134
134
  </div>
135
135
  </div>