svf-tools 1.0.286 → 1.0.287

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 (139) hide show
  1. package/SVF-doxygen/html/html/ConditionalPT_8h.html +2 -0
  2. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +56 -53
  3. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +1 -2
  4. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +13 -13
  5. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +50 -50
  6. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +5 -5
  12. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +4 -4
  13. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  15. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -2
  16. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  17. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp.html +1 -0
  19. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +10 -10
  20. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +11 -11
  21. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/html/annotated.html +14 -13
  24. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +2 -2
  25. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +7 -7
  26. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +2 -2
  27. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +7 -7
  28. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge-members.html +2 -2
  29. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +5 -5
  30. package/SVF-doxygen/html/html/classSVF_1_1CondPointsToSet.html +115 -115
  31. package/SVF-doxygen/html/html/classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html +35 -35
  32. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet-members.html +27 -26
  33. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +56 -21
  34. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +25 -25
  36. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -5
  37. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  38. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +2 -2
  39. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +2 -2
  40. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +7 -7
  41. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +2 -2
  42. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +7 -7
  43. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge-members.html +3 -3
  44. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +20 -20
  45. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +2 -2
  46. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +5 -5
  47. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge-members.html +2 -2
  48. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +5 -5
  49. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +2 -2
  50. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +5 -5
  51. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +2 -2
  52. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +12 -12
  53. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +7 -7
  55. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +106 -104
  56. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +3 -3
  57. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge-members.html +2 -2
  59. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +5 -5
  60. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +11 -11
  61. package/SVF-doxygen/html/html/classSVF_1_1SVFGNodeLockSpan.html +23 -23
  62. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +6 -6
  63. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder-members.html +3 -3
  65. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +43 -43
  66. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +2 -2
  67. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge-members.html +2 -2
  68. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +5 -5
  69. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +9 -9
  70. package/SVF-doxygen/html/html/classes.html +93 -92
  71. package/SVF-doxygen/html/html/functions_a.html +1 -1
  72. package/SVF-doxygen/html/html/functions_c.html +24 -19
  73. package/SVF-doxygen/html/html/functions_f.html +6 -6
  74. package/SVF-doxygen/html/html/functions_func.html +1 -1
  75. package/SVF-doxygen/html/html/functions_func_c.html +20 -17
  76. package/SVF-doxygen/html/html/functions_func_g.html +2 -2
  77. package/SVF-doxygen/html/html/functions_func_o.html +2 -1
  78. package/SVF-doxygen/html/html/functions_g.html +3 -3
  79. package/SVF-doxygen/html/html/functions_i.html +3 -3
  80. package/SVF-doxygen/html/html/functions_l.html +3 -3
  81. package/SVF-doxygen/html/html/functions_n.html +1 -1
  82. package/SVF-doxygen/html/html/functions_o.html +5 -4
  83. package/SVF-doxygen/html/html/functions_p.html +14 -16
  84. package/SVF-doxygen/html/html/functions_r.html +3 -7
  85. package/SVF-doxygen/html/html/functions_s.html +10 -12
  86. package/SVF-doxygen/html/html/functions_type_n.html +1 -1
  87. package/SVF-doxygen/html/html/functions_u.html +3 -3
  88. package/SVF-doxygen/html/html/functions_v.html +3 -3
  89. package/SVF-doxygen/html/html/functions_vars_c.html +2 -2
  90. package/SVF-doxygen/html/html/functions_vars_g.html +1 -1
  91. package/SVF-doxygen/html/html/hierarchy.html +165 -164
  92. package/SVF-doxygen/html/html/search/all_1.js +1 -1
  93. package/SVF-doxygen/html/html/search/all_10.js +10 -10
  94. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  95. package/SVF-doxygen/html/html/search/all_13.js +7 -7
  96. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  97. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  98. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  99. package/SVF-doxygen/html/html/search/all_3.js +3 -2
  100. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  101. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  102. package/SVF-doxygen/html/html/search/all_8.js +1 -0
  103. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  104. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  105. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  106. package/SVF-doxygen/html/html/search/all_e.js +5 -5
  107. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  108. package/SVF-doxygen/html/html/search/classes_7.js +1 -0
  109. package/SVF-doxygen/html/html/search/functions_0.js +1 -1
  110. package/SVF-doxygen/html/html/search/functions_2.js +2 -1
  111. package/SVF-doxygen/html/html/search/functions_6.js +1 -1
  112. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  113. package/SVF-doxygen/html/html/search/typedefs_d.js +1 -1
  114. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  115. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  116. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  117. package/SVF-doxygen/html/html/search/variables_7.js +1 -1
  118. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  119. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  120. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4-members.html +81 -0
  121. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +131 -0
  122. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html +3 -3
  123. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +3 -3
  124. package/SVF-doxygen/html/html/structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html +3 -3
  125. package/include/DDA/DDAVFSolver.h +1 -1
  126. package/include/Graphs/SVFGEdge.h +3 -3
  127. package/include/Graphs/SVFGNode.h +2 -2
  128. package/include/MTA/FSMPTA.h +1 -0
  129. package/include/MemoryModel/ConditionalPT.h +21 -5
  130. package/include/SABER/SaberSVFGBuilder.h +3 -3
  131. package/lib/Graphs/SVFGStat.cpp +1 -1
  132. package/lib/Graphs/ThreadCallGraph.cpp +4 -4
  133. package/lib/MTA/FSMPTA.cpp +7 -7
  134. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  135. package/lib/SABER/SaberSVFGBuilder.cpp +2 -1
  136. package/lib/WPA/FlowSensitive.cpp +2 -2
  137. package/lib/WPA/FlowSensitiveTBHC.cpp +2 -2
  138. package/lib/WPA/VersionedFlowSensitive.cpp +1 -1
  139. package/package.json +1 -1
package/SVF-doxygen/html/html/ConditionalPT_8h.html CHANGED
@@ -90,6 +90,8 @@ Classes</h2></td></tr>
90
90
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
91
  <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a></td></tr>
92
92
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a></td></tr>
94
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
95
  </table><table class="memberdecls">
94
96
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
95
97
  Namespaces</h2></td></tr>