svf-tools 1.0.557 → 1.0.560

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 (221) hide show
  1. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +15 -15
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +12 -11
  3. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +11 -10
  4. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +47 -46
  5. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +9 -8
  6. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +35 -34
  7. package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -6
  8. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +8 -8
  9. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +10 -1
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +3 -1
  11. package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +2 -2
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +19 -18
  13. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +15 -15
  14. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +4 -4
  15. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +13 -12
  16. package/SVF-doxygen/html/html/DDAPass_8h_source.html +11 -11
  17. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +20 -19
  18. package/SVF-doxygen/html/html/DDAStat_8h_source.html +13 -13
  19. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
  20. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -2
  21. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -2
  22. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +5 -4
  24. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/html/MHP_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
  27. package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
  28. package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +14 -32
  32. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +67 -69
  33. package/SVF-doxygen/html/html/PTAStat_8h.html +1 -0
  34. package/SVF-doxygen/html/html/PTAStat_8h_source.html +70 -76
  35. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +2 -1
  38. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +5 -4
  39. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +22 -21
  40. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +5 -5
  41. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
  42. package/SVF-doxygen/html/html/SVFG_8h_source.html +3 -3
  43. package/SVF-doxygen/html/html/SVFStat_8cpp.html +81 -0
  44. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +85 -0
  45. package/SVF-doxygen/html/html/SVFStat_8h.html +94 -0
  46. package/SVF-doxygen/html/html/SVFStat_8h_source.html +103 -0
  47. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +1 -1
  48. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  50. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  51. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  52. package/SVF-doxygen/html/html/WPAStat_8h_source.html +8 -8
  53. package/SVF-doxygen/html/html/annotated.html +39 -38
  54. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +13 -10
  55. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +190 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +79 -79
  57. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +15 -15
  58. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +37 -37
  59. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +22 -22
  61. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat-members.html +24 -22
  62. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +97 -86
  63. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.png +0 -0
  64. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +24 -24
  65. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +47 -47
  66. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
  67. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +30 -30
  68. package/SVF-doxygen/html/html/classSVF_1_1DDAStat-members.html +24 -23
  69. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +80 -67
  70. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.png +0 -0
  71. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  72. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
  73. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +40 -5
  74. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -4
  75. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +26 -26
  76. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat-members.html +24 -22
  77. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +67 -56
  78. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.png +0 -0
  79. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat-members.html +23 -21
  80. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +55 -42
  81. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.png +0 -0
  82. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +6 -6
  83. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +4 -4
  84. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  85. package/SVF-doxygen/html/html/classSVF_1_1MTAStat-members.html +25 -23
  86. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +59 -48
  87. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.png +0 -0
  88. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +5 -5
  89. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat-members.html +22 -21
  90. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +57 -44
  91. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.png +0 -0
  92. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +6 -6
  93. package/SVF-doxygen/html/html/classSVF_1_1Options.html +2 -2
  94. package/SVF-doxygen/html/html/classSVF_1_1PTAStat-members.html +24 -22
  95. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +186 -420
  96. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.png +0 -0
  97. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
  98. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +12 -12
  99. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat-members.html +33 -32
  100. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +100 -87
  101. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.png +0 -0
  102. package/SVF-doxygen/html/html/classSVF_1_1SVFStat-members.html +100 -0
  103. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +605 -0
  104. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.png +0 -0
  105. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +1 -1
  106. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  107. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +12 -12
  108. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +26 -24
  109. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +65 -54
  110. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.png +0 -0
  111. package/SVF-doxygen/html/html/classes.html +50 -50
  112. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  113. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  114. package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +2 -0
  115. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +2 -0
  116. package/SVF-doxygen/html/html/files.html +10 -8
  117. package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
  118. package/SVF-doxygen/html/html/functions_a.html +11 -5
  119. package/SVF-doxygen/html/html/functions_c.html +27 -25
  120. package/SVF-doxygen/html/html/functions_e.html +3 -2
  121. package/SVF-doxygen/html/html/functions_enum.html +1 -1
  122. package/SVF-doxygen/html/html/functions_eval_c.html +1 -1
  123. package/SVF-doxygen/html/html/functions_eval_w.html +1 -1
  124. package/SVF-doxygen/html/html/functions_f.html +3 -3
  125. package/SVF-doxygen/html/html/functions_func.html +16 -10
  126. package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
  127. package/SVF-doxygen/html/html/functions_func_c.html +29 -25
  128. package/SVF-doxygen/html/html/functions_func_e.html +1 -1
  129. package/SVF-doxygen/html/html/functions_func_g.html +1 -1
  130. package/SVF-doxygen/html/html/functions_func_i.html +11 -8
  131. package/SVF-doxygen/html/html/functions_func_p.html +9 -7
  132. package/SVF-doxygen/html/html/functions_func_s.html +14 -11
  133. package/SVF-doxygen/html/html/functions_g.html +2 -2
  134. package/SVF-doxygen/html/html/functions_i.html +11 -8
  135. package/SVF-doxygen/html/html/functions_l.html +6 -6
  136. package/SVF-doxygen/html/html/functions_m.html +2 -1
  137. package/SVF-doxygen/html/html/functions_n.html +1 -1
  138. package/SVF-doxygen/html/html/functions_o.html +3 -3
  139. package/SVF-doxygen/html/html/functions_p.html +20 -16
  140. package/SVF-doxygen/html/html/functions_s.html +19 -15
  141. package/SVF-doxygen/html/html/functions_t.html +8 -8
  142. package/SVF-doxygen/html/html/functions_type_n.html +1 -1
  143. package/SVF-doxygen/html/html/functions_type_s.html +1 -1
  144. package/SVF-doxygen/html/html/functions_type_t.html +1 -1
  145. package/SVF-doxygen/html/html/functions_v.html +6 -6
  146. package/SVF-doxygen/html/html/functions_vars_e.html +1 -0
  147. package/SVF-doxygen/html/html/functions_vars_g.html +1 -1
  148. package/SVF-doxygen/html/html/functions_vars_m.html +1 -0
  149. package/SVF-doxygen/html/html/functions_vars_s.html +1 -0
  150. package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
  151. package/SVF-doxygen/html/html/functions_w.html +1 -1
  152. package/SVF-doxygen/html/html/globals_g.html +3 -3
  153. package/SVF-doxygen/html/html/globals_v.html +1 -2
  154. package/SVF-doxygen/html/html/globals_vars.html +3 -4
  155. package/SVF-doxygen/html/html/hierarchy.html +47 -46
  156. package/SVF-doxygen/html/html/namespaceSVF.html +2 -0
  157. package/SVF-doxygen/html/html/search/all_1.js +2 -0
  158. package/SVF-doxygen/html/html/search/all_10.js +10 -10
  159. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  160. package/SVF-doxygen/html/html/search/all_12.js +11 -8
  161. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  162. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  163. package/SVF-doxygen/html/html/search/all_15.js +5 -5
  164. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  165. package/SVF-doxygen/html/html/search/all_19.js +1 -0
  166. package/SVF-doxygen/html/html/search/all_3.js +4 -3
  167. package/SVF-doxygen/html/html/search/all_5.js +2 -2
  168. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  169. package/SVF-doxygen/html/html/search/all_7.js +4 -4
  170. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  171. package/SVF-doxygen/html/html/search/all_c.js +4 -4
  172. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  173. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  174. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  175. package/SVF-doxygen/html/html/search/classes_f.js +1 -0
  176. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  177. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  178. package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -1
  179. package/SVF-doxygen/html/html/search/files_d.js +2 -0
  180. package/SVF-doxygen/html/html/search/functions_0.js +2 -0
  181. package/SVF-doxygen/html/html/search/functions_11.js +2 -1
  182. package/SVF-doxygen/html/html/search/functions_17.js +1 -0
  183. package/SVF-doxygen/html/html/search/functions_2.js +2 -1
  184. package/SVF-doxygen/html/html/search/functions_4.js +1 -1
  185. package/SVF-doxygen/html/html/search/functions_6.js +1 -1
  186. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  187. package/SVF-doxygen/html/html/search/functions_f.js +4 -4
  188. package/SVF-doxygen/html/html/search/typedefs_10.js +1 -1
  189. package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
  190. package/SVF-doxygen/html/html/search/typedefs_c.js +1 -1
  191. package/SVF-doxygen/html/html/search/variables_12.js +1 -1
  192. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  193. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  194. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  195. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  196. package/SVF-doxygen/html/html/search/variables_7.js +3 -3
  197. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  198. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  199. package/include/CFL/CFLGraphBuilder.h +9 -0
  200. package/include/CFL/PEGGrammar.txt +4 -8
  201. package/include/Graphs/ICFGStat.h +1 -1
  202. package/include/Util/ExtAPI.h +3 -0
  203. package/include/Util/ExtAPI.json +1456 -44
  204. package/include/Util/PTAStat.h +6 -36
  205. package/include/Util/SVFStat.h +95 -0
  206. package/include/WPA/AndersenPWC.h +1 -1
  207. package/lib/CFL/CFLGraphBuilder.cpp +44 -0
  208. package/lib/DDA/DDAPass.cpp +1 -0
  209. package/lib/DDA/DDAStat.cpp +1 -0
  210. package/lib/Graphs/SVFGReadWrite.cpp +1 -0
  211. package/lib/Graphs/SVFGStat.cpp +1 -0
  212. package/lib/SVF-FE/CHGBuilder.cpp +1 -0
  213. package/lib/Util/ExtAPI.cpp +42 -4
  214. package/lib/Util/PTAStat.cpp +2 -21
  215. package/lib/Util/SVFStat.cpp +58 -0
  216. package/lib/WPA/Andersen.cpp +1 -0
  217. package/lib/WPA/AndersenSCD.cpp +1 -0
  218. package/lib/WPA/AndersenSFR.cpp +1 -0
  219. package/lib/WPA/AndersenStat.cpp +1 -0
  220. package/lib/WPA/AndersenWaveDiff.cpp +1 -0
  221. package/package.json +1 -1
