svf-tools 1.0.787 → 1.0.788

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 (273) hide show
  1. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp.html +92 -0
  2. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +291 -0
  3. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h.html +98 -0
  4. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +154 -0
  5. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +49 -184
  6. package/SVF-doxygen/html/CFBasicBlockG_8h.html +0 -2
  7. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +509 -506
  8. package/SVF-doxygen/html/WTO_8h_source.html +424 -372
  9. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -1
  10. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +302 -124
  11. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +48 -47
  12. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +306 -236
  13. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  14. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  15. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder-members.html +15 -14
  16. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html +90 -44
  17. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html +26 -26
  18. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -36
  19. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +121 -254
  20. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +46 -47
  21. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +185 -225
  22. package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +2 -0
  23. package/SVF-doxygen/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +2 -0
  24. package/SVF-doxygen/html/files.html +35 -33
  25. package/SVF-doxygen/html/functions.html +3 -4
  26. package/SVF-doxygen/html/functions_a.html +19 -10
  27. package/SVF-doxygen/html/functions_b.html +6 -6
  28. package/SVF-doxygen/html/functions_c.html +29 -29
  29. package/SVF-doxygen/html/functions_func.html +15 -6
  30. package/SVF-doxygen/html/functions_func_b.html +1 -1
  31. package/SVF-doxygen/html/functions_func_c.html +21 -21
  32. package/SVF-doxygen/html/functions_func_g.html +13 -14
  33. package/SVF-doxygen/html/functions_func_h.html +5 -8
  34. package/SVF-doxygen/html/functions_func_i.html +10 -7
  35. package/SVF-doxygen/html/functions_func_s.html +22 -25
  36. package/SVF-doxygen/html/functions_func_t.html +1 -1
  37. package/SVF-doxygen/html/functions_g.html +10 -11
  38. package/SVF-doxygen/html/functions_h.html +3 -6
  39. package/SVF-doxygen/html/functions_i.html +10 -7
  40. package/SVF-doxygen/html/functions_l.html +3 -3
  41. package/SVF-doxygen/html/functions_n.html +4 -4
  42. package/SVF-doxygen/html/functions_o.html +19 -19
  43. package/SVF-doxygen/html/functions_p.html +21 -17
  44. package/SVF-doxygen/html/functions_r.html +1 -1
  45. package/SVF-doxygen/html/functions_s.html +14 -17
  46. package/SVF-doxygen/html/functions_t.html +4 -4
  47. package/SVF-doxygen/html/functions_v.html +3 -3
  48. package/SVF-doxygen/html/functions_vars.html +3 -4
  49. package/SVF-doxygen/html/functions_w.html +7 -7
  50. package/SVF-doxygen/html/namespaceSVF.html +1 -1
  51. package/SVF-doxygen/html/search/all_0.js +123 -124
  52. package/SVF-doxygen/html/search/all_1.js +479 -476
  53. package/SVF-doxygen/html/search/all_10.js +324 -324
  54. package/SVF-doxygen/html/search/all_11.js +224 -224
  55. package/SVF-doxygen/html/search/all_12.js +541 -542
  56. package/SVF-doxygen/html/search/all_13.js +190 -190
  57. package/SVF-doxygen/html/search/all_14.js +67 -67
  58. package/SVF-doxygen/html/search/all_15.js +170 -170
  59. package/SVF-doxygen/html/search/all_16.js +63 -63
  60. package/SVF-doxygen/html/search/all_17.js +1 -1
  61. package/SVF-doxygen/html/search/all_18.js +1 -1
  62. package/SVF-doxygen/html/search/all_19.js +11 -11
  63. package/SVF-doxygen/html/search/all_1a.js +172 -172
  64. package/SVF-doxygen/html/search/all_2.js +167 -167
  65. package/SVF-doxygen/html/search/all_3.js +642 -640
  66. package/SVF-doxygen/html/search/all_4.js +233 -233
  67. package/SVF-doxygen/html/search/all_5.js +121 -121
  68. package/SVF-doxygen/html/search/all_6.js +225 -225
  69. package/SVF-doxygen/html/search/all_7.js +1038 -1038
  70. package/SVF-doxygen/html/search/all_8.js +194 -195
  71. package/SVF-doxygen/html/search/all_9.js +608 -607
  72. package/SVF-doxygen/html/search/all_a.js +46 -46
  73. package/SVF-doxygen/html/search/all_b.js +26 -26
  74. package/SVF-doxygen/html/search/all_c.js +116 -116
  75. package/SVF-doxygen/html/search/all_d.js +196 -196
  76. package/SVF-doxygen/html/search/all_e.js +207 -207
  77. package/SVF-doxygen/html/search/all_f.js +116 -116
  78. package/SVF-doxygen/html/search/classes_0.js +26 -26
  79. package/SVF-doxygen/html/search/classes_1.js +9 -9
  80. package/SVF-doxygen/html/search/classes_10.js +73 -73
  81. package/SVF-doxygen/html/search/classes_11.js +15 -15
  82. package/SVF-doxygen/html/search/classes_12.js +2 -2
  83. package/SVF-doxygen/html/search/classes_13.js +10 -10
  84. package/SVF-doxygen/html/search/classes_14.js +14 -14
  85. package/SVF-doxygen/html/search/classes_15.js +1 -1
  86. package/SVF-doxygen/html/search/classes_2.js +80 -80
  87. package/SVF-doxygen/html/search/classes_3.js +37 -37
  88. package/SVF-doxygen/html/search/classes_4.js +9 -9
  89. package/SVF-doxygen/html/search/classes_5.js +28 -28
  90. package/SVF-doxygen/html/search/classes_6.js +104 -104
  91. package/SVF-doxygen/html/search/classes_7.js +33 -33
  92. package/SVF-doxygen/html/search/classes_8.js +56 -56
  93. package/SVF-doxygen/html/search/classes_9.js +1 -1
  94. package/SVF-doxygen/html/search/classes_a.js +12 -12
  95. package/SVF-doxygen/html/search/classes_b.js +29 -29
  96. package/SVF-doxygen/html/search/classes_c.js +6 -6
  97. package/SVF-doxygen/html/search/classes_d.js +18 -18
  98. package/SVF-doxygen/html/search/classes_e.js +36 -36
  99. package/SVF-doxygen/html/search/classes_f.js +25 -25
  100. package/SVF-doxygen/html/search/defines_0.js +3 -3
  101. package/SVF-doxygen/html/search/defines_1.js +2 -2
  102. package/SVF-doxygen/html/search/defines_2.js +30 -30
  103. package/SVF-doxygen/html/search/defines_3.js +21 -21
  104. package/SVF-doxygen/html/search/defines_4.js +2 -2
  105. package/SVF-doxygen/html/search/defines_5.js +4 -4
  106. package/SVF-doxygen/html/search/defines_6.js +2 -2
  107. package/SVF-doxygen/html/search/defines_7.js +5 -5
  108. package/SVF-doxygen/html/search/defines_8.js +11 -11
  109. package/SVF-doxygen/html/search/defines_9.js +9 -9
  110. package/SVF-doxygen/html/search/defines_a.js +2 -2
  111. package/SVF-doxygen/html/search/defines_b.js +1 -1
  112. package/SVF-doxygen/html/search/defines_c.js +3 -3
  113. package/SVF-doxygen/html/search/defines_d.js +2 -2
  114. package/SVF-doxygen/html/search/defines_e.js +7 -7
  115. package/SVF-doxygen/html/search/defines_f.js +3 -3
  116. package/SVF-doxygen/html/search/enums_0.js +3 -3
  117. package/SVF-doxygen/html/search/enums_1.js +2 -2
  118. package/SVF-doxygen/html/search/enums_10.js +1 -1
  119. package/SVF-doxygen/html/search/enums_11.js +1 -1
  120. package/SVF-doxygen/html/search/enums_2.js +8 -8
  121. package/SVF-doxygen/html/search/enums_3.js +1 -1
  122. package/SVF-doxygen/html/search/enums_4.js +3 -3
  123. package/SVF-doxygen/html/search/enums_5.js +1 -1
  124. package/SVF-doxygen/html/search/enums_6.js +2 -2
  125. package/SVF-doxygen/html/search/enums_7.js +2 -2
  126. package/SVF-doxygen/html/search/enums_8.js +4 -4
  127. package/SVF-doxygen/html/search/enums_9.js +1 -1
  128. package/SVF-doxygen/html/search/enums_a.js +1 -1
  129. package/SVF-doxygen/html/search/enums_b.js +7 -7
  130. package/SVF-doxygen/html/search/enums_c.js +1 -1
  131. package/SVF-doxygen/html/search/enums_d.js +4 -4
  132. package/SVF-doxygen/html/search/enums_e.js +2 -2
  133. package/SVF-doxygen/html/search/enums_f.js +4 -4
  134. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  135. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  136. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  137. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  138. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  139. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  140. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  141. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  142. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  143. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  144. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  145. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  146. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  147. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  148. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  149. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  150. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  151. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  152. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  153. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  154. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  155. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  156. package/SVF-doxygen/html/search/files_0.js +13 -13
  157. package/SVF-doxygen/html/search/files_1.js +7 -7
  158. package/SVF-doxygen/html/search/files_10.js +8 -8
  159. package/SVF-doxygen/html/search/files_11.js +8 -8
  160. package/SVF-doxygen/html/search/files_12.js +2 -2
  161. package/SVF-doxygen/html/search/files_2.js +55 -53
  162. package/SVF-doxygen/html/search/files_3.js +14 -14
  163. package/SVF-doxygen/html/search/files_4.js +5 -5
  164. package/SVF-doxygen/html/search/files_5.js +13 -13
  165. package/SVF-doxygen/html/search/files_6.js +9 -9
  166. package/SVF-doxygen/html/search/files_7.js +14 -14
  167. package/SVF-doxygen/html/search/files_8.js +13 -13
  168. package/SVF-doxygen/html/search/files_9.js +18 -18
  169. package/SVF-doxygen/html/search/files_a.js +3 -3
  170. package/SVF-doxygen/html/search/files_b.js +2 -2
  171. package/SVF-doxygen/html/search/files_c.js +20 -20
  172. package/SVF-doxygen/html/search/files_d.js +4 -4
  173. package/SVF-doxygen/html/search/files_e.js +62 -62
  174. package/SVF-doxygen/html/search/files_f.js +8 -8
  175. package/SVF-doxygen/html/search/functions_0.js +12 -12
  176. package/SVF-doxygen/html/search/functions_1.js +359 -356
  177. package/SVF-doxygen/html/search/functions_10.js +140 -140
  178. package/SVF-doxygen/html/search/functions_11.js +138 -138
  179. package/SVF-doxygen/html/search/functions_12.js +276 -277
  180. package/SVF-doxygen/html/search/functions_13.js +58 -58
  181. package/SVF-doxygen/html/search/functions_14.js +39 -39
  182. package/SVF-doxygen/html/search/functions_15.js +71 -71
  183. package/SVF-doxygen/html/search/functions_16.js +32 -32
  184. package/SVF-doxygen/html/search/functions_17.js +3 -3
  185. package/SVF-doxygen/html/search/functions_18.js +172 -172
  186. package/SVF-doxygen/html/search/functions_2.js +86 -86
  187. package/SVF-doxygen/html/search/functions_3.js +257 -257
  188. package/SVF-doxygen/html/search/functions_4.js +75 -75
  189. package/SVF-doxygen/html/search/functions_5.js +53 -53
  190. package/SVF-doxygen/html/search/functions_6.js +59 -59
  191. package/SVF-doxygen/html/search/functions_7.js +849 -849
  192. package/SVF-doxygen/html/search/functions_8.js +146 -147
  193. package/SVF-doxygen/html/search/functions_9.js +426 -425
  194. package/SVF-doxygen/html/search/functions_a.js +30 -30
  195. package/SVF-doxygen/html/search/functions_b.js +2 -2
  196. package/SVF-doxygen/html/search/functions_c.js +26 -26
  197. package/SVF-doxygen/html/search/functions_d.js +77 -77
  198. package/SVF-doxygen/html/search/functions_e.js +35 -35
  199. package/SVF-doxygen/html/search/functions_f.js +56 -56
  200. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  201. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  202. package/SVF-doxygen/html/search/related_0.js +2 -2
  203. package/SVF-doxygen/html/search/related_1.js +2 -2
  204. package/SVF-doxygen/html/search/related_2.js +2 -2
  205. package/SVF-doxygen/html/search/related_3.js +2 -2
  206. package/SVF-doxygen/html/search/related_4.js +2 -2
  207. package/SVF-doxygen/html/search/related_5.js +1 -1
  208. package/SVF-doxygen/html/search/related_6.js +2 -2
  209. package/SVF-doxygen/html/search/related_7.js +4 -4
  210. package/SVF-doxygen/html/search/related_8.js +2 -2
  211. package/SVF-doxygen/html/search/related_9.js +4 -4
  212. package/SVF-doxygen/html/search/related_a.js +19 -19
  213. package/SVF-doxygen/html/search/related_b.js +4 -4
  214. package/SVF-doxygen/html/search/related_c.js +1 -1
  215. package/SVF-doxygen/html/search/related_d.js +11 -11
  216. package/SVF-doxygen/html/search/related_e.js +2 -2
  217. package/SVF-doxygen/html/search/related_f.js +2 -2
  218. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  219. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  220. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  221. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  222. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  223. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  224. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  225. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  226. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  227. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  228. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  229. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  230. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  231. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  232. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  233. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  234. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  235. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  236. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  237. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  238. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  239. package/SVF-doxygen/html/search/variables_0.js +151 -152
  240. package/SVF-doxygen/html/search/variables_1.js +75 -75
  241. package/SVF-doxygen/html/search/variables_10.js +97 -97
  242. package/SVF-doxygen/html/search/variables_11.js +46 -46
  243. package/SVF-doxygen/html/search/variables_12.js +92 -92
  244. package/SVF-doxygen/html/search/variables_13.js +75 -75
  245. package/SVF-doxygen/html/search/variables_14.js +14 -14
  246. package/SVF-doxygen/html/search/variables_15.js +48 -48
  247. package/SVF-doxygen/html/search/variables_16.js +9 -9
  248. package/SVF-doxygen/html/search/variables_17.js +1 -1
  249. package/SVF-doxygen/html/search/variables_18.js +2 -2
  250. package/SVF-doxygen/html/search/variables_2.js +37 -37
  251. package/SVF-doxygen/html/search/variables_3.js +142 -142
  252. package/SVF-doxygen/html/search/variables_4.js +55 -55
  253. package/SVF-doxygen/html/search/variables_5.js +39 -39
  254. package/SVF-doxygen/html/search/variables_6.js +66 -66
  255. package/SVF-doxygen/html/search/variables_7.js +33 -33
  256. package/SVF-doxygen/html/search/variables_8.js +7 -7
  257. package/SVF-doxygen/html/search/variables_9.js +77 -77
  258. package/SVF-doxygen/html/search/variables_a.js +4 -4
  259. package/SVF-doxygen/html/search/variables_b.js +10 -10
  260. package/SVF-doxygen/html/search/variables_c.js +45 -45
  261. package/SVF-doxygen/html/search/variables_d.js +56 -56
  262. package/SVF-doxygen/html/search/variables_e.js +123 -123
  263. package/SVF-doxygen/html/search/variables_f.js +30 -30
  264. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +93 -40
  265. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  266. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  267. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  268. package/package.json +1 -1
  269. package/svf/include/AbstractExecution/WTO.h +56 -10
  270. package/svf/include/Graphs/CFBasicBlockG.h +62 -50
  271. package/svf/include/Util/CFBasicBlockGBuilder.h +59 -0
  272. package/svf/lib/Graphs/CFBasicBlockG.cpp +0 -111
  273. package/svf/lib/Util/CFBasicBlockGBuilder.cpp +183 -0
