svf-tools 1.0.781 → 1.0.783

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 (315) hide show
  1. package/SVF-doxygen/html/html/CDG_8h.html +2 -2
  2. package/SVF-doxygen/html/html/CDG_8h_source.html +2 -2
  3. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +152 -90
  4. package/SVF-doxygen/html/html/CFBasicBlockG_8h.html +3 -1
  5. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +601 -260
  6. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +4 -4
  7. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +50 -50
  8. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +180 -181
  9. package/SVF-doxygen/html/html/ExtAPI_8h.html +6 -6
  10. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +13 -13
  11. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  15. package/SVF-doxygen/html/html/WTO_8h_source.html +6 -6
  16. package/SVF-doxygen/html/html/annotated.html +325 -333
  17. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge-members.html +19 -12
  18. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge.html +219 -30
  19. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -3
  20. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder.html +147 -39
  21. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  22. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -28
  24. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph.html +382 -184
  25. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode-members.html +51 -41
  26. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1244 -159
  27. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +34 -34
  28. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +65 -25
  29. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +107 -107
  31. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +4 -5
  32. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  33. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +3 -4
  34. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.png +0 -0
  35. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +10 -10
  36. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  37. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  38. package/SVF-doxygen/html/html/classes.html +266 -276
  39. package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html +0 -2
  40. package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html +0 -2
  41. package/SVF-doxygen/html/html/files.html +19 -21
  42. package/SVF-doxygen/html/html/functions.html +2 -33
  43. package/SVF-doxygen/html/html/functions_a.html +14 -16
  44. package/SVF-doxygen/html/html/functions_b.html +8 -9
  45. package/SVF-doxygen/html/html/functions_c.html +34 -31
  46. package/SVF-doxygen/html/html/functions_d.html +11 -13
  47. package/SVF-doxygen/html/html/functions_e.html +1 -1
  48. package/SVF-doxygen/html/html/functions_func.html +16 -18
  49. package/SVF-doxygen/html/html/functions_func_b.html +2 -3
  50. package/SVF-doxygen/html/html/functions_func_c.html +31 -31
  51. package/SVF-doxygen/html/html/functions_func_d.html +10 -12
  52. package/SVF-doxygen/html/html/functions_func_g.html +22 -59
  53. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  54. package/SVF-doxygen/html/html/functions_func_i.html +13 -26
  55. package/SVF-doxygen/html/html/functions_func_o.html +9 -9
  56. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  57. package/SVF-doxygen/html/html/functions_func_r.html +15 -15
  58. package/SVF-doxygen/html/html/functions_func_s.html +20 -29
  59. package/SVF-doxygen/html/html/functions_func_t.html +0 -2
  60. package/SVF-doxygen/html/html/functions_func_v.html +2 -3
  61. package/SVF-doxygen/html/html/functions_func_~.html +0 -12
  62. package/SVF-doxygen/html/html/functions_g.html +23 -60
  63. package/SVF-doxygen/html/html/functions_h.html +9 -12
  64. package/SVF-doxygen/html/html/functions_i.html +16 -44
  65. package/SVF-doxygen/html/html/functions_n.html +6 -8
  66. package/SVF-doxygen/html/html/functions_o.html +23 -27
  67. package/SVF-doxygen/html/html/functions_p.html +8 -12
  68. package/SVF-doxygen/html/html/functions_r.html +17 -17
  69. package/SVF-doxygen/html/html/functions_s.html +16 -33
  70. package/SVF-doxygen/html/html/functions_t.html +5 -7
  71. package/SVF-doxygen/html/html/functions_type_c.html +6 -3
  72. package/SVF-doxygen/html/html/functions_type_e.html +1 -1
  73. package/SVF-doxygen/html/html/functions_type_i.html +3 -18
  74. package/SVF-doxygen/html/html/functions_type_n.html +0 -2
  75. package/SVF-doxygen/html/html/functions_type_s.html +0 -6
  76. package/SVF-doxygen/html/html/functions_v.html +4 -5
  77. package/SVF-doxygen/html/html/functions_vars.html +2 -33
  78. package/SVF-doxygen/html/html/functions_vars_i.html +2 -2
  79. package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
  80. package/SVF-doxygen/html/html/functions_w.html +8 -8
  81. package/SVF-doxygen/html/html/functions_~.html +0 -12
  82. package/SVF-doxygen/html/html/globals_d.html +2 -2
  83. package/SVF-doxygen/html/html/globals_defs.html +2 -2
  84. package/SVF-doxygen/html/html/hierarchy.html +458 -469
  85. package/SVF-doxygen/html/html/namespaceSVF.html +7 -78
  86. package/SVF-doxygen/html/html/namespacemembers_g.html +3 -12
  87. package/SVF-doxygen/html/html/namespacemembers_n.html +1 -1
  88. package/SVF-doxygen/html/html/namespacemembers_type_g.html +0 -9
  89. package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
  90. package/SVF-doxygen/html/html/search/all_0.js +137 -147
  91. package/SVF-doxygen/html/html/search/all_1.js +484 -485
  92. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  93. package/SVF-doxygen/html/html/search/all_11.js +224 -224
  94. package/SVF-doxygen/html/html/search/all_12.js +541 -546
  95. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  96. package/SVF-doxygen/html/html/search/all_14.js +67 -67
  97. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  98. package/SVF-doxygen/html/html/search/all_16.js +63 -63
  99. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  100. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  101. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  102. package/SVF-doxygen/html/html/search/all_1a.js +172 -176
  103. package/SVF-doxygen/html/html/search/all_2.js +167 -167
  104. package/SVF-doxygen/html/html/search/all_3.js +640 -639
  105. package/SVF-doxygen/html/html/search/all_4.js +233 -234
  106. package/SVF-doxygen/html/html/search/all_5.js +121 -120
  107. package/SVF-doxygen/html/html/search/all_6.js +225 -225
  108. package/SVF-doxygen/html/html/search/all_7.js +1037 -1056
  109. package/SVF-doxygen/html/html/search/all_8.js +194 -195
  110. package/SVF-doxygen/html/html/search/all_9.js +607 -617
  111. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  112. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  113. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  114. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  115. package/SVF-doxygen/html/html/search/all_e.js +207 -207
  116. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  117. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  118. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  119. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  120. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  121. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  122. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  123. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  124. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  125. package/SVF-doxygen/html/html/search/classes_2.js +80 -80
  126. package/SVF-doxygen/html/html/search/classes_3.js +37 -38
  127. package/SVF-doxygen/html/html/search/classes_4.js +9 -9
  128. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  129. package/SVF-doxygen/html/html/search/classes_6.js +104 -110
  130. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  131. package/SVF-doxygen/html/html/search/classes_8.js +56 -60
  132. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  133. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  134. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  135. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  136. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  137. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  138. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  139. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  140. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  141. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  142. package/SVF-doxygen/html/html/search/defines_3.js +21 -21
  143. package/SVF-doxygen/html/html/search/defines_4.js +2 -2
  144. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  145. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  146. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  147. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  148. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  149. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  150. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  151. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  152. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  153. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  154. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  155. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  156. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  157. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  158. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  159. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  160. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  161. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  162. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  163. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  164. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  165. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  166. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  167. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  168. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  169. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  170. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  171. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  172. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  173. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  174. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  175. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  176. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  177. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  178. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  179. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  180. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  181. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  182. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  183. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  184. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  185. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  186. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  187. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  188. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  189. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  190. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  191. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  192. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  193. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  194. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  195. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  196. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  197. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  198. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  199. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  200. package/SVF-doxygen/html/html/search/files_2.js +53 -53
  201. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  202. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  203. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  204. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  205. package/SVF-doxygen/html/html/search/files_7.js +14 -16
  206. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  207. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  208. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  209. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  210. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  211. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  212. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  213. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  214. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  215. package/SVF-doxygen/html/html/search/functions_1.js +356 -357
  216. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  217. package/SVF-doxygen/html/html/search/functions_11.js +138 -138
  218. package/SVF-doxygen/html/html/search/functions_12.js +276 -279
  219. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  220. package/SVF-doxygen/html/html/search/functions_14.js +39 -39
  221. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  222. package/SVF-doxygen/html/html/search/functions_16.js +32 -32
  223. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  224. package/SVF-doxygen/html/html/search/functions_18.js +172 -176
  225. package/SVF-doxygen/html/html/search/functions_2.js +86 -86
  226. package/SVF-doxygen/html/html/search/functions_3.js +257 -257
  227. package/SVF-doxygen/html/html/search/functions_4.js +75 -75
  228. package/SVF-doxygen/html/html/search/functions_5.js +53 -53
  229. package/SVF-doxygen/html/html/search/functions_6.js +59 -59
  230. package/SVF-doxygen/html/html/search/functions_7.js +848 -858
  231. package/SVF-doxygen/html/html/search/functions_8.js +146 -147
  232. package/SVF-doxygen/html/html/search/functions_9.js +425 -429
  233. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  234. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  235. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  236. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  237. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  238. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  239. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  240. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  241. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  242. package/SVF-doxygen/html/html/search/related_1.js +2 -2
  243. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  244. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  245. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  246. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  247. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  248. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  249. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  250. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  251. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  252. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  253. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  254. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  255. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  256. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  257. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  258. package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
  259. package/SVF-doxygen/html/html/search/typedefs_10.js +61 -63
  260. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  261. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  262. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  263. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  264. package/SVF-doxygen/html/html/search/typedefs_2.js +129 -128
  265. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  266. package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
  267. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  268. package/SVF-doxygen/html/html/search/typedefs_6.js +55 -58
  269. package/SVF-doxygen/html/html/search/typedefs_7.js +42 -46
  270. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  271. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  272. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  273. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  274. package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
  275. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  276. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  277. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  278. package/SVF-doxygen/html/html/search/variables_0.js +152 -162
  279. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  280. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  281. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  282. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  283. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  284. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  285. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  286. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  287. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  288. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  289. package/SVF-doxygen/html/html/search/variables_2.js +37 -37
  290. package/SVF-doxygen/html/html/search/variables_3.js +142 -142
  291. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  292. package/SVF-doxygen/html/html/search/variables_5.js +39 -39
  293. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  294. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  295. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  296. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  297. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  298. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  299. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  300. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  301. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  302. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  303. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge-members.html +84 -0
  304. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html +144 -0
  305. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  306. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  307. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  308. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  309. package/package.json +1 -1
  310. package/svf/include/Graphs/CFBasicBlockG.h +342 -32
  311. package/svf/include/Util/ExtAPI.h +2 -2
  312. package/svf/lib/Graphs/CFBasicBlockG.cpp +97 -36
  313. package/svf/lib/Util/ExtAPI.cpp +14 -15
  314. package/svf/include/Graphs/ICFGWrapper.h +0 -728
  315. package/svf/lib/Graphs/ICFGWrapper.cpp +0 -97
