svf-tools 1.0.753 → 1.0.755

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 (416) hide show
  1. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +3 -3
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +15 -15
  5. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +3 -3
  6. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +736 -718
  7. package/SVF-doxygen/html/html/Andersen_8h_source.html +364 -355
  8. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +76 -76
  9. package/SVF-doxygen/html/html/CFGNormalizer_8h.html +1 -1
  10. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +29 -29
  11. package/SVF-doxygen/html/html/CFGrammar_8cpp.html +88 -0
  12. package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +568 -0
  13. package/SVF-doxygen/html/html/CFGrammar_8h.html +108 -0
  14. package/SVF-doxygen/html/html/CFGrammar_8h_source.html +643 -0
  15. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  16. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +120 -127
  17. package/SVF-doxygen/html/html/CFLBase_8h_source.html +14 -14
  18. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h.html +1 -1
  19. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +12 -12
  20. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +464 -409
  21. package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +10 -2
  22. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +120 -175
  23. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
  25. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +11 -11
  26. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +60 -60
  27. package/SVF-doxygen/html/html/CFLSolver_8h.html +1 -1
  28. package/SVF-doxygen/html/html/CFLSolver_8h_source.html +19 -19
  29. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +7 -7
  31. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
  32. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +710 -668
  39. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +245 -236
  40. package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +7 -7
  41. package/SVF-doxygen/html/html/GrammarBuilder_8h.html +1 -1
  42. package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
  43. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +1 -1
  45. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/html/PAGGrammar_8txt.html +209 -0
  47. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +11 -11
  48. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +7 -7
  49. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
  50. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  51. package/SVF-doxygen/html/html/VFGGrammar_8txt.html +119 -0
  52. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +11 -11
  53. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +2 -2
  54. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
  55. package/SVF-doxygen/html/html/annotated.html +6 -6
  56. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +21 -20
  57. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +223 -220
  58. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +58 -55
  59. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +749 -743
  60. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +48 -45
  61. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +236 -134
  62. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +57 -54
  63. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +31 -25
  64. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +64 -61
  65. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +16 -10
  66. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +15 -15
  67. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +54 -51
  68. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +43 -37
  69. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +7 -7
  70. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +10 -10
  71. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +119 -119
  72. package/SVF-doxygen/html/html/classSVF_1_1CFGrammar-members.html +158 -0
  73. package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.html +1051 -0
  74. package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.png +0 -0
  75. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
  76. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
  77. package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +1 -1
  78. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +108 -114
  79. package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +17 -17
  80. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +2 -2
  81. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +16 -16
  82. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +17 -16
  83. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +333 -280
  84. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +5 -5
  85. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +56 -56
  86. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +2 -2
  87. package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +16 -16
  89. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
  90. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +64 -61
  93. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +14 -8
  94. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  95. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +62 -59
  96. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +932 -800
  97. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +33 -33
  98. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +3 -3
  99. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +76 -76
  100. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.png +0 -0
  101. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +4 -4
  102. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +5 -5
  103. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  104. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +1 -1
  105. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +4 -4
  106. package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid-members.html +1 -1
  107. package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html +4 -4
  108. package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver-members.html +7 -7
  109. package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver.html +53 -53
  110. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +6 -6
  111. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +47 -47
  112. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +2 -2
  113. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +54 -51
  114. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +10 -4
  115. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +51 -48
  116. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +6 -0
  117. package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder-members.html +21 -20
  118. package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +148 -145
  119. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +79 -76
  120. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +18 -12
  121. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +28 -28
  122. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +2 -2
  124. package/SVF-doxygen/html/html/classes.html +6 -6
  125. package/SVF-doxygen/html/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +7 -2
  126. package/SVF-doxygen/html/html/dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html +80 -0
  127. package/SVF-doxygen/html/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -2
  128. package/SVF-doxygen/html/html/files.html +14 -13
  129. package/SVF-doxygen/html/html/functions_a.html +5 -5
  130. package/SVF-doxygen/html/html/functions_b.html +9 -7
  131. package/SVF-doxygen/html/html/functions_c.html +5 -5
  132. package/SVF-doxygen/html/html/functions_d.html +1 -1
  133. package/SVF-doxygen/html/html/functions_e.html +4 -4
  134. package/SVF-doxygen/html/html/functions_f.html +2 -2
  135. package/SVF-doxygen/html/html/functions_func.html +5 -5
  136. package/SVF-doxygen/html/html/functions_func_b.html +9 -7
  137. package/SVF-doxygen/html/html/functions_func_c.html +5 -5
  138. package/SVF-doxygen/html/html/functions_func_d.html +1 -1
  139. package/SVF-doxygen/html/html/functions_func_e.html +3 -3
  140. package/SVF-doxygen/html/html/functions_func_f.html +1 -1
  141. package/SVF-doxygen/html/html/functions_func_g.html +13 -13
  142. package/SVF-doxygen/html/html/functions_func_h.html +3 -3
  143. package/SVF-doxygen/html/html/functions_func_i.html +1 -1
  144. package/SVF-doxygen/html/html/functions_func_n.html +2 -2
  145. package/SVF-doxygen/html/html/functions_func_p.html +2 -2
  146. package/SVF-doxygen/html/html/functions_func_r.html +8 -4
  147. package/SVF-doxygen/html/html/functions_func_s.html +25 -17
  148. package/SVF-doxygen/html/html/functions_g.html +15 -15
  149. package/SVF-doxygen/html/html/functions_h.html +3 -3
  150. package/SVF-doxygen/html/html/functions_i.html +2 -2
  151. package/SVF-doxygen/html/html/functions_k.html +3 -3
  152. package/SVF-doxygen/html/html/functions_n.html +6 -6
  153. package/SVF-doxygen/html/html/functions_o.html +16 -16
  154. package/SVF-doxygen/html/html/functions_p.html +19 -15
  155. package/SVF-doxygen/html/html/functions_r.html +7 -5
  156. package/SVF-doxygen/html/html/functions_s.html +28 -22
  157. package/SVF-doxygen/html/html/functions_t.html +9 -9
  158. package/SVF-doxygen/html/html/functions_type_k.html +2 -2
  159. package/SVF-doxygen/html/html/functions_type_p.html +1 -1
  160. package/SVF-doxygen/html/html/functions_type_s.html +3 -3
  161. package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
  162. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  163. package/SVF-doxygen/html/html/functions_vars_g.html +2 -2
  164. package/SVF-doxygen/html/html/functions_vars_k.html +1 -1
  165. package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
  166. package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
  167. package/SVF-doxygen/html/html/functions_w.html +9 -9
  168. package/SVF-doxygen/html/html/globals.html +6 -4
  169. package/SVF-doxygen/html/html/globals_e.html +1 -1
  170. package/SVF-doxygen/html/html/globals_g.html +3 -3
  171. package/SVF-doxygen/html/html/globals_s.html +1 -1
  172. package/SVF-doxygen/html/html/globals_v.html +2 -2
  173. package/SVF-doxygen/html/html/globals_vars.html +12 -10
  174. package/SVF-doxygen/html/html/hierarchy.html +1 -1
  175. package/SVF-doxygen/html/html/namespaceSVF.html +40 -2
  176. package/SVF-doxygen/html/html/namespacemembers_b.html +3 -0
  177. package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
  178. package/SVF-doxygen/html/html/search/all_0.js +147 -146
  179. package/SVF-doxygen/html/html/search/all_1.js +478 -478
  180. package/SVF-doxygen/html/html/search/all_10.js +327 -325
  181. package/SVF-doxygen/html/html/search/all_11.js +209 -208
  182. package/SVF-doxygen/html/html/search/all_12.js +547 -545
  183. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  184. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  185. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  186. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  187. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  188. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  189. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  190. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  191. package/SVF-doxygen/html/html/search/all_2.js +159 -156
  192. package/SVF-doxygen/html/html/search/all_3.js +637 -638
  193. package/SVF-doxygen/html/html/search/all_4.js +227 -227
  194. package/SVF-doxygen/html/html/search/all_5.js +156 -156
  195. package/SVF-doxygen/html/html/search/all_6.js +223 -223
  196. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  197. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  198. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  199. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  200. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  201. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  202. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  203. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  204. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  205. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  206. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  207. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  208. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  209. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  210. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  211. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  212. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  213. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  214. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  215. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  216. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  217. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  218. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  219. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  220. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  221. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  222. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  223. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  224. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  225. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  226. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  227. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  228. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  229. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  230. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  231. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  232. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  233. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  234. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  235. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  236. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  237. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  238. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  239. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  240. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  241. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  242. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  243. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  244. package/SVF-doxygen/html/html/search/enums_1.js +2 -1
  245. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  246. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  247. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  248. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  249. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  250. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  251. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  252. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  253. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  254. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  255. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  256. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  257. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  258. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  259. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  260. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  261. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  262. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -13
  263. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  264. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  265. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  266. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  267. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  268. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  269. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  270. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  271. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  272. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  273. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  274. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  275. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  276. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  277. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  278. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  279. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  280. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -17
  281. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  282. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  283. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  284. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  285. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  286. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  287. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  288. package/SVF-doxygen/html/html/search/files_2.js +49 -50
  289. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  290. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  291. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  292. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  293. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  294. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  295. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  296. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  297. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  298. package/SVF-doxygen/html/html/search/files_c.js +20 -19
  299. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  300. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  301. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  302. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  303. package/SVF-doxygen/html/html/search/functions_1.js +81 -80
  304. package/SVF-doxygen/html/html/search/functions_10.js +122 -121
  305. package/SVF-doxygen/html/html/search/functions_11.js +283 -281
  306. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  307. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  308. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  309. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  310. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  311. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  312. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  313. package/SVF-doxygen/html/html/search/functions_3.js +71 -71
  314. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  315. package/SVF-doxygen/html/html/search/functions_5.js +55 -55
  316. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  317. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  318. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  319. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  320. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  321. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  322. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  323. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  324. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  325. package/SVF-doxygen/html/html/search/functions_f.js +143 -143
  326. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  327. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  328. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  329. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  330. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  331. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  332. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  333. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  334. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  335. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  336. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  337. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  338. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  339. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  340. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  341. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  342. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  343. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  344. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  345. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  346. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  347. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  348. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  349. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  350. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  351. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  352. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  353. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  354. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  355. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  356. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  357. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  358. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  359. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  360. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  361. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  362. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  363. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  364. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  365. package/SVF-doxygen/html/html/search/variables_0.js +147 -146
  366. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  367. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  368. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  369. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  370. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  371. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  372. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  373. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  374. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  375. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  376. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  377. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  378. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  379. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  380. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  381. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  382. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  383. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  384. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  385. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  386. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  387. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  388. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  389. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  390. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +25 -25
  391. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +4 -4
  392. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  393. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  394. package/package.json +1 -1
  395. package/svf/include/CFL/CFGNormalizer.h +11 -11
  396. package/svf/include/CFL/{CFLGrammar.h → CFGrammar.h} +5 -5
  397. package/svf/include/CFL/CFLAlias.h +2 -2
  398. package/svf/include/CFL/CFLBase.h +2 -2
  399. package/svf/include/CFL/CFLGramGraphChecker.h +1 -1
  400. package/svf/include/CFL/CFLGraphBuilder.h +30 -81
  401. package/svf/include/CFL/CFLSolver.h +8 -8
  402. package/svf/include/CFL/GrammarBuilder.h +1 -1
  403. package/svf/include/Graphs/CFLGraph.h +3 -3
  404. package/svf/include/WPA/Andersen.h +6 -0
  405. package/svf/include/WPA/FlowSensitive.h +6 -0
  406. package/svf/lib/CFL/CFGNormalizer.cpp +11 -11
  407. package/svf/lib/CFL/{CFLGrammar.cpp → CFGrammar.cpp} +7 -7
  408. package/svf/lib/CFL/CFLBase.cpp +5 -11
  409. package/svf/lib/CFL/CFLGraphBuilder.cpp +125 -74
  410. package/svf/lib/CFL/CFLVF.cpp +2 -2
  411. package/svf/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  412. package/svf/lib/WPA/Andersen.cpp +63 -43
  413. package/svf/lib/WPA/FlowSensitive.cpp +50 -8
  414. /package/svf/include/CFL/{CFLGrammar.txt → grammar/PAGGrammar.txt} +0 -0
  415. /package/svf/include/CFL/{PEGGrammar.txt → grammar/PEGGrammar.txt} +0 -0
  416. /package/svf/include/CFL/{VFG.txt → grammar/VFGGrammar.txt} +0 -0
