svf-tools 1.0.856 → 1.0.857

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 (347) hide show
  1. package/SVF-doxygen/html/CFBasicBlockGWTO_8h.html +109 -0
  2. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +185 -0
  3. package/SVF-doxygen/html/CSC_8h.html +3 -3
  4. package/SVF-doxygen/html/CSC_8h_source.html +5 -5
  5. package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
  6. package/SVF-doxygen/html/DDAPass_8h.html +3 -3
  7. package/SVF-doxygen/html/DDAPass_8h_source.html +3 -3
  8. package/SVF-doxygen/html/DDAVFSolver_8h.html +2 -2
  9. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  10. package/SVF-doxygen/html/ICFGWTO_8h.html +109 -0
  11. package/SVF-doxygen/html/ICFGWTO_8h_source.html +177 -0
  12. package/SVF-doxygen/html/MemRegion_8h.html +3 -3
  13. package/SVF-doxygen/html/MemRegion_8h_source.html +4 -4
  14. package/SVF-doxygen/html/PointerAnalysis_8h.html +5 -5
  15. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +9 -9
  16. package/SVF-doxygen/html/SCC_8h.html +2 -2
  17. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  18. package/SVF-doxygen/html/SVFGStat_8h.html +1 -1
  19. package/SVF-doxygen/html/SVFGStat_8h_source.html +2 -2
  20. package/SVF-doxygen/html/TCT_8h.html +2 -2
  21. package/SVF-doxygen/html/TCT_8h_source.html +4 -4
  22. package/SVF-doxygen/html/WTO_8h.html +25 -13
  23. package/SVF-doxygen/html/WTO_8h_source.html +794 -853
  24. package/SVF-doxygen/html/annotated.html +402 -397
  25. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +57 -50
  26. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +203 -1663
  27. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.png +0 -0
  28. package/SVF-doxygen/html/classSVF_1_1ConstraintNode-members.html +34 -34
  29. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +25 -65
  30. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +9 -10
  31. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  32. package/SVF-doxygen/html/classSVF_1_1ICFGWTO-members.html +140 -0
  33. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.html +379 -0
  34. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.png +0 -0
  35. package/SVF-doxygen/html/classSVF_1_1SCCDetection.html +1 -1
  36. package/SVF-doxygen/html/classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html +1 -1
  37. package/SVF-doxygen/html/classSVF_1_1WTO-members.html +137 -0
  38. package/SVF-doxygen/html/classSVF_1_1WTO.html +1998 -0
  39. package/SVF-doxygen/html/classSVF_1_1WTOComponent-members.html +97 -0
  40. package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +515 -0
  41. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor-members.html +93 -0
  42. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +421 -0
  43. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.png +0 -0
  44. package/SVF-doxygen/html/classSVF_1_1WTOCycle-members.html +98 -0
  45. package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +630 -0
  46. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth-members.html +24 -23
  47. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +338 -317
  48. package/SVF-doxygen/html/classSVF_1_1WTONode-members.html +91 -0
  49. package/SVF-doxygen/html/classSVF_1_1WTONode.html +390 -0
  50. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder-members.html +96 -0
  51. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +332 -0
  52. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.png +0 -0
  53. package/SVF-doxygen/html/classes.html +383 -377
  54. package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +0 -2
  55. package/SVF-doxygen/html/dir_f63327fc9cf9e35b7653a5e341daceab.html +4 -2
  56. package/SVF-doxygen/html/dir_fc0329f850c815763e0c5b05933e8d55.html +4 -0
  57. package/SVF-doxygen/html/files.html +31 -29
  58. package/SVF-doxygen/html/functions.html +18 -30
  59. package/SVF-doxygen/html/functions_a.html +17 -14
  60. package/SVF-doxygen/html/functions_b.html +25 -25
  61. package/SVF-doxygen/html/functions_c.html +37 -51
  62. package/SVF-doxygen/html/functions_e.html +7 -4
  63. package/SVF-doxygen/html/functions_enum.html +2 -2
  64. package/SVF-doxygen/html/functions_eval_c.html +1 -1
  65. package/SVF-doxygen/html/functions_eval_n.html +1 -1
  66. package/SVF-doxygen/html/functions_f.html +26 -21
  67. package/SVF-doxygen/html/functions_func.html +14 -11
  68. package/SVF-doxygen/html/functions_func_b.html +6 -10
  69. package/SVF-doxygen/html/functions_func_c.html +30 -36
  70. package/SVF-doxygen/html/functions_func_e.html +5 -5
  71. package/SVF-doxygen/html/functions_func_f.html +8 -3
  72. package/SVF-doxygen/html/functions_func_g.html +11 -18
  73. package/SVF-doxygen/html/functions_func_h.html +3 -3
  74. package/SVF-doxygen/html/functions_func_i.html +18 -14
  75. package/SVF-doxygen/html/functions_func_n.html +6 -6
  76. package/SVF-doxygen/html/functions_func_o.html +16 -16
  77. package/SVF-doxygen/html/functions_func_p.html +5 -8
  78. package/SVF-doxygen/html/functions_func_s.html +1 -1
  79. package/SVF-doxygen/html/functions_func_t.html +7 -10
  80. package/SVF-doxygen/html/functions_func_v.html +4 -5
  81. package/SVF-doxygen/html/functions_func_w.html +16 -4
  82. package/SVF-doxygen/html/functions_func_~.html +10 -10
  83. package/SVF-doxygen/html/functions_g.html +12 -16
  84. package/SVF-doxygen/html/functions_h.html +9 -6
  85. package/SVF-doxygen/html/functions_i.html +32 -29
  86. package/SVF-doxygen/html/functions_l.html +3 -3
  87. package/SVF-doxygen/html/functions_n.html +24 -22
  88. package/SVF-doxygen/html/functions_o.html +27 -25
  89. package/SVF-doxygen/html/functions_p.html +14 -15
  90. package/SVF-doxygen/html/functions_r.html +4 -2
  91. package/SVF-doxygen/html/functions_rela_o.html +3 -3
  92. package/SVF-doxygen/html/functions_s.html +16 -11
  93. package/SVF-doxygen/html/functions_t.html +11 -14
  94. package/SVF-doxygen/html/functions_type_b.html +4 -0
  95. package/SVF-doxygen/html/functions_type_c.html +3 -9
  96. package/SVF-doxygen/html/functions_type_e.html +3 -0
  97. package/SVF-doxygen/html/functions_type_g.html +3 -0
  98. package/SVF-doxygen/html/functions_type_i.html +7 -8
  99. package/SVF-doxygen/html/functions_type_n.html +13 -9
  100. package/SVF-doxygen/html/functions_type_s.html +3 -0
  101. package/SVF-doxygen/html/functions_type_w.html +19 -6
  102. package/SVF-doxygen/html/functions_v.html +11 -10
  103. package/SVF-doxygen/html/functions_vars.html +18 -30
  104. package/SVF-doxygen/html/functions_vars_h.html +3 -0
  105. package/SVF-doxygen/html/functions_vars_w.html +4 -0
  106. package/SVF-doxygen/html/functions_w.html +41 -12
  107. package/SVF-doxygen/html/functions_~.html +10 -10
  108. package/SVF-doxygen/html/hierarchy.html +621 -614
  109. package/SVF-doxygen/html/namespaceSVF.html +127 -7
  110. package/SVF-doxygen/html/namespacemembers_c.html +9 -0
  111. package/SVF-doxygen/html/namespacemembers_i.html +14 -5
  112. package/SVF-doxygen/html/namespacemembers_type_c.html +9 -0
  113. package/SVF-doxygen/html/namespacemembers_type_i.html +9 -0
  114. package/SVF-doxygen/html/search/all_0.js +124 -127
  115. package/SVF-doxygen/html/search/all_1.js +495 -495
  116. package/SVF-doxygen/html/search/all_10.js +325 -326
  117. package/SVF-doxygen/html/search/all_11.js +225 -225
  118. package/SVF-doxygen/html/search/all_12.js +555 -554
  119. package/SVF-doxygen/html/search/all_13.js +201 -202
  120. package/SVF-doxygen/html/search/all_14.js +67 -67
  121. package/SVF-doxygen/html/search/all_15.js +168 -168
  122. package/SVF-doxygen/html/search/all_16.js +73 -63
  123. package/SVF-doxygen/html/search/all_17.js +1 -1
  124. package/SVF-doxygen/html/search/all_18.js +1 -1
  125. package/SVF-doxygen/html/search/all_19.js +11 -11
  126. package/SVF-doxygen/html/search/all_1a.js +175 -175
  127. package/SVF-doxygen/html/search/all_2.js +172 -173
  128. package/SVF-doxygen/html/search/all_3.js +648 -649
  129. package/SVF-doxygen/html/search/all_4.js +230 -230
  130. package/SVF-doxygen/html/search/all_5.js +120 -119
  131. package/SVF-doxygen/html/search/all_6.js +227 -226
  132. package/SVF-doxygen/html/search/all_7.js +1046 -1047
  133. package/SVF-doxygen/html/search/all_8.js +57 -52
  134. package/SVF-doxygen/html/search/all_9.js +610 -605
  135. package/SVF-doxygen/html/search/all_a.js +46 -46
  136. package/SVF-doxygen/html/search/all_b.js +26 -26
  137. package/SVF-doxygen/html/search/all_c.js +115 -115
  138. package/SVF-doxygen/html/search/all_d.js +197 -197
  139. package/SVF-doxygen/html/search/all_e.js +207 -207
  140. package/SVF-doxygen/html/search/all_f.js +116 -116
  141. package/SVF-doxygen/html/search/classes_0.js +26 -26
  142. package/SVF-doxygen/html/search/classes_1.js +9 -9
  143. package/SVF-doxygen/html/search/classes_10.js +74 -74
  144. package/SVF-doxygen/html/search/classes_11.js +14 -15
  145. package/SVF-doxygen/html/search/classes_12.js +2 -2
  146. package/SVF-doxygen/html/search/classes_13.js +10 -10
  147. package/SVF-doxygen/html/search/classes_14.js +20 -14
  148. package/SVF-doxygen/html/search/classes_15.js +1 -1
  149. package/SVF-doxygen/html/search/classes_2.js +78 -81
  150. package/SVF-doxygen/html/search/classes_3.js +37 -37
  151. package/SVF-doxygen/html/search/classes_4.js +9 -9
  152. package/SVF-doxygen/html/search/classes_5.js +28 -28
  153. package/SVF-doxygen/html/search/classes_6.js +104 -104
  154. package/SVF-doxygen/html/search/classes_7.js +38 -34
  155. package/SVF-doxygen/html/search/classes_8.js +58 -57
  156. package/SVF-doxygen/html/search/classes_9.js +1 -1
  157. package/SVF-doxygen/html/search/classes_a.js +12 -12
  158. package/SVF-doxygen/html/search/classes_b.js +29 -29
  159. package/SVF-doxygen/html/search/classes_c.js +6 -6
  160. package/SVF-doxygen/html/search/classes_d.js +18 -18
  161. package/SVF-doxygen/html/search/classes_e.js +36 -36
  162. package/SVF-doxygen/html/search/classes_f.js +25 -25
  163. package/SVF-doxygen/html/search/defines_0.js +3 -3
  164. package/SVF-doxygen/html/search/defines_1.js +2 -2
  165. package/SVF-doxygen/html/search/defines_2.js +30 -30
  166. package/SVF-doxygen/html/search/defines_3.js +20 -20
  167. package/SVF-doxygen/html/search/defines_4.js +2 -2
  168. package/SVF-doxygen/html/search/defines_5.js +4 -4
  169. package/SVF-doxygen/html/search/defines_6.js +2 -2
  170. package/SVF-doxygen/html/search/defines_7.js +5 -5
  171. package/SVF-doxygen/html/search/defines_8.js +11 -11
  172. package/SVF-doxygen/html/search/defines_9.js +9 -9
  173. package/SVF-doxygen/html/search/defines_a.js +2 -2
  174. package/SVF-doxygen/html/search/defines_b.js +1 -1
  175. package/SVF-doxygen/html/search/defines_c.js +3 -3
  176. package/SVF-doxygen/html/search/defines_d.js +2 -2
  177. package/SVF-doxygen/html/search/defines_e.js +7 -7
  178. package/SVF-doxygen/html/search/defines_f.js +3 -3
  179. package/SVF-doxygen/html/search/enums_0.js +3 -3
  180. package/SVF-doxygen/html/search/enums_1.js +2 -2
  181. package/SVF-doxygen/html/search/enums_10.js +1 -1
  182. package/SVF-doxygen/html/search/enums_11.js +1 -1
  183. package/SVF-doxygen/html/search/enums_2.js +8 -8
  184. package/SVF-doxygen/html/search/enums_3.js +1 -1
  185. package/SVF-doxygen/html/search/enums_4.js +3 -3
  186. package/SVF-doxygen/html/search/enums_5.js +1 -1
  187. package/SVF-doxygen/html/search/enums_6.js +2 -2
  188. package/SVF-doxygen/html/search/enums_7.js +2 -2
  189. package/SVF-doxygen/html/search/enums_8.js +4 -4
  190. package/SVF-doxygen/html/search/enums_9.js +1 -1
  191. package/SVF-doxygen/html/search/enums_a.js +1 -1
  192. package/SVF-doxygen/html/search/enums_b.js +7 -7
  193. package/SVF-doxygen/html/search/enums_c.js +1 -1
  194. package/SVF-doxygen/html/search/enums_d.js +4 -4
  195. package/SVF-doxygen/html/search/enums_e.js +2 -2
  196. package/SVF-doxygen/html/search/enums_f.js +4 -4
  197. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  198. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  199. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  200. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  201. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  202. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  203. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  204. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  205. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  206. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  207. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  208. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  209. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  210. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  211. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  212. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  213. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  214. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  215. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  216. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  217. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  218. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  219. package/SVF-doxygen/html/search/files_0.js +14 -14
  220. package/SVF-doxygen/html/search/files_1.js +7 -7
  221. package/SVF-doxygen/html/search/files_10.js +8 -8
  222. package/SVF-doxygen/html/search/files_11.js +8 -8
  223. package/SVF-doxygen/html/search/files_12.js +2 -2
  224. package/SVF-doxygen/html/search/files_2.js +58 -57
  225. package/SVF-doxygen/html/search/files_3.js +14 -14
  226. package/SVF-doxygen/html/search/files_4.js +5 -5
  227. package/SVF-doxygen/html/search/files_5.js +13 -13
  228. package/SVF-doxygen/html/search/files_6.js +9 -9
  229. package/SVF-doxygen/html/search/files_7.js +15 -14
  230. package/SVF-doxygen/html/search/files_8.js +13 -13
  231. package/SVF-doxygen/html/search/files_9.js +18 -18
  232. package/SVF-doxygen/html/search/files_a.js +3 -3
  233. package/SVF-doxygen/html/search/files_b.js +2 -2
  234. package/SVF-doxygen/html/search/files_c.js +20 -20
  235. package/SVF-doxygen/html/search/files_d.js +4 -4
  236. package/SVF-doxygen/html/search/files_e.js +62 -62
  237. package/SVF-doxygen/html/search/files_f.js +8 -8
  238. package/SVF-doxygen/html/search/functions_0.js +13 -13
  239. package/SVF-doxygen/html/search/functions_1.js +365 -364
  240. package/SVF-doxygen/html/search/functions_10.js +139 -140
  241. package/SVF-doxygen/html/search/functions_11.js +140 -140
  242. package/SVF-doxygen/html/search/functions_12.js +289 -289
  243. package/SVF-doxygen/html/search/functions_13.js +71 -72
  244. package/SVF-doxygen/html/search/functions_14.js +39 -39
  245. package/SVF-doxygen/html/search/functions_15.js +71 -71
  246. package/SVF-doxygen/html/search/functions_16.js +36 -32
  247. package/SVF-doxygen/html/search/functions_17.js +3 -3
  248. package/SVF-doxygen/html/search/functions_18.js +175 -175
  249. package/SVF-doxygen/html/search/functions_2.js +90 -91
  250. package/SVF-doxygen/html/search/functions_3.js +260 -262
  251. package/SVF-doxygen/html/search/functions_4.js +78 -78
  252. package/SVF-doxygen/html/search/functions_5.js +53 -53
  253. package/SVF-doxygen/html/search/functions_6.js +61 -60
  254. package/SVF-doxygen/html/search/functions_7.js +854 -856
  255. package/SVF-doxygen/html/search/functions_8.js +148 -148
  256. package/SVF-doxygen/html/search/functions_9.js +422 -421
  257. package/SVF-doxygen/html/search/functions_a.js +30 -30
  258. package/SVF-doxygen/html/search/functions_b.js +2 -2
  259. package/SVF-doxygen/html/search/functions_c.js +25 -25
  260. package/SVF-doxygen/html/search/functions_d.js +79 -79
  261. package/SVF-doxygen/html/search/functions_e.js +35 -35
  262. package/SVF-doxygen/html/search/functions_f.js +56 -56
  263. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  264. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  265. package/SVF-doxygen/html/search/related_0.js +2 -2
  266. package/SVF-doxygen/html/search/related_1.js +2 -2
  267. package/SVF-doxygen/html/search/related_2.js +3 -3
  268. package/SVF-doxygen/html/search/related_3.js +2 -2
  269. package/SVF-doxygen/html/search/related_4.js +2 -2
  270. package/SVF-doxygen/html/search/related_5.js +1 -1
  271. package/SVF-doxygen/html/search/related_6.js +2 -2
  272. package/SVF-doxygen/html/search/related_7.js +4 -4
  273. package/SVF-doxygen/html/search/related_8.js +2 -2
  274. package/SVF-doxygen/html/search/related_9.js +4 -4
  275. package/SVF-doxygen/html/search/related_a.js +19 -19
  276. package/SVF-doxygen/html/search/related_b.js +4 -4
  277. package/SVF-doxygen/html/search/related_c.js +2 -2
  278. package/SVF-doxygen/html/search/related_d.js +12 -12
  279. package/SVF-doxygen/html/search/related_e.js +2 -2
  280. package/SVF-doxygen/html/search/related_f.js +2 -2
  281. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  282. package/SVF-doxygen/html/search/typedefs_1.js +27 -26
  283. package/SVF-doxygen/html/search/typedefs_10.js +63 -62
  284. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  285. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  286. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  287. package/SVF-doxygen/html/search/typedefs_14.js +11 -8
  288. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  289. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  290. package/SVF-doxygen/html/search/typedefs_4.js +18 -17
  291. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  292. package/SVF-doxygen/html/search/typedefs_6.js +57 -56
  293. package/SVF-doxygen/html/search/typedefs_7.js +47 -44
  294. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  295. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  296. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  297. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  298. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  299. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  300. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  301. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  302. package/SVF-doxygen/html/search/variables_0.js +148 -151
  303. package/SVF-doxygen/html/search/variables_1.js +76 -76
  304. package/SVF-doxygen/html/search/variables_10.js +99 -99
  305. package/SVF-doxygen/html/search/variables_11.js +45 -45
  306. package/SVF-doxygen/html/search/variables_12.js +91 -91
  307. package/SVF-doxygen/html/search/variables_13.js +73 -73
  308. package/SVF-doxygen/html/search/variables_14.js +14 -14
  309. package/SVF-doxygen/html/search/variables_15.js +49 -49
  310. package/SVF-doxygen/html/search/variables_16.js +10 -9
  311. package/SVF-doxygen/html/search/variables_17.js +1 -1
  312. package/SVF-doxygen/html/search/variables_18.js +2 -2
  313. package/SVF-doxygen/html/search/variables_2.js +38 -38
  314. package/SVF-doxygen/html/search/variables_3.js +142 -142
  315. package/SVF-doxygen/html/search/variables_4.js +50 -50
  316. package/SVF-doxygen/html/search/variables_5.js +37 -37
  317. package/SVF-doxygen/html/search/variables_6.js +66 -66
  318. package/SVF-doxygen/html/search/variables_7.js +34 -34
  319. package/SVF-doxygen/html/search/variables_8.js +8 -7
  320. package/SVF-doxygen/html/search/variables_9.js +78 -78
  321. package/SVF-doxygen/html/search/variables_a.js +4 -4
  322. package/SVF-doxygen/html/search/variables_b.js +10 -10
  323. package/SVF-doxygen/html/search/variables_c.js +45 -45
  324. package/SVF-doxygen/html/search/variables_d.js +55 -55
  325. package/SVF-doxygen/html/search/variables_e.js +123 -123
  326. package/SVF-doxygen/html/search/variables_f.js +30 -30
  327. package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +97 -0
  328. package/SVF-doxygen/html/structSVF_1_1has__edgetype.png +0 -0
  329. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html +97 -0
  330. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.png +0 -0
  331. package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +97 -0
  332. package/SVF-doxygen/html/structSVF_1_1has__nodetype.png +0 -0
  333. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html +97 -0
  334. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.png +0 -0
  335. package/package.json +1 -1
  336. package/svf/include/AbstractExecution/CFBasicBlockGWTO.h +83 -0
  337. package/svf/include/AbstractExecution/ICFGWTO.h +78 -0
  338. package/svf/include/DDA/DDAPass.h +2 -2
  339. package/svf/include/DDA/DDAVFSolver.h +2 -2
  340. package/svf/include/Graphs/SVFGStat.h +1 -1
  341. package/svf/include/Graphs/WTO.h +859 -0
  342. package/svf/include/MSSA/MemRegion.h +3 -3
  343. package/svf/include/MTA/TCT.h +2 -2
  344. package/svf/include/MemoryModel/PointerAnalysis.h +5 -5
  345. package/svf/include/WPA/CSC.h +3 -3
  346. package/svf/include/AbstractExecution/WTO.h +0 -897
  347. /package/svf/include/{Util → Graphs}/SCC.h +0 -0
