svf-tools 1.0.785 → 1.0.787

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 (265) hide show
  1. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +128 -122
  2. package/SVF-doxygen/html/CDGBuilder_8h_source.html +5 -5
  3. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +63 -66
  4. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +250 -282
  5. package/SVF-doxygen/html/CHG_8cpp.html +2 -2
  6. package/SVF-doxygen/html/CHG_8cpp_source.html +3 -3
  7. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/SVFUtil_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/SVFValue_8cpp_source.html +144 -141
  12. package/SVF-doxygen/html/SVFValue_8h_source.html +9 -9
  13. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/VFG_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +119 -113
  16. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +69 -72
  17. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +28 -33
  18. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +109 -274
  19. package/SVF-doxygen/html/classSVF_1_1CHGraph.html +2 -2
  20. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  21. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +2 -2
  22. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +63 -63
  23. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +28 -28
  24. package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
  25. package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +4 -4
  26. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +25 -22
  27. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +2 -2
  28. package/SVF-doxygen/html/classSVF_1_1VFG.html +1 -1
  29. package/SVF-doxygen/html/functions.html +0 -3
  30. package/SVF-doxygen/html/functions_func_g.html +20 -23
  31. package/SVF-doxygen/html/functions_func_h.html +3 -3
  32. package/SVF-doxygen/html/functions_func_s.html +22 -25
  33. package/SVF-doxygen/html/functions_g.html +12 -15
  34. package/SVF-doxygen/html/functions_h.html +4 -4
  35. package/SVF-doxygen/html/functions_n.html +4 -4
  36. package/SVF-doxygen/html/functions_o.html +18 -18
  37. package/SVF-doxygen/html/functions_p.html +17 -21
  38. package/SVF-doxygen/html/functions_r.html +5 -5
  39. package/SVF-doxygen/html/functions_s.html +23 -24
  40. package/SVF-doxygen/html/functions_t.html +7 -7
  41. package/SVF-doxygen/html/functions_v.html +3 -3
  42. package/SVF-doxygen/html/functions_vars.html +0 -3
  43. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +2 -2
  44. package/SVF-doxygen/html/search/all_0.js +141 -142
  45. package/SVF-doxygen/html/search/all_1.js +484 -484
  46. package/SVF-doxygen/html/search/all_10.js +324 -324
  47. package/SVF-doxygen/html/search/all_11.js +224 -224
  48. package/SVF-doxygen/html/search/all_12.js +542 -543
  49. package/SVF-doxygen/html/search/all_13.js +190 -190
  50. package/SVF-doxygen/html/search/all_14.js +67 -67
  51. package/SVF-doxygen/html/search/all_15.js +170 -170
  52. package/SVF-doxygen/html/search/all_16.js +63 -63
  53. package/SVF-doxygen/html/search/all_17.js +1 -1
  54. package/SVF-doxygen/html/search/all_18.js +1 -1
  55. package/SVF-doxygen/html/search/all_19.js +11 -11
  56. package/SVF-doxygen/html/search/all_1a.js +172 -172
  57. package/SVF-doxygen/html/search/all_2.js +167 -167
  58. package/SVF-doxygen/html/search/all_3.js +640 -640
  59. package/SVF-doxygen/html/search/all_4.js +233 -233
  60. package/SVF-doxygen/html/search/all_5.js +121 -121
  61. package/SVF-doxygen/html/search/all_6.js +225 -225
  62. package/SVF-doxygen/html/search/all_7.js +1038 -1039
  63. package/SVF-doxygen/html/search/all_8.js +195 -195
  64. package/SVF-doxygen/html/search/all_9.js +607 -607
  65. package/SVF-doxygen/html/search/all_a.js +46 -46
  66. package/SVF-doxygen/html/search/all_b.js +26 -26
  67. package/SVF-doxygen/html/search/all_c.js +116 -116
  68. package/SVF-doxygen/html/search/all_d.js +196 -196
  69. package/SVF-doxygen/html/search/all_e.js +207 -207
  70. package/SVF-doxygen/html/search/all_f.js +116 -116
  71. package/SVF-doxygen/html/search/classes_0.js +26 -26
  72. package/SVF-doxygen/html/search/classes_1.js +9 -9
  73. package/SVF-doxygen/html/search/classes_10.js +73 -73
  74. package/SVF-doxygen/html/search/classes_11.js +15 -15
  75. package/SVF-doxygen/html/search/classes_12.js +2 -2
  76. package/SVF-doxygen/html/search/classes_13.js +10 -10
  77. package/SVF-doxygen/html/search/classes_14.js +14 -14
  78. package/SVF-doxygen/html/search/classes_15.js +1 -1
  79. package/SVF-doxygen/html/search/classes_2.js +80 -80
  80. package/SVF-doxygen/html/search/classes_3.js +37 -37
  81. package/SVF-doxygen/html/search/classes_4.js +9 -9
  82. package/SVF-doxygen/html/search/classes_5.js +28 -28
  83. package/SVF-doxygen/html/search/classes_6.js +104 -104
  84. package/SVF-doxygen/html/search/classes_7.js +33 -33
  85. package/SVF-doxygen/html/search/classes_8.js +56 -56
  86. package/SVF-doxygen/html/search/classes_9.js +1 -1
  87. package/SVF-doxygen/html/search/classes_a.js +12 -12
  88. package/SVF-doxygen/html/search/classes_b.js +29 -29
  89. package/SVF-doxygen/html/search/classes_c.js +6 -6
  90. package/SVF-doxygen/html/search/classes_d.js +18 -18
  91. package/SVF-doxygen/html/search/classes_e.js +36 -36
  92. package/SVF-doxygen/html/search/classes_f.js +25 -25
  93. package/SVF-doxygen/html/search/defines_0.js +3 -3
  94. package/SVF-doxygen/html/search/defines_1.js +2 -2
  95. package/SVF-doxygen/html/search/defines_2.js +30 -30
  96. package/SVF-doxygen/html/search/defines_3.js +21 -21
  97. package/SVF-doxygen/html/search/defines_4.js +2 -2
  98. package/SVF-doxygen/html/search/defines_5.js +4 -4
  99. package/SVF-doxygen/html/search/defines_6.js +2 -2
  100. package/SVF-doxygen/html/search/defines_7.js +5 -5
  101. package/SVF-doxygen/html/search/defines_8.js +11 -11
  102. package/SVF-doxygen/html/search/defines_9.js +9 -9
  103. package/SVF-doxygen/html/search/defines_a.js +2 -2
  104. package/SVF-doxygen/html/search/defines_b.js +1 -1
  105. package/SVF-doxygen/html/search/defines_c.js +3 -3
  106. package/SVF-doxygen/html/search/defines_d.js +2 -2
  107. package/SVF-doxygen/html/search/defines_e.js +7 -7
  108. package/SVF-doxygen/html/search/defines_f.js +3 -3
  109. package/SVF-doxygen/html/search/enums_0.js +3 -3
  110. package/SVF-doxygen/html/search/enums_1.js +2 -2
  111. package/SVF-doxygen/html/search/enums_10.js +1 -1
  112. package/SVF-doxygen/html/search/enums_11.js +1 -1
  113. package/SVF-doxygen/html/search/enums_2.js +8 -8
  114. package/SVF-doxygen/html/search/enums_3.js +1 -1
  115. package/SVF-doxygen/html/search/enums_4.js +3 -3
  116. package/SVF-doxygen/html/search/enums_5.js +1 -1
  117. package/SVF-doxygen/html/search/enums_6.js +2 -2
  118. package/SVF-doxygen/html/search/enums_7.js +2 -2
  119. package/SVF-doxygen/html/search/enums_8.js +4 -4
  120. package/SVF-doxygen/html/search/enums_9.js +1 -1
  121. package/SVF-doxygen/html/search/enums_a.js +1 -1
  122. package/SVF-doxygen/html/search/enums_b.js +7 -7
  123. package/SVF-doxygen/html/search/enums_c.js +1 -1
  124. package/SVF-doxygen/html/search/enums_d.js +4 -4
  125. package/SVF-doxygen/html/search/enums_e.js +2 -2
  126. package/SVF-doxygen/html/search/enums_f.js +4 -4
  127. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  128. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  129. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  130. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  131. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  132. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  133. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  134. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  135. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  136. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  137. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  138. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  139. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  140. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  141. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  142. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  143. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  144. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  145. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  146. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  147. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  148. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  149. package/SVF-doxygen/html/search/files_0.js +13 -13
  150. package/SVF-doxygen/html/search/files_1.js +7 -7
  151. package/SVF-doxygen/html/search/files_10.js +8 -8
  152. package/SVF-doxygen/html/search/files_11.js +8 -8
  153. package/SVF-doxygen/html/search/files_12.js +2 -2
  154. package/SVF-doxygen/html/search/files_2.js +53 -53
  155. package/SVF-doxygen/html/search/files_3.js +14 -14
  156. package/SVF-doxygen/html/search/files_4.js +5 -5
  157. package/SVF-doxygen/html/search/files_5.js +13 -13
  158. package/SVF-doxygen/html/search/files_6.js +9 -9
  159. package/SVF-doxygen/html/search/files_7.js +14 -14
  160. package/SVF-doxygen/html/search/files_8.js +13 -13
  161. package/SVF-doxygen/html/search/files_9.js +18 -18
  162. package/SVF-doxygen/html/search/files_a.js +3 -3
  163. package/SVF-doxygen/html/search/files_b.js +2 -2
  164. package/SVF-doxygen/html/search/files_c.js +20 -20
  165. package/SVF-doxygen/html/search/files_d.js +4 -4
  166. package/SVF-doxygen/html/search/files_e.js +62 -62
  167. package/SVF-doxygen/html/search/files_f.js +8 -8
  168. package/SVF-doxygen/html/search/functions_0.js +12 -12
  169. package/SVF-doxygen/html/search/functions_1.js +356 -356
  170. package/SVF-doxygen/html/search/functions_10.js +140 -140
  171. package/SVF-doxygen/html/search/functions_11.js +138 -138
  172. package/SVF-doxygen/html/search/functions_12.js +277 -278
  173. package/SVF-doxygen/html/search/functions_13.js +58 -58
  174. package/SVF-doxygen/html/search/functions_14.js +39 -39
  175. package/SVF-doxygen/html/search/functions_15.js +71 -71
  176. package/SVF-doxygen/html/search/functions_16.js +32 -32
  177. package/SVF-doxygen/html/search/functions_17.js +3 -3
  178. package/SVF-doxygen/html/search/functions_18.js +172 -172
  179. package/SVF-doxygen/html/search/functions_2.js +86 -86
  180. package/SVF-doxygen/html/search/functions_3.js +257 -257
  181. package/SVF-doxygen/html/search/functions_4.js +75 -75
  182. package/SVF-doxygen/html/search/functions_5.js +53 -53
  183. package/SVF-doxygen/html/search/functions_6.js +59 -59
  184. package/SVF-doxygen/html/search/functions_7.js +849 -850
  185. package/SVF-doxygen/html/search/functions_8.js +147 -147
  186. package/SVF-doxygen/html/search/functions_9.js +425 -425
  187. package/SVF-doxygen/html/search/functions_a.js +30 -30
  188. package/SVF-doxygen/html/search/functions_b.js +2 -2
  189. package/SVF-doxygen/html/search/functions_c.js +26 -26
  190. package/SVF-doxygen/html/search/functions_d.js +77 -77
  191. package/SVF-doxygen/html/search/functions_e.js +35 -35
  192. package/SVF-doxygen/html/search/functions_f.js +56 -56
  193. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  194. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  195. package/SVF-doxygen/html/search/related_0.js +2 -2
  196. package/SVF-doxygen/html/search/related_1.js +2 -2
  197. package/SVF-doxygen/html/search/related_2.js +2 -2
  198. package/SVF-doxygen/html/search/related_3.js +2 -2
  199. package/SVF-doxygen/html/search/related_4.js +2 -2
  200. package/SVF-doxygen/html/search/related_5.js +1 -1
  201. package/SVF-doxygen/html/search/related_6.js +2 -2
  202. package/SVF-doxygen/html/search/related_7.js +4 -4
  203. package/SVF-doxygen/html/search/related_8.js +2 -2
  204. package/SVF-doxygen/html/search/related_9.js +4 -4
  205. package/SVF-doxygen/html/search/related_a.js +19 -19
  206. package/SVF-doxygen/html/search/related_b.js +4 -4
  207. package/SVF-doxygen/html/search/related_c.js +1 -1
  208. package/SVF-doxygen/html/search/related_d.js +11 -11
  209. package/SVF-doxygen/html/search/related_e.js +2 -2
  210. package/SVF-doxygen/html/search/related_f.js +2 -2
  211. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  212. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  213. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  214. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  215. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  216. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  217. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  218. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  219. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  220. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  221. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  222. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  223. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  224. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  225. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  226. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  227. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  228. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  229. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  230. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  231. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  232. package/SVF-doxygen/html/search/variables_0.js +152 -153
  233. package/SVF-doxygen/html/search/variables_1.js +75 -75
  234. package/SVF-doxygen/html/search/variables_10.js +97 -97
  235. package/SVF-doxygen/html/search/variables_11.js +46 -46
  236. package/SVF-doxygen/html/search/variables_12.js +92 -92
  237. package/SVF-doxygen/html/search/variables_13.js +75 -75
  238. package/SVF-doxygen/html/search/variables_14.js +14 -14
  239. package/SVF-doxygen/html/search/variables_15.js +48 -48
  240. package/SVF-doxygen/html/search/variables_16.js +9 -9
  241. package/SVF-doxygen/html/search/variables_17.js +1 -1
  242. package/SVF-doxygen/html/search/variables_18.js +2 -2
  243. package/SVF-doxygen/html/search/variables_2.js +37 -37
  244. package/SVF-doxygen/html/search/variables_3.js +142 -142
  245. package/SVF-doxygen/html/search/variables_4.js +55 -55
  246. package/SVF-doxygen/html/search/variables_5.js +39 -39
  247. package/SVF-doxygen/html/search/variables_6.js +66 -66
  248. package/SVF-doxygen/html/search/variables_7.js +33 -33
  249. package/SVF-doxygen/html/search/variables_8.js +7 -7
  250. package/SVF-doxygen/html/search/variables_9.js +77 -77
  251. package/SVF-doxygen/html/search/variables_a.js +4 -4
  252. package/SVF-doxygen/html/search/variables_b.js +10 -10
  253. package/SVF-doxygen/html/search/variables_c.js +45 -45
  254. package/SVF-doxygen/html/search/variables_d.js +56 -56
  255. package/SVF-doxygen/html/search/variables_e.js +123 -123
  256. package/SVF-doxygen/html/search/variables_f.js +30 -30
  257. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  258. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  259. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  260. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  261. package/package.json +1 -1
  262. package/svf/include/Graphs/CFBasicBlockG.h +0 -27
  263. package/svf/lib/Graphs/CFBasicBlockG.cpp +0 -2
  264. package/svf/lib/SVFIR/SVFValue.cpp +2 -0
  265. package/svf/lib/Util/CDGBuilder.cpp +5 -0
