svf-tools 1.0.562 → 1.0.565

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 (187) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -38
  2. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -2
  3. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +11 -10
  4. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +10 -9
  5. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +37 -37
  6. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -3
  7. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -2
  8. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  9. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +7 -7
  11. package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
  12. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
  13. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +2 -2
  15. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +10 -10
  17. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/MHP_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
  20. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +4 -4
  21. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +37 -138
  25. package/SVF-doxygen/html/html/PTAStat_8cpp.html +0 -1
  26. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +9 -111
  27. package/SVF-doxygen/html/html/PTAStat_8h_source.html +7 -69
  28. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +6 -6
  30. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
  32. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +37 -37
  33. package/SVF-doxygen/html/html/SVFModule_8cpp.html +1 -0
  34. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +6 -2
  35. package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +65 -3
  37. package/SVF-doxygen/html/html/SVFStat_8h_source.html +16 -11
  38. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  39. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -2
  40. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  41. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  44. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  46. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +5 -5
  47. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat-members.html +18 -68
  49. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +23 -208
  50. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +3 -3
  51. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +12 -11
  53. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +63 -28
  54. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  55. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -11
  56. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
  57. package/SVF-doxygen/html/html/classSVF_1_1DDAStat-members.html +17 -67
  58. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +22 -176
  59. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  60. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
  61. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  62. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +13 -13
  63. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat-members.html +20 -70
  64. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +20 -188
  65. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat-members.html +17 -67
  66. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +18 -172
  67. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +36 -34
  68. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +5 -5
  69. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +3 -3
  70. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1MTAStat-members.html +23 -73
  72. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +26 -180
  73. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +2 -2
  74. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat-members.html +22 -72
  75. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -172
  76. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +2 -3
  77. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +3 -3
  78. package/SVF-doxygen/html/html/classSVF_1_1PTAStat-members.html +11 -64
  79. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +33 -1830
  80. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
  81. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat-members.html +48 -98
  82. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +32 -186
  83. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +125 -122
  84. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +5 -2
  85. package/SVF-doxygen/html/html/classSVF_1_1SVFStat-members.html +22 -17
  86. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +237 -34
  87. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  89. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  90. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +6 -6
  91. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +17 -67
  92. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +20 -187
  93. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  94. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  95. package/SVF-doxygen/html/html/functions_a.html +5 -9
  96. package/SVF-doxygen/html/html/functions_b.html +8 -8
  97. package/SVF-doxygen/html/html/functions_c.html +2 -2
  98. package/SVF-doxygen/html/html/functions_e.html +2 -3
  99. package/SVF-doxygen/html/html/functions_f.html +6 -6
  100. package/SVF-doxygen/html/html/functions_func_b.html +6 -6
  101. package/SVF-doxygen/html/html/functions_func_p.html +4 -5
  102. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  103. package/SVF-doxygen/html/html/functions_m.html +1 -9
  104. package/SVF-doxygen/html/html/functions_n.html +0 -114
  105. package/SVF-doxygen/html/html/functions_o.html +6 -6
  106. package/SVF-doxygen/html/html/functions_p.html +15 -24
  107. package/SVF-doxygen/html/html/functions_s.html +12 -21
  108. package/SVF-doxygen/html/html/functions_t.html +14 -22
  109. package/SVF-doxygen/html/html/functions_u.html +0 -3
  110. package/SVF-doxygen/html/html/functions_v.html +6 -6
  111. package/SVF-doxygen/html/html/functions_vars_a.html +0 -4
  112. package/SVF-doxygen/html/html/functions_vars_e.html +1 -2
  113. package/SVF-doxygen/html/html/functions_vars_m.html +1 -9
  114. package/SVF-doxygen/html/html/functions_vars_n.html +0 -114
  115. package/SVF-doxygen/html/html/functions_vars_p.html +1 -7
  116. package/SVF-doxygen/html/html/functions_vars_s.html +1 -8
  117. package/SVF-doxygen/html/html/functions_vars_t.html +9 -15
  118. package/SVF-doxygen/html/html/functions_vars_u.html +0 -3
  119. package/SVF-doxygen/html/html/functions_w.html +11 -11
  120. package/SVF-doxygen/html/html/globals_a.html +0 -1
  121. package/SVF-doxygen/html/html/globals_c.html +5 -6
  122. package/SVF-doxygen/html/html/globals_e.html +0 -1
  123. package/SVF-doxygen/html/html/globals_f.html +2 -3
  124. package/SVF-doxygen/html/html/globals_func.html +3 -0
  125. package/SVF-doxygen/html/html/globals_g.html +5 -7
  126. package/SVF-doxygen/html/html/globals_m.html +3 -6
  127. package/SVF-doxygen/html/html/globals_vars.html +10 -19
  128. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  129. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  130. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  131. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  132. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
  133. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  134. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  135. package/SVF-doxygen/html/html/search/all_1.js +2 -3
  136. package/SVF-doxygen/html/html/search/all_10.js +10 -12
  137. package/SVF-doxygen/html/html/search/all_12.js +7 -9
  138. package/SVF-doxygen/html/html/search/all_13.js +7 -9
  139. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  140. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  141. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  142. package/SVF-doxygen/html/html/search/all_2.js +2 -2
  143. package/SVF-doxygen/html/html/search/all_3.js +2 -2
  144. package/SVF-doxygen/html/html/search/all_5.js +3 -3
  145. package/SVF-doxygen/html/html/search/all_6.js +4 -4
  146. package/SVF-doxygen/html/html/search/all_7.js +4 -4
  147. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  148. package/SVF-doxygen/html/html/search/all_d.js +3 -5
  149. package/SVF-doxygen/html/html/search/all_e.js +5 -41
  150. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  151. package/SVF-doxygen/html/html/search/functions_1.js +2 -2
  152. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  153. package/SVF-doxygen/html/html/search/functions_5.js +1 -0
  154. package/SVF-doxygen/html/html/search/functions_f.js +3 -3
  155. package/SVF-doxygen/html/html/search/variables_1.js +2 -3
  156. package/SVF-doxygen/html/html/search/variables_10.js +1 -3
  157. package/SVF-doxygen/html/html/search/variables_12.js +1 -3
  158. package/SVF-doxygen/html/html/search/variables_13.js +4 -6
  159. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  160. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  161. package/SVF-doxygen/html/html/search/variables_5.js +2 -2
  162. package/SVF-doxygen/html/html/search/variables_6.js +2 -2
  163. package/SVF-doxygen/html/html/search/variables_7.js +4 -4
  164. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  165. package/SVF-doxygen/html/html/search/variables_d.js +3 -5
  166. package/SVF-doxygen/html/html/search/variables_e.js +4 -40
  167. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  168. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  169. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  170. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  171. package/include/CFL/CFGNormalizer.h +3 -1
  172. package/include/CFL/PEGGrammar.txt +5 -18
  173. package/include/DDA/DDAVFSolver.h +4 -4
  174. package/include/Util/PTAStat.h +0 -79
  175. package/include/Util/SVFStat.h +7 -2
  176. package/lib/CFL/CFGNormalizer.cpp +57 -6
  177. package/lib/MTA/LockAnalysis.cpp +4 -4
  178. package/lib/MTA/MHP.cpp +2 -2
  179. package/lib/SVF-FE/LLVMModule.cpp +5 -0
  180. package/lib/SVF-FE/SVFIRBuilder.cpp +5 -0
  181. package/lib/Util/PTAStat.cpp +7 -254
  182. package/lib/Util/SVFModule.cpp +4 -0
  183. package/lib/Util/SVFStat.cpp +202 -2
  184. package/lib/WPA/AndersenStat.cpp +31 -31
  185. package/lib/WPA/FlowSensitiveStat.cpp +14 -14
  186. package/lib/WPA/VersionedFlowSensitiveStat.cpp +13 -13
  187. package/package.json +1 -1
