svf-tools 1.0.838 → 1.0.839

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 (317) hide show
  1. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp.html +86 -0
  2. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +195 -0
  3. package/SVF-doxygen/html/CFLSVFGBuilder_8h.html +98 -0
  4. package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +148 -0
  5. package/SVF-doxygen/html/CFLVF_8h.html +1 -1
  6. package/SVF-doxygen/html/CFLVF_8h_source.html +5 -5
  7. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +1 -1
  9. package/SVF-doxygen/html/DoubleFreeChecker_8cpp_source.html +4 -4
  10. package/SVF-doxygen/html/DoubleFreeChecker_8h_source.html +1 -1
  11. package/SVF-doxygen/html/FileChecker_8cpp_source.html +2 -2
  12. package/SVF-doxygen/html/FileChecker_8h_source.html +1 -1
  13. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
  15. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +170 -136
  16. package/SVF-doxygen/html/ProgSlice_8h_source.html +314 -298
  17. package/SVF-doxygen/html/SVFGOPT_8h_source.html +5 -5
  18. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/SVFG_8cpp_source.html +29 -29
  20. package/SVF-doxygen/html/SVFG_8h_source.html +446 -444
  21. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +246 -235
  23. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp.html +1 -0
  24. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +271 -265
  25. package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +75 -62
  26. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +257 -256
  27. package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +18 -18
  28. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  29. package/SVF-doxygen/html/WPAPass_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/annotated.html +377 -376
  31. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder-members.html +121 -0
  32. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +473 -0
  33. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.png +0 -0
  34. package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +1 -1
  35. package/SVF-doxygen/html/classSVF_1_1CFLVF.html +7 -7
  36. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  37. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  38. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +5 -5
  39. package/SVF-doxygen/html/classSVF_1_1FileChecker.html +3 -3
  40. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  41. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  42. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +5 -5
  43. package/SVF-doxygen/html/classSVF_1_1ProgSlice-members.html +25 -22
  44. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +493 -366
  45. package/SVF-doxygen/html/classSVF_1_1SVFG-members.html +182 -181
  46. package/SVF-doxygen/html/classSVF_1_1SVFG.html +324 -298
  47. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -1
  48. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.png +0 -0
  49. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +7 -7
  50. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator-members.html +22 -19
  51. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +238 -159
  52. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder-members.html +11 -9
  53. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +347 -285
  54. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.png +0 -0
  55. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +259 -257
  56. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +3 -3
  57. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +1 -1
  58. package/SVF-doxygen/html/classes.html +95 -94
  59. package/SVF-doxygen/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +2 -0
  60. package/SVF-doxygen/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -0
  61. package/SVF-doxygen/html/files.html +6 -4
  62. package/SVF-doxygen/html/functions_b.html +4 -3
  63. package/SVF-doxygen/html/functions_c.html +38 -29
  64. package/SVF-doxygen/html/functions_f.html +6 -6
  65. package/SVF-doxygen/html/functions_func_b.html +3 -2
  66. package/SVF-doxygen/html/functions_func_c.html +29 -23
  67. package/SVF-doxygen/html/functions_func_g.html +14 -10
  68. package/SVF-doxygen/html/functions_func_i.html +1 -1
  69. package/SVF-doxygen/html/functions_func_r.html +6 -5
  70. package/SVF-doxygen/html/functions_func_s.html +20 -17
  71. package/SVF-doxygen/html/functions_func_~.html +3 -0
  72. package/SVF-doxygen/html/functions_g.html +10 -6
  73. package/SVF-doxygen/html/functions_i.html +5 -5
  74. package/SVF-doxygen/html/functions_m.html +1 -1
  75. package/SVF-doxygen/html/functions_n.html +8 -7
  76. package/SVF-doxygen/html/functions_p.html +15 -15
  77. package/SVF-doxygen/html/functions_r.html +12 -6
  78. package/SVF-doxygen/html/functions_rela_c.html +3 -0
  79. package/SVF-doxygen/html/functions_s.html +22 -11
  80. package/SVF-doxygen/html/functions_t.html +7 -7
  81. package/SVF-doxygen/html/functions_type_n.html +2 -1
  82. package/SVF-doxygen/html/functions_type_s.html +6 -1
  83. package/SVF-doxygen/html/functions_type_w.html +1 -0
  84. package/SVF-doxygen/html/functions_v.html +4 -6
  85. package/SVF-doxygen/html/functions_vars_m.html +1 -1
  86. package/SVF-doxygen/html/functions_vars_r.html +3 -0
  87. package/SVF-doxygen/html/functions_vars_s.html +2 -1
  88. package/SVF-doxygen/html/functions_w.html +4 -3
  89. package/SVF-doxygen/html/functions_~.html +3 -0
  90. package/SVF-doxygen/html/hierarchy.html +2 -1
  91. package/SVF-doxygen/html/namespaceSVF.html +2 -0
  92. package/SVF-doxygen/html/search/all_10.js +325 -325
  93. package/SVF-doxygen/html/search/all_11.js +224 -223
  94. package/SVF-doxygen/html/search/all_12.js +553 -551
  95. package/SVF-doxygen/html/search/all_13.js +190 -190
  96. package/SVF-doxygen/html/search/all_14.js +67 -67
  97. package/SVF-doxygen/html/search/all_15.js +167 -167
  98. package/SVF-doxygen/html/search/all_16.js +63 -63
  99. package/SVF-doxygen/html/search/all_17.js +1 -1
  100. package/SVF-doxygen/html/search/all_18.js +1 -1
  101. package/SVF-doxygen/html/search/all_19.js +11 -11
  102. package/SVF-doxygen/html/search/all_1a.js +173 -172
  103. package/SVF-doxygen/html/search/all_2.js +1 -1
  104. package/SVF-doxygen/html/search/all_3.js +466 -462
  105. package/SVF-doxygen/html/search/all_4.js +230 -230
  106. package/SVF-doxygen/html/search/all_5.js +119 -119
  107. package/SVF-doxygen/html/search/all_6.js +226 -226
  108. package/SVF-doxygen/html/search/all_7.js +1047 -1046
  109. package/SVF-doxygen/html/search/all_8.js +198 -198
  110. package/SVF-doxygen/html/search/all_9.js +608 -608
  111. package/SVF-doxygen/html/search/all_a.js +46 -46
  112. package/SVF-doxygen/html/search/all_b.js +26 -26
  113. package/SVF-doxygen/html/search/all_c.js +115 -115
  114. package/SVF-doxygen/html/search/all_d.js +197 -197
  115. package/SVF-doxygen/html/search/all_e.js +207 -207
  116. package/SVF-doxygen/html/search/all_f.js +116 -116
  117. package/SVF-doxygen/html/search/classes_0.js +26 -26
  118. package/SVF-doxygen/html/search/classes_1.js +9 -9
  119. package/SVF-doxygen/html/search/classes_10.js +73 -73
  120. package/SVF-doxygen/html/search/classes_11.js +15 -15
  121. package/SVF-doxygen/html/search/classes_12.js +2 -2
  122. package/SVF-doxygen/html/search/classes_13.js +10 -10
  123. package/SVF-doxygen/html/search/classes_14.js +14 -14
  124. package/SVF-doxygen/html/search/classes_15.js +1 -1
  125. package/SVF-doxygen/html/search/classes_2.js +81 -80
  126. package/SVF-doxygen/html/search/classes_3.js +37 -37
  127. package/SVF-doxygen/html/search/classes_4.js +9 -9
  128. package/SVF-doxygen/html/search/classes_5.js +28 -28
  129. package/SVF-doxygen/html/search/classes_6.js +104 -104
  130. package/SVF-doxygen/html/search/classes_7.js +34 -34
  131. package/SVF-doxygen/html/search/classes_8.js +56 -56
  132. package/SVF-doxygen/html/search/classes_9.js +1 -1
  133. package/SVF-doxygen/html/search/classes_a.js +12 -12
  134. package/SVF-doxygen/html/search/classes_b.js +29 -29
  135. package/SVF-doxygen/html/search/classes_c.js +6 -6
  136. package/SVF-doxygen/html/search/classes_d.js +18 -18
  137. package/SVF-doxygen/html/search/classes_e.js +36 -36
  138. package/SVF-doxygen/html/search/classes_f.js +25 -25
  139. package/SVF-doxygen/html/search/defines_0.js +3 -3
  140. package/SVF-doxygen/html/search/defines_1.js +2 -2
  141. package/SVF-doxygen/html/search/defines_2.js +30 -30
  142. package/SVF-doxygen/html/search/defines_3.js +20 -20
  143. package/SVF-doxygen/html/search/defines_4.js +2 -2
  144. package/SVF-doxygen/html/search/defines_5.js +4 -4
  145. package/SVF-doxygen/html/search/defines_6.js +2 -2
  146. package/SVF-doxygen/html/search/defines_7.js +5 -5
  147. package/SVF-doxygen/html/search/defines_8.js +11 -11
  148. package/SVF-doxygen/html/search/defines_9.js +9 -9
  149. package/SVF-doxygen/html/search/defines_a.js +2 -2
  150. package/SVF-doxygen/html/search/defines_b.js +1 -1
  151. package/SVF-doxygen/html/search/defines_c.js +3 -3
  152. package/SVF-doxygen/html/search/defines_d.js +2 -2
  153. package/SVF-doxygen/html/search/defines_e.js +7 -7
  154. package/SVF-doxygen/html/search/defines_f.js +3 -3
  155. package/SVF-doxygen/html/search/enums_0.js +3 -3
  156. package/SVF-doxygen/html/search/enums_1.js +2 -2
  157. package/SVF-doxygen/html/search/enums_10.js +1 -1
  158. package/SVF-doxygen/html/search/enums_11.js +1 -1
  159. package/SVF-doxygen/html/search/enums_2.js +8 -8
  160. package/SVF-doxygen/html/search/enums_3.js +1 -1
  161. package/SVF-doxygen/html/search/enums_4.js +3 -3
  162. package/SVF-doxygen/html/search/enums_5.js +1 -1
  163. package/SVF-doxygen/html/search/enums_6.js +2 -2
  164. package/SVF-doxygen/html/search/enums_7.js +2 -2
  165. package/SVF-doxygen/html/search/enums_8.js +4 -4
  166. package/SVF-doxygen/html/search/enums_9.js +1 -1
  167. package/SVF-doxygen/html/search/enums_a.js +1 -1
  168. package/SVF-doxygen/html/search/enums_b.js +7 -7
  169. package/SVF-doxygen/html/search/enums_c.js +1 -1
  170. package/SVF-doxygen/html/search/enums_d.js +4 -4
  171. package/SVF-doxygen/html/search/enums_e.js +2 -2
  172. package/SVF-doxygen/html/search/enums_f.js +4 -4
  173. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  174. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  175. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  176. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  177. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  178. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  179. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  180. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  181. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  182. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  183. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  184. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  185. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  186. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  187. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  188. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  189. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  190. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  191. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  192. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  193. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  194. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  195. package/SVF-doxygen/html/search/files_0.js +13 -13
  196. package/SVF-doxygen/html/search/files_1.js +7 -7
  197. package/SVF-doxygen/html/search/files_10.js +8 -8
  198. package/SVF-doxygen/html/search/files_11.js +8 -8
  199. package/SVF-doxygen/html/search/files_12.js +2 -2
  200. package/SVF-doxygen/html/search/files_2.js +57 -55
  201. package/SVF-doxygen/html/search/files_3.js +14 -14
  202. package/SVF-doxygen/html/search/files_4.js +5 -5
  203. package/SVF-doxygen/html/search/files_5.js +13 -13
  204. package/SVF-doxygen/html/search/files_6.js +9 -9
  205. package/SVF-doxygen/html/search/files_7.js +14 -14
  206. package/SVF-doxygen/html/search/files_8.js +13 -13
  207. package/SVF-doxygen/html/search/files_9.js +18 -18
  208. package/SVF-doxygen/html/search/files_a.js +3 -3
  209. package/SVF-doxygen/html/search/files_b.js +2 -2
  210. package/SVF-doxygen/html/search/files_c.js +20 -20
  211. package/SVF-doxygen/html/search/files_d.js +4 -4
  212. package/SVF-doxygen/html/search/files_e.js +62 -62
  213. package/SVF-doxygen/html/search/files_f.js +8 -8
  214. package/SVF-doxygen/html/search/functions_0.js +13 -13
  215. package/SVF-doxygen/html/search/functions_1.js +362 -362
  216. package/SVF-doxygen/html/search/functions_10.js +140 -140
  217. package/SVF-doxygen/html/search/functions_11.js +139 -139
  218. package/SVF-doxygen/html/search/functions_12.js +289 -288
  219. package/SVF-doxygen/html/search/functions_13.js +59 -59
  220. package/SVF-doxygen/html/search/functions_14.js +39 -39
  221. package/SVF-doxygen/html/search/functions_15.js +71 -71
  222. package/SVF-doxygen/html/search/functions_16.js +32 -32
  223. package/SVF-doxygen/html/search/functions_17.js +3 -3
  224. package/SVF-doxygen/html/search/functions_18.js +173 -172
  225. package/SVF-doxygen/html/search/functions_2.js +89 -89
  226. package/SVF-doxygen/html/search/functions_3.js +260 -258
  227. package/SVF-doxygen/html/search/functions_4.js +78 -78
  228. package/SVF-doxygen/html/search/functions_5.js +53 -53
  229. package/SVF-doxygen/html/search/functions_6.js +60 -60
  230. package/SVF-doxygen/html/search/functions_7.js +856 -855
  231. package/SVF-doxygen/html/search/functions_8.js +149 -149
  232. package/SVF-doxygen/html/search/functions_9.js +424 -424
  233. package/SVF-doxygen/html/search/functions_a.js +30 -30
  234. package/SVF-doxygen/html/search/functions_b.js +2 -2
  235. package/SVF-doxygen/html/search/functions_c.js +25 -25
  236. package/SVF-doxygen/html/search/functions_d.js +79 -79
  237. package/SVF-doxygen/html/search/functions_e.js +35 -35
  238. package/SVF-doxygen/html/search/functions_f.js +56 -56
  239. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  240. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  241. package/SVF-doxygen/html/search/related_0.js +2 -2
  242. package/SVF-doxygen/html/search/related_1.js +2 -2
  243. package/SVF-doxygen/html/search/related_2.js +3 -2
  244. package/SVF-doxygen/html/search/related_3.js +2 -2
  245. package/SVF-doxygen/html/search/related_4.js +2 -2
  246. package/SVF-doxygen/html/search/related_5.js +1 -1
  247. package/SVF-doxygen/html/search/related_6.js +2 -2
  248. package/SVF-doxygen/html/search/related_7.js +4 -4
  249. package/SVF-doxygen/html/search/related_8.js +2 -2
  250. package/SVF-doxygen/html/search/related_9.js +4 -4
  251. package/SVF-doxygen/html/search/related_a.js +19 -19
  252. package/SVF-doxygen/html/search/related_b.js +4 -4
  253. package/SVF-doxygen/html/search/related_c.js +2 -2
  254. package/SVF-doxygen/html/search/related_d.js +12 -12
  255. package/SVF-doxygen/html/search/related_e.js +2 -2
  256. package/SVF-doxygen/html/search/related_f.js +2 -2
  257. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  258. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  259. package/SVF-doxygen/html/search/typedefs_10.js +62 -61
  260. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  261. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  262. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  263. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  264. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  265. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  266. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  267. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  268. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  269. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  270. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  271. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  272. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  273. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  274. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  275. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  276. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  277. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  278. package/SVF-doxygen/html/search/variables_0.js +151 -151
  279. package/SVF-doxygen/html/search/variables_1.js +75 -75
  280. package/SVF-doxygen/html/search/variables_10.js +98 -98
  281. package/SVF-doxygen/html/search/variables_11.js +45 -44
  282. package/SVF-doxygen/html/search/variables_12.js +90 -90
  283. package/SVF-doxygen/html/search/variables_13.js +74 -74
  284. package/SVF-doxygen/html/search/variables_14.js +14 -14
  285. package/SVF-doxygen/html/search/variables_15.js +48 -48
  286. package/SVF-doxygen/html/search/variables_16.js +9 -9
  287. package/SVF-doxygen/html/search/variables_17.js +1 -1
  288. package/SVF-doxygen/html/search/variables_18.js +2 -2
  289. package/SVF-doxygen/html/search/variables_2.js +38 -38
  290. package/SVF-doxygen/html/search/variables_3.js +142 -142
  291. package/SVF-doxygen/html/search/variables_4.js +50 -50
  292. package/SVF-doxygen/html/search/variables_5.js +37 -37
  293. package/SVF-doxygen/html/search/variables_6.js +66 -66
  294. package/SVF-doxygen/html/search/variables_7.js +34 -34
  295. package/SVF-doxygen/html/search/variables_8.js +7 -7
  296. package/SVF-doxygen/html/search/variables_9.js +78 -78
  297. package/SVF-doxygen/html/search/variables_a.js +4 -4
  298. package/SVF-doxygen/html/search/variables_b.js +10 -10
  299. package/SVF-doxygen/html/search/variables_c.js +45 -45
  300. package/SVF-doxygen/html/search/variables_d.js +55 -55
  301. package/SVF-doxygen/html/search/variables_e.js +123 -123
  302. package/SVF-doxygen/html/search/variables_f.js +30 -30
  303. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +1 -1
  304. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  305. package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
  306. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  307. package/package.json +1 -1
  308. package/svf/include/CFL/CFLSVFGBuilder.h +58 -0
  309. package/svf/include/CFL/CFLVF.h +2 -2
  310. package/svf/include/Graphs/SVFG.h +1 -0
  311. package/svf/include/SABER/ProgSlice.h +11 -0
  312. package/svf/include/SABER/SaberCondAllocator.h +8 -0
  313. package/svf/include/SABER/SaberSVFGBuilder.h +12 -2
  314. package/svf/lib/CFL/CFLSVFGBuilder.cpp +100 -0
  315. package/svf/lib/SABER/ProgSlice.cpp +48 -1
  316. package/svf/lib/SABER/SaberSVFGBuilder.cpp +5 -0
  317. package/svf/lib/SABER/SrcSnkDDA.cpp +1 -0