package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html ADDED
@@ -0,0 +1,154 @@
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/Util/CFBasicBlockGBuilder.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_445b24f35a8ddd2effd3d23ee1278e0a.html">Util</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="headertitle">
69
+ <div class="title">CFBasicBlockGBuilder.h</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+ <a href="CFBasicBlockGBuilder_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">//===- CFBasicBlockGBuilder.h ----------------------------------------------------------------//</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 Affero 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 Affero 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 Affero 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"> * CFBasicBlockGBuilder.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"> * Created on: 17 Oct. 2023</span></div>
98
+ <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> * Author: Xiao, Jiawei</span></div>
99
+ <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div>
100
+ <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160; </div>
101
+ <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFBasicBlockG_8h.html">Graphs/CFBasicBlockG.h</a>&quot;</span></div>
102
+ <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160; </div>
103
+ <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;{</div>
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"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html"> 35</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html">CFBasicBlockGBuilder</a></div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; </div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="keyword">private</span>:</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3"> 39</a></span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>* <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</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"> 41</span>&#160;<span class="keyword">public</span>:</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947"> 42</a></span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947">CFBasicBlockGBuilder</a>() : <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>() {}</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; </div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">build</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg);</div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1"> 46</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>* <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1">getCFBasicBlockGraph</a>()</div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; {</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; }</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160;<span class="keyword">private</span>:</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">initCFBasicBlockGNodes</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *icfg, <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, std::vector&lt;CFBasicBlockNode *&gt;&gt; &amp;bbToNodes);</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; </div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608">addInterBBEdge</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *icfg, <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, std::vector&lt;CFBasicBlockNode *&gt;&gt; &amp;bbToNodes);</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31">addIntraBBEdge</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *icfg, <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, std::vector&lt;CFBasicBlockNode *&gt;&gt; &amp;bbToNodes);</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; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913">addInterProceduralEdge</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *icfg, <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, std::vector&lt;CFBasicBlockNode *&gt;&gt; &amp;bbToNodes);</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;};</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160;}</div>
131
+ </div><!-- fragment --></div><!-- contents -->
132
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a43c0cba051306acc6440f60165b835e6"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">SVF::CFBasicBlockGBuilder::initCFBasicBlockGNodes</a></div><div class="ttdeci">void initCFBasicBlockGNodes(ICFG *icfg, Map&lt; const SVFBasicBlock *, std::vector&lt; CFBasicBlockNode * &gt;&gt; &amp;bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00034">CFBasicBlockGBuilder.cpp:34</a></div></div>
133
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html">SVF::CFBasicBlockGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8h_source.html#l00035">CFBasicBlockGBuilder.h:35</a></div></div>
134
+ <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>
135
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a2c9f8c120522e31124364f485e873608"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608">SVF::CFBasicBlockGBuilder::addInterBBEdge</a></div><div class="ttdeci">void addInterBBEdge(ICFG *icfg, Map&lt; const SVFBasicBlock *, std::vector&lt; CFBasicBlockNode * &gt;&gt; &amp;bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00080">CFBasicBlockGBuilder.cpp:80</a></div></div>
136
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_ae6c8497f1cd2e3ca63b899ea11757b31"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31">SVF::CFBasicBlockGBuilder::addIntraBBEdge</a></div><div class="ttdeci">void addIntraBBEdge(ICFG *icfg, Map&lt; const SVFBasicBlock *, std::vector&lt; CFBasicBlockNode * &gt;&gt; &amp;bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00105">CFBasicBlockGBuilder.cpp:105</a></div></div>
137
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
138
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a2a72cd05458304eaae145532448cf913"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913">SVF::CFBasicBlockGBuilder::addInterProceduralEdge</a></div><div class="ttdeci">void addInterProceduralEdge(ICFG *icfg, Map&lt; const SVFBasicBlock *, std::vector&lt; CFBasicBlockNode * &gt;&gt; &amp;bbToNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00129">CFBasicBlockGBuilder.cpp:129</a></div></div>
139
+ <div class="ttc" id="aCFBasicBlockG_8h_html"><div class="ttname"><a href="CFBasicBlockG_8h.html">CFBasicBlockG.h</a></div></div>
140
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a25f0496187622b156bafc49f34fffeaf"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">SVF::CFBasicBlockGBuilder::build</a></div><div class="ttdeci">virtual void build(ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8cpp_source.html#l00173">CFBasicBlockGBuilder.cpp:173</a></div></div>
141
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a61d70fb0d2181df3c90152e9226db947"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947">SVF::CFBasicBlockGBuilder::CFBasicBlockGBuilder</a></div><div class="ttdeci">CFBasicBlockGBuilder()</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8h_source.html#l00042">CFBasicBlockGBuilder.h:42</a></div></div>
142
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a879d8affb9b113c9d2d976cdd31b60f1"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1">SVF::CFBasicBlockGBuilder::getCFBasicBlockGraph</a></div><div class="ttdeci">CFBasicBlockGraph * getCFBasicBlockGraph()</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8h_source.html#l00046">CFBasicBlockGBuilder.h:46</a></div></div>
143
+ <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
144
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGBuilder_8h_source.html#l00039">CFBasicBlockGBuilder.h:39</a></div></div>
145
+ <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#l00349">CFBasicBlockG.h:349</a></div></div>
146
+ <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
147
+ <!-- start footer part -->
148
+ <hr class="footer"/><address class="footer"><small>
149
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
150
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
151
+ </a> 1.8.17
152
+ </small></address>
153
+ </body>
154
+ </html>
package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html CHANGED
@@ -103,203 +103,68 @@ $(function() {
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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></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"><a class="line" href="classSVF_1_1CFBasicBlockNode.html#ac5a07bfd7ac54249100317760c94331d"> 35</a></span>&#160;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">CFBasicBlockNode::CFBasicBlockNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* svfBasicBlock)</div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; : <a class="code" href="classSVF_1_1GenericNode.html">GenericCFBasicBlockNodeTy</a>(</div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">PAG</a>::getPAG()</div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; -&gt;getICFG()</div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; -&gt;getICFGNode(*svfBasicBlock-&gt;getInstructionList().begin())</div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; -&gt;getId(),</div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; 0)</div>
113
- <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
114
- <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = svfBasicBlock-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc">begin</a>(); it != svfBasicBlock-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a">end</a>(); ++it)</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"> 45</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* ins = *it;</div>
117
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* icfgNode = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(ins);</div>
118
- <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.push_back(icfgNode);</div>
119
- <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; }</div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;}</div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; </div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8"> 51</a></span>&#160;<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">CFBasicBlockNode::toString</a>()<span class="keyword"> const</span></div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;<span class="keyword"></span>{</div>
124
- <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> rawStr;</div>
125
- <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; std::stringstream stringstream(rawStr);</div>
126
- <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; stringstream &lt;&lt; <span class="stringliteral">&quot;Block Name: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">getName</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
127
- <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;icfgNode: <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>)</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"> 58</span>&#160; stringstream &lt;&lt; icfgNode-&gt;toString() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
130
- <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; }</div>
131
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="keywordflow">return</span> stringstream.str();</div>
132
- <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160;}</div>
133
- <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; </div>
134
- <div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8"> 63</a></span>&#160;<a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a>* <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">CFBasicBlockGraph::getCFBasicBlockEdge</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* icfgEdge)</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; <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *edge = <span class="keyword">nullptr</span>;</div>
137
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="keywordtype">size_t</span> counter = 0;</div>
138
- <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter = src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">OutEdgeBegin</a>();</div>
139
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; iter != src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">OutEdgeEnd</a>(); ++iter)</div>
140
- <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; {</div>
141
- <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">if</span> ((*iter)-&gt;getDstID() == dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &amp;&amp; (*iter)-&gt;getICFGEdge() == icfgEdge)</div>
142
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; {</div>
143
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; counter++;</div>
144
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; edge = (*iter);</div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; </div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8"> 36</a></span>&#160;<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">CFBasicBlockNode::toString</a>()<span class="keyword"> const</span></div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="keyword"></span>{</div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> rawStr;</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; std::stringstream stringstream(rawStr);</div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; stringstream &lt;&lt; <span class="stringliteral">&quot;Block Name: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">getName</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;icfgNode: <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>)</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; {</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; stringstream &lt;&lt; icfgNode-&gt;toString() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</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"> 45</span>&#160; <span class="keywordflow">return</span> stringstream.str();</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; </div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8"> 48</a></span>&#160;<a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a>* <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">CFBasicBlockGraph::getCFBasicBlockEdge</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* icfgEdge)</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;{</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *edge = <span class="keyword">nullptr</span>;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <span class="keywordtype">size_t</span> counter = 0;</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter = src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">OutEdgeBegin</a>();</div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; iter != src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">OutEdgeEnd</a>(); ++iter)</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; {</div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">if</span> ((*iter)-&gt;getDstID() == dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &amp;&amp; (*iter)-&gt;getICFGEdge() == icfgEdge)</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; counter++;</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; edge = (*iter);</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; }</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; }</div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; assert(counter &lt;= 1 &amp;&amp; <span class="stringliteral">&quot;there&#39;s more than one edge between two nodes&quot;</span>);</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">return</span> edge;</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160;}</div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; </div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGraph.html#afb226e06477a205891f80d21419485aa"> 65</a></span>&#160;std::vector&lt;CFBasicBlockEdge*&gt; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">CFBasicBlockGraph::getCFBasicBlockEdge</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst)</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;{</div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; std::vector&lt;CFBasicBlockEdge*&gt; edges;</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter = src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">OutEdgeBegin</a>();</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; iter != src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">OutEdgeEnd</a>(); ++iter)</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">if</span> ((*iter)-&gt;getDstID() == dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</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; edges.push_back(*iter);</div>
145
145
  <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; }</div>
146
146
  <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div>
147
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; assert(counter &lt;= 1 &amp;&amp; <span class="stringliteral">&quot;there&#39;s more than one edge between two nodes&quot;</span>);</div>
148
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">return</span> edge;</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"><a class="line" href="classSVF_1_1CFBasicBlockGraph.html#afb226e06477a205891f80d21419485aa"> 80</a></span>&#160;std::vector&lt;CFBasicBlockEdge*&gt; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">CFBasicBlockGraph::getCFBasicBlockEdge</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst)</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; std::vector&lt;CFBasicBlockEdge*&gt; edges;</div>
154
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter = src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">OutEdgeBegin</a>();</div>
155
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; iter != src-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">OutEdgeEnd</a>(); ++iter)</div>
156
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
157
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="keywordflow">if</span> ((*iter)-&gt;getDstID() == dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())</div>
158
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; {</div>
159
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; edges.push_back(*iter);</div>
160
- <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; }</div>
161
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div>
162
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(edges);</div>
163
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160;}</div>
164
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; </div>
165
- <div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a"> 94</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">CFBasicBlockGBuilder::build</a>(<a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* module)</div>
166
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160;{</div>
167
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>();</div>
168
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt;</a> bbToNode;</div>
169
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; func : *module)</div>
170
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
171
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; bb : *func)</div>
172
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
173
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* pNode = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>(bb);</div>
174
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; bbToNode[bb] = pNode;</div>
175
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(pNode);</div>
176
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div>
177
- <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; }</div>
178
- <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; </div>
179
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; func : *module)</div>
180
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; {</div>
181
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; bb : *func)</div>
182
- <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
183
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: bb-&gt;getSuccessors())</div>
184
- <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; {</div>
185
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *icfg = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>();</div>
186
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *pred = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(bb-&gt;getTerminator());</div>
187
- <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge = <span class="keyword">nullptr</span>;</div>
188
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;inst: succ-&gt;getInstructionList())</div>
189
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; {</div>
190
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *e = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475">getICFGEdge</a>(pred, icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(inst), ICFGEdge::ICFGEdgeK::IntraCF))</div>
191
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; {</div>
192
- <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; edge = e;</div>
193
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keywordflow">break</span>;</div>
194
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div>
195
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
196
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">if</span> (SVFUtil::isa&lt;IntraCFGEdge&gt;(edge))</div>
197
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div>
198
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *pEdge = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a>(bbToNode[bb], bbToNode[succ], edge);</div>
199
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(pEdge);</div>
200
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; }</div>
201
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
202
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div>
203
- <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div>
204
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160;}</div>
205
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; </div>
206
- <div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf"> 135</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">CFBasicBlockGBuilder::build</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg)</div>
207
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160;{</div>
208
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>();</div>
209
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt;</a> bbToNode;</div>
210
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, CFBasicBlockNode*&gt;</a> funToFirstNode;</div>
211
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
212
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div>
213
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* pNode = <span class="keyword">nullptr</span>;</div>
214
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = node.second-&gt;getBB())</div>
215
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div>
216
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
217
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div>
218
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; pNode = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>({node.second});</div>
219
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; bbToNode[node.second-&gt;getBB()] = pNode;</div>
220
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(pNode);</div>
221
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; }</div>
222
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">else</span></div>
223
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
224
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
225
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">addNode</a>(node.second);</div>
226
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div>
227
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = node.second-&gt;getFun();</div>
228
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">if</span> (funToFirstNode.find(fun) == funToFirstNode.end())</div>
229
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
230
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; funToFirstNode[fun] = <span class="keyword">nullptr</span>;</div>
231
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div>
232
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
233
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
234
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
235
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
236
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div>
237
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</div>
238
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; {</div>
239
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* node_fun = node.second-&gt;getFun();</div>
240
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
241
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* node_bb = node.second-&gt;getBB();</div>
242
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
243
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
244
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
245
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
246
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div>
247
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *pEdge = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a>(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
248
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(pEdge);</div>
249
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
250
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
251
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
252
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
253
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; </div>
254
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = funToFirstNode.begin(); it != funToFirstNode.end(); ++it)</div>
255
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
256
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div>
257
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = *fun-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">getBasicBlockList</a>().begin();</div>
258
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; funToFirstNode[fun] = bbToNode[bb];</div>
259
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
260
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a> = funToFirstNode;</div>
261
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;}</div>
262
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160;}</div>
147
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(edges);</div>
148
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;}</div>
149
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; </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>
263
152
  </div><!-- fragment --></div><!-- contents -->
