svf-tools 1.0.784 → 1.0.785

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 (250) hide show
  1. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +68 -52
  2. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +527 -484
  3. package/SVF-doxygen/html/WTO_8h_source.html +3 -3
  4. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html +27 -26
  5. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html +62 -19
  6. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +66 -51
  7. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  8. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  9. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +30 -24
  10. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +307 -109
  11. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +177 -177
  12. package/SVF-doxygen/html/functions.html +3 -0
  13. package/SVF-doxygen/html/functions_b.html +3 -3
  14. package/SVF-doxygen/html/functions_c.html +29 -29
  15. package/SVF-doxygen/html/functions_f.html +3 -3
  16. package/SVF-doxygen/html/functions_func_c.html +21 -21
  17. package/SVF-doxygen/html/functions_func_g.html +20 -14
  18. package/SVF-doxygen/html/functions_func_h.html +7 -4
  19. package/SVF-doxygen/html/functions_func_s.html +28 -22
  20. package/SVF-doxygen/html/functions_g.html +16 -10
  21. package/SVF-doxygen/html/functions_h.html +7 -4
  22. package/SVF-doxygen/html/functions_i.html +6 -6
  23. package/SVF-doxygen/html/functions_l.html +3 -3
  24. package/SVF-doxygen/html/functions_p.html +15 -11
  25. package/SVF-doxygen/html/functions_r.html +6 -4
  26. package/SVF-doxygen/html/functions_s.html +16 -12
  27. package/SVF-doxygen/html/functions_t.html +3 -3
  28. package/SVF-doxygen/html/functions_v.html +6 -6
  29. package/SVF-doxygen/html/functions_vars.html +3 -0
  30. package/SVF-doxygen/html/namespaceSVF.html +2 -2
  31. package/SVF-doxygen/html/search/all_0.js +124 -123
  32. package/SVF-doxygen/html/search/all_1.js +484 -484
  33. package/SVF-doxygen/html/search/all_10.js +324 -324
  34. package/SVF-doxygen/html/search/all_11.js +224 -224
  35. package/SVF-doxygen/html/search/all_12.js +543 -541
  36. package/SVF-doxygen/html/search/all_13.js +190 -190
  37. package/SVF-doxygen/html/search/all_14.js +67 -67
  38. package/SVF-doxygen/html/search/all_15.js +170 -170
  39. package/SVF-doxygen/html/search/all_16.js +63 -63
  40. package/SVF-doxygen/html/search/all_17.js +1 -1
  41. package/SVF-doxygen/html/search/all_18.js +1 -1
  42. package/SVF-doxygen/html/search/all_19.js +11 -11
  43. package/SVF-doxygen/html/search/all_1a.js +172 -172
  44. package/SVF-doxygen/html/search/all_2.js +167 -167
  45. package/SVF-doxygen/html/search/all_3.js +640 -640
  46. package/SVF-doxygen/html/search/all_4.js +233 -233
  47. package/SVF-doxygen/html/search/all_5.js +121 -121
  48. package/SVF-doxygen/html/search/all_6.js +225 -225
  49. package/SVF-doxygen/html/search/all_7.js +1039 -1037
  50. package/SVF-doxygen/html/search/all_8.js +195 -194
  51. package/SVF-doxygen/html/search/all_9.js +607 -607
  52. package/SVF-doxygen/html/search/all_a.js +46 -46
  53. package/SVF-doxygen/html/search/all_b.js +26 -26
  54. package/SVF-doxygen/html/search/all_c.js +116 -116
  55. package/SVF-doxygen/html/search/all_d.js +196 -196
  56. package/SVF-doxygen/html/search/all_e.js +207 -207
  57. package/SVF-doxygen/html/search/all_f.js +116 -116
  58. package/SVF-doxygen/html/search/classes_0.js +26 -26
  59. package/SVF-doxygen/html/search/classes_1.js +9 -9
  60. package/SVF-doxygen/html/search/classes_10.js +73 -73
  61. package/SVF-doxygen/html/search/classes_11.js +15 -15
  62. package/SVF-doxygen/html/search/classes_12.js +2 -2
  63. package/SVF-doxygen/html/search/classes_13.js +10 -10
  64. package/SVF-doxygen/html/search/classes_14.js +14 -14
  65. package/SVF-doxygen/html/search/classes_15.js +1 -1
  66. package/SVF-doxygen/html/search/classes_2.js +80 -80
  67. package/SVF-doxygen/html/search/classes_3.js +37 -37
  68. package/SVF-doxygen/html/search/classes_4.js +9 -9
  69. package/SVF-doxygen/html/search/classes_5.js +28 -28
  70. package/SVF-doxygen/html/search/classes_6.js +104 -104
  71. package/SVF-doxygen/html/search/classes_7.js +33 -33
  72. package/SVF-doxygen/html/search/classes_8.js +56 -56
  73. package/SVF-doxygen/html/search/classes_9.js +1 -1
  74. package/SVF-doxygen/html/search/classes_a.js +12 -12
  75. package/SVF-doxygen/html/search/classes_b.js +29 -29
  76. package/SVF-doxygen/html/search/classes_c.js +6 -6
  77. package/SVF-doxygen/html/search/classes_d.js +18 -18
  78. package/SVF-doxygen/html/search/classes_e.js +36 -36
  79. package/SVF-doxygen/html/search/classes_f.js +25 -25
  80. package/SVF-doxygen/html/search/defines_0.js +3 -3
  81. package/SVF-doxygen/html/search/defines_1.js +2 -2
  82. package/SVF-doxygen/html/search/defines_2.js +30 -30
  83. package/SVF-doxygen/html/search/defines_3.js +21 -21
  84. package/SVF-doxygen/html/search/defines_4.js +2 -2
  85. package/SVF-doxygen/html/search/defines_5.js +4 -4
  86. package/SVF-doxygen/html/search/defines_6.js +2 -2
  87. package/SVF-doxygen/html/search/defines_7.js +5 -5
  88. package/SVF-doxygen/html/search/defines_8.js +11 -11
  89. package/SVF-doxygen/html/search/defines_9.js +9 -9
  90. package/SVF-doxygen/html/search/defines_a.js +2 -2
  91. package/SVF-doxygen/html/search/defines_b.js +1 -1
  92. package/SVF-doxygen/html/search/defines_c.js +3 -3
  93. package/SVF-doxygen/html/search/defines_d.js +2 -2
  94. package/SVF-doxygen/html/search/defines_e.js +7 -7
  95. package/SVF-doxygen/html/search/defines_f.js +3 -3
  96. package/SVF-doxygen/html/search/enums_0.js +3 -3
  97. package/SVF-doxygen/html/search/enums_1.js +2 -2
  98. package/SVF-doxygen/html/search/enums_10.js +1 -1
  99. package/SVF-doxygen/html/search/enums_11.js +1 -1
  100. package/SVF-doxygen/html/search/enums_2.js +8 -8
  101. package/SVF-doxygen/html/search/enums_3.js +1 -1
  102. package/SVF-doxygen/html/search/enums_4.js +3 -3
  103. package/SVF-doxygen/html/search/enums_5.js +1 -1
  104. package/SVF-doxygen/html/search/enums_6.js +2 -2
  105. package/SVF-doxygen/html/search/enums_7.js +2 -2
  106. package/SVF-doxygen/html/search/enums_8.js +4 -4
  107. package/SVF-doxygen/html/search/enums_9.js +1 -1
  108. package/SVF-doxygen/html/search/enums_a.js +1 -1
  109. package/SVF-doxygen/html/search/enums_b.js +7 -7
  110. package/SVF-doxygen/html/search/enums_c.js +1 -1
  111. package/SVF-doxygen/html/search/enums_d.js +4 -4
  112. package/SVF-doxygen/html/search/enums_e.js +2 -2
  113. package/SVF-doxygen/html/search/enums_f.js +4 -4
  114. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  115. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  116. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  117. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  118. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  119. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  120. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  121. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  122. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  123. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  124. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  125. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  126. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  127. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  128. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  129. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  130. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  131. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  132. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  133. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  134. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  135. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  136. package/SVF-doxygen/html/search/files_0.js +13 -13
  137. package/SVF-doxygen/html/search/files_1.js +7 -7
  138. package/SVF-doxygen/html/search/files_10.js +8 -8
  139. package/SVF-doxygen/html/search/files_11.js +8 -8
  140. package/SVF-doxygen/html/search/files_12.js +2 -2
  141. package/SVF-doxygen/html/search/files_2.js +53 -53
  142. package/SVF-doxygen/html/search/files_3.js +14 -14
  143. package/SVF-doxygen/html/search/files_4.js +5 -5
  144. package/SVF-doxygen/html/search/files_5.js +13 -13
  145. package/SVF-doxygen/html/search/files_6.js +9 -9
  146. package/SVF-doxygen/html/search/files_7.js +14 -14
  147. package/SVF-doxygen/html/search/files_8.js +13 -13
  148. package/SVF-doxygen/html/search/files_9.js +18 -18
  149. package/SVF-doxygen/html/search/files_a.js +3 -3
  150. package/SVF-doxygen/html/search/files_b.js +2 -2
  151. package/SVF-doxygen/html/search/files_c.js +20 -20
  152. package/SVF-doxygen/html/search/files_d.js +4 -4
  153. package/SVF-doxygen/html/search/files_e.js +62 -62
  154. package/SVF-doxygen/html/search/files_f.js +8 -8
  155. package/SVF-doxygen/html/search/functions_0.js +12 -12
  156. package/SVF-doxygen/html/search/functions_1.js +356 -356
  157. package/SVF-doxygen/html/search/functions_10.js +140 -140
  158. package/SVF-doxygen/html/search/functions_11.js +138 -138
  159. package/SVF-doxygen/html/search/functions_12.js +278 -276
  160. package/SVF-doxygen/html/search/functions_13.js +58 -58
  161. package/SVF-doxygen/html/search/functions_14.js +39 -39
  162. package/SVF-doxygen/html/search/functions_15.js +71 -71
  163. package/SVF-doxygen/html/search/functions_16.js +32 -32
  164. package/SVF-doxygen/html/search/functions_17.js +3 -3
  165. package/SVF-doxygen/html/search/functions_18.js +172 -172
  166. package/SVF-doxygen/html/search/functions_2.js +86 -86
  167. package/SVF-doxygen/html/search/functions_3.js +257 -257
  168. package/SVF-doxygen/html/search/functions_4.js +75 -75
  169. package/SVF-doxygen/html/search/functions_5.js +53 -53
  170. package/SVF-doxygen/html/search/functions_6.js +59 -59
  171. package/SVF-doxygen/html/search/functions_7.js +850 -848
  172. package/SVF-doxygen/html/search/functions_8.js +147 -146
  173. package/SVF-doxygen/html/search/functions_9.js +425 -425
  174. package/SVF-doxygen/html/search/functions_a.js +30 -30
  175. package/SVF-doxygen/html/search/functions_b.js +2 -2
  176. package/SVF-doxygen/html/search/functions_c.js +26 -26
  177. package/SVF-doxygen/html/search/functions_d.js +77 -77
  178. package/SVF-doxygen/html/search/functions_e.js +35 -35
  179. package/SVF-doxygen/html/search/functions_f.js +56 -56
  180. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  181. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  182. package/SVF-doxygen/html/search/related_0.js +2 -2
  183. package/SVF-doxygen/html/search/related_1.js +2 -2
  184. package/SVF-doxygen/html/search/related_2.js +2 -2
  185. package/SVF-doxygen/html/search/related_3.js +2 -2
  186. package/SVF-doxygen/html/search/related_4.js +2 -2
  187. package/SVF-doxygen/html/search/related_5.js +1 -1
  188. package/SVF-doxygen/html/search/related_6.js +2 -2
  189. package/SVF-doxygen/html/search/related_7.js +4 -4
  190. package/SVF-doxygen/html/search/related_8.js +2 -2
  191. package/SVF-doxygen/html/search/related_9.js +4 -4
  192. package/SVF-doxygen/html/search/related_a.js +19 -19
  193. package/SVF-doxygen/html/search/related_b.js +4 -4
  194. package/SVF-doxygen/html/search/related_c.js +1 -1
  195. package/SVF-doxygen/html/search/related_d.js +11 -11
  196. package/SVF-doxygen/html/search/related_e.js +2 -2
  197. package/SVF-doxygen/html/search/related_f.js +2 -2
  198. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  199. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  200. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  201. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  202. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  203. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  204. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  205. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  206. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  207. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  208. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  209. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  210. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  211. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  212. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  213. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  214. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  215. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  216. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  217. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  218. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  219. package/SVF-doxygen/html/search/variables_0.js +153 -152
  220. package/SVF-doxygen/html/search/variables_1.js +75 -75
  221. package/SVF-doxygen/html/search/variables_10.js +97 -97
  222. package/SVF-doxygen/html/search/variables_11.js +46 -46
  223. package/SVF-doxygen/html/search/variables_12.js +92 -92
  224. package/SVF-doxygen/html/search/variables_13.js +75 -75
  225. package/SVF-doxygen/html/search/variables_14.js +14 -14
  226. package/SVF-doxygen/html/search/variables_15.js +48 -48
  227. package/SVF-doxygen/html/search/variables_16.js +9 -9
  228. package/SVF-doxygen/html/search/variables_17.js +1 -1
  229. package/SVF-doxygen/html/search/variables_18.js +2 -2
  230. package/SVF-doxygen/html/search/variables_2.js +37 -37
  231. package/SVF-doxygen/html/search/variables_3.js +142 -142
  232. package/SVF-doxygen/html/search/variables_4.js +55 -55
  233. package/SVF-doxygen/html/search/variables_5.js +39 -39
  234. package/SVF-doxygen/html/search/variables_6.js +66 -66
  235. package/SVF-doxygen/html/search/variables_7.js +33 -33
  236. package/SVF-doxygen/html/search/variables_8.js +7 -7
  237. package/SVF-doxygen/html/search/variables_9.js +77 -77
  238. package/SVF-doxygen/html/search/variables_a.js +4 -4
  239. package/SVF-doxygen/html/search/variables_b.js +10 -10
  240. package/SVF-doxygen/html/search/variables_c.js +45 -45
  241. package/SVF-doxygen/html/search/variables_d.js +56 -56
  242. package/SVF-doxygen/html/search/variables_e.js +123 -123
  243. package/SVF-doxygen/html/search/variables_f.js +30 -30
  244. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  245. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  246. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  247. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  248. package/package.json +1 -1
  249. package/svf/include/Graphs/CFBasicBlockG.h +37 -1
  250. package/svf/lib/Graphs/CFBasicBlockG.cpp +14 -0