package/SVF-doxygen/html/ICFGWTO_8h.html ADDED
@@ -0,0 +1,109 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/AbstractExecution/ICFGWTO.h File Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_f63327fc9cf9e35b7653a5e341daceab.html">AbstractExecution</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#nested-classes">Classes</a> &#124;
70
+ <a href="#namespaces">Namespaces</a> &#124;
71
+ <a href="#typedef-members">Typedefs</a> </div>
72
+ <div class="headertitle">
73
+ <div class="title">ICFGWTO.h File Reference</div> </div>
74
+ </div><!--header-->
75
+ <div class="contents">
76
+ <div class="textblock"><code>#include &quot;<a class="el" href="ICFG_8h_source.html">Graphs/ICFG.h</a>&quot;</code><br />
77
+ <code>#include &quot;<a class="el" href="WTO_8h_source.html">Graphs/WTO.h</a>&quot;</code><br />
78
+ </div>
79
+ <p><a href="ICFGWTO_8h_source.html">Go to the source code of this file.</a></p>
80
+ <table class="memberdecls">
81
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
82
+ Classes</h2></td></tr>
83
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGWTO.html">SVF::ICFGWTO</a></td></tr>
84
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
+ </table><table class="memberdecls">
86
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
87
+ Namespaces</h2></td></tr>
88
+ <tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
89
+ <tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
90
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
+ </table><table class="memberdecls">
92
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="typedef-members"></a>
93
+ Typedefs</h2></td></tr>
94
+ <tr class="memitem:ae7e2a86baf7f3a20ee906030188dce7c"><td class="memItemLeft" align="right" valign="top">typedef WTOComponent&lt; ICFG &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae7e2a86baf7f3a20ee906030188dce7c">SVF::ICFGWTOComp</a></td></tr>
95
+ <tr class="separator:ae7e2a86baf7f3a20ee906030188dce7c"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:a73ff30d5ebff75057b7805d297a23e1a"><td class="memItemLeft" align="right" valign="top">typedef WTONode&lt; ICFG &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a73ff30d5ebff75057b7805d297a23e1a">SVF::ICFGWTONode</a></td></tr>
97
+ <tr class="separator:a73ff30d5ebff75057b7805d297a23e1a"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ <tr class="memitem:a9c6abc711b0dcf5831d2cf175afc2414"><td class="memItemLeft" align="right" valign="top">typedef WTOCycle&lt; ICFG &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9c6abc711b0dcf5831d2cf175afc2414">SVF::ICFGWTOCycle</a></td></tr>
99
+ <tr class="separator:a9c6abc711b0dcf5831d2cf175afc2414"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ </table>
101
+ </div><!-- contents -->
102
+ <!-- start footer part -->
103
+ <hr class="footer"/><address class="footer"><small>
104
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
105
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
106
+ </a> 1.8.17
107
+ </small></address>
108
+ </body>
109
+ </html>
package/SVF-doxygen/html/ICFGWTO_8h_source.html ADDED
@@ -0,0 +1,177 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/AbstractExecution/ICFGWTO.h Source File</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_f63327fc9cf9e35b7653a5e341daceab.html">AbstractExecution</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="headertitle">
69
+ <div class="title">ICFGWTO.h</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+ <a href="ICFGWTO_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===--------------- ICFGWTO.h -- WTO for ICFG----------------------//</span></div>
73
+ <div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div>
74
+ <div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div>
75
+ <div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div>
76
+ <div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt; &lt;Yulei Sui&gt;</span></div>
77
+ <div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div>
78
+ <div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160; </div>
79
+ <div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div>
80
+ <div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div>
81
+ <div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div>
82
+ <div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div>
83
+ <div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160; </div>
84
+ <div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div>
85
+ <div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div>
86
+ <div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div>
87
+ <div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div>
88
+ <div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160; </div>
89
+ <div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div>
90
+ <div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div>
91
+ <div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div>
92
+ <div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div>
93
+ <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160; </div>
94
+ <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment">/*</span></div>
95
+ <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> * ICFGWTO.h</span></div>
96
+ <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> *</span></div>
97
+ <div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * The implementation is based on F. Bourdoncle&#39;s paper:</span></div>
98
+ <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> * &quot;Efficient chaotic iteration strategies with widenings&quot;, Formal</span></div>
99
+ <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> * Methods in Programming and Their Applications, 1993, pages 128-141.</span></div>
100
+ <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;<span class="comment"> *</span></div>
101
+ <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="comment"> * Created on: Jan 22, 2024</span></div>
102
+ <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="comment"> * Author: Xiao Cheng</span></div>
103
+ <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;<span class="comment"> *</span></div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="comment"> */</span></div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#ifndef SVF_ICFGWTO_H</span></div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#define SVF_ICFGWTO_H</span></div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; </div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ICFG_8h.html">Graphs/ICFG.h</a>&quot;</span></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WTO_8h.html">Graphs/WTO.h</a>&quot;</span></div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; </div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;{</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; </div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae7e2a86baf7f3a20ee906030188dce7c"> 43</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTOComponent.html">WTOComponent&lt;ICFG&gt;</a> <a class="code" href="namespaceSVF.html#ae7e2a86baf7f3a20ee906030188dce7c">ICFGWTOComp</a>;</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a73ff30d5ebff75057b7805d297a23e1a"> 44</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTONode.html">WTONode&lt;ICFG&gt;</a> <a class="code" href="namespaceSVF.html#a73ff30d5ebff75057b7805d297a23e1a">ICFGWTONode</a>;</div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9c6abc711b0dcf5831d2cf175afc2414"> 45</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTOCycle.html">WTOCycle&lt;ICFG&gt;</a> <a class="code" href="namespaceSVF.html#a9c6abc711b0dcf5831d2cf175afc2414">ICFGWTOCycle</a>;</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; </div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGWTO.html"> 47</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ICFGWTO.html">ICFGWTO</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1WTO.html">WTO</a>&lt;ICFG&gt;</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;{</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;<span class="keyword">public</span>:</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d"> 50</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTO.html">WTO&lt;ICFG&gt;</a> <a class="code" href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">Base</a>;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c"> 51</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTONode.html">WTOComponentVisitor&lt;ICFG&gt;::WTONodeT</a> <a class="code" href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c">ICFGWTONode</a>;</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; </div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGWTO.html#aa8a472a41196fd7537908665c631dcbb"> 53</a></span>&#160; <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1ICFGWTO.html#aa8a472a41196fd7537908665c631dcbb">ICFGWTO</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* graph, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node) : <a class="code" href="classSVF_1_1WTO.html">Base</a>(graph, node) {}</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGWTO.html#a0178699f891c6814c04c10da72c0acf2"> 55</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGWTO.html#a0178699f891c6814c04c10da72c0acf2">forEachSuccessor</a>(</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node,</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; std::function&lt;<span class="keywordtype">void</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>*)&gt; func)<span class="keyword"> const override</span></div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;<span class="keyword"> </span>{</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span>* callNode = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node))</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; {</div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* succ = callNode-&gt;getRetICFGNode();</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; func(succ);</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; }</div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="keywordflow">else</span></div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; {</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; e : node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>())</div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; {</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">if</span> (!e-&gt;isIntraCFGEdge() ||</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; node-&gt;<a class="code" href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">getFun</a>() != e-&gt;getDstNode()-&gt;getFun())</div>
141
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">continue</span>;</div>
142
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; func(e-&gt;getDstNode());</div>
143
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</div>
144
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; }</div>
145
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; }</div>
146
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160;};</div>
147
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160;} <span class="comment">// namespace SVF</span></div>
148
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
149
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;<span class="preprocessor">#endif // SVF_ICFGWTO_H</span></div>
150
+ </div><!-- fragment --></div><!-- contents -->
151
+ <div class="ttc" id="aclassSVF_1_1ICFGWTO_html_aa8a472a41196fd7537908665c631dcbb"><div class="ttname"><a href="classSVF_1_1ICFGWTO.html#aa8a472a41196fd7537908665c631dcbb">SVF::ICFGWTO::ICFGWTO</a></div><div class="ttdeci">ICFGWTO(ICFG *graph, const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00053">ICFGWTO.h:53</a></div></div>
152
+ <div class="ttc" id="anamespaceSVF_html_ae7e2a86baf7f3a20ee906030188dce7c"><div class="ttname"><a href="namespaceSVF.html#ae7e2a86baf7f3a20ee906030188dce7c">SVF::ICFGWTOComp</a></div><div class="ttdeci">WTOComponent&lt; ICFG &gt; ICFGWTOComp</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00043">ICFGWTO.h:43</a></div></div>
153
+ <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>
154
+ <div class="ttc" id="aclassSVF_1_1WTO_html"><div class="ttname"><a href="classSVF_1_1WTO.html">SVF::WTO</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00043">WTO.h:43</a></div></div>
155
+ <div class="ttc" id="aICFG_8h_html"><div class="ttname"><a href="ICFG_8h.html">ICFG.h</a></div></div>
156
+ <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
157
+ <div class="ttc" id="aclassSVF_1_1WTOComponent_html"><div class="ttname"><a href="classSVF_1_1WTOComponent.html">SVF::WTOComponent</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00271">WTO.h:271</a></div></div>
158
+ <div class="ttc" id="aclassSVF_1_1ICFGWTO_html"><div class="ttname"><a href="classSVF_1_1ICFGWTO.html">SVF::ICFGWTO</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00047">ICFGWTO.h:47</a></div></div>
159
+ <div class="ttc" id="anamespaceSVF_html_a73ff30d5ebff75057b7805d297a23e1a"><div class="ttname"><a href="namespaceSVF.html#a73ff30d5ebff75057b7805d297a23e1a">SVF::ICFGWTONode</a></div><div class="ttdeci">WTONode&lt; ICFG &gt; ICFGWTONode</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00044">ICFGWTO.h:44</a></div></div>
160
+ <div class="ttc" id="aclassSVF_1_1ICFGNode_html_ae526280cca2d6cbb2868c80461bc16da"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Return the function of this ICFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00086">ICFGNode.h:86</a></div></div>
161
+ <div class="ttc" id="aclassSVF_1_1WTONode_html"><div class="ttname"><a href="classSVF_1_1WTONode.html">SVF::WTONode</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00045">WTO.h:45</a></div></div>
162
+ <div class="ttc" id="aclassSVF_1_1ICFGWTO_html_a0178699f891c6814c04c10da72c0acf2"><div class="ttname"><a href="classSVF_1_1ICFGWTO.html#a0178699f891c6814c04c10da72c0acf2">SVF::ICFGWTO::forEachSuccessor</a></div><div class="ttdeci">void forEachSuccessor(const ICFGNode *node, std::function&lt; void(const ICFGNode *)&gt; func) const override</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00055">ICFGWTO.h:55</a></div></div>
163
+ <div class="ttc" id="aWTO_8h_html"><div class="ttname"><a href="WTO_8h.html">WTO.h</a></div></div>
164
+ <div class="ttc" id="aclassSVF_1_1WTOCycle_html"><div class="ttname"><a href="classSVF_1_1WTOCycle.html">SVF::WTOCycle</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00047">WTO.h:47</a></div></div>
165
+ <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
166
+ <div class="ttc" id="anamespaceSVF_html_a9c6abc711b0dcf5831d2cf175afc2414"><div class="ttname"><a href="namespaceSVF.html#a9c6abc711b0dcf5831d2cf175afc2414">SVF::ICFGWTOCycle</a></div><div class="ttdeci">WTOCycle&lt; ICFG &gt; ICFGWTOCycle</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00045">ICFGWTO.h:45</a></div></div>
167
+ <div class="ttc" id="aclassSVF_1_1ICFGWTO_html_ae4e25014cecf1f57c8cf1800319aa98d"><div class="ttname"><a href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">SVF::ICFGWTO::Base</a></div><div class="ttdeci">WTO&lt; ICFG &gt; Base</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00050">ICFGWTO.h:50</a></div></div>
168
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
169
+ <div class="ttc" id="aclassSVF_1_1ICFGWTO_html_aebed373baddc2aa1c74b9e7aff501a2c"><div class="ttname"><a href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c">SVF::ICFGWTO::ICFGWTONode</a></div><div class="ttdeci">WTOComponentVisitor&lt; ICFG &gt;::WTONodeT ICFGWTONode</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00051">ICFGWTO.h:51</a></div></div>
170
+ <!-- start footer part -->
171
+ <hr class="footer"/><address class="footer"><small>
172
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
173
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
174
+ </a> 1.8.17
175
+ </small></address>
176
+ </body>
177
+ </html>
package/SVF-doxygen/html/MemRegion_8h.html CHANGED
@@ -73,11 +73,11 @@ $(function() {
73
73
  <div class="title">MemRegion.h File Reference</div> </div>
74
74
  </div><!--header-->
75
75
  <div class="contents">
76
- <div class="textblock"><code>#include &quot;<a class="el" href="SVFIR_8h_source.html">SVFIR/SVFIR.h</a>&quot;</code><br />
76
+ <div class="textblock"><code>#include &quot;<a class="el" href="ICFG_8h_source.html">Graphs/ICFG.h</a>&quot;</code><br />
77
77
  <code>#include &quot;<a class="el" href="PTACallGraph_8h_source.html">Graphs/PTACallGraph.h</a>&quot;</code><br />
78
- <code>#include &quot;<a class="el" href="SCC_8h_source.html">Util/SCC.h</a>&quot;</code><br />
78
+ <code>#include &quot;<a class="el" href="SCC_8h_source.html">Graphs/SCC.h</a>&quot;</code><br />
79
+ <code>#include &quot;<a class="el" href="SVFIR_8h_source.html">SVFIR/SVFIR.h</a>&quot;</code><br />
79
80
  <code>#include &quot;<a class="el" href="WorkList_8h_source.html">Util/WorkList.h</a>&quot;</code><br />
80
- <code>#include &quot;<a class="el" href="ICFG_8h_source.html">Graphs/ICFG.h</a>&quot;</code><br />
81
81
  <code>#include &lt;set&gt;</code><br />
82
82
  </div>
83
83
  <p><a href="MemRegion_8h_source.html">Go to the source code of this file.</a></p>
package/SVF-doxygen/html/MemRegion_8h_source.html CHANGED
@@ -105,11 +105,11 @@ $(function() {
105
105
  <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#ifndef MEMORYREGION_H_</span></div>
106
106
  <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#define MEMORYREGION_H_</span></div>
107
107
  <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; </div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIR_8h.html">SVFIR/SVFIR.h</a>&quot;</span></div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ICFG_8h.html">Graphs/ICFG.h</a>&quot;</span></div>
109
109
  <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTACallGraph_8h.html">Graphs/PTACallGraph.h</a>&quot;</span></div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Util/SCC.h</a>&quot;</span></div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WorkList_8h.html">Util/WorkList.h</a>&quot;</span></div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ICFG_8h.html">Graphs/ICFG.h</a>&quot;</span></div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Graphs/SCC.h</a>&quot;</span></div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIR_8h.html">SVFIR/SVFIR.h</a>&quot;</span></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WorkList_8h.html">Util/WorkList.h</a>&quot;</span></div>
113
113
  <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; </div>
114
114
  <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;<span class="preprocessor">#include &lt;set&gt;</span></div>
115
115
  <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; </div>
package/SVF-doxygen/html/PointerAnalysis_8h.html CHANGED
@@ -74,15 +74,15 @@ $(function() {
74
74
  <div class="contents">
75
75
  <div class="textblock"><code>#include &lt;unistd.h&gt;</code><br />
76
76
  <code>#include &lt;signal.h&gt;</code><br />
77
- <code>#include &quot;<a class="el" href="SVFIR_8h_source.html">SVFIR/SVFIR.h</a>&quot;</code><br />
78
- <code>#include &quot;<a class="el" href="ConditionalPT_8h_source.html">MemoryModel/ConditionalPT.h</a>&quot;</code><br />
77
+ <code>#include &quot;<a class="el" href="CHG_8h_source.html">Graphs/CHG.h</a>&quot;</code><br />
78
+ <code>#include &quot;<a class="el" href="PTACallGraph_8h_source.html">Graphs/PTACallGraph.h</a>&quot;</code><br />
79
+ <code>#include &quot;<a class="el" href="SCC_8h_source.html">Graphs/SCC.h</a>&quot;</code><br />
79
80
  <code>#include &quot;<a class="el" href="AbstractPointsToDS_8h_source.html">MemoryModel/AbstractPointsToDS.h</a>&quot;</code><br />
81
+ <code>#include &quot;<a class="el" href="ConditionalPT_8h_source.html">MemoryModel/ConditionalPT.h</a>&quot;</code><br />
80
82
  <code>#include &quot;<a class="el" href="MutablePointsToDS_8h_source.html">MemoryModel/MutablePointsToDS.h</a>&quot;</code><br />
81
83
  <code>#include &quot;<a class="el" href="PersistentPointsToDS_8h_source.html">MemoryModel/PersistentPointsToDS.h</a>&quot;</code><br />
82
- <code>#include &quot;<a class="el" href="PTACallGraph_8h_source.html">Graphs/PTACallGraph.h</a>&quot;</code><br />
83
- <code>#include &quot;<a class="el" href="CHG_8h_source.html">Graphs/CHG.h</a>&quot;</code><br />
84
- <code>#include &quot;<a class="el" href="SCC_8h_source.html">Util/SCC.h</a>&quot;</code><br />
85
84
  <code>#include &quot;<a class="el" href="PointsTo_8h_source.html">MemoryModel/PointsTo.h</a>&quot;</code><br />
85
+ <code>#include &quot;<a class="el" href="SVFIR_8h_source.html">SVFIR/SVFIR.h</a>&quot;</code><br />
86
86
  </div>
87
87
  <p><a href="PointerAnalysis_8h_source.html">Go to the source code of this file.</a></p>
88
88
  <table class="memberdecls">
package/SVF-doxygen/html/PointerAnalysis_8h_source.html CHANGED
@@ -104,15 +104,15 @@ $(function() {
104
104
  <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &lt;unistd.h&gt;</span></div>
105
105
  <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &lt;signal.h&gt;</span></div>
106
106
  <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; </div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIR_8h.html">SVFIR/SVFIR.h</a>&quot;</span></div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ConditionalPT_8h.html">MemoryModel/ConditionalPT.h</a>&quot;</span></div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="AbstractPointsToDS_8h.html">MemoryModel/AbstractPointsToDS.h</a>&quot;</span></div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MutablePointsToDS_8h.html">MemoryModel/MutablePointsToDS.h</a>&quot;</span></div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PersistentPointsToDS_8h.html">MemoryModel/PersistentPointsToDS.h</a>&quot;</span></div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTACallGraph_8h.html">Graphs/PTACallGraph.h</a>&quot;</span></div>
113
- <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CHG_8h.html">Graphs/CHG.h</a>&quot;</span></div>
114
- <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Util/SCC.h</a>&quot;</span></div>
115
- <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PointsTo_8h.html">MemoryModel/PointsTo.h</a>&quot;</span></div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CHG_8h.html">Graphs/CHG.h</a>&quot;</span></div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTACallGraph_8h.html">Graphs/PTACallGraph.h</a>&quot;</span></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Graphs/SCC.h</a>&quot;</span></div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="AbstractPointsToDS_8h.html">MemoryModel/AbstractPointsToDS.h</a>&quot;</span></div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ConditionalPT_8h.html">MemoryModel/ConditionalPT.h</a>&quot;</span></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MutablePointsToDS_8h.html">MemoryModel/MutablePointsToDS.h</a>&quot;</span></div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PersistentPointsToDS_8h.html">MemoryModel/PersistentPointsToDS.h</a>&quot;</span></div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PointsTo_8h.html">MemoryModel/PointsTo.h</a>&quot;</span></div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIR_8h.html">SVFIR/SVFIR.h</a>&quot;</span></div>
116
116
  <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
117
117
  <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
118
118
  <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;{</div>
package/SVF-doxygen/html/SCC_8h.html CHANGED
@@ -5,7 +5,7 @@
5
5
  <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
6
  <meta name="generator" content="Doxygen 1.8.17"/>
7
7
  <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
- <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/Util/SCC.h File Reference</title>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/Graphs/SCC.h File Reference</title>
9
9
  <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
10
  <script type="text/javascript" src="jquery.js"></script>
11
11
  <script type="text/javascript" src="dynsections.js"></script>
@@ -61,7 +61,7 @@ $(function() {
61
61
 
62
62
  <div id="nav-path" class="navpath">
63
63
  <ul>
64
- <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_445b24f35a8ddd2effd3d23ee1278e0a.html">Util</a></li> </ul>
64
+ <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_fc0329f850c815763e0c5b05933e8d55.html">Graphs</a></li> </ul>
65
65
  </div>
66
66
  </div><!-- top -->
67
67
  <div class="header">
package/SVF-doxygen/html/SCC_8h_source.html CHANGED
@@ -5,7 +5,7 @@
5
5
  <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
6
  <meta name="generator" content="Doxygen 1.8.17"/>
7
7
  <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
- <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/Util/SCC.h Source File</title>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/Graphs/SCC.h Source File</title>
9
9
  <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
10
  <script type="text/javascript" src="jquery.js"></script>
11
11
  <script type="text/javascript" src="dynsections.js"></script>
@@ -61,7 +61,7 @@ $(function() {
61
61
 
62
62
  <div id="nav-path" class="navpath">
63
63
  <ul>
64
- <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_445b24f35a8ddd2effd3d23ee1278e0a.html">Util</a></li> </ul>
64
+ <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_fc0329f850c815763e0c5b05933e8d55.html">Graphs</a></li> </ul>
65
65
  </div>
66
66
  </div><!-- top -->
67
67
  <div class="header">
package/SVF-doxygen/html/SVFGStat_8h.html CHANGED
@@ -73,8 +73,8 @@ $(function() {
73
73
  </div><!--header-->
74
74
  <div class="contents">
75
75
  <div class="textblock"><code>#include &quot;<a class="el" href="SVFG_8h_source.html">Graphs/SVFG.h</a>&quot;</code><br />
76
+ <code>#include &quot;<a class="el" href="SCC_8h_source.html">SCC.h</a>&quot;</code><br />
76
77
  <code>#include &quot;<a class="el" href="PTAStat_8h_source.html">Util/PTAStat.h</a>&quot;</code><br />
77
- <code>#include &quot;<a class="el" href="SCC_8h_source.html">Util/SCC.h</a>&quot;</code><br />
78
78
  </div>
79
79
  <p><a href="SVFGStat_8h_source.html">Go to the source code of this file.</a></p>
80
80
  <table class="memberdecls">
package/SVF-doxygen/html/SVFGStat_8h_source.html CHANGED
@@ -108,8 +108,8 @@ $(function() {
108
108
  <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#define SVFGSTAT_H_</span></div>
109
109
  <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; </div>
110
110
  <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFG_8h.html">Graphs/SVFG.h</a>&quot;</span></div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Util/SCC.h</a>&quot;</span></div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">SCC.h</a>&quot;</span></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div>
113
113
  <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; </div>
114
114
  <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
115
115
  <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;{</div>
package/SVF-doxygen/html/TCT_8h.html CHANGED
@@ -73,10 +73,10 @@ $(function() {
73
73
  <div class="title">TCT.h File Reference</div> </div>
74
74
  </div><!--header-->
75
75
  <div class="contents">
76
- <div class="textblock"><code>#include &quot;<a class="el" href="SCC_8h_source.html">Util/SCC.h</a>&quot;</code><br />
77
- <code>#include &quot;<a class="el" href="SVFUtil_8h_source.html">Util/SVFUtil.h</a>&quot;</code><br />
76
+ <div class="textblock"><code>#include &quot;<a class="el" href="SCC_8h_source.html">Graphs/SCC.h</a>&quot;</code><br />
78
77
  <code>#include &quot;<a class="el" href="ThreadCallGraph_8h_source.html">Graphs/ThreadCallGraph.h</a>&quot;</code><br />
79
78
  <code>#include &quot;<a class="el" href="CxtStmt_8h_source.html">Util/CxtStmt.h</a>&quot;</code><br />
79
+ <code>#include &quot;<a class="el" href="SVFUtil_8h_source.html">Util/SVFUtil.h</a>&quot;</code><br />
80
80
  <code>#include &lt;set&gt;</code><br />
81
81
  <code>#include &lt;vector&gt;</code><br />
82
82
  </div>
package/SVF-doxygen/html/TCT_8h_source.html CHANGED
@@ -101,10 +101,10 @@ $(function() {
101
101
  <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef TCTNodeDetector_H_</span></div>
102
102
  <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define TCTNodeDetector_H_</span></div>
103
103
  <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
- <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Util/SCC.h</a>&quot;</span></div>
105
- <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFUtil_8h.html">Util/SVFUtil.h</a>&quot;</span></div>
106
- <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ThreadCallGraph_8h.html">Graphs/ThreadCallGraph.h</a>&quot;</span></div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CxtStmt_8h.html">Util/CxtStmt.h</a>&quot;</span></div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SCC_8h.html">Graphs/SCC.h</a>&quot;</span></div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ThreadCallGraph_8h.html">Graphs/ThreadCallGraph.h</a>&quot;</span></div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CxtStmt_8h.html">Util/CxtStmt.h</a>&quot;</span></div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFUtil_8h.html">Util/SVFUtil.h</a>&quot;</span></div>
108
108
  <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &lt;set&gt;</span></div>
109
109
  <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &lt;vector&gt;</span></div>
110
110
  <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; </div>