264
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8f2aced2df91bf97d644d9a2de449c38"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">SVF::SVFFunction::getBasicBlockList</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getBasicBlockList() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00441">SVFValue.h:441</a></div></div>
265
153
  <div class="ttc" id="aclassSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
266
154
  <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>
267
155
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a72e47a6254620d0b65a8d1182777440a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode::_icfgNodes</a></div><div class="ttdeci">std::vector&lt; const ICFGNode * &gt; _icfgNodes</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00119">CFBasicBlockG.h:119</a></div></div>
268
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a34ef44c3ffad24255a72c8ecf2f2919e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">SVF::CFBasicBlockNode::CFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode(std::vector&lt; const ICFGNode * &gt; icfgNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00124">CFBasicBlockG.h:124</a></div></div>
269
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a5feb9a73d517a2be4eac0d7dddfedef8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">SVF::CFBasicBlockGraph::getCFBasicBlockEdge</a></div><div class="ttdeci">CFBasicBlockEdge * getCFBasicBlockEdge(const CFBasicBlockNode *src, const CFBasicBlockNode *dst, const ICFGEdge *icfgEdge)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00063">CFBasicBlockG.cpp:63</a></div></div>
270
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a93c5de88097d130a8ba06c7254f96510"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00214">CFBasicBlockG.h:214</a></div></div>
156
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a5feb9a73d517a2be4eac0d7dddfedef8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">SVF::CFBasicBlockGraph::getCFBasicBlockEdge</a></div><div class="ttdeci">CFBasicBlockEdge * getCFBasicBlockEdge(const CFBasicBlockNode *src, const CFBasicBlockNode *dst, const ICFGEdge *icfgEdge)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00048">CFBasicBlockG.cpp:48</a></div></div>
157
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a93c5de88097d130a8ba06c7254f96510"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00211">CFBasicBlockG.h:211</a></div></div>
271
158
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockEdge_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00043">CFBasicBlockG.h:43</a></div></div>
272
- <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
273
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a9c830d44805689071793420deff5af1a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">SVF::CFBasicBlockGBuilder::build</a></div><div class="ttdeci">virtual void build(SVFModule *module)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00094">CFBasicBlockG.cpp:94</a></div></div>
274
159
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
275
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00476">CFBasicBlockG.h:476</a></div></div>
276
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00486">CFBasicBlockG.h:486</a></div></div>
277
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
278
160
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
279
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
280
161
  <div class="ttc" id="aSVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