package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html CHANGED
@@ -208,60 +208,75 @@ $(function() {
208
208
  <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div>
209
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
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; <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; }</div>
228
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</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; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</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; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</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; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* node_fun = node.second-&gt;getFun();</div>
235
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</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>
236
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* node_bb = node.second-&gt;getBB();</div>
237
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</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>
238
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</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="keywordflow">if</span> (node_bb != succ_bb)</div>
241
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div>
242
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</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>
243
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</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>
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; }</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; }</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#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</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>
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>
251
265
  </div><!-- fragment --></div><!-- contents -->
266
+ <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>
252
267
  <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>
253
- <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#l00353">CFBasicBlockG.h:353</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>
254
269
  <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>
255
- <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#l00114">CFBasicBlockG.h:114</a></div></div>
256
- <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#l00119">CFBasicBlockG.h:119</a></div></div>
270
+ <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
+ <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>
257
272
  <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>
258
- <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#l00209">CFBasicBlockG.h:209</a></div></div>
273
+ <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>
259
274
  <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>
260
275
  <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>
261
276
  <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>
262
277
  <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>
263
- <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#l00467">CFBasicBlockG.h:467</a></div></div>
264
- <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#l00477">CFBasicBlockG.h:477</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>
265
280
  <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>
266
281
  <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>
267
282
  <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>
@@ -272,18 +287,19 @@ $(function() {
272
287
  <div class="ttc" id="aCFBasicBlockG_8h_html"><div class="ttname"><a href="CFBasicBlockG_8h.html">CFBasicBlockG.h</a></div></div>
273
288
  <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>
274
289
  <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>
275
- <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#l00106">CFBasicBlockG.h:106</a></div></div>
276
- <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#l00135">CFBasicBlockG.h:135</a></div></div>
277
- <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#l00214">CFBasicBlockG.h:214</a></div></div>
290
+ <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>
292
+ <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
+ <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>
278
294
  <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>
279
295
  <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>
280
296
  <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>
281
- <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#l00488">CFBasicBlockG.h:488</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>
282
298
  <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>
283
299
  <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>
284
- <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#l00347">CFBasicBlockG.h:347</a></div></div>
300
+ <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>
285
301
  <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>
286
- <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#l00170">CFBasicBlockG.h:170</a></div></div>
302
+ <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>
287
303
  <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>
288
304
  <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>
289
305
  <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>