svf-tools 1.0.910 → 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 (39) 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/svf/include/AE/Svfexe/AbstractInterpretation.h +1 -1
  37. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +1 -1
  38. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +88 -68
  39. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +37 -30
package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html CHANGED
@@ -93,7 +93,7 @@ $(function() {
93
93
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b5e58476c372570551da971d22c5c02">_recursiveFuns</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
94
94
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a75e493e6b9db3e29428794432d293bc2">_stat</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
95
95
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">_svfir2ExeState</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
97
97
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a4080994b793d9510c00cb3a0260e0a61">AbstractInterpretation</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
98
98
  <tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a048e203517ac727e6fe0653e1f24052c">AccessMemoryViaCallArgs</a>(const SVF::SVFArgument *arg, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
99
99
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a550c12360c2149ba0e55bdf4cf7b8dd0">AccessMemoryViaCopyStmt</a>(const CopyStmt *copy, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>