package/SVF-doxygen/html/html/DDAStat_8h_source.html CHANGED
@@ -119,7 +119,7 @@ $(function() {
119
119
  <div class="ttc" id="classSVF_1_1ContextDDA_html"><div class="ttname"><a href="classSVF_1_1ContextDDA.html">SVF::ContextDDA</a></div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00054">ContextDDA.h:54</a></div></div>
120
120
  <div class="ttc" id="classSVF_1_1DDAStat_html_ae9ab20769220af396b72de5ae873f865"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865">SVF::DDAStat::_vmrssUsageAfter</a></div><div class="ttdeci">u32_t _vmrssUsageAfter</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00114">DDAStat.h:114</a></div></div>
121
121
  <div class="ttc" id="classSVF_1_1DDAStat_html_adfe649818cc19a9cd432ae25aa80018d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d">SVF::DDAStat::_NumOfIndCallEdgeSolved</a></div><div class="ttdeci">u32_t _NumOfIndCallEdgeSolved</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00104">DDAStat.h:104</a></div></div>
122
- <div class="ttc" id="classSVF_1_1PTAStat_html_a608441b95be0861d8c1b0a035281f4d5"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">SVF::PTAStat::pta</a></div><div class="ttdeci">PointerAnalysis * pta</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00138">PTAStat.h:138</a></div></div>
122
+ <div class="ttc" id="classSVF_1_1PTAStat_html_a608441b95be0861d8c1b0a035281f4d5"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">SVF::PTAStat::pta</a></div><div class="ttdeci">PointerAnalysis * pta</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00060">PTAStat.h:60</a></div></div>
123
123
  <div class="ttc" id="classSVF_1_1DDAStat_html_aaa9a3e110cb291530154e733428cd904"><div class="ttname"><a href="classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904">SVF::DDAStat::_NumOfNullPtr</a></div><div class="ttdeci">u32_t _NumOfNullPtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00109">DDAStat.h:109</a></div></div>
124
124
  <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
125
125
  <div class="ttc" id="classSVF_1_1DDAStat_html_a1f72d0026a7ab26aa8ac857e658c1015"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015">SVF::DDAStat::_TotalNumOfOutOfBudgetQuery</a></div><div class="ttdeci">u32_t _TotalNumOfOutOfBudgetQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00095">DDAStat.h:95</a></div></div>