package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html CHANGED
@@ -201,71 +201,68 @@ $(function() {
201
201
  <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
202
202
  <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div>
203
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; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</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"> 135</span>&#160; </div>
207
- <div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf"> 136</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>
208
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div>
209
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</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>
210
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt;</a> bbToNode;</div>
211
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, CFBasicBlockNode*&gt;</a> funToFirstNode;</div>
212
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
213
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
214
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* pNode = <span class="keyword">nullptr</span>;</div>
215
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</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>
216
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div>
217
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
218
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
219
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; pNode = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>({node.second});</div>
220
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; bbToNode[node.second-&gt;getBB()] = pNode;</div>
221
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</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>
222
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
223
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">else</span></div>
224
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div>
225
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
226
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; pNode-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">addNode</a>(node.second);</div>
227
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
228
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = node.second-&gt;getFun();</div>
229
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">if</span> (funToFirstNode.find(fun) == funToFirstNode.end())</div>
230
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
231
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; funToFirstNode[fun] = <span class="keyword">nullptr</span>;</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; </div>
236
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
237
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
238
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</div>
239
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</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>* node_fun = node.second-&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_1SVFFunction.html">SVFFunction</a>* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</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>* node_bb = node.second-&gt;getBB();</div>
243
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</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>
244
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
245
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
246
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
247
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
248
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</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>
249
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</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>
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; </div>
255
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = funToFirstNode.begin(); it != funToFirstNode.end(); ++it)</div>
256
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</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_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div>
258
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</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>
259
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; funToFirstNode[fun] = bbToNode[bb];</div>
260
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
261
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</div>
262
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</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>
263
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160;}</div>
264
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</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>
265
263
  </div><!-- fragment --></div><!-- contents -->
266
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>
267
265
  <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>
268
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_ab8b75e7bcafc8a1512c3e78d12bffe16"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph::_bbToNode</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, CFBasicBlockNode * &gt; _bbToNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00358">CFBasicBlockG.h:358</a></div></div>
269
266
  <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>
270
267
  <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>
271
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>
@@ -275,8 +272,8 @@ $(function() {
275
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>
276
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>
277
274
  <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>
278
- <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#l00503">CFBasicBlockG.h:503</a></div></div>
279
- <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#l00513">CFBasicBlockG.h:513</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>
280
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>
281
278
  <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>
282
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>
@@ -288,13 +285,13 @@ $(function() {
288
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>
289
286
  <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>
290
287
  <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>
291
- <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#l00359">CFBasicBlockG.h:359</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>
292
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>
293
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>
294
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>
295
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>
296
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>
297
- <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#l00524">CFBasicBlockG.h:524</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>
298
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>
299
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>
300
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>