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/CFBasicBlockGWTO_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/CFBasicBlockGWTO.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">CFBasicBlockGWTO.h File Reference</div> </div>
74
+ </div><!--header-->
75
+ <div class="contents">
76
+ <div class="textblock"><code>#include &quot;<a class="el" href="CFBasicBlockG_8h_source.html">Graphs/CFBasicBlockG.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="CFBasicBlockGWTO_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_1CFBasicBlockGWTO.html">SVF::CFBasicBlockGWTO</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:a0e36ea3a4b11e6030ea35d1a51306a57"><td class="memItemLeft" align="right" valign="top">typedef WTOComponent&lt; CFBasicBlockGraph &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a0e36ea3a4b11e6030ea35d1a51306a57">SVF::CFBasicBlockGWTOComp</a></td></tr>
95
+ <tr class="separator:a0e36ea3a4b11e6030ea35d1a51306a57"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:a37309e8f4cdce334b66b933b26d4b1b0"><td class="memItemLeft" align="right" valign="top">typedef WTONode&lt; CFBasicBlockGraph &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a37309e8f4cdce334b66b933b26d4b1b0">SVF::CFBasicBlockGWTONode</a></td></tr>
97
+ <tr class="separator:a37309e8f4cdce334b66b933b26d4b1b0"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ <tr class="memitem:a5ddc46fb7b3bba87aad4c58c87487b5e"><td class="memItemLeft" align="right" valign="top">typedef WTOCycle&lt; CFBasicBlockGraph &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5ddc46fb7b3bba87aad4c58c87487b5e">SVF::CFBasicBlockGWTOCycle</a></td></tr>
99
+ <tr class="separator:a5ddc46fb7b3bba87aad4c58c87487b5e"><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/CFBasicBlockGWTO_8h_source.html ADDED
@@ -0,0 +1,185 @@
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/CFBasicBlockGWTO.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">CFBasicBlockGWTO.h</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+ <a href="CFBasicBlockGWTO_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">//===- CFBasicBlockGWTO.h -- WTO for CFBasicBlockGraph----------------------//</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"> * CFBasicBlockGWTO.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_CFBASICBLOCKGWTO_H</span></div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#define SVF_CFBASICBLOCKGWTO_H</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="CFBasicBlockG_8h.html">Graphs/CFBasicBlockG.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="WTO_8h.html">Graphs/WTO.h</a>&quot;</span></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; </div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;{</div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0e36ea3a4b11e6030ea35d1a51306a57"> 41</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTOComponent.html">WTOComponent&lt;CFBasicBlockGraph&gt;</a> <a class="code" href="namespaceSVF.html#a0e36ea3a4b11e6030ea35d1a51306a57">CFBasicBlockGWTOComp</a>;</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a37309e8f4cdce334b66b933b26d4b1b0"> 42</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTONode.html">WTONode&lt;CFBasicBlockGraph&gt;</a> <a class="code" href="namespaceSVF.html#a37309e8f4cdce334b66b933b26d4b1b0">CFBasicBlockGWTONode</a>;</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ddc46fb7b3bba87aad4c58c87487b5e"> 43</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTOCycle.html">WTOCycle&lt;CFBasicBlockGraph&gt;</a> <a class="code" href="namespaceSVF.html#a5ddc46fb7b3bba87aad4c58c87487b5e">CFBasicBlockGWTOCycle</a>;</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; </div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGWTO.html"> 45</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1WTO.html">WTO</a>&lt;CFBasicBlockGraph&gt;</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"> 47</span>&#160;<span class="keyword">public</span>:</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca"> 48</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTO.html">WTO&lt;CFBasicBlockGraph&gt;</a> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">Base</a>;</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1WTONode.html">WTOComponentVisitor&lt;CFBasicBlockGraph&gt;::WTONodeT</a></div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGWTO.html#ad35362561a58036a5bed5184908adc03"> 50</a></span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad35362561a58036a5bed5184908adc03">CFBasicBlockGWTONode</a>;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; </div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGWTO.html#aaf6d07ea25bb4e84fe63e2053331782b"> 52</a></span>&#160; <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#aaf6d07ea25bb4e84fe63e2053331782b">CFBasicBlockGWTO</a>(<a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>* graph,</div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* node)</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; : <a class="code" href="classSVF_1_1WTO.html">Base</a>(graph, node)</div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; {</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; }</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; </div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGWTO.html#adebaf71337c65c3072a7364cbd660761"> 58</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#adebaf71337c65c3072a7364cbd660761">forEachSuccessor</a>(</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* node,</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; std::function&lt;<span class="keywordtype">void</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>*)&gt; func)<span class="keyword"> const override</span></div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160;<span class="keyword"> </span>{</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span>* callNode =</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#afdad57a83c392a8b14b838ecb58f9ff7">getICFGNodes</a>().front()))</div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; {</div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* succ = <a class="code" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; callNode-&gt;getRetICFGNode()-&gt;getId());</div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; func(succ);</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; }</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keywordflow">else</span></div>
141
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; {</div>
142
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</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_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">getOutEdges</a>())</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; <span class="keywordflow">if</span> (e-&gt;getICFGEdge() &amp;&amp;</div>
145
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; (!e-&gt;getICFGEdge()-&gt;isIntraCFGEdge() ||</div>
146
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; node-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#ad8afed175964dc0b90f98dbf68fdf1c8">getFunction</a>() != e-&gt;getDstNode()-&gt;getFunction()))</div>
147
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordflow">continue</span>;</div>
148
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; func(e-&gt;getDstNode());</div>
149
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; }</div>
150
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; }</div>
151
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; }</div>
152
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160;};</div>
153
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160;} <span class="comment">// namespace SVF</span></div>
154
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160;<span class="preprocessor">#endif // SVF_CFBASICBLOCKGWTO_H</span></div>
155
+ </div><!-- fragment --></div><!-- contents -->
156
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a48c0b6643c481afb15d4c4f89d00eecb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">SVF::CFBasicBlockNode::getOutEdges</a></div><div class="ttdeci">const CFBBEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00188">CFBasicBlockG.h:188</a></div></div>
157
+ <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>
158
+ <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>
159
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a78a298146b9c8c3af09ac9744b9043ca"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">SVF::CFBasicBlockGWTO::Base</a></div><div class="ttdeci">WTO&lt; CFBasicBlockGraph &gt; Base</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00048">CFBasicBlockGWTO.h:48</a></div></div>
160
+ <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>
161
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_adebaf71337c65c3072a7364cbd660761"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#adebaf71337c65c3072a7364cbd660761">SVF::CFBasicBlockGWTO::forEachSuccessor</a></div><div class="ttdeci">void forEachSuccessor(const CFBasicBlockNode *node, std::function&lt; void(const CFBasicBlockNode *)&gt; func) const override</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00058">CFBasicBlockGWTO.h:58</a></div></div>
162
+ <div class="ttc" id="aCFBasicBlockG_8h_html"><div class="ttname"><a href="CFBasicBlockG_8h.html">CFBasicBlockG.h</a></div></div>
163
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00368">CFBasicBlockG.h:368</a></div></div>
164
+ <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>
165
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_afdad57a83c392a8b14b838ecb58f9ff7"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#afdad57a83c392a8b14b838ecb58f9ff7">SVF::CFBasicBlockNode::getICFGNodes</a></div><div class="ttdeci">const std::vector&lt; const ICFGNode * &gt; &amp; getICFGNodes() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00147">CFBasicBlockG.h:147</a></div></div>
166
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_ad8afed175964dc0b90f98dbf68fdf1c8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#ad8afed175964dc0b90f98dbf68fdf1c8">SVF::CFBasicBlockNode::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00152">CFBasicBlockG.h:152</a></div></div>
167
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html">SVF::CFBasicBlockGWTO</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00045">CFBasicBlockGWTO.h:45</a></div></div>
168
+ <div class="ttc" id="aWTO_8h_html"><div class="ttname"><a href="WTO_8h.html">WTO.h</a></div></div>
169
+ <div class="ttc" id="anamespaceSVF_html_a5ddc46fb7b3bba87aad4c58c87487b5e"><div class="ttname"><a href="namespaceSVF.html#a5ddc46fb7b3bba87aad4c58c87487b5e">SVF::CFBasicBlockGWTOCycle</a></div><div class="ttdeci">WTOCycle&lt; CFBasicBlockGraph &gt; CFBasicBlockGWTOCycle</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00043">CFBasicBlockGWTO.h:43</a></div></div>
170
+ <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>
171
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html">SVF::CFBasicBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00114">CFBasicBlockG.h:114</a></div></div>
172
+ <div class="ttc" id="aclassSVF_1_1WTO_html_ae8e57cc333199bc8b5aaff0a825eed47"><div class="ttname"><a href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">SVF::WTO&lt; CFBasicBlockGraph &gt;::_graph</a></div><div class="ttdeci">CFBasicBlockGraph * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00550">WTO.h:550</a></div></div>
173
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad35362561a58036a5bed5184908adc03"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad35362561a58036a5bed5184908adc03">SVF::CFBasicBlockGWTO::CFBasicBlockGWTONode</a></div><div class="ttdeci">WTOComponentVisitor&lt; CFBasicBlockGraph &gt;::WTONodeT CFBasicBlockGWTONode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00050">CFBasicBlockGWTO.h:50</a></div></div>
174
+ <div class="ttc" id="anamespaceSVF_html_a0e36ea3a4b11e6030ea35d1a51306a57"><div class="ttname"><a href="namespaceSVF.html#a0e36ea3a4b11e6030ea35d1a51306a57">SVF::CFBasicBlockGWTOComp</a></div><div class="ttdeci">WTOComponent&lt; CFBasicBlockGraph &gt; CFBasicBlockGWTOComp</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00041">CFBasicBlockGWTO.h:41</a></div></div>
175
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00350">CFBasicBlockG.h:350</a></div></div>
176
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_aaf6d07ea25bb4e84fe63e2053331782b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#aaf6d07ea25bb4e84fe63e2053331782b">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO</a></div><div class="ttdeci">CFBasicBlockGWTO(CFBasicBlockGraph *graph, const CFBasicBlockNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00052">CFBasicBlockGWTO.h:52</a></div></div>
177
+ <div class="ttc" id="anamespaceSVF_html_a37309e8f4cdce334b66b933b26d4b1b0"><div class="ttname"><a href="namespaceSVF.html#a37309e8f4cdce334b66b933b26d4b1b0">SVF::CFBasicBlockGWTONode</a></div><div class="ttdeci">WTONode&lt; CFBasicBlockGraph &gt; CFBasicBlockGWTONode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00042">CFBasicBlockGWTO.h:42</a></div></div>
178
+ <!-- start footer part -->
179
+ <hr class="footer"/><address class="footer"><small>
180
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
181
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
182
+ </a> 1.8.17
183
+ </small></address>
184
+ </body>
185
+ </html>
package/SVF-doxygen/html/CSC_8h.html CHANGED
@@ -73,13 +73,13 @@ $(function() {
73
73
  <div class="title">CSC.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 />
76
+ <div class="textblock"><code>#include &quot;<a class="el" href="ConsG_8h_source.html">Graphs/ConsG.h</a>&quot;</code><br />
77
+ <code>#include &quot;<a class="el" href="SCC_8h_source.html">Graphs/SCC.h</a>&quot;</code><br />
77
78
  <code>#include &quot;<a class="el" href="SVFValue_8h_source.html">SVFIR/SVFValue.h</a>&quot;</code><br />
78
- <code>#include &quot;<a class="el" href="ConsG_8h_source.html">Graphs/ConsG.h</a>&quot;</code><br />
79
79
  <code>#include &quot;<a class="el" href="WorkList_8h_source.html">Util/WorkList.h</a>&quot;</code><br />
80
80
  <code>#include &lt;limits.h&gt;</code><br />
81
- <code>#include &lt;stack&gt;</code><br />
82
81
  <code>#include &lt;map&gt;</code><br />
82
+ <code>#include &lt;stack&gt;</code><br />
83
83
  </div>
84
84
  <p><a href="CSC_8h_source.html">Go to the source code of this file.</a></p>
85
85
  <table class="memberdecls">
package/SVF-doxygen/html/CSC_8h_source.html CHANGED
@@ -101,13 +101,13 @@ $(function() {
101
101
  <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef PROJECT_CSC_H</span></div>
102
102
  <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define PROJECT_CSC_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="SVFValue_8h.html">SVFIR/SVFValue.h</a>&quot;</span> <span class="comment">// for NodeBS</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="ConsG_8h.html">Graphs/ConsG.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="ConsG_8h.html">Graphs/ConsG.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="SCC_8h.html">Graphs/SCC.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="SVFValue_8h.html">SVFIR/SVFValue.h</a>&quot;</span> <span class="comment">// for NodeBS</span></div>
107
107
  <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WorkList_8h.html">Util/WorkList.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;limits.h&gt;</span></div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &lt;stack&gt;</span></div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &lt;map&gt;</span></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &lt;map&gt;</span></div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &lt;stack&gt;</span></div>
111
111
  <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
112
112
  <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
113
113
  <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
package/SVF-doxygen/html/ConsGNode_8h_source.html CHANGED
@@ -446,15 +446,15 @@ $(function() {
446
446
  </div><!-- fragment --></div><!-- contents -->
447
447
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ac40ecefd565e029748fdacbc44c4cd54"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">SVF::ConstraintNode::baseIds</a></div><div class="ttdeci">NodeBS baseIds</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00072">ConsGNode.h:72</a></div></div>
448
448
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a2d0e87fa3174562c97b519b2b144d8ea"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea">SVF::ConstraintNode::removeIncomingStoreEdge</a></div><div class="ttdeci">bool removeIncomingStoreEdge(StoreCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00376">ConsGNode.h:376</a></div></div>
449
- <div class="ttc" id="aclassSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00294">GenericGraph.h:294</a></div></div>
450
- <div class="ttc" id="aclassSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00302">GenericGraph.h:302</a></div></div>
449
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00294">GenericGraph.h:294</a></div></div>
450
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00302">GenericGraph.h:302</a></div></div>
451
451
  <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_ad155e1ed2473cc4f5f57128d282ac541"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">SVF::ConstraintEdge::ConstraintEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::GEdgeSetTy ConstraintEdgeSetTy</div><div class="ttdoc">Constraint edge type.</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00085">ConsGEdge.h:85</a></div></div>
452
452
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_aed4e0b2ede72717491747158c2e2702f"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode::directInEdgeEnd</a></div><div class="ttdeci">iterator directInEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00678">ConsG.cpp:678</a></div></div>
453
453
  <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>
454
454
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a9d1bb95ad5549d7e6030fe07f8e070a2"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">SVF::ConstraintNode::addIncomingLoadEdge</a></div><div class="ttdeci">void addIncomingLoadEdge(LoadCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00252">ConsGNode.h:252</a></div></div>
455
- <div class="ttc" id="aclassSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00290">GenericGraph.h:290</a></div></div>
455
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00290">GenericGraph.h:290</a></div></div>
456
456
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a2395948518a1befb7a3762bbad6adf9f"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">SVF::ConstraintNode::addOutgoingCopyEdge</a></div><div class="ttdeci">void addOutgoingCopyEdge(CopyCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00237">ConsGNode.h:237</a></div></div>
457
- <div class="ttc" id="aclassSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00309">GenericGraph.h:309</a></div></div>
457
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00309">GenericGraph.h:309</a></div></div>
458
458
  <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>
459
459
  <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">SVF::ConstraintEdge::NormalGep</a></div><div class="ttdeci">@ NormalGep</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
460
460
  <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_affb426040b05678fcbce62002a02bb06"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">SVF::ConstraintNode::directOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directOutEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00058">ConsGNode.h:58</a></div></div>
package/SVF-doxygen/html/DDAPass_8h.html CHANGED
@@ -72,9 +72,9 @@ $(function() {
72
72
  <div class="title">DDAPass.h File Reference</div> </div>
73
73
  </div><!--header-->
74
74
  <div class="contents">
75
- <div class="textblock"><code>#include &quot;<a class="el" href="PointerAnalysisImpl_8h_source.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</code><br />
76
- <code>#include &quot;<a class="el" href="DDAClient_8h_source.html">DDA/DDAClient.h</a>&quot;</code><br />
77
- <code>#include &quot;<a class="el" href="SCC_8h_source.html">Util/SCC.h</a>&quot;</code><br />
75
+ <div class="textblock"><code>#include &quot;<a class="el" href="DDAClient_8h_source.html">DDA/DDAClient.h</a>&quot;</code><br />
76
+ <code>#include &quot;<a class="el" href="SCC_8h_source.html">Graphs/SCC.h</a>&quot;</code><br />
77
+ <code>#include &quot;<a class="el" href="PointerAnalysisImpl_8h_source.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</code><br />
78
78
  </div>
79
79
  <p><a href="DDAPass_8h_source.html">Go to the source code of this file.</a></p>
80
80
  <table class="memberdecls">
package/SVF-doxygen/html/DDAPass_8h_source.html CHANGED
@@ -103,9 +103,9 @@ $(function() {
103
103
  <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;<span class="preprocessor">#ifndef DDAPASS_H_</span></div>
104
104
  <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#define DDAPASS_H_</span></div>
105
105
  <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160; </div>
106
- <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.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="DDAClient_8h.html">DDA/DDAClient.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="SCC_8h.html">Util/SCC.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="DDAClient_8h.html">DDA/DDAClient.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="SCC_8h.html">Graphs/SCC.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="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
111
111
  <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;{</div>
package/SVF-doxygen/html/DDAVFSolver_8h.html CHANGED
@@ -73,10 +73,10 @@ $(function() {
73
73
  </div><!--header-->
74
74
  <div class="contents">
75
75
  <div class="textblock"><code>#include &quot;<a class="el" href="DDAStat_8h_source.html">DDA/DDAStat.h</a>&quot;</code><br />
76
+ <code>#include &quot;<a class="el" href="SCC_8h_source.html">Graphs/SCC.h</a>&quot;</code><br />
76
77
  <code>#include &quot;<a class="el" href="SVFGBuilder_8h_source.html">MSSA/SVFGBuilder.h</a>&quot;</code><br />
77
- <code>#include &quot;<a class="el" href="Andersen_8h_source.html">WPA/Andersen.h</a>&quot;</code><br />
78
- <code>#include &quot;<a class="el" href="SCC_8h_source.html">Util/SCC.h</a>&quot;</code><br />
79
78
  <code>#include &quot;<a class="el" href="PointsTo_8h_source.html">MemoryModel/PointsTo.h</a>&quot;</code><br />
79
+ <code>#include &quot;<a class="el" href="Andersen_8h_source.html">WPA/Andersen.h</a>&quot;</code><br />
80
80
  <code>#include &lt;algorithm&gt;</code><br />
81
81
  </div>
82
82
  <p><a href="DDAVFSolver_8h_source.html">Go to the source code of this file.</a></p>
package/SVF-doxygen/html/DDAVFSolver_8h_source.html CHANGED
@@ -102,10 +102,10 @@ $(function() {
102
102
  <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define VALUEFLOWDDA_H_</span></div>
103
103
  <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
104
  <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DDAStat_8h.html">DDA/DDAStat.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="SVFGBuilder_8h.html">MSSA/SVFGBuilder.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="Andersen_8h.html">WPA/Andersen.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="SCC_8h.html">Util/SCC.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="PointsTo_8h.html">MemoryModel/PointsTo.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="SCC_8h.html">Graphs/SCC.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="SVFGBuilder_8h.html">MSSA/SVFGBuilder.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="PointsTo_8h.html">MemoryModel/PointsTo.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="Andersen_8h.html">WPA/Andersen.h</a>&quot;</span></div>
109
109
  <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &lt;algorithm&gt;</span></div>
110
110
  <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; </div>
111
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>