svf-tools 1.0.621 → 1.0.623

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 (66) hide show
  1. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +19 -19
  3. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +52 -52
  4. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +17 -15
  5. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/html/PointsTo_8h_source.html +3 -3
  10. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
  11. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +22 -22
  12. package/SVF-doxygen/html/html/SVFG_8h_source.html +37 -36
  13. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1 -1
  15. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +83 -83
  19. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +17 -17
  20. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +5 -4
  21. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +32 -0
  22. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +96 -95
  24. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +157 -121
  25. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +116 -115
  26. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +13 -10
  27. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
  28. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  29. package/SVF-doxygen/html/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  30. package/SVF-doxygen/html/html/functions_c.html +6 -6
  31. package/SVF-doxygen/html/html/functions_func_h.html +7 -4
  32. package/SVF-doxygen/html/html/functions_func_i.html +2 -2
  33. package/SVF-doxygen/html/html/functions_func_t.html +1 -0
  34. package/SVF-doxygen/html/html/functions_h.html +5 -2
  35. package/SVF-doxygen/html/html/functions_i.html +4 -4
  36. package/SVF-doxygen/html/html/functions_l.html +3 -3
  37. package/SVF-doxygen/html/html/functions_o.html +3 -3
  38. package/SVF-doxygen/html/html/functions_p.html +9 -15
  39. package/SVF-doxygen/html/html/functions_s.html +15 -13
  40. package/SVF-doxygen/html/html/functions_t.html +7 -6
  41. package/SVF-doxygen/html/html/functions_v.html +3 -3
  42. package/SVF-doxygen/html/html/namespaceSVF.html +30 -30
  43. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  44. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  45. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  46. package/SVF-doxygen/html/html/search/all_13.js +5 -5
  47. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  48. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  49. package/SVF-doxygen/html/html/search/all_3.js +2 -2
  50. package/SVF-doxygen/html/html/search/all_7.js +1 -1
  51. package/SVF-doxygen/html/html/search/all_8.js +1 -0
  52. package/SVF-doxygen/html/html/search/all_9.js +3 -3
  53. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  54. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  55. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  56. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  57. package/SVF-doxygen/html/html/search/functions_12.js +1 -1
  58. package/SVF-doxygen/html/html/search/functions_7.js +1 -0
  59. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  60. package/SVF-doxygen/html/html/search/variables_13.js +3 -3
  61. package/SVF-doxygen/html/html/search/variables_7.js +1 -1
  62. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  63. package/include/AbstractExecution/IntervalValue.h +5 -0
  64. package/include/Graphs/SVFG.h +6 -0
  65. package/include/Util/ExtAPI.h +65 -40
  66. package/package.json +1 -1
package/SVF-doxygen/html/html/ConditionalPT_8h_source.html CHANGED
@@ -121,7 +121,7 @@ $(function() {
121
121
  <div class="ttc" id="classSVF_1_1CondVar_html_a90b13685d2126f8c10dde4a504bb28df"><div class="ttname"><a href="classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df">SVF::CondVar::m_cond</a></div><div class="ttdeci">Cond m_cond</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00123">ConditionalPT.h:123</a></div></div>
122
122
  <div class="ttc" id="classSVF_1_1CondStdSet_html_a6d82b5ddafa28542ce65adb0cc56cdce"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet::iterator</a></div><div class="ttdeci">OrderedSet&lt; Element &gt;::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00136">ConditionalPT.h:136</a></div></div>
123
123
  <div class="ttc" id="classSVF_1_1CondPointsToSet_html_aad144061d006968ff4d6d21488b84801"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet::CondPointsToSet</a></div><div class="ttdeci">CondPointsToSet(const CondPointsToSet&lt; Cond &gt; &amp;cptsSet)</div><div class="ttdoc">Copy constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00324">ConditionalPT.h:324</a></div></div>
124
- <div class="ttc" id="namespaceSVF_html_abf0dfb872989751b13069f859ef408e1"><div class="ttname"><a href="namespaceSVF.html#abf0dfb872989751b13069f859ef408e1">SVF::operator*</a></div><div class="ttdeci">IntervalValue operator*(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Multiply IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00476">IntervalValue.h:476</a></div></div>
124
+ <div class="ttc" id="namespaceSVF_html_abf0dfb872989751b13069f859ef408e1"><div class="ttname"><a href="namespaceSVF.html#abf0dfb872989751b13069f859ef408e1">SVF::operator*</a></div><div class="ttdeci">IntervalValue operator*(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Multiply IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00481">IntervalValue.h:481</a></div></div>
125
125
  <div class="ttc" id="classSVF_1_1CondStdSet_html_abc67e77de2d1363af92c3bca2ccccbf1"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#abc67e77de2d1363af92c3bca2ccccbf1">SVF::CondStdSet::~CondStdSet</a></div><div class="ttdeci">~CondStdSet()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00140">ConditionalPT.h:140</a></div></div>
126
126
  <div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html">SVF::CondPointsToSet::CondPtsSetIterator</a></div><div class="ttdoc">Conditional Points-to Set Iterator. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00749">ConditionalPT.h:749</a></div></div>
127
127
  <div class="ttc" id="classSVF_1_1CondVar_html_a50321e5ead24c8a9d6c58998072634f0"><div class="ttname"><a href="classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0">SVF::CondVar::operator!=</a></div><div class="ttdeci">bool operator!=(const CondVar &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00071">ConditionalPT.h:71</a></div></div>