svf-tools 1.0.837 → 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 (401) hide show
  1. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/Andersen_8cpp_source.html +20 -16
  3. package/SVF-doxygen/html/Andersen_8h_source.html +2 -2
  4. package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/CFLBase_8cpp_source.html +4 -4
  7. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp.html +86 -0
  9. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +195 -0
  10. package/SVF-doxygen/html/CFLSVFGBuilder_8h.html +98 -0
  11. package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +148 -0
  12. package/SVF-doxygen/html/CFLVF_8cpp_source.html +4 -4
  13. package/SVF-doxygen/html/CFLVF_8h.html +1 -1
  14. package/SVF-doxygen/html/CFLVF_8h_source.html +5 -5
  15. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/ConsG_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/DDAPass_8cpp_source.html +9 -9
  19. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +1 -1
  21. package/SVF-doxygen/html/DoubleFreeChecker_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/DoubleFreeChecker_8h_source.html +1 -1
  23. package/SVF-doxygen/html/ExtAPI_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
  25. package/SVF-doxygen/html/FileChecker_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/FileChecker_8h_source.html +1 -1
  27. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/IRGraph_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
  34. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  40. package/SVF-doxygen/html/MemSSA_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/Options_8cpp_source.html +825 -892
  42. package/SVF-doxygen/html/Options_8h_source.html +275 -297
  43. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +12 -12
  45. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +170 -136
  46. package/SVF-doxygen/html/ProgSlice_8h_source.html +314 -298
  47. package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +4 -4
  48. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +4 -4
  49. package/SVF-doxygen/html/SVFGOPT_8h_source.html +5 -5
  50. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/SVFG_8cpp_source.html +32 -32
  52. package/SVF-doxygen/html/SVFG_8h_source.html +446 -444
  53. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1 -1
  54. package/SVF-doxygen/html/SVFIR_8cpp_source.html +2 -2
  55. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  56. package/SVF-doxygen/html/SVFUtil_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  58. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
  59. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +246 -235
  60. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp.html +1 -0
  61. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +272 -266
  62. package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +75 -62
  63. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +261 -260
  64. package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +18 -18
  65. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +3 -3
  66. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
  67. package/SVF-doxygen/html/TCT_8cpp_source.html +1 -1
  68. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/VFG_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
  71. package/SVF-doxygen/html/WPAPass_8cpp_source.html +5 -5
  72. package/SVF-doxygen/html/Z3Expr_8cpp_source.html +1 -1
  73. package/SVF-doxygen/html/annotated.html +377 -376
  74. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  75. package/SVF-doxygen/html/classSVF_1_1Andersen.html +18 -14
  76. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +4 -4
  77. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +2 -2
  83. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +4 -4
  84. package/SVF-doxygen/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder-members.html +121 -0
  86. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +473 -0
  87. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.png +0 -0
  88. package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1CFLVF.html +11 -11
  90. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
  91. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  92. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +9 -9
  97. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +6 -6
  100. package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  102. package/SVF-doxygen/html/classSVF_1_1FileChecker.html +3 -3
  103. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +4 -4
  105. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  108. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
  112. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +6 -6
  113. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  116. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  118. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  119. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  120. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
  121. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +2 -2
  122. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1Options-members.html +64 -73
  125. package/SVF-doxygen/html/classSVF_1_1Options.html +128 -362
  126. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +12 -12
  128. package/SVF-doxygen/html/classSVF_1_1ProgSlice-members.html +25 -22
  129. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +493 -366
  130. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1SVFG-members.html +182 -181
  132. package/SVF-doxygen/html/classSVF_1_1SVFG.html +326 -300
  133. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +6 -5
  134. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.png +0 -0
  135. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +11 -11
  136. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +2 -2
  137. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +7 -7
  139. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator-members.html +22 -19
  140. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +239 -160
  141. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder-members.html +11 -9
  142. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +348 -286
  143. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.png +0 -0
  144. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +263 -261
  146. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  147. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  148. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
  149. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  150. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +1 -1
  153. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  154. package/SVF-doxygen/html/classSVF_1_1VFG.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  156. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  157. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +5 -5
  158. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +1 -1
  159. package/SVF-doxygen/html/classes.html +95 -94
  160. package/SVF-doxygen/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +2 -0
  161. package/SVF-doxygen/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -0
  162. package/SVF-doxygen/html/files.html +6 -4
  163. package/SVF-doxygen/html/functions_b.html +7 -6
  164. package/SVF-doxygen/html/functions_c.html +38 -29
  165. package/SVF-doxygen/html/functions_d.html +0 -15
  166. package/SVF-doxygen/html/functions_f.html +9 -9
  167. package/SVF-doxygen/html/functions_func_b.html +3 -2
  168. package/SVF-doxygen/html/functions_func_c.html +29 -23
  169. package/SVF-doxygen/html/functions_func_g.html +14 -10
  170. package/SVF-doxygen/html/functions_func_r.html +6 -5
  171. package/SVF-doxygen/html/functions_func_s.html +20 -17
  172. package/SVF-doxygen/html/functions_func_~.html +3 -0
  173. package/SVF-doxygen/html/functions_g.html +10 -6
  174. package/SVF-doxygen/html/functions_m.html +4 -7
  175. package/SVF-doxygen/html/functions_n.html +6 -5
  176. package/SVF-doxygen/html/functions_p.html +15 -14
  177. package/SVF-doxygen/html/functions_r.html +10 -6
  178. package/SVF-doxygen/html/functions_rela_c.html +3 -0
  179. package/SVF-doxygen/html/functions_s.html +24 -21
  180. package/SVF-doxygen/html/functions_t.html +5 -11
  181. package/SVF-doxygen/html/functions_type_n.html +2 -1
  182. package/SVF-doxygen/html/functions_type_s.html +6 -1
  183. package/SVF-doxygen/html/functions_type_w.html +1 -0
  184. package/SVF-doxygen/html/functions_v.html +4 -6
  185. package/SVF-doxygen/html/functions_vars_d.html +0 -15
  186. package/SVF-doxygen/html/functions_vars_m.html +1 -4
  187. package/SVF-doxygen/html/functions_vars_p.html +3 -0
  188. package/SVF-doxygen/html/functions_vars_r.html +3 -0
  189. package/SVF-doxygen/html/functions_vars_s.html +2 -7
  190. package/SVF-doxygen/html/functions_vars_t.html +0 -6
  191. package/SVF-doxygen/html/functions_w.html +3 -2
  192. package/SVF-doxygen/html/functions_~.html +3 -0
  193. package/SVF-doxygen/html/hierarchy.html +2 -1
  194. package/SVF-doxygen/html/namespaceSVF.html +2 -0
  195. package/SVF-doxygen/html/search/all_10.js +207 -206
  196. package/SVF-doxygen/html/search/all_11.js +115 -114
  197. package/SVF-doxygen/html/search/all_12.js +335 -335
  198. package/SVF-doxygen/html/search/all_13.js +190 -192
  199. package/SVF-doxygen/html/search/all_14.js +67 -67
  200. package/SVF-doxygen/html/search/all_15.js +167 -167
  201. package/SVF-doxygen/html/search/all_16.js +63 -63
  202. package/SVF-doxygen/html/search/all_17.js +1 -1
  203. package/SVF-doxygen/html/search/all_18.js +1 -1
  204. package/SVF-doxygen/html/search/all_19.js +11 -11
  205. package/SVF-doxygen/html/search/all_1a.js +26 -25
  206. package/SVF-doxygen/html/search/all_2.js +2 -2
  207. package/SVF-doxygen/html/search/all_3.js +466 -462
  208. package/SVF-doxygen/html/search/all_4.js +230 -235
  209. package/SVF-doxygen/html/search/all_5.js +119 -119
  210. package/SVF-doxygen/html/search/all_6.js +226 -226
  211. package/SVF-doxygen/html/search/all_7.js +804 -803
  212. package/SVF-doxygen/html/search/all_9.js +3 -3
  213. package/SVF-doxygen/html/search/all_b.js +1 -1
  214. package/SVF-doxygen/html/search/all_c.js +1 -1
  215. package/SVF-doxygen/html/search/all_d.js +184 -185
  216. package/SVF-doxygen/html/search/all_e.js +207 -207
  217. package/SVF-doxygen/html/search/all_f.js +116 -116
  218. package/SVF-doxygen/html/search/classes_10.js +73 -73
  219. package/SVF-doxygen/html/search/classes_11.js +15 -15
  220. package/SVF-doxygen/html/search/classes_12.js +2 -2
  221. package/SVF-doxygen/html/search/classes_13.js +10 -10
  222. package/SVF-doxygen/html/search/classes_14.js +14 -14
  223. package/SVF-doxygen/html/search/classes_15.js +1 -1
  224. package/SVF-doxygen/html/search/classes_2.js +37 -36
  225. package/SVF-doxygen/html/search/classes_3.js +37 -37
  226. package/SVF-doxygen/html/search/classes_4.js +9 -9
  227. package/SVF-doxygen/html/search/classes_5.js +28 -28
  228. package/SVF-doxygen/html/search/classes_6.js +104 -104
  229. package/SVF-doxygen/html/search/classes_7.js +34 -34
  230. package/SVF-doxygen/html/search/classes_8.js +56 -56
  231. package/SVF-doxygen/html/search/classes_9.js +1 -1
  232. package/SVF-doxygen/html/search/classes_a.js +12 -12
  233. package/SVF-doxygen/html/search/classes_b.js +29 -29
  234. package/SVF-doxygen/html/search/classes_c.js +6 -6
  235. package/SVF-doxygen/html/search/classes_d.js +18 -18
  236. package/SVF-doxygen/html/search/classes_e.js +36 -36
  237. package/SVF-doxygen/html/search/classes_f.js +25 -25
  238. package/SVF-doxygen/html/search/defines_0.js +3 -3
  239. package/SVF-doxygen/html/search/defines_1.js +2 -2
  240. package/SVF-doxygen/html/search/defines_2.js +30 -30
  241. package/SVF-doxygen/html/search/defines_3.js +20 -20
  242. package/SVF-doxygen/html/search/defines_4.js +2 -2
  243. package/SVF-doxygen/html/search/defines_5.js +4 -4
  244. package/SVF-doxygen/html/search/defines_6.js +2 -2
  245. package/SVF-doxygen/html/search/defines_7.js +5 -5
  246. package/SVF-doxygen/html/search/defines_8.js +11 -11
  247. package/SVF-doxygen/html/search/defines_9.js +9 -9
  248. package/SVF-doxygen/html/search/defines_a.js +2 -2
  249. package/SVF-doxygen/html/search/defines_b.js +1 -1
  250. package/SVF-doxygen/html/search/defines_c.js +3 -3
  251. package/SVF-doxygen/html/search/defines_d.js +2 -2
  252. package/SVF-doxygen/html/search/defines_e.js +7 -7
  253. package/SVF-doxygen/html/search/defines_f.js +3 -3
  254. package/SVF-doxygen/html/search/enums_0.js +3 -3
  255. package/SVF-doxygen/html/search/enums_1.js +2 -2
  256. package/SVF-doxygen/html/search/enums_10.js +1 -1
  257. package/SVF-doxygen/html/search/enums_11.js +1 -1
  258. package/SVF-doxygen/html/search/enums_2.js +8 -8
  259. package/SVF-doxygen/html/search/enums_3.js +1 -1
  260. package/SVF-doxygen/html/search/enums_4.js +3 -3
  261. package/SVF-doxygen/html/search/enums_5.js +1 -1
  262. package/SVF-doxygen/html/search/enums_6.js +2 -2
  263. package/SVF-doxygen/html/search/enums_7.js +2 -2
  264. package/SVF-doxygen/html/search/enums_8.js +4 -4
  265. package/SVF-doxygen/html/search/enums_9.js +1 -1
  266. package/SVF-doxygen/html/search/enums_a.js +1 -1
  267. package/SVF-doxygen/html/search/enums_b.js +7 -7
  268. package/SVF-doxygen/html/search/enums_c.js +1 -1
  269. package/SVF-doxygen/html/search/enums_d.js +4 -4
  270. package/SVF-doxygen/html/search/enums_e.js +2 -2
  271. package/SVF-doxygen/html/search/enums_f.js +4 -4
  272. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  273. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  274. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  275. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  276. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  277. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  278. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  279. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  280. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  281. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  282. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  283. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  284. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  285. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  286. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  287. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  288. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  289. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  290. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  291. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  292. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  293. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  294. package/SVF-doxygen/html/search/files_0.js +13 -13
  295. package/SVF-doxygen/html/search/files_1.js +7 -7
  296. package/SVF-doxygen/html/search/files_10.js +8 -8
  297. package/SVF-doxygen/html/search/files_11.js +8 -8
  298. package/SVF-doxygen/html/search/files_12.js +2 -2
  299. package/SVF-doxygen/html/search/files_2.js +57 -55
  300. package/SVF-doxygen/html/search/files_3.js +14 -14
  301. package/SVF-doxygen/html/search/files_4.js +5 -5
  302. package/SVF-doxygen/html/search/files_5.js +13 -13
  303. package/SVF-doxygen/html/search/files_6.js +9 -9
  304. package/SVF-doxygen/html/search/files_7.js +14 -14
  305. package/SVF-doxygen/html/search/files_8.js +13 -13
  306. package/SVF-doxygen/html/search/files_9.js +18 -18
  307. package/SVF-doxygen/html/search/files_a.js +3 -3
  308. package/SVF-doxygen/html/search/files_b.js +2 -2
  309. package/SVF-doxygen/html/search/files_c.js +20 -20
  310. package/SVF-doxygen/html/search/files_d.js +4 -4
  311. package/SVF-doxygen/html/search/files_e.js +62 -62
  312. package/SVF-doxygen/html/search/files_f.js +8 -8
  313. package/SVF-doxygen/html/search/functions_0.js +13 -13
  314. package/SVF-doxygen/html/search/functions_1.js +362 -362
  315. package/SVF-doxygen/html/search/functions_10.js +140 -140
  316. package/SVF-doxygen/html/search/functions_11.js +139 -139
  317. package/SVF-doxygen/html/search/functions_12.js +289 -288
  318. package/SVF-doxygen/html/search/functions_13.js +59 -59
  319. package/SVF-doxygen/html/search/functions_14.js +39 -39
  320. package/SVF-doxygen/html/search/functions_15.js +71 -71
  321. package/SVF-doxygen/html/search/functions_16.js +32 -32
  322. package/SVF-doxygen/html/search/functions_17.js +3 -3
  323. package/SVF-doxygen/html/search/functions_18.js +173 -172
  324. package/SVF-doxygen/html/search/functions_2.js +89 -89
  325. package/SVF-doxygen/html/search/functions_3.js +260 -258
  326. package/SVF-doxygen/html/search/functions_4.js +78 -78
  327. package/SVF-doxygen/html/search/functions_5.js +53 -53
  328. package/SVF-doxygen/html/search/functions_6.js +60 -60
  329. package/SVF-doxygen/html/search/functions_7.js +856 -855
  330. package/SVF-doxygen/html/search/functions_8.js +149 -149
  331. package/SVF-doxygen/html/search/functions_9.js +424 -424
  332. package/SVF-doxygen/html/search/functions_a.js +30 -30
  333. package/SVF-doxygen/html/search/functions_b.js +2 -2
  334. package/SVF-doxygen/html/search/functions_c.js +25 -25
  335. package/SVF-doxygen/html/search/functions_d.js +79 -79
  336. package/SVF-doxygen/html/search/functions_e.js +35 -35
  337. package/SVF-doxygen/html/search/functions_f.js +56 -56
  338. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  339. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  340. package/SVF-doxygen/html/search/related_0.js +2 -2
  341. package/SVF-doxygen/html/search/related_1.js +2 -2
  342. package/SVF-doxygen/html/search/related_2.js +3 -2
  343. package/SVF-doxygen/html/search/related_3.js +2 -2
  344. package/SVF-doxygen/html/search/related_4.js +2 -2
  345. package/SVF-doxygen/html/search/related_5.js +1 -1
  346. package/SVF-doxygen/html/search/related_6.js +2 -2
  347. package/SVF-doxygen/html/search/related_7.js +4 -4
  348. package/SVF-doxygen/html/search/related_8.js +2 -2
  349. package/SVF-doxygen/html/search/related_9.js +4 -4
  350. package/SVF-doxygen/html/search/related_a.js +19 -19
  351. package/SVF-doxygen/html/search/related_b.js +4 -4
  352. package/SVF-doxygen/html/search/related_c.js +2 -2
  353. package/SVF-doxygen/html/search/related_d.js +12 -12
  354. package/SVF-doxygen/html/search/related_e.js +2 -2
  355. package/SVF-doxygen/html/search/related_f.js +2 -2
  356. package/SVF-doxygen/html/search/typedefs_10.js +17 -16
  357. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  358. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  359. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  360. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  361. package/SVF-doxygen/html/search/typedefs_c.js +1 -1
  362. package/SVF-doxygen/html/search/variables_0.js +151 -151
  363. package/SVF-doxygen/html/search/variables_1.js +75 -75
  364. package/SVF-doxygen/html/search/variables_10.js +98 -97
  365. package/SVF-doxygen/html/search/variables_11.js +45 -44
  366. package/SVF-doxygen/html/search/variables_12.js +90 -92
  367. package/SVF-doxygen/html/search/variables_13.js +4 -6
  368. package/SVF-doxygen/html/search/variables_2.js +38 -38
  369. package/SVF-doxygen/html/search/variables_3.js +142 -142
  370. package/SVF-doxygen/html/search/variables_4.js +50 -55
  371. package/SVF-doxygen/html/search/variables_5.js +37 -37
  372. package/SVF-doxygen/html/search/variables_6.js +66 -66
  373. package/SVF-doxygen/html/search/variables_7.js +34 -34
  374. package/SVF-doxygen/html/search/variables_8.js +7 -7
  375. package/SVF-doxygen/html/search/variables_9.js +78 -78
  376. package/SVF-doxygen/html/search/variables_a.js +4 -4
  377. package/SVF-doxygen/html/search/variables_b.js +10 -10
  378. package/SVF-doxygen/html/search/variables_c.js +45 -45
  379. package/SVF-doxygen/html/search/variables_d.js +55 -56
  380. package/SVF-doxygen/html/search/variables_e.js +123 -123
  381. package/SVF-doxygen/html/search/variables_f.js +30 -30
  382. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  383. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  384. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
  385. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  386. package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
  387. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  388. package/package.json +1 -1
  389. package/svf/include/CFL/CFLSVFGBuilder.h +58 -0
  390. package/svf/include/CFL/CFLVF.h +2 -2
  391. package/svf/include/Graphs/SVFG.h +1 -0
  392. package/svf/include/SABER/ProgSlice.h +11 -0
  393. package/svf/include/SABER/SaberCondAllocator.h +8 -0
  394. package/svf/include/SABER/SaberSVFGBuilder.h +12 -2
  395. package/svf/include/Util/Options.h +1 -14
  396. package/svf/lib/CFL/CFLSVFGBuilder.cpp +100 -0
  397. package/svf/lib/SABER/ProgSlice.cpp +48 -1
  398. package/svf/lib/SABER/SaberSVFGBuilder.cpp +5 -0
  399. package/svf/lib/SABER/SrcSnkDDA.cpp +1 -0
  400. package/svf/lib/Util/Options.cpp +6 -64
  401. package/svf/lib/WPA/Andersen.cpp +5 -2