@@ -73,13 +73,13 @@ $(function() {
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1649c9f893c5b9ec2d57a399bc050030">AverageTopLevPointsToSetSize</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a3431df864d616336700d3086e4113054">bitcastInstStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">branchStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1772bc87370b5625f71edd4476277064">callgraphStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf">ClockType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
78
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa518df17b11048afda951359227f53d2d">CPU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
79
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">endClk</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
76
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">callgraphStat</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454">ClockType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
78
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">CPU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
79
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">endClk</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">endTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
81
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6">generalNumMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
82
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc">getClk</a>(bool mark=false)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
81
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(bool mark=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
83
83
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
84
84
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ab754f7768ffcd6f232b8cdf0fef6fc4e">MaxNumOfNodesInSCC</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
85
85
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2">MaxPointsToSetSize</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
@@ -123,11 +123,11 @@ $(function() {
123
123
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">NumOfSfr</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
124
124
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">NumOfStackObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
125
125
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">NumOfStores</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">performStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#adef061d4454a1b1fb46efa4013d9a956">performStatPerQuery</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">printStat</a>(string str=&quot;&quot;)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d">printStatPerQuery</a>(NodeID, const PointsTo &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">performStat</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">performStatPerQuery</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78">printStat</a>(std::string str=&quot;&quot;) override</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">printStatPerQuery</a>(NodeID, const PointsTo &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
131
131
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f">ProcessCopyGepTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
132
132
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aeb6a52c31ecd004670e85f24b01d75d6">ProcessLoadStoreTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
133
133
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5">pta</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -135,18 +135,20 @@ $(function() {
135
135
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
136
136
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SCCDetectionTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
137
137
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SCCMergeTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b">startClk</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">startClk</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
139
139
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">startTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910">TotalAnalysisTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">TotalNumOfEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
144
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d">TotalNumOfFieldObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
145
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#acd9848f15aa359550e86c7b857df84ed">TotalNumOfObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
146
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">TotalNumOfPointers</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
147
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">UpdateCallGraphTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
148
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa6c9d7a9709df10eb67ce27e744e0f61c">Wall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
149
- <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1e5294c49b8bd8a850e938dccd5800a5">~PTAStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
140
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVFStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910">TotalAnalysisTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
144
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">TotalNumOfEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
145
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d">TotalNumOfFieldObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
146
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#acd9848f15aa359550e86c7b857df84ed">TotalNumOfObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
147
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">TotalNumOfPointers</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
148
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">UpdateCallGraphTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
149
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">Wall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
150
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1e5294c49b8bd8a850e938dccd5800a5">~PTAStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a135ac9973ebfef4680d343320453ff52">~SVFStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
150
152
  </table></div><!-- contents -->
151
153
  <!-- start footer part -->
152
154
  <hr class="footer"/><address class="footer"><small>