svf-tools 1.0.914 → 1.0.915

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 (43) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +4 -4
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +132 -132
  3. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +26 -26
  4. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +56 -56
  5. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +13 -13
  6. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +219 -219
  7. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +13 -13
  8. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +67 -67
  9. package/SVF-doxygen/html/functions_a.html +1 -1
  10. package/SVF-doxygen/html/functions_func.html +1 -1
  11. package/SVF-doxygen/html/functions_func_g.html +28 -28
  12. package/SVF-doxygen/html/functions_func_h.html +2 -2
  13. package/SVF-doxygen/html/functions_func_i.html +5 -5
  14. package/SVF-doxygen/html/functions_func_s.html +1 -1
  15. package/SVF-doxygen/html/functions_func_t.html +1 -1
  16. package/SVF-doxygen/html/functions_g.html +23 -23
  17. package/SVF-doxygen/html/functions_h.html +2 -2
  18. package/SVF-doxygen/html/functions_i.html +5 -5
  19. package/SVF-doxygen/html/functions_p.html +3 -3
  20. package/SVF-doxygen/html/functions_s.html +11 -15
  21. package/SVF-doxygen/html/functions_t.html +10 -10
  22. package/SVF-doxygen/html/functions_v.html +3 -3
  23. package/SVF-doxygen/html/search/all_1.js +1 -1
  24. package/SVF-doxygen/html/search/all_10.js +2 -2
  25. package/SVF-doxygen/html/search/all_12.js +8 -8
  26. package/SVF-doxygen/html/search/all_13.js +8 -8
  27. package/SVF-doxygen/html/search/all_15.js +1 -1
  28. package/SVF-doxygen/html/search/all_16.js +1 -1
  29. package/SVF-doxygen/html/search/all_7.js +676 -676
  30. package/SVF-doxygen/html/search/all_8.js +2 -2
  31. package/SVF-doxygen/html/search/all_9.js +4 -4
  32. package/SVF-doxygen/html/search/all_c.js +1 -1
  33. package/SVF-doxygen/html/search/functions_1.js +1 -1
  34. package/SVF-doxygen/html/search/functions_12.js +1 -1
  35. package/SVF-doxygen/html/search/functions_13.js +1 -1
  36. package/SVF-doxygen/html/search/functions_7.js +675 -675
  37. package/SVF-doxygen/html/search/functions_8.js +2 -2
  38. package/SVF-doxygen/html/search/functions_9.js +4 -4
  39. package/SVF-doxygen/html/search/variables_13.js +3 -3
  40. package/package.json +1 -1
  41. package/svf/include/AE/Svfexe/AbstractInterpretation.h +12 -12
  42. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +118 -118
  43. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +51 -51
package/SVF-doxygen/html/AbstractInterpretation_8cpp.html CHANGED
@@ -121,13 +121,13 @@ Variables</h2></td></tr>
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
123
  <div class="line"> const <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(_svfir-&gt;getICFG()-&gt;getICFGNode(cs.getInstruction())); \</div>
124
- <div class="line"> AbstractState&amp; es = getState(callNode); \</div>
124
+ <div class="line"> AbstractState&amp; as = getAbsState(callNode); \</div>
125
125
  <div class="line"> u32_t rhs_id = _svfir-&gt;getValueNode(cs.getArgument(0)); \</div>
126
- <div class="line"> if (!es.inVarToValTable(rhs_id)) <span class="keywordflow">return</span>; \</div>
127
- <div class="line"> u32_t rhs = es[rhs_id].getInterval().lb().getIntNumeral(); \</div>
126
+ <div class="line"> if (!as.inVarToValTable(rhs_id)) <span class="keywordflow">return</span>; \</div>
127
+ <div class="line"> u32_t rhs = as[rhs_id].getInterval().lb().getIntNumeral(); \</div>
128
128
  <div class="line"> s32_t res = FUNC_NAME(rhs); \</div>
129
129
  <div class="line"> u32_t lhsId = _svfir-&gt;getValueNode(cs.getInstruction()); \</div>
130
- <div class="line"> es[lhsId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(res); \</div>
130
+ <div class="line"> as[lhsId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(res); \</div>
131
131
  <div class="line"> return; \</div>
132
132
  <div class="line"> }; \</div>
133
133
  <div class="line"> _func_map[#FUNC_NAME] = sse_##FUNC_NAME;</div>