package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html ADDED
@@ -0,0 +1,473 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: SVF::CFLSVFGBuilder Class Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html">CFLSVFGBuilder</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#pub-types">Public Types</a> &#124;
70
+ <a href="#pub-methods">Public Member Functions</a> &#124;
71
+ <a href="#pro-methods">Protected Member Functions</a> &#124;
72
+ <a href="classSVF_1_1CFLSVFGBuilder-members.html">List of all members</a> </div>
73
+ <div class="headertitle">
74
+ <div class="title">SVF::CFLSVFGBuilder Class Reference</div> </div>
75
+ </div><!--header-->
76
+ <div class="contents">
77
+
78
+ <p><code>#include &lt;<a class="el" href="CFLSVFGBuilder_8h_source.html">CFLSVFGBuilder.h</a>&gt;</code></p>
79
+ <div class="dynheader">
80
+ Inheritance diagram for SVF::CFLSVFGBuilder:</div>
81
+ <div class="dyncontent">
82
+ <div class="center">
83
+ <img src="classSVF_1_1CFLSVFGBuilder.png" usemap="#SVF::CFLSVFGBuilder_map" alt=""/>
84
+ <map id="SVF::CFLSVFGBuilder_map" name="SVF::CFLSVFGBuilder_map">
85
+ <area href="classSVF_1_1SaberSVFGBuilder.html" alt="SVF::SaberSVFGBuilder" shape="rect" coords="0,56,151,80"/>
86
+ <area href="classSVF_1_1SVFGBuilder.html" alt="SVF::SVFGBuilder" shape="rect" coords="0,0,151,24"/>
87
+ </map>
88
+ </div></div>
89
+ <table class="memberdecls">
90
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
91
+ Public Types</h2></td></tr>
92
+ <tr class="memitem:a0f20a668d844f54f1af93f2baae58841"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841">SVFGNodeSet</a></td></tr>
93
+ <tr class="separator:a0f20a668d844f54f1af93f2baae58841"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ <tr class="memitem:a9559e6d0539425994d557984f962c999"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a9559e6d0539425994d557984f962c999">NodeToPTSSMap</a></td></tr>
95
+ <tr class="separator:a9559e6d0539425994d557984f962c999"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:a287f937ab8cc7f493c942eb1bcdacd6d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">WorkList</a></td></tr>
97
+ <tr class="separator:a287f937ab8cc7f493c942eb1bcdacd6d"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ <tr class="inherit_header pub_types_classSVF_1_1SaberSVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1SaberSVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1SaberSVFGBuilder.html">SVF::SaberSVFGBuilder</a></td></tr>
99
+ <tr class="memitem:a298a94f9b368e37767935a42e5ba954a inherit pub_types_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a">SVFGNodeSet</a></td></tr>
100
+ <tr class="separator:a298a94f9b368e37767935a42e5ba954a inherit pub_types_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
+ <tr class="memitem:a4cb1f607e33d106dfa178e822c5ab7e1 inherit pub_types_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">NodeToPTSSMap</a></td></tr>
102
+ <tr class="separator:a4cb1f607e33d106dfa178e822c5ab7e1 inherit pub_types_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
+ <tr class="memitem:a8e07c6afc4ae6e2792431065c2948039 inherit pub_types_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">WorkList</a></td></tr>
104
+ <tr class="separator:a8e07c6afc4ae6e2792431065c2948039 inherit pub_types_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
105
+ <tr class="inherit_header pub_types_classSVF_1_1SVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1SVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></td></tr>
106
+ <tr class="memitem:a77bc88750823c8a0d19aad002e56ce07 inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">PointerAnalysis::CallSiteSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07">CallSiteSet</a></td></tr>
107
+ <tr class="separator:a77bc88750823c8a0d19aad002e56ce07 inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
+ <tr class="memitem:ae12f803f5ccdb47232043c8c5ae129bf inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">PointerAnalysis::CallEdgeMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf">CallEdgeMap</a></td></tr>
109
+ <tr class="separator:ae12f803f5ccdb47232043c8c5ae129bf inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
+ <tr class="memitem:a1f8e21823ddc9eb19e1fe18d9b2b8280 inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41">PointerAnalysis::FunctionSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280">FunctionSet</a></td></tr>
111
+ <tr class="separator:a1f8e21823ddc9eb19e1fe18d9b2b8280 inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
+ <tr class="memitem:a640158fff237cb5afabdf1c5946550e0 inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFG::SVFGEdgeSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0">SVFGEdgeSet</a></td></tr>
113
+ <tr class="separator:a640158fff237cb5afabdf1c5946550e0 inherit pub_types_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
+ </table><table class="memberdecls">
115
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
116
+ Public Member Functions</h2></td></tr>
117
+ <tr class="memitem:a6dc5b2c97c0e4948f78bd68fbbf0fdfc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a6dc5b2c97c0e4948f78bd68fbbf0fdfc">CFLSVFGBuilder</a> ()=default</td></tr>
118
+ <tr class="memdesc:a6dc5b2c97c0e4948f78bd68fbbf0fdfc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1CFLSVFGBuilder.html#a6dc5b2c97c0e4948f78bd68fbbf0fdfc">More...</a><br /></td></tr>
119
+ <tr class="separator:a6dc5b2c97c0e4948f78bd68fbbf0fdfc"><td class="memSeparator" colspan="2">&#160;</td></tr>
120
+ <tr class="memitem:a96b809add064f6ce335579fa5187f219"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a96b809add064f6ce335579fa5187f219">~CFLSVFGBuilder</a> ()=default</td></tr>
121
+ <tr class="memdesc:a96b809add064f6ce335579fa5187f219"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1CFLSVFGBuilder.html#a96b809add064f6ce335579fa5187f219">More...</a><br /></td></tr>
122
+ <tr class="separator:a96b809add064f6ce335579fa5187f219"><td class="memSeparator" colspan="2">&#160;</td></tr>
123
+ <tr class="inherit_header pub_methods_classSVF_1_1SaberSVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SaberSVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SaberSVFGBuilder.html">SVF::SaberSVFGBuilder</a></td></tr>
124
+ <tr class="memitem:aa66cd30067d39f2083fb671fdc43beb4 inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4">SaberSVFGBuilder</a> ()</td></tr>
125
+ <tr class="memdesc:aa66cd30067d39f2083fb671fdc43beb4 inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4">More...</a><br /></td></tr>
126
+ <tr class="separator:aa66cd30067d39f2083fb671fdc43beb4 inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
127
+ <tr class="memitem:a1400bd13453c77defbd085f5bb334bca inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a1400bd13453c77defbd085f5bb334bca">~SaberSVFGBuilder</a> ()</td></tr>
128
+ <tr class="memdesc:a1400bd13453c77defbd085f5bb334bca inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1SaberSVFGBuilder.html#a1400bd13453c77defbd085f5bb334bca">More...</a><br /></td></tr>
129
+ <tr class="separator:a1400bd13453c77defbd085f5bb334bca inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
+ <tr class="memitem:afbcd75844af51ff51c09c377f80a49cf inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf">isGlobalSVFGNode</a> (const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *node) const</td></tr>
131
+ <tr class="separator:afbcd75844af51ff51c09c377f80a49cf inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
+ <tr class="memitem:ab8db9f6681eeb4663614119417a83cec inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec">addActualParmVFGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *pagNode, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
133
+ <tr class="memdesc:ab8db9f6681eeb4663614119417a83cec inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add <a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a>. <a href="classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec">More...</a><br /></td></tr>
134
+ <tr class="separator:ab8db9f6681eeb4663614119417a83cec inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
+ <tr class="memitem:a8eb03d4362685f361bc1110fc98925b9 inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8eb03d4362685f361bc1110fc98925b9">setSaberCondAllocator</a> (<a class="el" href="classSVF_1_1SaberCondAllocator.html">SaberCondAllocator</a> *allocator)</td></tr>
136
+ <tr class="separator:a8eb03d4362685f361bc1110fc98925b9 inherit pub_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
+ <tr class="inherit_header pub_methods_classSVF_1_1SVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></td></tr>
138
+ <tr class="memitem:a003c6d9e13e5f73e0648d97400f1854e inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">SVFGBuilder</a> (bool _SVFGWithIndCall=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
139
+ <tr class="memdesc:a003c6d9e13e5f73e0648d97400f1854e inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">More...</a><br /></td></tr>
140
+ <tr class="separator:a003c6d9e13e5f73e0648d97400f1854e inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
141
+ <tr class="memitem:a96107015ec8541d0181463575a26a4a8 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a96107015ec8541d0181463575a26a4a8">~SVFGBuilder</a> ()=default</td></tr>
142
+ <tr class="memdesc:a96107015ec8541d0181463575a26a4a8 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1SVFGBuilder.html#a96107015ec8541d0181463575a26a4a8">More...</a><br /></td></tr>
143
+ <tr class="separator:a96107015ec8541d0181463575a26a4a8 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
144
+ <tr class="memitem:ab7353191edd06568e2598177d253c1d9 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9">buildPTROnlySVFG</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta)</td></tr>
145
+ <tr class="separator:ab7353191edd06568e2598177d253c1d9 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
+ <tr class="memitem:a54a713e3989597b11cee70864d0197bd inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">buildFullSVFG</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta)</td></tr>
147
+ <tr class="separator:a54a713e3989597b11cee70864d0197bd inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
148
+ <tr class="memitem:ad70dc4134a6290223b4168bde146b6d5 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#ad70dc4134a6290223b4168bde146b6d5">getSVFG</a> () const</td></tr>
149
+ <tr class="memdesc:ad70dc4134a6290223b4168bde146b6d5 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> instance. <a href="classSVF_1_1SVFGBuilder.html#ad70dc4134a6290223b4168bde146b6d5">More...</a><br /></td></tr>
150
+ <tr class="separator:ad70dc4134a6290223b4168bde146b6d5 inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
151
+ <tr class="memitem:a3f8fc56d5190ea59d06906b359640dae inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae">markValidVFEdge</a> (<a class="el" href="classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0">SVFGEdgeSet</a> &amp;edges)</td></tr>
152
+ <tr class="memdesc:a3f8fc56d5190ea59d06906b359640dae inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Mark feasible VF edge by removing it from set vfEdgesAtIndCallSite. <a href="classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae">More...</a><br /></td></tr>
153
+ <tr class="separator:a3f8fc56d5190ea59d06906b359640dae inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
+ <tr class="memitem:a9e8da6a516ed6598c66d81a0891fbb6e inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e">isSpuriousVFEdgeAtIndCallSite</a> (const <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> *edge)</td></tr>
155
+ <tr class="memdesc:a9e8da6a516ed6598c66d81a0891fbb6e inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if this is an VF Edge pre-connected by <a class="el" href="classSVF_1_1Andersen.html">Andersen</a>'s analysis. <a href="classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e">More...</a><br /></td></tr>
156
+ <tr class="separator:a9e8da6a516ed6598c66d81a0891fbb6e inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
157
+ <tr class="memitem:a057d1d631326e844ce3287eb17b98c1a inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">virtual std::unique_ptr&lt; <a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a">buildMSSA</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta, bool ptrOnlyMSSA)</td></tr>
158
+ <tr class="memdesc:a057d1d631326e844ce3287eb17b98c1a inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build Memory SSA. <a href="classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a">More...</a><br /></td></tr>
159
+ <tr class="separator:a057d1d631326e844ce3287eb17b98c1a inherit pub_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
160
+ </table><table class="memberdecls">
161
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
162
+ Protected Member Functions</h2></td></tr>
163
+ <tr class="memitem:ab8c71c5af2877ccacd6c34a86a9eadf2"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2">buildSVFG</a> ()</td></tr>
164
+ <tr class="memdesc:ab8c71c5af2877ccacd6c34a86a9eadf2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Re-write create <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> method. <a href="classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2">More...</a><br /></td></tr>
165
+ <tr class="separator:ab8c71c5af2877ccacd6c34a86a9eadf2"><td class="memSeparator" colspan="2">&#160;</td></tr>
166
+ <tr class="memitem:a5a8d9e9a8bdb5ff8605592c2310d34a2"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2">rmIncomingEdgeForSUStore</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta)</td></tr>
167
+ <tr class="separator:a5a8d9e9a8bdb5ff8605592c2310d34a2"><td class="memSeparator" colspan="2">&#160;</td></tr>
168
+ <tr class="inherit_header pro_methods_classSVF_1_1SaberSVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SaberSVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SaberSVFGBuilder.html">SVF::SaberSVFGBuilder</a></td></tr>
169
+ <tr class="memitem:a21c20865a0093192978cec09ce09f20b inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">isStrongUpdate</a> (const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *node, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &amp;singleton, <a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta)</td></tr>
170
+ <tr class="memdesc:a21c20865a0093192978cec09ce09f20b inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if this is a strong update STORE statement. <a href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">More...</a><br /></td></tr>
171
+ <tr class="separator:a21c20865a0093192978cec09ce09f20b inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
172
+ <tr class="memitem:ad8f4f63d2071be4eb5f6fb2fdf29a10a inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">rmDerefDirSVFGEdges</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta)</td></tr>
173
+ <tr class="separator:ad8f4f63d2071be4eb5f6fb2fdf29a10a inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
174
+ <tr class="memitem:ab6870d6f6f5abc5417dcea771eaa31f7 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">AddExtActualParmSVFGNodes</a> (<a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> *callgraph)</td></tr>
175
+ <tr class="memdesc:ab6870d6f6f5abc5417dcea771eaa31f7 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add actual parameter SVFGNode for 1st argument of a deallocation like external function. <a href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">More...</a><br /></td></tr>
176
+ <tr class="separator:ab6870d6f6f5abc5417dcea771eaa31f7 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
177
+ <tr class="memitem:a2d0492c50159a5f97a587874c6877286 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">collectGlobals</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta)</td></tr>
178
+ <tr class="separator:a2d0492c50159a5f97a587874c6877286 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
179
+ <tr class="memitem:a4bfa849a30d1982ae597d26b4a01dd0f inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">accessGlobal</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *pagNode)</td></tr>
180
+ <tr class="memdesc:a4bfa849a30d1982ae597d26b4a01dd0f inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether points-to of a PAGNode points-to global variable. <a href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">More...</a><br /></td></tr>
181
+ <tr class="separator:a4bfa849a30d1982ae597d26b4a01dd0f inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
+ <tr class="memitem:a411e168e2a6c27e15186c609c5e216b3 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">CollectPtsChain</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id, <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">NodeToPTSSMap</a> &amp;cachedPtsMap)</td></tr>
183
+ <tr class="memdesc:a411e168e2a6c27e15186c609c5e216b3 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Collect objects along points-to chains. <a href="classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3">More...</a><br /></td></tr>
184
+ <tr class="separator:a411e168e2a6c27e15186c609c5e216b3 inherit pro_methods_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
185
+ <tr class="inherit_header pro_methods_classSVF_1_1SVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></td></tr>
186
+ <tr class="memitem:a47591192260ddc3ff0717430f127cc95 inherit pro_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95">build</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *pta, <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">VFG::VFGK</a> kind)</td></tr>
187
+ <tr class="memdesc:a47591192260ddc3ff0717430f127cc95 inherit pro_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create a DDA <a class="el" href="classSVF_1_1SVFG.html">SVFG</a>. By default actualOut and FormalIN are removed, unless withAOFI is set true. <a href="classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95">More...</a><br /></td></tr>
188
+ <tr class="separator:a47591192260ddc3ff0717430f127cc95 inherit pro_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
189
+ <tr class="memitem:a6e08e6a99f7e743abf35e603e35e54f5 inherit pro_methods_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5">releaseMemory</a> ()</td></tr>
190
+ <tr class="memdesc:a6e08e6a99f7e743abf35e603e35e54f5 inherit pro_methods_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Release global <a class="el" href="classSVF_1_1SVFG.html">SVFG</a>. <a href="classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5">More...</a><br /></td></tr>
191
+ <tr class="separator:a6e08e6a99f7e743abf35e603e35e54f5 inherit pro_methods_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
192
+ </table><table class="memberdecls">
193
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
194
+ Additional Inherited Members</h2></td></tr>
195
+ <tr class="inherit_header pro_attribs_classSVF_1_1SaberSVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1SaberSVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1SaberSVFGBuilder.html">SVF::SaberSVFGBuilder</a></td></tr>
196
+ <tr class="memitem:a967dba864a6032e448222525aedb1f2a inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">globs</a></td></tr>
197
+ <tr class="separator:a967dba864a6032e448222525aedb1f2a inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
198
+ <tr class="memitem:a9431a9dcbcf88b78e721b0347046e997 inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a">SVFGNodeSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997">globSVFGNodes</a></td></tr>
199
+ <tr class="memdesc:a9431a9dcbcf88b78e721b0347046e997 inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight">Store all global <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> nodes. <a href="classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997">More...</a><br /></td></tr>
200
+ <tr class="separator:a9431a9dcbcf88b78e721b0347046e997 inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
201
+ <tr class="memitem:ad7902869f6565f92a4c5af61bd895235 inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SaberCondAllocator.html">SaberCondAllocator</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235">saberCondAllocator</a></td></tr>
202
+ <tr class="separator:ad7902869f6565f92a4c5af61bd895235 inherit pro_attribs_classSVF_1_1SaberSVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
203
+ <tr class="inherit_header pro_attribs_classSVF_1_1SVFGBuilder"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1SVFGBuilder')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></td></tr>
204
+ <tr class="memitem:aa9b432dd72f1a39be142c4e2c2d51247 inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0">SVFGEdgeSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247">vfEdgesAtIndCallSite</a></td></tr>
205
+ <tr class="memdesc:aa9b432dd72f1a39be142c4e2c2d51247 inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> Edges connected at indirect call/ret sites. <a href="classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247">More...</a><br /></td></tr>
206
+ <tr class="separator:aa9b432dd72f1a39be142c4e2c2d51247 inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
207
+ <tr class="memitem:af9f454c48ebf26376fca06cdcec0f9cc inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">std::unique_ptr&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a></td></tr>
208
+ <tr class="separator:af9f454c48ebf26376fca06cdcec0f9cc inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
209
+ <tr class="memitem:a70de38086437635d2e44d2a0c9fdded9 inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9">SVFGWithIndCall</a></td></tr>
210
+ <tr class="memdesc:a70de38086437635d2e44d2a0c9fdded9 inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> with precomputed indirect call edges. <a href="classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9">More...</a><br /></td></tr>
211
+ <tr class="separator:a70de38086437635d2e44d2a0c9fdded9 inherit pro_attribs_classSVF_1_1SVFGBuilder"><td class="memSeparator" colspan="2">&#160;</td></tr>
212
+ </table>
213
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
214
+ <div class="textblock">
215
+ <p class="definition">Definition at line <a class="el" href="CFLSVFGBuilder_8h_source.html#l00035">35</a> of file <a class="el" href="CFLSVFGBuilder_8h_source.html">CFLSVFGBuilder.h</a>.</p>
216
+ </div><h2 class="groupheader">Member Typedef Documentation</h2>
217
+ <a id="a9559e6d0539425994d557984f962c999"></a>
218
+ <h2 class="memtitle"><span class="permalink"><a href="#a9559e6d0539425994d557984f962c999">&#9670;&nbsp;</a></span>NodeToPTSSMap</h2>
219
+
220
+ <div class="memitem">
221
+ <div class="memproto">
222
+ <table class="memname">
223
+ <tr>
224
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a>&gt; <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a9559e6d0539425994d557984f962c999">SVF::CFLSVFGBuilder::NodeToPTSSMap</a></td>
225
+ </tr>
226
+ </table>
227
+ </div><div class="memdoc">
228
+
229
+ <p class="definition">Definition at line <a class="el" href="CFLSVFGBuilder_8h_source.html#l00039">39</a> of file <a class="el" href="CFLSVFGBuilder_8h_source.html">CFLSVFGBuilder.h</a>.</p>
230
+
231
+ </div>
232
+ </div>
233
+ <a id="a0f20a668d844f54f1af93f2baae58841"></a>
234
+ <h2 class="memtitle"><span class="permalink"><a href="#a0f20a668d844f54f1af93f2baae58841">&#9670;&nbsp;</a></span>SVFGNodeSet</h2>
235
+
236
+ <div class="memitem">
237
+ <div class="memproto">
238
+ <table class="memname">
239
+ <tr>
240
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a>*&gt; <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841">SVF::CFLSVFGBuilder::SVFGNodeSet</a></td>
241
+ </tr>
242
+ </table>
243
+ </div><div class="memdoc">
244
+
245
+ <p class="definition">Definition at line <a class="el" href="CFLSVFGBuilder_8h_source.html#l00038">38</a> of file <a class="el" href="CFLSVFGBuilder_8h_source.html">CFLSVFGBuilder.h</a>.</p>
246
+
247
+ </div>
248
+ </div>
249
+ <a id="a287f937ab8cc7f493c942eb1bcdacd6d"></a>
250
+ <h2 class="memtitle"><span class="permalink"><a href="#a287f937ab8cc7f493c942eb1bcdacd6d">&#9670;&nbsp;</a></span>WorkList</h2>
251
+
252
+ <div class="memitem">
253
+ <div class="memproto">
254
+ <table class="memname">
255
+ <tr>
256
+ <td class="memname">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&gt; <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">SVF::CFLSVFGBuilder::WorkList</a></td>
257
+ </tr>
258
+ </table>
259
+ </div><div class="memdoc">
260
+
261
+ <p class="definition">Definition at line <a class="el" href="CFLSVFGBuilder_8h_source.html#l00040">40</a> of file <a class="el" href="CFLSVFGBuilder_8h_source.html">CFLSVFGBuilder.h</a>.</p>
262
+
263
+ </div>
264
+ </div>
265
+ <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
266
+ <a id="a6dc5b2c97c0e4948f78bd68fbbf0fdfc"></a>
267
+ <h2 class="memtitle"><span class="permalink"><a href="#a6dc5b2c97c0e4948f78bd68fbbf0fdfc">&#9670;&nbsp;</a></span>CFLSVFGBuilder()</h2>
268
+
269
+ <div class="memitem">
270
+ <div class="memproto">
271
+ <table class="mlabels">
272
+ <tr>
273
+ <td class="mlabels-left">
274
+ <table class="memname">
275
+ <tr>
276
+ <td class="memname">SVF::CFLSVFGBuilder::CFLSVFGBuilder </td>
277
+ <td>(</td>
278
+ <td class="paramname"></td><td>)</td>
279
+ <td></td>
280
+ </tr>
281
+ </table>
282
+ </td>
283
+ <td class="mlabels-right">
284
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
285
+ </tr>
286
+ </table>
287
+ </div><div class="memdoc">
288
+
289
+ <p>Constructor. </p>
290
+
291
+ </div>
292
+ </div>
293
+ <a id="a96b809add064f6ce335579fa5187f219"></a>
294
+ <h2 class="memtitle"><span class="permalink"><a href="#a96b809add064f6ce335579fa5187f219">&#9670;&nbsp;</a></span>~CFLSVFGBuilder()</h2>
295
+
296
+ <div class="memitem">
297
+ <div class="memproto">
298
+ <table class="mlabels">
299
+ <tr>
300
+ <td class="mlabels-left">
301
+ <table class="memname">
302
+ <tr>
303
+ <td class="memname">virtual SVF::CFLSVFGBuilder::~CFLSVFGBuilder </td>
304
+ <td>(</td>
305
+ <td class="paramname"></td><td>)</td>
306
+ <td></td>
307
+ </tr>
308
+ </table>
309
+ </td>
310
+ <td class="mlabels-right">
311
+ <span class="mlabels"><span class="mlabel">virtual</span><span class="mlabel">default</span></span> </td>
312
+ </tr>
313
+ </table>
314
+ </div><div class="memdoc">
315
+
316
+ <p>Destructor. </p>
317
+
318
+ </div>
319
+ </div>
320
+ <h2 class="groupheader">Member Function Documentation</h2>
321
+ <a id="ab8c71c5af2877ccacd6c34a86a9eadf2"></a>
322
+ <h2 class="memtitle"><span class="permalink"><a href="#ab8c71c5af2877ccacd6c34a86a9eadf2">&#9670;&nbsp;</a></span>buildSVFG()</h2>
323
+
324
+ <div class="memitem">
325
+ <div class="memproto">
326
+ <table class="mlabels">
327
+ <tr>
328
+ <td class="mlabels-left">
329
+ <table class="memname">
330
+ <tr>
331
+ <td class="memname">void CFLSVFGBuilder::buildSVFG </td>
332
+ <td>(</td>
333
+ <td class="paramname"></td><td>)</td>
334
+ <td></td>
335
+ </tr>
336
+ </table>
337
+ </td>
338
+ <td class="mlabels-right">
339
+ <span class="mlabels"><span class="mlabel">protected</span><span class="mlabel">virtual</span></span> </td>
340
+ </tr>
341
+ </table>
342
+ </div><div class="memdoc">
343
+
344
+ <p>Re-write create <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> method. </p>
345
+
346
+ <p>Reimplemented from <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SVF::SaberSVFGBuilder</a>.</p>
347
+
348
+ <p class="definition">Definition at line <a class="el" href="CFLSVFGBuilder_8cpp_source.html#l00035">35</a> of file <a class="el" href="CFLSVFGBuilder_8cpp_source.html">CFLSVFGBuilder.cpp</a>.</p>
349
+ <div class="fragment"><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div>
350
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; </div>
351
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; <a class="code" href="classSVF_1_1MemSSA.html">MemSSA</a>* mssa = <a class="code" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a>-&gt;getMSSA();</div>
352
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; <a class="code" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a>-&gt;buildSVFG();</div>
353
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; <a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* pta = mssa-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">getPTA</a>();</div>
354
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">&quot;\tCollect Global Variables\n&quot;</span>));</div>
355
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; </div>
356
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">collectGlobals</a>(pta);</div>
357
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; </div>
358
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">&quot;\tRemove Dereference Direct SVFG Edge\n&quot;</span>));</div>
359
+ <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; </div>
360
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">rmDerefDirSVFGEdges</a>(pta);</div>
361
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; </div>
362
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <a class="code" href="classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2">rmIncomingEdgeForSUStore</a>(pta);</div>
363
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; </div>
364
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">&quot;\tAdd Sink SVFG Nodes\n&quot;</span>));</div>
365
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; </div>
366
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">AddExtActualParmSVFGNodes</a>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">getPTACallGraph</a>());</div>
367
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
368
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">if</span>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>())</div>
369
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <a class="code" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a>-&gt;performStat();</div>
370
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;}</div>
371
+ </div><!-- fragment -->
372
+ </div>
373
+ </div>
374
+ <a id="a5a8d9e9a8bdb5ff8605592c2310d34a2"></a>
375
+ <h2 class="memtitle"><span class="permalink"><a href="#a5a8d9e9a8bdb5ff8605592c2310d34a2">&#9670;&nbsp;</a></span>rmIncomingEdgeForSUStore()</h2>
376
+
377
+ <div class="memitem">
378
+ <div class="memproto">
379
+ <table class="mlabels">
380
+ <tr>
381
+ <td class="mlabels-left">
382
+ <table class="memname">
383
+ <tr>
384
+ <td class="memname">void CFLSVFGBuilder::rmIncomingEdgeForSUStore </td>
385
+ <td>(</td>
386
+ <td class="paramtype"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *&#160;</td>
387
+ <td class="paramname"><em>pta</em></td><td>)</td>
388
+ <td></td>
389
+ </tr>
390
+ </table>
391
+ </td>
392
+ <td class="mlabels-right">
393
+ <span class="mlabels"><span class="mlabel">protected</span><span class="mlabel">virtual</span></span> </td>
394
+ </tr>
395
+ </table>
396
+ </div><div class="memdoc">
397
+ <p>Remove Incoming Edge for strong-update (SU) store instruction Because the SU node does not receive indirect value</p>
398
+ <p>Remove Incoming Edge for strong-update (SU) store instruction Because the SU node does not receive indirect value</p>
399
+ <p>e.g., L1: *p = O; (singleton) L2: *p = _; (SU here) We should remove the indirect value flow L1 -&gt; L2 Because the points-to set of O from L1 does not pass to that after L2 </p>
400
+
401
+ <p>Reimplemented from <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a">SVF::SaberSVFGBuilder</a>.</p>
402
+
403
+ <p class="definition">Definition at line <a class="el" href="CFLSVFGBuilder_8cpp_source.html#l00070">70</a> of file <a class="el" href="CFLSVFGBuilder_8cpp_source.html">CFLSVFGBuilder.cpp</a>.</p>
404
+ <div class="fragment"><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160;{</div>
405
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; </div>
406
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">SVFG::iterator</a> it = <a class="code" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a>-&gt;begin(), eit = <a class="code" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a>-&gt;end(); it!=eit; ++it)</div>
407
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; {</div>
408
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* node = it-&gt;second;</div>
409
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; </div>
410
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreVFGNode.html">StoreSVFGNode</a>* stmtNode = SVFUtil::dyn_cast&lt;StoreSVFGNode&gt;(node))</div>
411
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; {</div>
412
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;StoreStmt&gt;(stmtNode-&gt;getPAGEdge()))</div>
413
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; {</div>
414
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> singleton;</div>
415
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">isStrongUpdate</a>(node, singleton, pta))</div>
416
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div>
417
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;SVFGEdge*&gt;</a> toRemove;</div>
418
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> it2 = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>(), eit2 = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>(); it2 != eit2; ++it2)</div>
419
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
420
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">if</span> ((*it2)-&gt;isIndirectVFGEdge())</div>
421
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; {</div>
422
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; toRemove.insert(*it2);</div>
423
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div>
424
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
425
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge: toRemove)</div>
426
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; {</div>
427
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; <a class="code" href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">svfg</a>-&gt;removeSVFGEdge(edge);</div>
428
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
429
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div>
430
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
431
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; }</div>
432
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div>
433
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160;}</div>
434
+ </div><!-- fragment -->
435
+ </div>
436
+ </div>
437
+ <hr/>The documentation for this class was generated from the following files:<ul>
438
+ <li>/home/runner/work/SVF/SVF/svf/include/CFL/<a class="el" href="CFLSVFGBuilder_8h_source.html">CFLSVFGBuilder.h</a></li>
439
+ <li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFLSVFGBuilder_8cpp_source.html">CFLSVFGBuilder.cpp</a></li>
440
+ </ul>
441
+ </div><!-- contents -->
442
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_afe6a7b286d9af4992f41b59612fd2900"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode::InEdgeEnd</a></div><div class="ttdeci">iterator InEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00229">GenericGraph.h:229</a></div></div>
443
+ <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
444
+ <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_af9f454c48ebf26376fca06cdcec0f9cc"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc">SVF::SVFGBuilder::svfg</a></div><div class="ttdeci">std::unique_ptr&lt; SVFG &gt; svfg</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00091">SVFGBuilder.h:91</a></div></div>
445
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
446
+ <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
447
+ <div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a21c20865a0093192978cec09ce09f20b"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b">SVF::SaberSVFGBuilder::isStrongUpdate</a></div><div class="ttdeci">bool isStrongUpdate(const SVFGNode *node, NodeID &amp;singleton, BVDataPTAImpl *pta)</div><div class="ttdoc">Return TRUE if this is a strong update STORE statement.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00224">SaberSVFGBuilder.cpp:224</a></div></div>
448
+ <div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ab6870d6f6f5abc5417dcea771eaa31f7"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder::AddExtActualParmSVFGNodes</a></div><div class="ttdeci">virtual void AddExtActualParmSVFGNodes(PTACallGraph *callgraph)</div><div class="ttdoc">Add actual parameter SVFGNode for 1st argument of a deallocation like external function.</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00294">SaberSVFGBuilder.cpp:294</a></div></div>
449
+ <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00042">PointerAnalysisImpl.h:42</a></div></div>
450
+ <div class="ttc" id="aclassSVF_1_1CFLSVFGBuilder_html_a5a8d9e9a8bdb5ff8605592c2310d34a2"><div class="ttname"><a href="classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2">SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore</a></div><div class="ttdeci">virtual void rmIncomingEdgeForSUStore(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSVFGBuilder_8cpp_source.html#l00070">CFLSVFGBuilder.cpp:70</a></div></div>
451
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_ae5b113921530eee6afe58a65d8e5b3a7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode::InEdgeBegin</a></div><div class="ttdeci">iterator InEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00225">GenericGraph.h:225</a></div></div>
452
+ <div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_a2d0492c50159a5f97a587874c6877286"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder::collectGlobals</a></div><div class="ttdeci">void collectGlobals(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00070">SaberSVFGBuilder.cpp:70</a></div></div>
453
+ <div class="ttc" id="aclassSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
454
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
455
+ <div class="ttc" id="aclassSVF_1_1MemSSA_html"><div class="ttname"><a href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00052">MemSSA.h:52</a></div></div>
456
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
457
+ <div class="ttc" id="aclassSVF_1_1MemSSA_html_ad40617a1907b9a6b8cc24888ce54a0ac"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">SVF::MemSSA::getPTA</a></div><div class="ttdeci">BVDataPTAImpl * getPTA() const</div><div class="ttdoc">Return PTA.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00308">MemSSA.h:308</a></div></div>
458
+ <div class="ttc" id="aclassSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
459
+ <div class="ttc" id="aclassSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
460
+ <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
461
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00362">PointerAnalysis.h:362</a></div></div>
462
+ <div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
463
+ <div class="ttc" id="aclassSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00240">VFGNode.h:240</a></div></div>
464
+ <div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_ad8f4f63d2071be4eb5f6fb2fdf29a10a"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">SVF::SaberSVFGBuilder::rmDerefDirSVFGEdges</a></div><div class="ttdeci">void rmDerefDirSVFGEdges(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8cpp_source.html#l00180">SaberSVFGBuilder.cpp:180</a></div></div>
465
+ <div class="ttc" id="aclassSVF_1_1VFG_html_a241d0489bf0315460e2b07db87e7847c"><div class="ttname"><a href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">SVF::VFG::iterator</a></div><div class="ttdeci">VFGNodeIDToNodeMapTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00080">VFG.h:80</a></div></div>
466
+ <!-- start footer part -->
467
+ <hr class="footer"/><address class="footer"><small>
468
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
469
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
470
+ </a> 1.8.17
471
+ </small></address>
472
+ </body>
473
+ </html>