package/SVF-doxygen/html/classSVF_1_1SVFG-members.html CHANGED
@@ -128,187 +128,188 @@ $(function() {
128
128
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb">CallSiteToActualINsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
129
129
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">callSiteToActualOUTMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
130
130
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">CallSiteToActualOUTsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
131
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96">checkIntraEdgeParents</a>(const VFGNode *srcNode, const VFGNode *dstNode)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
132
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495">CHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
133
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07">CHISet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
134
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241">clearMSSA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
135
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">connectAInAndFIn</a>(const ActualINSVFGNode *actualIn, const FormalINSVFGNode *formalIn, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
136
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3">connectAParamAndFParam</a>(const PAGNode *csArg, const PAGNode *funArg, const CallICFGNode *cbn, CallSiteID csId, VFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
137
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aefca97f043b3e220ef6012a049b83fdf">connectCallerAndCallee</a>(const CallICFGNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
138
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">connectDirectVFGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
139
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a402dfe93b8692be453c4f76d048b690a">connectFOutAndAOut</a>(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
140
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab4e8ab307ad6beb46812a60ebd31ae3b">connectFRetAndARet</a>(const PAGNode *funReturn, const PAGNode *csReturn, CallSiteID csId, VFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
141
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a5921483cd5e1bf77b1b2bc8fb3250612">connectFromGlobalToProgEntry</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
142
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a164a3df08fc24bacc0b97aee8b6eec38">connectIndirectSVFGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
143
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
144
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921">DDASVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
145
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
146
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498">dump</a>(const std::string &amp;file, bool simple=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
147
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
148
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
149
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
150
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9">ENTRYCHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
152
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">FormalINSVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
153
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">FormalOUTSVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
154
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa">FULLSVFG</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
155
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0">FULLSVFG_OPT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
156
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038">FunctionToFormalINsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
157
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b">FunctionToFormalOUTsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
158
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
159
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
160
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049">funToVFGNodesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
161
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716">FunToVFGNodesMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
162
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
163
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">getActualINSVFGNodes</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
164
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">getActualOUTSVFGNodes</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e">getActualParmVFGNode</a>(const PAGNode *aparm, const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38">getActualRetVFGNode</a>(const PAGNode *aret) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d">getBinaryOPVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
168
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843">getBranchVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
169
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2">getCallGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
170
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492">getCallSite</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">getCallSiteID</a>(const CallICFGNode *cs, const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
172
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">getCmpVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
173
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
174
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a55a26b88ffe786b04184a29ae72575e7">getDef</a>(const MRVer *mvar) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
175
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
176
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad28caacede7ab7f3a6676e37655ee84e">getDefVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
177
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5">getFormalINSVFGNodes</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
178
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7">getFormalOUTSVFGNodes</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
179
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6">getFormalParmVFGNode</a>(const PAGNode *fparm) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
180
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8">getFormalRetVFGNode</a>(const PAGNode *fret) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
181
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aff291586a4b0c28a6939577d39de5d0a">getGlobalVFGNodes</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
182
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
183
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">getInterVFEdgeAtIndCSFromAInToFIn</a>(ActualINSVFGNode *actualIn, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
184
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">getInterVFEdgeAtIndCSFromAPToFP</a>(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
185
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3">getInterVFEdgeAtIndCSFromFOutToAOut</a>(ActualOUTSVFGNode *actualOut, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
186
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14">getInterVFEdgeAtIndCSFromFRToAR</a>(const PAGNode *fun_ret, const PAGNode *cs_ret, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
187
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">getInterVFEdgesForIndirectCallSite</a>(const CallICFGNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
188
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a688c0cc4a67c7cd9afbef2f0c264c85b">getIntraPHIVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
189
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50">getIntraVFGEdge</a>(const VFGNode *src, const VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
190
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
191
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac">getLHSTopLevPtr</a>(const VFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
192
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a910298ed854a6b88b9dae44181ca72de">getMRVERFromString</a>(const std::string &amp;input)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
193
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
194
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
195
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">getPAGEdgeSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
196
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab6c337637ccc9bbf0bcc7153b427f7ca">getPTA</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
197
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
198
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">getStmtVFGNode</a>(const PAGEdge *pagEdge) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
199
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
200
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac965abfbe9bdc872f98b36a171a7b5aa">getSVFGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
201
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
202
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
203
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">getUnaryOPVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
204
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc">getVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
205
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94">getVFGNodeBegin</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
206
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2">getVFGNodeEnd</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
207
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9">getVFGNodes</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
208
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3">globalVFGNodes</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
209
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13">GlobalVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
210
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">hasActualINSVFGNodes</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
211
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed">hasActualOUTSVFGNodes</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
212
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">hasBlackHoleConstObjAddrAsDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
213
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">hasCallSiteChi</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
214
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">hasCallSiteMu</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
215
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190">hasDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
216
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279">hasDefSVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
217
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8">hasFormalINSVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
218
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2">hasFormalOUTSVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
219
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a">hasFuncEntryChi</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
220
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6">hasFuncRetMu</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
221
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
222
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9">hasInterVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
223
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f">hasIntraVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
224
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">hasSVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
225
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba">hasThreadVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
226
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1">hasVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
227
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d">hasVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
228
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
229
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
230
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
231
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
232
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">isCallSiteRetSVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
233
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">isFunEntrySVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
234
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab">isFunEntryVFGNode</a>(const VFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
235
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">isInterestedPAGNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
236
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295">isPhiCopyEdge</a>(const PAGEdge *copy) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
237
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d">isPtrOnlySVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
238
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
239
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
240
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f">LOADMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
241
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">mssa</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
242
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
243
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3">MSSAVarToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
244
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725">MTASVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
245
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc">MU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
246
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127">MUSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
247
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
248
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
249
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
250
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f">PAGEdgeToStmtVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
251
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff">PAGEdgeToStmtVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
252
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b">PAGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
253
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a">PAGNodeToActualParmMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
254
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4">PAGNodeToActualParmMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
255
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66">PAGNodeToActualRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
256
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7">PAGNodeToActualRetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
257
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6">PAGNodeToBinaryOPVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
258
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383">PAGNodeToBinaryOPVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
259
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1">PAGNodeToBranchVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
260
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991">PAGNodeToBranchVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
261
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde">PAGNodeToCmpVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
262
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0">PAGNodeToCmpVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
263
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe">PAGNodeToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
264
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c">PAGNodeToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
265
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8">PAGNodeToFormalParmMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
266
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf">PAGNodeToFormalParmMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
267
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a">PAGNodeToFormalRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
268
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a52dac90d700a2377b657ec34d3ad2241">PAGNodeToFormalRetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
269
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17">PAGNodeToIntraPHIVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
270
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4">PAGNodeToPHIVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
271
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051">PAGNodeToUnaryOPVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
272
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474">PAGNodeToUnaryOPVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
273
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">performStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
274
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">PHISet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
275
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">pta</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
276
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">PTRONLYSVFG</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
277
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">PTRONLYSVFG_OPT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
278
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a">RcSvfgBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
279
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">readFile</a>(const std::string &amp;filename)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
280
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
281
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be">removeSVFGEdge</a>(SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
282
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b">removeSVFGNode</a>(SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
283
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a">removeVFGEdge</a>(VFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
284
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e">removeVFGNode</a>(VFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
285
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056">RETMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
286
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
287
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297">SaberSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
288
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">setDef</a>(const PAGNode *pagNode, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
289
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa3ebc066d376e7ed508d2bce49fa864d">setDef</a>(const MRVer *mvar, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
290
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">stat</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
291
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">STORECHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
292
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3">SVFG</a>(std::unique_ptr&lt; MemSSA &gt; mssa, VFGK k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
293
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7">SVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
294
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
295
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9">SVFGNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
296
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
297
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445">TaintSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
298
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
299
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b">updateCallGraph</a>(PointerAnalysis *pta)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
300
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc">VFG</a>(PTACallGraph *callgraph, VFGK k=FULLSVFG)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
301
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f">VFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
302
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">VFGK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
303
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8">VFGNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
304
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea">VFGNodeIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
305
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c">VFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
306
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db">VFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
307
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
308
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1">writeToFile</a>(const std::string &amp;filename)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
309
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
310
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a710a36fc3f4ad15010c4469abcd032e5">~SVFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
311
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a66f439ffebda7a81925514b77199154b">~VFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
131
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a17841bd17e7595f8feef1002b26ff188">CFLSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
132
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96">checkIntraEdgeParents</a>(const VFGNode *srcNode, const VFGNode *dstNode)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
133
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495">CHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
134
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07">CHISet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
135
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241">clearMSSA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">connectAInAndFIn</a>(const ActualINSVFGNode *actualIn, const FormalINSVFGNode *formalIn, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
137
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3">connectAParamAndFParam</a>(const PAGNode *csArg, const PAGNode *funArg, const CallICFGNode *cbn, CallSiteID csId, VFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
138
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aefca97f043b3e220ef6012a049b83fdf">connectCallerAndCallee</a>(const CallICFGNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
139
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">connectDirectVFGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
140
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a402dfe93b8692be453c4f76d048b690a">connectFOutAndAOut</a>(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
141
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab4e8ab307ad6beb46812a60ebd31ae3b">connectFRetAndARet</a>(const PAGNode *funReturn, const PAGNode *csReturn, CallSiteID csId, VFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
142
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a5921483cd5e1bf77b1b2bc8fb3250612">connectFromGlobalToProgEntry</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
143
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a164a3df08fc24bacc0b97aee8b6eec38">connectIndirectSVFGEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
144
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
145
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921">DDASVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
146
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
147
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498">dump</a>(const std::string &amp;file, bool simple=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
148
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
149
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
150
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9">ENTRYCHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
153
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">FormalINSVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
154
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">FormalOUTSVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
155
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa">FULLSVFG</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
156
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0">FULLSVFG_OPT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
157
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038">FunctionToFormalINsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
158
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b">FunctionToFormalOUTsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
159
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">funToFormalINMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
160
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301">funToFormalOUTMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
161
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049">funToVFGNodesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
162
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716">FunToVFGNodesMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
163
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
164
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">getActualINSVFGNodes</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">getActualOUTSVFGNodes</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e">getActualParmVFGNode</a>(const PAGNode *aparm, const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38">getActualRetVFGNode</a>(const PAGNode *aret) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
168
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d">getBinaryOPVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
169
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843">getBranchVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
170
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2">getCallGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492">getCallSite</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
172
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">getCallSiteID</a>(const CallICFGNode *cs, const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
173
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">getCmpVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
174
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
175
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a55a26b88ffe786b04184a29ae72575e7">getDef</a>(const MRVer *mvar) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
176
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
177
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad28caacede7ab7f3a6676e37655ee84e">getDefVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
178
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5">getFormalINSVFGNodes</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
179
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7">getFormalOUTSVFGNodes</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
180
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6">getFormalParmVFGNode</a>(const PAGNode *fparm) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
181
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8">getFormalRetVFGNode</a>(const PAGNode *fret) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
182
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aff291586a4b0c28a6939577d39de5d0a">getGlobalVFGNodes</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
183
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
184
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">getInterVFEdgeAtIndCSFromAInToFIn</a>(ActualINSVFGNode *actualIn, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
185
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">getInterVFEdgeAtIndCSFromAPToFP</a>(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
186
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3">getInterVFEdgeAtIndCSFromFOutToAOut</a>(ActualOUTSVFGNode *actualOut, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
187
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14">getInterVFEdgeAtIndCSFromFRToAR</a>(const PAGNode *fun_ret, const PAGNode *cs_ret, CallSiteID csId, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
188
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">getInterVFEdgesForIndirectCallSite</a>(const CallICFGNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &amp;edges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
189
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a688c0cc4a67c7cd9afbef2f0c264c85b">getIntraPHIVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
190
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50">getIntraVFGEdge</a>(const VFGNode *src, const VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
191
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
192
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac">getLHSTopLevPtr</a>(const VFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
193
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a910298ed854a6b88b9dae44181ca72de">getMRVERFromString</a>(const std::string &amp;input)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
194
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
195
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
196
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">getPAGEdgeSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
197
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab6c337637ccc9bbf0bcc7153b427f7ca">getPTA</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
198
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
199
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">getStmtVFGNode</a>(const PAGEdge *pagEdge) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
200
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
201
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac965abfbe9bdc872f98b36a171a7b5aa">getSVFGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
202
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
203
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
204
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">getUnaryOPVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
205
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc">getVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
206
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94">getVFGNodeBegin</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
207
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2">getVFGNodeEnd</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
208
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9">getVFGNodes</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
209
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3">globalVFGNodes</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
210
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13">GlobalVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
211
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">hasActualINSVFGNodes</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
212
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed">hasActualOUTSVFGNodes</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
213
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">hasBlackHoleConstObjAddrAsDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
214
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">hasCallSiteChi</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
215
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">hasCallSiteMu</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
216
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190">hasDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
217
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279">hasDefSVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
218
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8">hasFormalINSVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
219
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2">hasFormalOUTSVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
220
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a">hasFuncEntryChi</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
221
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6">hasFuncRetMu</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
222
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
223
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9">hasInterVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
224
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f">hasIntraVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
225
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">hasSVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
226
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba">hasThreadVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
227
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1">hasVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
228
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d">hasVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
229
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
230
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
231
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
232
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
233
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">isCallSiteRetSVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
234
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">isFunEntrySVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
235
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab">isFunEntryVFGNode</a>(const VFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
236
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">isInterestedPAGNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
237
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295">isPhiCopyEdge</a>(const PAGEdge *copy) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
238
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d">isPtrOnlySVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
239
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
240
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
241
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f">LOADMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
242
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">mssa</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
243
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
244
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3">MSSAVarToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
245
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725">MTASVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
246
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc">MU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
247
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127">MUSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
248
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
249
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
250
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
251
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f">PAGEdgeToStmtVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
252
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff">PAGEdgeToStmtVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
253
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b">PAGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
254
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a">PAGNodeToActualParmMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
255
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4">PAGNodeToActualParmMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
256
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66">PAGNodeToActualRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
257
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7">PAGNodeToActualRetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
258
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6">PAGNodeToBinaryOPVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
259
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383">PAGNodeToBinaryOPVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
260
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1">PAGNodeToBranchVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
261
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991">PAGNodeToBranchVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
262
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde">PAGNodeToCmpVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
263
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0">PAGNodeToCmpVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
264
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe">PAGNodeToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
265
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c">PAGNodeToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
266
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8">PAGNodeToFormalParmMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
267
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf">PAGNodeToFormalParmMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
268
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a">PAGNodeToFormalRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
269
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a52dac90d700a2377b657ec34d3ad2241">PAGNodeToFormalRetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
270
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17">PAGNodeToIntraPHIVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
271
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4">PAGNodeToPHIVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
272
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051">PAGNodeToUnaryOPVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
273
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474">PAGNodeToUnaryOPVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
274
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">performStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
275
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">PHISet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
276
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">pta</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
277
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">PTRONLYSVFG</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
278
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">PTRONLYSVFG_OPT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
279
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a">RcSvfgBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
280
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">readFile</a>(const std::string &amp;filename)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
281
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
282
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be">removeSVFGEdge</a>(SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
283
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b">removeSVFGNode</a>(SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
284
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a">removeVFGEdge</a>(VFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
285
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e">removeVFGNode</a>(VFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
286
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056">RETMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
287
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
288
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297">SaberSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
289
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">setDef</a>(const PAGNode *pagNode, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
290
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa3ebc066d376e7ed508d2bce49fa864d">setDef</a>(const MRVer *mvar, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
291
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">stat</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
292
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">STORECHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
293
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3">SVFG</a>(std::unique_ptr&lt; MemSSA &gt; mssa, VFGK k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
294
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7">SVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
295
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
296
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9">SVFGNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
297
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
298
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445">TaintSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
299
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
300
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b">updateCallGraph</a>(PointerAnalysis *pta)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
301
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc">VFG</a>(PTACallGraph *callgraph, VFGK k=FULLSVFG)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
302
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f">VFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
303
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">VFGK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
304
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8">VFGNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
305
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea">VFGNodeIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
306
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c">VFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
307
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db">VFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
308
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
309
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1">writeToFile</a>(const std::string &amp;filename)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
310
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
311
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a710a36fc3f4ad15010c4469abcd032e5">~SVFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
312
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a66f439ffebda7a81925514b77199154b">~VFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
312
313
  </table></div><!-- contents -->
313
314
  <!-- start footer part -->
314
315
  <hr class="footer"/><address class="footer"><small>