svf-tools 1.0.771 → 1.0.773

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/html/BoundedZ3Expr_8cpp_source.html +10 -9
  2. package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +380 -380
  3. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +35 -35
  6. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +19 -18
  7. package/SVF-doxygen/html/html/RelationSolver_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +784 -766
  9. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +25 -25
  10. package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +3 -3
  11. package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr-members.html +3 -3
  12. package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +306 -305
  13. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
  14. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +3 -3
  15. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +28 -27
  16. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral-members.html +2 -2
  17. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +25 -25
  18. package/SVF-doxygen/html/html/classSVF_1_1RelationSolver.html +3 -3
  19. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState-members.html +5 -5
  20. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +791 -773
  21. package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue-members.html +3 -3
  22. package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +10 -10
  23. package/SVF-doxygen/html/html/functions_b.html +1 -1
  24. package/SVF-doxygen/html/html/functions_func_b.html +1 -1
  25. package/SVF-doxygen/html/html/functions_func_g.html +8 -8
  26. package/SVF-doxygen/html/html/functions_g.html +8 -8
  27. package/SVF-doxygen/html/html/namespaceSVF.html +9 -9
  28. package/SVF-doxygen/html/html/search/all_2.js +2 -2
  29. package/SVF-doxygen/html/html/search/all_7.js +6 -6
  30. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  31. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  32. package/SVF-doxygen/html/html/search/functions_2.js +2 -2
  33. package/SVF-doxygen/html/html/search/functions_7.js +6 -6
  34. package/SVF-doxygen/html/html/search/functions_9.js +1 -1
  35. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  36. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
  37. package/package.json +1 -1
  38. package/svf/include/AbstractExecution/BoundedZ3Expr.h +4 -5
  39. package/svf/include/AbstractExecution/IntervalValue.h +19 -19
  40. package/svf/include/AbstractExecution/NumericLiteral.h +2 -2
  41. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
  42. package/svf/lib/AbstractExecution/BoundedZ3Expr.cpp +5 -5
  43. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +77 -61
package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState-members.html CHANGED
@@ -77,13 +77,13 @@ $(function() {
77
77
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217">_relEs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
78
78
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a">_svfir</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
79
79
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e">applySummary</a>(IntervalExeState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a26a8068c25c7bea40b311f120d917cbb">getBytefromGepTypePair</a>(const AccessPath::VarAndGepTypePair &amp;gep_pair, const GepStmt *gep, s32_t elem_bytesize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2f0fe665f2153115be84a143633b6b3b">getBytefromGepTypePair</a>(const AccessPath::VarAndGepTypePair &amp;gep_pair, const GepStmt *gep, APOffset elem_bytesize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
81
81
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aff392b7d4b703223338700209c2567cd">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
82
82
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a33785e2f4181fe48a4092100386440e7">getGepByteOffset</a>(const GepStmt *gep, s32_t elemBytesize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d135e0c48ec2bbe2fef524405fcb8b0">getGepObjAddress</a>(u32_t pointer, s32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a6c4dfdb5a6cee8ea3479606b917ef9e9">getGepOffset</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a841ace0635d388bc1f4d59d6761e4439">getIndexfromGepTypePair</a>(const AccessPath::VarAndGepTypePair &amp;gep_pair, const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
83
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a24f009ea362c4acf1cfa44d4dd80ef8b">getGepByteOffset</a>(const GepStmt *gep, APOffset elemBytesize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a67532bdc1e4a49cf4d9da4b99b38e69a">getGepObjAddress</a>(u32_t pointer, APOffset offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afed2852aec6793e1943f97ed39dd8d2b">getGepOffset</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aed7fc3951608972b6f8fdce14b4a0cbb">getIndexfromGepTypePair</a>(const AccessPath::VarAndGepTypePair &amp;gep_pair, const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
87
87
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
88
88
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a26f2ed7999321f7037be625a9ebef226">getRelEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
89
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>