package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge-members.html CHANGED
@@ -72,12 +72,16 @@ $(function() {
72
72
 
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a>, including all inherited members.</p>
74
74
  <table class="directory">
75
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">CFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
76
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">edgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
79
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
75
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">CFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst, const ICFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">CFBBEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">edgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
83
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
81
85
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
82
86
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
83
87
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -85,14 +89,17 @@ $(function() {
85
89
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
90
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
91
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
90
96
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
91
97
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">operator&lt;&lt;</a>(std::ostream &amp;o, const CFBasicBlockEdge &amp;edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
98
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">operator==</a>(const CFBasicBlockEdge *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
96
103
  </table></div><!-- contents -->
97
104
  <!-- start footer part -->
98
105
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge.html CHANGED
@@ -66,7 +66,10 @@ $(function() {
66
66
  </div><!-- top -->
67
67
  <div class="header">
68
68
  <div class="summary">
69
+ <a href="#nested-classes">Classes</a> &#124;
70
+ <a href="#pub-types">Public Types</a> &#124;
69
71
  <a href="#pub-methods">Public Member Functions</a> &#124;
72
+ <a href="#pri-attribs">Private Attributes</a> &#124;
70
73
  <a href="#friends">Friends</a> &#124;
71
74
  <a href="classSVF_1_1CFBasicBlockEdge-members.html">List of all members</a> </div>
72
75
  <div class="headertitle">
@@ -85,12 +88,44 @@ Inheritance diagram for SVF::CFBasicBlockEdge:</div>
85
88
  </map>
86
89
  </div></div>
87
90
  <table class="memberdecls">
91
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
92
+ Classes</h2></td></tr>
93
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">equalCFBBEdge</a></td></tr>
94
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
+ </table><table class="memberdecls">
96
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
97
+ Public Types</h2></td></tr>
98
+ <tr class="memitem:a0bb3c8008c17e12ad2e17363f9257e23"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">SVF::CFBasicBlockEdge::equalCFBBEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a></td></tr>
99
+ <tr class="separator:a0bb3c8008c17e12ad2e17363f9257e23"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ <tr class="memitem:a91416cbac7ad797a9b4ee67f93fbd8f4"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">CFBBEdgeSetTy</a></td></tr>
101
+ <tr class="separator:a91416cbac7ad797a9b4ee67f93fbd8f4"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
+ <tr class="memitem:a00cb890f5d3b51654bc7fe98d19406a4"><td class="memItemLeft" align="right" valign="top">typedef CFBBEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">iterator</a></td></tr>
103
+ <tr class="separator:a00cb890f5d3b51654bc7fe98d19406a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:a99f9b76dce6bdbfca228273eece2b923"><td class="memItemLeft" align="right" valign="top">typedef CFBBEdgeSetTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">const_iterator</a></td></tr>
105
+ <tr class="separator:a99f9b76dce6bdbfca228273eece2b923"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
+ <tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
107
+ <tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
108
+ <tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type. <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
109
+ <tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
+ <tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
111
+ <tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
+ <tr class="memitem:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a></td></tr>
113
+ <tr class="separator:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
+ <tr class="memitem:a5126563245987eba1bfc4e196a795270 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a></td></tr>
115
+ <tr class="memdesc:a5126563245987eba1bfc4e196a795270 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this) <a href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">More...</a><br /></td></tr>
116
+ <tr class="separator:a5126563245987eba1bfc4e196a795270 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
+ </table><table class="memberdecls">
88
118
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
89
119
  Public Member Functions</h2></td></tr>
90
- <tr class="memitem:abf8dc2f35d28b630f875104ed05512af"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">CFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>)</td></tr>
91
- <tr class="separator:abf8dc2f35d28b630f875104ed05512af"><td class="memSeparator" colspan="2">&#160;</td></tr>
120
+ <tr class="memitem:a19282dcbe8b0cb22471f72cfc8469f45"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">CFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge)</td></tr>
121
+ <tr class="separator:a19282dcbe8b0cb22471f72cfc8469f45"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
122
  <tr class="memitem:abb9b3f9a5464f40e6d4d0cd2def08906"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a> () const</td></tr>
93
123
  <tr class="separator:abb9b3f9a5464f40e6d4d0cd2def08906"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
+ <tr class="memitem:ab76d16c6799ccd45575f8d30728832ad"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a> () const</td></tr>
125
+ <tr class="separator:ab76d16c6799ccd45575f8d30728832ad"><td class="memSeparator" colspan="2">&#160;</td></tr>
126
+ <tr class="memitem:a8dcfa5b748916c61392f340c68c769a8"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">operator==</a> (const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *rhs) const</td></tr>
127
+ <tr class="memdesc:a8dcfa5b748916c61392f340c68c769a8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this) <a href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">More...</a><br /></td></tr>
128
+ <tr class="separator:a8dcfa5b748916c61392f340c68c769a8"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
129
  <tr class="inherit_header pub_methods_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
95
130
  <tr class="memitem:a6764973569c281d483afab17a75cb4dc inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a> (NodeTy *s, NodeTy *d, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
96
131
  <tr class="memdesc:a6764973569c281d483afab17a75cb4dc inherit pub_methods_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">More...</a><br /></td></tr>
@@ -114,6 +149,11 @@ Public Member Functions</h2></td></tr>
114
149
  <tr class="memitem:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
115
150
  <tr class="separator:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
151
  </table><table class="memberdecls">
152
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
153
+ Private Attributes</h2></td></tr>
154
+ <tr class="memitem:a90d4a0b67bea812b4258719906ba03ab"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a></td></tr>
155
+ <tr class="separator:a90d4a0b67bea812b4258719906ba03ab"><td class="memSeparator" colspan="2">&#160;</td></tr>
156
+ </table><table class="memberdecls">
117
157
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
118
158
  Friends</h2></td></tr>
119
159
  <tr class="memitem:a9385587148475626fba07d2cc13d0488"><td class="memItemLeft" align="right" valign="top">std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">operator&lt;&lt;</a> (std::ostream &amp;o, const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> &amp;edge)</td></tr>
@@ -121,17 +161,6 @@ Friends</h2></td></tr>
121
161
  </table><table class="memberdecls">
122
162
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
123
163
  Additional Inherited Members</h2></td></tr>
124
- <tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
125
- <tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
126
- <tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type. <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
127
- <tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
- <tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
129
- <tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
- <tr class="memitem:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a></td></tr>
131
- <tr class="separator:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
- <tr class="memitem:a5126563245987eba1bfc4e196a795270 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a></td></tr>
133
- <tr class="memdesc:a5126563245987eba1bfc4e196a795270 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this) <a href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">More...</a><br /></td></tr>
134
- <tr class="separator:a5126563245987eba1bfc4e196a795270 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
164
  <tr class="inherit_header pro_static_attribs_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pro_static_attribs_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Static Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
136
165
  <tr class="memitem:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a> = 8</td></tr>
137
166
  <tr class="memdesc:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">We use the lower 8 bits to denote edge kind. <a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">More...</a><br /></td></tr>
@@ -142,9 +171,72 @@ Additional Inherited Members</h2></td></tr>
142
171
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
143
172
  <div class="textblock">
144
173
  <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00043">43</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
145
- </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
146
- <a id="abf8dc2f35d28b630f875104ed05512af"></a>
147
- <h2 class="memtitle"><span class="permalink"><a href="#abf8dc2f35d28b630f875104ed05512af">&#9670;&nbsp;</a></span>CFBasicBlockEdge()</h2>
174
+ </div><h2 class="groupheader">Member Typedef Documentation</h2>
175
+ <a id="a91416cbac7ad797a9b4ee67f93fbd8f4"></a>
176
+ <h2 class="memtitle"><span class="permalink"><a href="#a91416cbac7ad797a9b4ee67f93fbd8f4">&#9670;&nbsp;</a></span>CFBBEdgeSetTy</h2>
177
+
178
+ <div class="memitem">
179
+ <div class="memproto">
180
+ <table class="memname">
181
+ <tr>
182
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt;<a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a>&gt; <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">SVF::CFBasicBlockEdge::CFBBEdgeSetTy</a></td>
183
+ </tr>
184
+ </table>
185
+ </div><div class="memdoc">
186
+
187
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00060">60</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
188
+
189
+ </div>
190
+ </div>
191
+ <a id="a99f9b76dce6bdbfca228273eece2b923"></a>
192
+ <h2 class="memtitle"><span class="permalink"><a href="#a99f9b76dce6bdbfca228273eece2b923">&#9670;&nbsp;</a></span>const_iterator</h2>
193
+
194
+ <div class="memitem">
195
+ <div class="memproto">
196
+ <table class="memname">
197
+ <tr>
198
+ <td class="memname">typedef CFBBEdgeSetTy::const_iterator <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">SVF::CFBasicBlockEdge::const_iterator</a></td>
199
+ </tr>
200
+ </table>
201
+ </div><div class="memdoc">
202
+
203
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00062">62</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
204
+
205
+ </div>
206
+ </div>
207
+ <a id="a0bb3c8008c17e12ad2e17363f9257e23"></a>
208
+ <h2 class="memtitle"><span class="permalink"><a href="#a0bb3c8008c17e12ad2e17363f9257e23">&#9670;&nbsp;</a></span>equalICFGEdgeWrapper</h2>
209
+
210
+ <div class="memitem">
211
+ <div class="memproto">
212
+ <table class="memname">
213
+ <tr>
214
+ <td class="memname">typedef struct <a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">SVF::CFBasicBlockEdge::equalCFBBEdge</a> <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">SVF::CFBasicBlockEdge::equalICFGEdgeWrapper</a></td>
215
+ </tr>
216
+ </table>
217
+ </div><div class="memdoc">
218
+
219
+ </div>
220
+ </div>
221
+ <a id="a00cb890f5d3b51654bc7fe98d19406a4"></a>
222
+ <h2 class="memtitle"><span class="permalink"><a href="#a00cb890f5d3b51654bc7fe98d19406a4">&#9670;&nbsp;</a></span>iterator</h2>
223
+
224
+ <div class="memitem">
225
+ <div class="memproto">
226
+ <table class="memname">
227
+ <tr>
228
+ <td class="memname">typedef CFBBEdgeSetTy::iterator <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">SVF::CFBasicBlockEdge::iterator</a></td>
229
+ </tr>
230
+ </table>
231
+ </div><div class="memdoc">
232
+
233
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00061">61</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
234
+
235
+ </div>
236
+ </div>
237
+ <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
238
+ <a id="a19282dcbe8b0cb22471f72cfc8469f45"></a>
239
+ <h2 class="memtitle"><span class="permalink"><a href="#a19282dcbe8b0cb22471f72cfc8469f45">&#9670;&nbsp;</a></span>CFBasicBlockEdge()</h2>
148
240
 
149
241
  <div class="memitem">
150
242
  <div class="memproto">
@@ -162,7 +254,13 @@ Additional Inherited Members</h2></td></tr>
162
254
  <td class="paramkey"></td>
163
255
  <td></td>
164
256
  <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
165
- <td class="paramname"><em>dst</em>&#160;</td>
257
+ <td class="paramname"><em>dst</em>, </td>
258
+ </tr>
259
+ <tr>
260
+ <td class="paramkey"></td>
261
+ <td></td>
262
+ <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *&#160;</td>
263
+ <td class="paramname"><em>edge</em>&#160;</td>
166
264
  </tr>
167
265
  <tr>
168
266
  <td></td>
@@ -177,12 +275,78 @@ Additional Inherited Members</h2></td></tr>
177
275
  </table>
178
276
  </div><div class="memdoc">
179
277
 
180
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00046">46</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
181
- <div class="fragment"><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;: <a class="code" href="namespaceSVF.html#add130ff635b1364201548469c28c0572">GenericCFBasicBlockEdgeTy</a>(<a class="code" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="code" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, 0) {}</div>
278
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00068">68</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
279
+ <div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; : <a class="code" href="namespaceSVF.html#add130ff635b1364201548469c28c0572">GenericCFBasicBlockEdgeTy</a>(<a class="code" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="code" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, 0), <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>(edge)</div>
280
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; {</div>
281
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</div>
182
282
  </div><!-- fragment -->
183
283
  </div>
184
284
  </div>
185
285
  <h2 class="groupheader">Member Function Documentation</h2>
286
+ <a id="ab76d16c6799ccd45575f8d30728832ad"></a>
287
+ <h2 class="memtitle"><span class="permalink"><a href="#ab76d16c6799ccd45575f8d30728832ad">&#9670;&nbsp;</a></span>getICFGEdge()</h2>
288
+
289
+ <div class="memitem">
290
+ <div class="memproto">
291
+ <table class="mlabels">
292
+ <tr>
293
+ <td class="mlabels-left">
294
+ <table class="memname">
295
+ <tr>
296
+ <td class="memname">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* SVF::CFBasicBlockEdge::getICFGEdge </td>
297
+ <td>(</td>
298
+ <td class="paramname"></td><td>)</td>
299
+ <td> const</td>
300
+ </tr>
301
+ </table>
302
+ </td>
303
+ <td class="mlabels-right">
304
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
305
+ </tr>
306
+ </table>
307
+ </div><div class="memdoc">
308
+
309
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00085">85</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
310
+ <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
311
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>;</div>
312
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
313
+ </div><!-- fragment -->
314
+ </div>
315
+ </div>
316
+ <a id="a8dcfa5b748916c61392f340c68c769a8"></a>
317
+ <h2 class="memtitle"><span class="permalink"><a href="#a8dcfa5b748916c61392f340c68c769a8">&#9670;&nbsp;</a></span>operator==()</h2>
318
+
319
+ <div class="memitem">
320
+ <div class="memproto">
321
+ <table class="mlabels">
322
+ <tr>
323
+ <td class="mlabels-left">
324
+ <table class="memname">
325
+ <tr>
326
+ <td class="memname">virtual bool SVF::CFBasicBlockEdge::operator== </td>
327
+ <td>(</td>
328
+ <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *&#160;</td>
329
+ <td class="paramname"><em>rhs</em></td><td>)</td>
330
+ <td> const</td>
331
+ </tr>
332
+ </table>
333
+ </td>
334
+ <td class="mlabels-right">
335
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
336
+ </tr>
337
+ </table>
338
+ </div><div class="memdoc">
339
+
340
+ <p>Add the hash function for std::set (we also can overload operator&lt; to implement this) </p>
341
+
342
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00095">95</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
343
+ <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
344
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">return</span> (rhs-&gt;getSrcID() == this-&gt;getSrcID() &amp;&amp; rhs-&gt;getDstID() == this-&gt;getDstID() &amp;&amp;</div>
345
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; rhs-&gt;getICFGEdge() == this-&gt;getICFGEdge());</div>
346
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div>
347
+ </div><!-- fragment -->
348
+ </div>
349
+ </div>
186
350
  <a id="abb9b3f9a5464f40e6d4d0cd2def08906"></a>
187
351
  <h2 class="memtitle"><span class="permalink"><a href="#abb9b3f9a5464f40e6d4d0cd2def08906">&#9670;&nbsp;</a></span>toString()</h2>
188
352
 
@@ -206,10 +370,10 @@ Additional Inherited Members</h2></td></tr>
206
370
  </table>
207
371
  </div><div class="memdoc">
208
372
 
209
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00055">55</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
210
- <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
211
- <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; <span class="keywordflow">return</span> std::to_string(<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>()) + <span class="stringliteral">&quot; --&gt; &quot;</span> + std::to_string(<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>());</div>
212
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; }</div>
373
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00080">80</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
374
+ <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div>
375
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>();</div>
376
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div>
213
377
  </div><!-- fragment -->
214
378
  </div>
215
379
  </div>
@@ -248,12 +412,37 @@ Additional Inherited Members</h2></td></tr>
248
412
  </table>
249
413
  </div><div class="memdoc">
250
414
 
251
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00049">49</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
252
- <div class="fragment"><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; {</div>
253
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; o &lt;&lt; edge.toString();</div>
254
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <span class="keywordflow">return</span> o;</div>
255
- <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; }</div>
415
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00074">74</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
416
+ <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; {</div>
417
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; o &lt;&lt; edge.toString();</div>
418
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">return</span> o;</div>
419
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; }</div>
256
420
  </div><!-- fragment -->
421
+ </div>
422
+ </div>
423
+ <h2 class="groupheader">Member Data Documentation</h2>
424
+ <a id="a90d4a0b67bea812b4258719906ba03ab"></a>
425
+ <h2 class="memtitle"><span class="permalink"><a href="#a90d4a0b67bea812b4258719906ba03ab">&#9670;&nbsp;</a></span>_icfgEdge</h2>
426
+
427
+ <div class="memitem">
428
+ <div class="memproto">
429
+ <table class="mlabels">
430
+ <tr>
431
+ <td class="mlabels-left">
432
+ <table class="memname">
433
+ <tr>
434
+ <td class="memname">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* SVF::CFBasicBlockEdge::_icfgEdge</td>
435
+ </tr>
436
+ </table>
437
+ </td>
438
+ <td class="mlabels-right">
439
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
440
+ </tr>
441
+ </table>
442
+ </div><div class="memdoc">
443
+
444
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00065">65</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
445
+
257
446
  </div>
258
447
  </div>
259
448
  <hr/>The documentation for this class was generated from the following file:<ul>
@@ -261,9 +450,9 @@ Additional Inherited Members</h2></td></tr>
261
450
  </ul>
262
451
  </div><!-- contents -->
263
452
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aa41cb7482bdab1ba328f4b94f30f3ee4"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">SVF::GenericEdge::dst</a></div><div class="ttdeci">NodeTy * dst</div><div class="ttdoc">destination node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00065">GenericGraph.h:65</a></div></div>
264
- <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
265
453
  <div class="ttc" id="anamespaceSVF_html_add130ff635b1364201548469c28c0572"><div class="ttname"><a href="namespaceSVF.html#add130ff635b1364201548469c28c0572">SVF::GenericCFBasicBlockEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; CFBasicBlockNode &gt; GenericCFBasicBlockEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00039">CFBasicBlockG.h:39</a></div></div>
266
- <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
454
+ <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a7233609f62f278b738036e8de9bbbfc8"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00150">ICFG.cpp:150</a></div></div>
455
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockEdge_html_a90d4a0b67bea812b4258719906ba03ab"><div class="ttname"><a href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">SVF::CFBasicBlockEdge::_icfgEdge</a></div><div class="ttdeci">const ICFGEdge * _icfgEdge</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00065">CFBasicBlockG.h:65</a></div></div>
267
456
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a0e8736f88ee75da025d874f92328ca71"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">SVF::GenericEdge::src</a></div><div class="ttdeci">NodeTy * src</div><div class="ttdoc">source node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00064">GenericGraph.h:64</a></div></div>
268
457
  <!-- start footer part -->
269
458
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder-members.html CHANGED
@@ -73,9 +73,10 @@ $(function() {
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a>, including all inherited members.</p>
74
74
  <table class="directory">
75
75
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">build</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a24c285ef9522d889397519f91f1b91fd">CFBasicBlockGBuilder</a>(const SVFFunction *func)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1">getCFBasicBlockGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
76
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">build</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">build</a>(ICFG *icfg)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947">CFBasicBlockGBuilder</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1">getCFBasicBlockGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
80
  </table></div><!-- contents -->
80
81
  <!-- start footer part -->
81
82
  <hr class="footer"/><address class="footer"><small>