281
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ab65173c2668b80643cb96e8133e5ea0a"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a">SVF::SVFBasicBlock::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00572">SVFValue.h:572</a></div></div>
282
- <div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
283
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
284
162
  <div class="ttc" id="aCFBasicBlockG_8h_html"><div class="ttname"><a href="CFBasicBlockG_8h.html">CFBasicBlockG.h</a></div></div>
285
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
286
163
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
287
164
  <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#l00111">CFBasicBlockG.h:111</a></div></div>
288
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">SVF::CFBasicBlockGraph::_funToFirstNode</a></div><div class="ttdeci">Map&lt; const SVFFunction *, CFBasicBlockNode * &gt; _funToFirstNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00358">CFBasicBlockG.h:358</a></div></div>
289
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
290
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a358586d95a6027da09b97a3c35128a35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00219">CFBasicBlockG.h:219</a></div></div>
291
- <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
292
- <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
293
- <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
294
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00497">CFBasicBlockG.h:497</a></div></div>
295
- <div class="ttc" id="aclassSVF_1_1GenericNode_html"><div class="ttname"><a href="classSVF_1_1GenericNode.html">SVF::GenericNode</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00141">GenericGraph.h:141</a></div></div>
296
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a727f0ef59605adf99af4babee90eb8a8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">SVF::CFBasicBlockNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00051">CFBasicBlockG.cpp:51</a></div></div>
297
- <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#l00352">CFBasicBlockG.h:352</a></div></div>
298
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac9cb2f17e42c40ca81b49c8b63a855fc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc">SVF::SVFBasicBlock::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00567">SVFValue.h:567</a></div></div>
299
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a5374f4567cee38325f61940f4edbb142"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">SVF::CFBasicBlockNode::addNode</a></div><div class="ttdeci">void addNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00175">CFBasicBlockG.h:175</a></div></div>
300
- <div class="ttc" id="aclassSVF_1_1ICFG_html_a5dd4ac55123501c47c628adcf27e2475"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475">SVF::ICFG::getICFGEdge</a></div><div class="ttdeci">ICFGEdge * getICFGEdge(const ICFGNode *src, const ICFGNode *dst, ICFGEdge::ICFGEdgeK kind)</div><div class="ttdoc">Get a SVFG edge according to src and dst.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00341">ICFG.cpp:341</a></div></div>
301
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
302
- <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
165
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00138">CFBasicBlockG.h:138</a></div></div>
166
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a358586d95a6027da09b97a3c35128a35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00216">CFBasicBlockG.h:216</a></div></div>
167
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a727f0ef59605adf99af4babee90eb8a8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">SVF::CFBasicBlockNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00036">CFBasicBlockG.cpp:36</a></div></div>
303
168
  <!-- start footer part -->
304
169
  <hr class="footer"/><address class="footer"><small>
305
170
  Generated by &#160;<a href="http://www.doxygen.org/index.html">