svf-tools 1.0.910 → 1.0.912

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 (40) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +5 -5
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1151 -1131
  3. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +31 -31
  4. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +457 -450
  5. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
  6. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +2 -2
  7. package/SVF-doxygen/html/classSVF_1_1AEStat.html +116 -114
  8. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +1 -1
  9. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1009 -991
  10. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +1 -1
  11. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +118 -115
  12. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +4 -4
  13. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +32 -32
  14. package/SVF-doxygen/html/functions.html +2 -2
  15. package/SVF-doxygen/html/functions_func_g.html +13 -13
  16. package/SVF-doxygen/html/functions_g.html +9 -9
  17. package/SVF-doxygen/html/functions_p.html +6 -6
  18. package/SVF-doxygen/html/functions_s.html +7 -7
  19. package/SVF-doxygen/html/functions_t.html +2 -2
  20. package/SVF-doxygen/html/functions_v.html +6 -6
  21. package/SVF-doxygen/html/functions_vars.html +2 -2
  22. package/SVF-doxygen/html/functions_w.html +9 -17
  23. package/SVF-doxygen/html/search/all_0.js +1 -1
  24. package/SVF-doxygen/html/search/all_10.js +3 -3
  25. package/SVF-doxygen/html/search/all_12.js +5 -5
  26. package/SVF-doxygen/html/search/all_13.js +4 -4
  27. package/SVF-doxygen/html/search/all_15.js +3 -3
  28. package/SVF-doxygen/html/search/all_16.js +1 -1
  29. package/SVF-doxygen/html/search/all_7.js +248 -248
  30. package/SVF-doxygen/html/search/functions_10.js +1 -1
  31. package/SVF-doxygen/html/search/functions_7.js +247 -247
  32. package/SVF-doxygen/html/search/variables_0.js +1 -1
  33. package/SVF-doxygen/html/search/variables_12.js +1 -1
  34. package/SVF-doxygen/html/search/variables_13.js +2 -2
  35. package/package.json +1 -1
  36. package/setup.sh +1 -0
  37. package/svf/include/AE/Svfexe/AbstractInterpretation.h +1 -1
  38. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +1 -1
  39. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +88 -68
  40. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +37 -30
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>