package/SVF-doxygen/html/html/AndersenPWC_8h_source.html CHANGED
@@ -224,8 +224,8 @@ $(function() {
224
224
  </div><!-- fragment --></div><!-- contents -->
225
225
  <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
226
226
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a2d41b49a1474c030ef2324c14467af30"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30">SVF::AndersenSFR::SFRTrait</a></div><div class="ttdeci">Map&lt; NodeID, std::pair&lt; NodeID, NodeSet &gt; &gt; SFRTrait</div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00107">AndersenPWC.h:107</a></div></div>
227
- <div class="ttc" id="aclassSVF_1_1Andersen_html_aad706e332847e6b0892350a05028ba30"><div class="ttname"><a href="classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30">SVF::Andersen::sccRepNode</a></div><div class="ttdeci">NodeID sccRepNode(NodeID id) const</div><div class="ttdoc">SCC methods.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00202">Andersen.h:202</a></div></div>
228
- <div class="ttc" id="aclassSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
227
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_aad706e332847e6b0892350a05028ba30"><div class="ttname"><a href="classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30">SVF::Andersen::sccRepNode</a></div><div class="ttdeci">NodeID sccRepNode(NodeID id) const</div><div class="ttdoc">SCC methods.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00208">Andersen.h:208</a></div></div>
228
+ <div class="ttc" id="aclassSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00156">Andersen.h:156</a></div></div>
229
229
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a7bb1bd307c5db4d732e51af810c5ad75"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75">SVF::AndersenSFR::PWCDetect</a></div><div class="ttdeci">void PWCDetect()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSFR_8cpp_source.html#l00059">AndersenSFR.cpp:59</a></div></div>
230
230
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a8efc083695e669d8f62e46e33562e129"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129">SVF::AndersenSFR::fieldExpand</a></div><div class="ttdeci">void fieldExpand(NodeSet &amp;initials, APOffset offset, NodeBS &amp;strides, PointsTo &amp;expandPts)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSFR_8cpp_source.html#l00120">AndersenSFR.cpp:120</a></div></div>
231
231
  <div class="ttc" id="aclassSVF_1_1AndersenSCD_html_af155524f6f78424a846fe2eb575bb40a"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a">SVF::AndersenSCD::PWCDetect</a></div><div class="ttdeci">virtual void PWCDetect()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSCD_8cpp_source.html#l00126">AndersenSCD.cpp:126</a></div></div>
@@ -279,7 +279,7 @@ $(function() {
279
279
  <div class="ttc" id="aclassSVF_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>
280
280
  <div class="ttc" id="aCSC_8h_html"><div class="ttname"><a href="CSC_8h.html">CSC.h</a></div></div>
281
281
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a0865c50224ffc1e053cf859122f83f75"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75">SVF::AndersenSFR::sfrObjNodes</a></div><div class="ttdeci">NodeSet sfrObjNodes</div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00113">AndersenPWC.h:113</a></div></div>
282
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a944966086ecb716184c8cdcc43db5751"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase::analyze</a></div><div class="ttdeci">virtual void analyze() override</div><div class="ttdoc">Andersen analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00103">Andersen.cpp:103</a></div></div>
282
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a944966086ecb716184c8cdcc43db5751"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase::analyze</a></div><div class="ttdeci">virtual void analyze() override</div><div class="ttdoc">Andersen analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00133">Andersen.cpp:133</a></div></div>
283
283
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_aa39c668b1473ac4fb99da3aa736c9edb"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb">SVF::AndersenSFR::csc</a></div><div class="ttdeci">CSC * csc</div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00112">AndersenPWC.h:112</a></div></div>
284
284
  <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>
285
285
  <!-- start footer part -->
package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html CHANGED
@@ -367,7 +367,7 @@ $(function() {
367
367
  <div class="ttc" id="aclassSVF_1_1Options_html_a3fc22d0a45be551110d1e326380f3202"><div class="ttname"><a href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options::DetectPWC</a></div><div class="ttdeci">static Option&lt; bool &gt; DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00247">Options.h:247</a></div></div>
368
368
  <div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00115">SVFType.h:115</a></div></div>
369
369
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
370
- <div class="ttc" id="aclassSVF_1_1Andersen_html_a8ba593bd16d4436310f2f25e75687c57"><div class="ttname"><a href="classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57">SVF::Andersen::addCopyEdge</a></div><div class="ttdeci">virtual bool addCopyEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add copy edge on constraint graph.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00298">Andersen.h:298</a></div></div>
370
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_a8ba593bd16d4436310f2f25e75687c57"><div class="ttname"><a href="classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57">SVF::Andersen::addCopyEdge</a></div><div class="ttdeci">virtual bool addCopyEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add copy edge on constraint graph.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00304">Andersen.h:304</a></div></div>
371
371
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ab1868f04de44f6fe1e9ac14f3d4ee56b"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode::const_iterator</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00045">ConsGNode.h:45</a></div></div>
372
372
  <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01069">SVFValue.h:1069</a></div></div>
373
373
  <div class="ttc" id="aclassSVF_1_1AddrCGEdge_html"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html">SVF::AddrCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00093">ConsGEdge.h:93</a></div></div>
@@ -379,7 +379,7 @@ $(function() {
379
379
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad95c842964e6ca46e51fb763fefec585"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">SVF::PointerAnalysis::CallSiteToFunPtrMap</a></div><div class="ttdeci">SVFIR::CallSiteToFunPtrMap CallSiteToFunPtrMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00104">PointerAnalysis.h:104</a></div></div>
380
380
  <div class="ttc" id="aclassSVF_1_1AndersenSCD_html_a7ae683eb8c607a0e742b44e3019b8cbc"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc">SVF::AndersenSCD::handleLoadStore</a></div><div class="ttdeci">virtual void handleLoadStore(ConstraintNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSCD_8cpp_source.html#l00208">AndersenSCD.cpp:208</a></div></div>
381
381
  <div class="ttc" id="aclassSVF_1_1AndersenSCD_html_aa0a496376f7bea2c417ef83c51d19a61"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61">SVF::AndersenSCD::handleCopyGep</a></div><div class="ttdeci">virtual void handleCopyGep(ConstraintNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSCD_8cpp_source.html#l00149">AndersenSCD.cpp:149</a></div></div>
382
- <div class="ttc" id="aclassSVF_1_1Andersen_html_ab069683dd6ca563113efbde2813ab35e"><div class="ttname"><a href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">SVF::Andersen::handleCopyGep</a></div><div class="ttdeci">virtual void handleCopyGep(ConstraintNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00252">Andersen.cpp:252</a></div></div>
382
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_ab069683dd6ca563113efbde2813ab35e"><div class="ttname"><a href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">SVF::Andersen::handleCopyGep</a></div><div class="ttdeci">virtual void handleCopyGep(ConstraintNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00272">Andersen.cpp:272</a></div></div>
383
383
  <div class="ttc" id="acJSON_8h_html_ad43c3812e6d13e0518d9f8b8f463ffcf"><div class="ttname"><a href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a></div><div class="ttdeci">int count</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00216">cJSON.h:216</a></div></div>
384
384
  <div class="ttc" id="aclassSVF_1_1AndersenSCD_html_a512c636bdaafe6a3ac8f0cc29392c573"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573">SVF::AndersenSCD::updateCallGraph</a></div><div class="ttdeci">virtual bool updateCallGraph(const CallSiteToFunPtrMap &amp;callsites)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSCD_8cpp_source.html#l00275">AndersenSCD.cpp:275</a></div></div>
385
385
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a5a90b39f9e5769bde44a673806270714"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">SVF::ConstraintNode::incomingStoresBegin</a></div><div class="ttdeci">const_iterator incomingStoresBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00215">ConsGNode.h:215</a></div></div>
package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html CHANGED
@@ -229,14 +229,14 @@ $(function() {
229
229
  <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;}</div>
230
230
  </div><!-- fragment --></div><!-- contents -->
231
231
  <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
232
- <div class="ttc" id="aclassSVF_1_1Andersen_html_ac6b1efcaadfed48c226701ecf6bac55e"><div class="ttname"><a href="classSVF_1_1Andersen.html#ac6b1efcaadfed48c226701ecf6bac55e">SVF::Andersen::processGepPts</a></div><div class="ttdeci">virtual bool processGepPts(const PointsTo &amp;pts, const GepCGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00398">Andersen.cpp:398</a></div></div>
232
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_ac6b1efcaadfed48c226701ecf6bac55e"><div class="ttname"><a href="classSVF_1_1Andersen.html#ac6b1efcaadfed48c226701ecf6bac55e">SVF::Andersen::processGepPts</a></div><div class="ttdeci">virtual bool processGepPts(const PointsTo &amp;pts, const GepCGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00418">Andersen.cpp:418</a></div></div>
233
233
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a7bb1bd307c5db4d732e51af810c5ad75"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75">SVF::AndersenSFR::PWCDetect</a></div><div class="ttdeci">void PWCDetect()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSFR_8cpp_source.html#l00059">AndersenSFR.cpp:59</a></div></div>
234
234
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a8efc083695e669d8f62e46e33562e129"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129">SVF::AndersenSFR::fieldExpand</a></div><div class="ttdeci">void fieldExpand(NodeSet &amp;initials, APOffset offset, NodeBS &amp;strides, PointsTo &amp;expandPts)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSFR_8cpp_source.html#l00120">AndersenSFR.cpp:120</a></div></div>
235
235
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a873ba0c14dc57bd603c4a6b4d73e4278"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode::strides</a></div><div class="ttdeci">NodeBS strides</div><div class="ttdoc">For stride-based field representation.</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00071">ConsGNode.h:71</a></div></div>
236
236
  <div class="ttc" id="aclassSVF_1_1AndersenSCD_html_af155524f6f78424a846fe2eb575bb40a"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a">SVF::AndersenSCD::PWCDetect</a></div><div class="ttdeci">virtual void PWCDetect()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSCD_8cpp_source.html#l00126">AndersenSCD.cpp:126</a></div></div>
237
237
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
238
238
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
239
- <div class="ttc" id="aclassSVF_1_1Andersen_html_a20617a69c112ad423b1b5021e48a8548"><div class="ttname"><a href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">SVF::Andersen::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00194">Andersen.cpp:194</a></div></div>
239
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_a20617a69c112ad423b1b5021e48a8548"><div class="ttname"><a href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">SVF::Andersen::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00214">Andersen.cpp:214</a></div></div>
240
240
  <div class="ttc" id="aclassSVF_1_1CSC_html"><div class="ttname"><a href="classSVF_1_1CSC.html">SVF::CSC</a></div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00049">CSC.h:49</a></div></div>
241
241
  <div class="ttc" id="aclassSVF_1_1AndersenSFR_html_a3b255068b3ea53041af94fd373a53bd4"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4">SVF::AndersenSFR::initialize</a></div><div class="ttdeci">void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSFR_8cpp_source.html#l00042">AndersenSFR.cpp:42</a></div></div>
242
242
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
@@ -251,7 +251,7 @@ $(function() {
251
251
  <div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
252
252
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
253
253
  <div class="ttc" id="aclassSVF_1_1PointsTo_html_a13746982a11d0cab57e5919d53bfbec8"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8">SVF::PointsTo::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdoc">Returns true if set is empty.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00098">PointsTo.cpp:98</a></div></div>
254
- <div class="ttc" id="aclassSVF_1_1Andersen_html_ae6b1e54a389abc68994219e39539127e"><div class="ttname"><a href="classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e">SVF::Andersen::mergeSrcToTgt</a></div><div class="ttdeci">virtual bool mergeSrcToTgt(NodeID srcId, NodeID tgtId)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00786">Andersen.cpp:786</a></div></div>
254
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_ae6b1e54a389abc68994219e39539127e"><div class="ttname"><a href="classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e">SVF::Andersen::mergeSrcToTgt</a></div><div class="ttdeci">virtual bool mergeSrcToTgt(NodeID srcId, NodeID tgtId)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00806">Andersen.cpp:806</a></div></div>
255
255
  <div class="ttc" id="aclassSVF_1_1GepCGEdge_html"><div class="ttname"><a href="classSVF_1_1GepCGEdge.html">SVF::GepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00225">ConsGEdge.h:225</a></div></div>
256
256
  <div class="ttc" id="aclassSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00448">SVFVariables.h:448</a></div></div>
257
257
  <div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00114">SVFType.h:114</a></div></div>
package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html CHANGED
@@ -414,14 +414,14 @@ $(function() {
414
414
  <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160;}</div>
415
415
  <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; </div>
416
416
  </div><!-- fragment --></div><!-- contents -->
417
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a25b00d9ca71cbdd27530fc5d0dc84ee5"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5">SVF::AndersenBase::numOfSfrs</a></div><div class="ttdeci">static u32_t numOfSfrs</div><div class="ttdoc">Number of processed Store edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00128">Andersen.h:128</a></div></div>
417
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a25b00d9ca71cbdd27530fc5d0dc84ee5"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5">SVF::AndersenBase::numOfSfrs</a></div><div class="ttdeci">static u32_t numOfSfrs</div><div class="ttdoc">Number of processed Store edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00134">Andersen.h:134</a></div></div>
418
418
  <div class="ttc" id="aclassSVF_1_1AndersenStat_html_a3f5739454b1f4e03b4388a4ba5730e15"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15">SVF::AndersenStat::CollapseTime</a></div><div class="ttdeci">static const char * CollapseTime</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00055">WPAStat.h:55</a></div></div>
419
419
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00216">SVFValue.h:216</a></div></div>
420
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aa1246b392aeae1fd10c8a9ebedcc2dd9"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9">SVF::AndersenBase::numOfProcessedGep</a></div><div class="ttdeci">static u32_t numOfProcessedGep</div><div class="ttdoc">Number of processed Copy edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00125">Andersen.h:125</a></div></div>
421
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a2b763519509ce21cf40893c01f8357b6"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6">SVF::AndersenBase::numOfProcessedStore</a></div><div class="ttdeci">static u32_t numOfProcessedStore</div><div class="ttdoc">Number of processed Load edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00127">Andersen.h:127</a></div></div>
422
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a6b7d0e57f741c446d0bf178939960143"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143">SVF::AndersenBase::timeOfSCCDetection</a></div><div class="ttdeci">static double timeOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00132">Andersen.h:132</a></div></div>
423
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a69aae96fc1c99bf108075e5061f50f9e"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e">SVF::AndersenBase::numOfProcessedLoad</a></div><div class="ttdeci">static u32_t numOfProcessedLoad</div><div class="ttdoc">Number of processed Gep edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00126">Andersen.h:126</a></div></div>
424
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a9fe738f1e11c80006d540f246a80bfdf"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf">SVF::AndersenBase::timeOfProcessLoadStore</a></div><div class="ttdeci">static double timeOfProcessLoadStore</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00138">Andersen.h:138</a></div></div>
420
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aa1246b392aeae1fd10c8a9ebedcc2dd9"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9">SVF::AndersenBase::numOfProcessedGep</a></div><div class="ttdeci">static u32_t numOfProcessedGep</div><div class="ttdoc">Number of processed Copy edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00131">Andersen.h:131</a></div></div>
421
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a2b763519509ce21cf40893c01f8357b6"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6">SVF::AndersenBase::numOfProcessedStore</a></div><div class="ttdeci">static u32_t numOfProcessedStore</div><div class="ttdoc">Number of processed Load edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00133">Andersen.h:133</a></div></div>
422
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a6b7d0e57f741c446d0bf178939960143"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143">SVF::AndersenBase::timeOfSCCDetection</a></div><div class="ttdeci">static double timeOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00138">Andersen.h:138</a></div></div>
423
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a69aae96fc1c99bf108075e5061f50f9e"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e">SVF::AndersenBase::numOfProcessedLoad</a></div><div class="ttdeci">static u32_t numOfProcessedLoad</div><div class="ttdoc">Number of processed Gep edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00132">Andersen.h:132</a></div></div>
424
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a9fe738f1e11c80006d540f246a80bfdf"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf">SVF::AndersenBase::timeOfProcessLoadStore</a></div><div class="ttdeci">static double timeOfProcessLoadStore</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00144">Andersen.h:144</a></div></div>
425
425
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad2c8654a6672472f9bf17681aa9b60bb"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">SVF::PointerAnalysis::getNumOfResolvedIndCallEdge</a></div><div class="ttdeci">u32_t getNumOfResolvedIndCallEdge() const</div><div class="ttdoc">Return number of resolved indirect call edges.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00169">PointerAnalysis.h:169</a></div></div>
426
426
  <div class="ttc" id="aPointerAnalysis_8h_html"><div class="ttname"><a href="PointerAnalysis_8h.html">PointerAnalysis.h</a></div></div>
427
427
  <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
@@ -430,10 +430,10 @@ $(function() {
430
430
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_abd7a79d1fe50110a0c1d448027492669"><div class="ttname"><a href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat::startTime</a></div><div class="ttdeci">double startTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00077">SVFStat.h:77</a></div></div>
431
431
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
432
432
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0f71e4cd0948b294c7d33a690bde7dbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">SVF::PointerAnalysis::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00354">PointerAnalysis.h:354</a></div></div>
433
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_ad40b196c2c699bd115529b806d20de25"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25">SVF::AndersenBase::timeOfCollapse</a></div><div class="ttdeci">static double timeOfCollapse</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00134">Andersen.h:134</a></div></div>
433
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_ad40b196c2c699bd115529b806d20de25"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25">SVF::AndersenBase::timeOfCollapse</a></div><div class="ttdeci">static double timeOfCollapse</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00140">Andersen.h:140</a></div></div>
434
434
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
435
435
  <div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
436
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a4acad18a6eb585ba9e3d2276dd591067"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">SVF::AndersenBase::numOfProcessedAddr</a></div><div class="ttdeci">static u32_t numOfProcessedAddr</div><div class="ttdoc">Statistics.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00123">Andersen.h:123</a></div></div>
436
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a4acad18a6eb585ba9e3d2276dd591067"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">SVF::AndersenBase::numOfProcessedAddr</a></div><div class="ttdeci">static u32_t numOfProcessedAddr</div><div class="ttdoc">Statistics.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00129">Andersen.h:129</a></div></div>
437
437
  <div class="ttc" id="aclassSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
438
438
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3bbaafd80dfcae6ccc82c3d8b9d303ea"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">SVF::SVFIR::getFieldObjNodeNum</a></div><div class="ttdeci">u32_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00324">SVFIR.h:324</a></div></div>
439
439
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
@@ -464,7 +464,7 @@ $(function() {
464
464
  <div class="ttc" id="aclassSVF_1_1AndersenStat_html_aa2e3a589d376de12a1cbfb0d1ebcacb9"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9">SVF::AndersenStat::_NumOfNodesInCycles</a></div><div class="ttdeci">static u32_t _NumOfNodesInCycles</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00060">WPAStat.h:60</a></div></div>
465
465
  <div class="ttc" id="aclassSVF_1_1AndersenStat_html_a85960b98981d0514a72b40306a7f08d3"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a85960b98981d0514a72b40306a7f08d3">SVF::AndersenStat::_MaxPtsSize</a></div><div class="ttdeci">static u32_t _MaxPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00057">WPAStat.h:57</a></div></div>
466
466
  <div class="ttc" id="aclassSVF_1_1AndersenStat_html_a27d4e2bf145226f3c2b4d46fee2311e7"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a27d4e2bf145226f3c2b4d46fee2311e7">SVF::AndersenStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00064">WPAStat.h:64</a></div></div>
467
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aaec5125db063f8c1e7431ac7fe7a70f2"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aaec5125db063f8c1e7431ac7fe7a70f2">SVF::AndersenBase::getConstraintGraph</a></div><div class="ttdeci">ConstraintGraph * getConstraintGraph()</div><div class="ttdoc">Get constraint graph.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00103">Andersen.h:103</a></div></div>
467
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aaec5125db063f8c1e7431ac7fe7a70f2"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aaec5125db063f8c1e7431ac7fe7a70f2">SVF::AndersenBase::getConstraintGraph</a></div><div class="ttdeci">ConstraintGraph * getConstraintGraph()</div><div class="ttdoc">Get constraint graph.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00109">Andersen.h:109</a></div></div>
468
468
  <div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constaint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
469
469
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
470
470
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00044">ConsG.h:44</a></div></div>
@@ -477,24 +477,24 @@ $(function() {
477
477
  <div class="ttc" id="aclassSVF_1_1AndersenStat_html_a257d814ef3983c4f513d37161d376719"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719">SVF::AndersenStat::AndersenStat</a></div><div class="ttdeci">AndersenStat(AndersenBase *p)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenStat_8cpp_source.html#l00049">AndersenStat.cpp:49</a></div></div>
478
478
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
479
479
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a82528aff779ccf8f723f57507dd2d991"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">SVF::IRGraph::getObjectNodeNum</a></div><div class="ttdeci">u32_t getObjectNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00191">IRGraph.h:191</a></div></div>
480
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a2afb49f513c9534fd051117b59dc056b"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase::timeOfUpdateCallGraph</a></div><div class="ttdeci">static double timeOfUpdateCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00139">Andersen.h:139</a></div></div>
481
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aae14de6fbca9280d8d0290326aa493f0"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">SVF::AndersenBase::timeOfProcessCopyGep</a></div><div class="ttdeci">static double timeOfProcessCopyGep</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00137">Andersen.h:137</a></div></div>
480
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a2afb49f513c9534fd051117b59dc056b"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase::timeOfUpdateCallGraph</a></div><div class="ttdeci">static double timeOfUpdateCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00145">Andersen.h:145</a></div></div>
481
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aae14de6fbca9280d8d0290326aa493f0"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">SVF::AndersenBase::timeOfProcessCopyGep</a></div><div class="ttdeci">static double timeOfProcessCopyGep</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00143">Andersen.h:143</a></div></div>
482
482
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a927733580b47be5ffcfced44ba9fd6c3"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3">SVF::SVFVar::getOutgoingEdges</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getOutgoingEdges(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get outgoing SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00153">SVFVariables.h:153</a></div></div>
483
483
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a5383691a34426a1a997b5eed387f1831"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat::timeStatMap</a></div><div class="ttdeci">TIMEStatMap timeStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00075">SVFStat.h:75</a></div></div>
484
484
  <div class="ttc" id="aclassSVF_1_1AndersenStat_html_ae35507bebe6a1a9a64ab379473c85cad"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat::collectCycleInfo</a></div><div class="ttdeci">void collectCycleInfo(ConstraintGraph *consCG)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenStat_8cpp_source.html#l00060">AndersenStat.cpp:60</a></div></div>
485
485
  <div class="ttc" id="aclassSVF_1_1PointsTo_html_a13746982a11d0cab57e5919d53bfbec8"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8">SVF::PointsTo::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdoc">Returns true if set is empty.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00098">PointsTo.cpp:98</a></div></div>
486
486
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; ConstraintNode, ConstraintEdge &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
487
487
  <div class="ttc" id="aclassSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00043">PTAStat.cpp:43</a></div></div>
488
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a04acd871bd1b98cd9e83e395334ac130"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130">SVF::AndersenBase::numOfProcessedCopy</a></div><div class="ttdeci">static u32_t numOfProcessedCopy</div><div class="ttdoc">Number of processed Addr edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00124">Andersen.h:124</a></div></div>
488
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a04acd871bd1b98cd9e83e395334ac130"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130">SVF::AndersenBase::numOfProcessedCopy</a></div><div class="ttdeci">static u32_t numOfProcessedCopy</div><div class="ttdoc">Number of processed Addr edge.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00130">Andersen.h:130</a></div></div>
489
489
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a8b01f1564408b51f28c107454bf9068d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat::endTime</a></div><div class="ttdeci">double endTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00078">SVFStat.h:78</a></div></div>
490
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a02c5a50b214d36921e1404784e76704d"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d">SVF::AndersenBase::timeOfSCCMerges</a></div><div class="ttdeci">static double timeOfSCCMerges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00133">Andersen.h:133</a></div></div>
490
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a02c5a50b214d36921e1404784e76704d"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d">SVF::AndersenBase::timeOfSCCMerges</a></div><div class="ttdeci">static double timeOfSCCMerges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00139">Andersen.h:139</a></div></div>
491
491
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
492
492
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a3a4b04027aa67278e7b1bb1ef88cf2e6"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6">SVF::SVFValue::ptrInUncalledFunction</a></div><div class="ttdeci">bool ptrInUncalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00237">SVFValue.h:237</a></div></div>
493
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a0d7298cbf83568f24fd2bd1926a32968"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase::numOfSCCDetection</a></div><div class="ttdeci">static u32_t numOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00131">Andersen.h:131</a></div></div>
493
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a0d7298cbf83568f24fd2bd1926a32968"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase::numOfSCCDetection</a></div><div class="ttdeci">static u32_t numOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00137">Andersen.h:137</a></div></div>
494
494
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a56368369bc37e37b13f19e5eb1890063"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a56368369bc37e37b13f19e5eb1890063">SVF::PointerAnalysis::containBlackHoleNode</a></div><div class="ttdeci">bool containBlackHoleNode(const PointsTo &amp;pts)</div><div class="ttdoc">Determine whether a points-to contains a black hole or constant node.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00292">PointerAnalysis.h:292</a></div></div>
495
495
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</a></div></div>
496
496
  <div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00114">SVFType.h:114</a></div></div>
497
- <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a9f453ec1b4236b8194ae590981217259"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259">SVF::AndersenBase::numOfFieldExpand</a></div><div class="ttdeci">static u32_t numOfFieldExpand</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00129">Andersen.h:129</a></div></div>
497
+ <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a9f453ec1b4236b8194ae590981217259"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259">SVF::AndersenBase::numOfFieldExpand</a></div><div class="ttdeci">static u32_t numOfFieldExpand</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00135">Andersen.h:135</a></div></div>
498
498
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
499
499
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a48a71f212e368769218a6f332822c976"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a48a71f212e368769218a6f332822c976">SVF::ConstraintGraph::getIndirectCallsites</a></div><div class="ttdeci">const SVFIR::CallSiteToFunPtrMap &amp; getIndirectCallsites() const</div><div class="ttdoc">Wrappers for invoking SVFIR methods.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00302">ConsG.h:302</a></div></div>
500
500
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_ad5337b5aeed50f8b7ffd56b14ee25c9f"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ad5337b5aeed50f8b7ffd56b14ee25c9f">SVF::SparseBitVector::reset</a></div><div class="ttdeci">void reset(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00724">SparseBitVector.h:724</a></div></div>
package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html CHANGED
@@ -210,7 +210,7 @@ $(function() {
210
210
  <div class="ttc" id="aclassSVF_1_1PointsTo_1_1PointsToIterator_html"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html">SVF::PointsTo::PointsToIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00181">PointsTo.h:181</a></div></div>
211
211
  <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00048">ConsGEdge.h:48</a></div></div>
212
212
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
213
- <div class="ttc" id="aclassSVF_1_1Andersen_html_a20617a69c112ad423b1b5021e48a8548"><div class="ttname"><a href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">SVF::Andersen::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00194">Andersen.cpp:194</a></div></div>
213
+ <div class="ttc" id="aclassSVF_1_1Andersen_html_a20617a69c112ad423b1b5021e48a8548"><div class="ttname"><a href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">SVF::Andersen::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00214">Andersen.cpp:214</a></div></div>
214
214
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a134e8ed040d7749c2b9a02662115f746"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">SVF::ConstraintNode::outgoingLoadsEnd</a></div><div class="ttdeci">const_iterator outgoingLoadsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00194">ConsGNode.h:194</a></div></div>
215
215
  <div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
216
216
  <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a775a74d57842b85301daeafe64c8a5c4"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4">SVF::AndersenWaveDiff::handleStore</a></div><div class="ttdeci">virtual bool handleStore(NodeID id, const ConstraintEdge *store)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenWaveDiff_8cpp_source.html#l00142">AndersenWaveDiff.cpp:142</a></div></div>
@@ -219,9 +219,9 @@ $(function() {
219
219
  <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a40514a439869d0c025afb4f6b6fb4071"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071">SVF::AndersenWaveDiff::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenWaveDiff_8cpp_source.html#l00042">AndersenWaveDiff.cpp:42</a></div></div>
220
220
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_af69c7e623ab5a36644b6aeabaa1a1e28"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28">SVF::ConstraintNode::outgoingLoadsBegin</a></div><div class="ttdeci">const_iterator outgoingLoadsBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00190">ConsGNode.h:190</a></div></div>
221
221
  <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a35cd97d5f7c1dcb65dd077f45ad864e9"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9">SVF::AndersenWaveDiff::solveWorklist</a></div><div class="ttdeci">virtual void solveWorklist()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenWaveDiff_8cpp_source.html#l00051">AndersenWaveDiff.cpp:51</a></div></div>
222
- <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_add4dcb6d74a8ce8747bcac5f740cd672"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672">SVF::AndersenWaveDiff::diffWave</a></div><div class="ttdeci">static AndersenWaveDiff * diffWave</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00383">Andersen.h:383</a></div></div>
222
+ <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_add4dcb6d74a8ce8747bcac5f740cd672"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672">SVF::AndersenWaveDiff::diffWave</a></div><div class="ttdeci">static AndersenWaveDiff * diffWave</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00389">Andersen.h:389</a></div></div>
223
223
  <div class="ttc" id="aPointsTo_8h_html"><div class="ttname"><a href="PointsTo_8h.html">PointsTo.h</a></div></div>
224
- <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html">SVF::AndersenWaveDiff</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00378">Andersen.h:378</a></div></div>
224
+ <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html">SVF::AndersenWaveDiff</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00384">Andersen.h:384</a></div></div>
225
225
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
226
226
  <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_aa0659a2787c1f9b1b6ec62900313475e"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e">SVF::AndersenWaveDiff::postProcessNode</a></div><div class="ttdeci">virtual void postProcessNode(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenWaveDiff_8cpp_source.html#l00097">AndersenWaveDiff.cpp:97</a></div></div>
227
227
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ab1868f04de44f6fe1e9ac14f3d4ee56b"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode::const_iterator</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00045">ConsGNode.h:45</a></div></div>