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/functions_n.html CHANGED
@@ -278,7 +278,8 @@ $(function() {
278
278
  , <a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">SVF::SVFIR</a>
279
279
  </li>
280
280
  <li>NodeToPTSSMap
281
- : <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
281
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a9559e6d0539425994d557984f962c999">SVF::CFLSVFGBuilder</a>
282
+ , <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
282
283
  , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder</a>
283
284
  </li>
284
285
  <li>NodeToRepMap
@@ -287,18 +288,18 @@ $(function() {
287
288
  <li>nodeToRepMap
288
289
  : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
289
290
  </li>
290
- <li>NodeToSubsMap
291
- : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
292
- </li>
293
291
  <li>nodeToSubsMap
294
292
  : <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
295
293
  </li>
296
294
  <li>NodeToSubsMap
297
- : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
295
+ : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
298
296
  </li>
299
297
  <li>nodeToSubsMap
300
298
  : <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
301
299
  </li>
300
+ <li>NodeToSubsMap
301
+ : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
302
+ </li>
302
303
  <li>NodeType
303
304
  : <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a853ab084e6697910121f897ab43bca04">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
304
305
  , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
package/SVF-doxygen/html/functions_p.html CHANGED
@@ -89,12 +89,12 @@ $(function() {
89
89
  <li>PAGEdgeSetTy
90
90
  : <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
91
91
  </li>
92
- <li>pagEdgeToFunMap
93
- : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
94
- </li>
95
92
  <li>PAGEdgeToFunMap
96
93
  : <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
97
94
  </li>
95
+ <li>pagEdgeToFunMap
96
+ : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
97
+ </li>
98
98
  <li>PAGEdgeToSetMapTy
99
99
  : <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
100
100
  </li>
@@ -528,12 +528,12 @@ $(function() {
528
528
  <li>predBBs
529
529
  : <a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock</a>
530
530
  </li>
531
- <li>Predicate
532
- : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac">SVF::CmpStmt</a>
533
- </li>
534
531
  <li>predicate
535
532
  : <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
536
533
  </li>
534
+ <li>Predicate
535
+ : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac">SVF::CmpStmt</a>
536
+ </li>
537
537
  <li>PredictPtOcc
538
538
  : <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
539
539
  </li>
@@ -633,6 +633,9 @@ $(function() {
633
633
  , <a class="el" href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState</a>
634
634
  , <a class="el" href="classSVF_1_1RelExeState.html#a3537b1534a643af880ad6e474e00dc7b">SVF::RelExeState</a>
635
635
  </li>
636
+ <li>PrintFieldWithBasePrefix
637
+ : <a class="el" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">SVF::Options</a>
638
+ </li>
636
639
  <li>printFlattenFields()
637
640
  : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9">SVF::SymbolTableInfo</a>
638
641
  </li>
@@ -640,7 +643,7 @@ $(function() {
640
643
  : <a class="el" href="classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da">SVF::GraphPrinter</a>
641
644
  </li>
642
645
  <li>printIndCSTargets()
643
- : <a class="el" href="classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3">SVF::PointerAnalysis</a>
646
+ : <a class="el" href="classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30">SVF::PointerAnalysis</a>
644
647
  </li>
645
648
  <li>printInterleaving()
646
649
  : <a class="el" href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP</a>
@@ -906,13 +909,11 @@ $(function() {
906
909
  </li>
907
910
  <li>PTAVector
908
911
  : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
912
+ , <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
909
913
  </li>
910
914
  <li>ptaVector
911
915
  : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
912
916
  </li>
913
- <li>PTAVector
914
- : <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
915
- </li>
916
917
  <li>PTBackingType
917
918
  : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
918
919
  </li>
@@ -987,12 +988,12 @@ $(function() {
987
988
  <li>ptrToBVPtsMap
988
989
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
989
990
  </li>
990
- <li>ptrToCPtsMap
991
- : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
992
- </li>
993
991
  <li>PtrToCPtsMap
994
992
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
995
993
  </li>
994
+ <li>ptrToCPtsMap
995
+ : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
996
+ </li>
996
997
  <li>ptrToId
997
998
  : <a class="el" href="classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe">SVF::WriterPtrPool&lt; T &gt;</a>
998
999
  </li>
@@ -1068,7 +1069,7 @@ $(function() {
1068
1069
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
1069
1070
  , <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
1070
1071
  , <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
1071
- , <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
1072
+ , <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
1072
1073
  </li>
1073
1074
  <li>pushIntoWorklist()
1074
1075
  : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>
package/SVF-doxygen/html/functions_r.html CHANGED
@@ -122,7 +122,7 @@ $(function() {
122
122
  : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
123
123
  </li>
124
124
  <li>readJson()
125
- : <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
125
+ : <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
126
126
  </li>
127
127
  <li>readPrecision()
128
128
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -321,6 +321,9 @@ $(function() {
321
321
  <li>removeDpmFromLoc()
322
322
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
323
323
  </li>
324
+ <li>removedSUVFEdges
325
+ : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc">SVF::SaberCondAllocator</a>
326
+ </li>
324
327
  <li>removeFirstSymbol()
325
328
  : <a class="el" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">SVF::CFGNormalizer</a>
326
329
  </li>
@@ -359,7 +362,7 @@ $(function() {
359
362
  : <a class="el" href="classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28">SVF::ConstraintGraph</a>
360
363
  </li>
361
364
  <li>removeMDTag()
362
- : <a class="el" href="classSVF_1_1Annotator.html#a676a5c9b425e13f17fa73879c72787a6">SVF::Annotator</a>
365
+ : <a class="el" href="classSVF_1_1Annotator.html#a35dabd3a84615e730b34f568623ad8f5">SVF::Annotator</a>
363
366
  </li>
364
367
  <li>removeNode()
365
368
  : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a772a7259fa9ef0eae1ec2ba30b17587f">SVF::CFBasicBlockNode</a>
@@ -447,7 +450,7 @@ $(function() {
447
450
  : <a class="el" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType</a>
448
451
  </li>
449
452
  <li>requiredBits()
450
- : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad0f0a6b61a044db819c253f8b9ab093e">SVF::NodeIDAllocator::Clusterer</a>
453
+ : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a9aea96839c51ac1e2cbf4813174bb21c">SVF::NodeIDAllocator::Clusterer</a>
451
454
  </li>
452
455
  <li>res
453
456
  : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d">SVF::BinaryOPVFGNode</a>
@@ -547,7 +550,7 @@ $(function() {
547
550
  : <a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">SVF::VFGEdge</a>
548
551
  </li>
549
552
  <li>RetICFGNode()
550
- : <a class="el" href="classSVF_1_1RetICFGNode.html#a509a968955a30eac9e3a33ee92fb40ca">SVF::RetICFGNode</a>
553
+ : <a class="el" href="classSVF_1_1RetICFGNode.html#ab11a6192d63f568f03d5cbb0f5e36360">SVF::RetICFGNode</a>
551
554
  </li>
552
555
  <li>RetIndSVFGEdge()
553
556
  : <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4">SVF::RetIndSVFGEdge</a>
@@ -574,7 +577,7 @@ $(function() {
574
577
  : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
575
578
  </li>
576
579
  <li>RetPE()
577
- : <a class="el" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
580
+ : <a class="el" href="classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85">SVF::RetPE</a>
578
581
  </li>
579
582
  <li>retPEBegin()
580
583
  : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -639,7 +642,8 @@ $(function() {
639
642
  : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a">SVF::SaberSVFGBuilder</a>
640
643
  </li>
641
644
  <li>rmIncomingEdgeForSUStore()
642
- : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a">SVF::SaberSVFGBuilder</a>
645
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2">SVF::CFLSVFGBuilder</a>
646
+ , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a">SVF::SaberSVFGBuilder</a>
643
647
  </li>
644
648
  <li>rmInterleavingThread()
645
649
  : <a class="el" href="classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3">SVF::MHP</a>
package/SVF-doxygen/html/functions_rela_c.html CHANGED
@@ -67,6 +67,9 @@ $(function() {
67
67
  <li>CFBasicBlockGBuilder
68
68
  : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f">SVF::CFBasicBlockGraph</a>
69
69
  </li>
70
+ <li>CFLSVFGBuilder
71
+ : <a class="el" href="classSVF_1_1SVFG.html#a17841bd17e7595f8feef1002b26ff188">SVF::SVFG</a>
72
+ </li>
70
73
  <li>CHGBuilder
71
74
  : <a class="el" href="classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733">SVF::CHGraph</a>
72
75
  </li>
package/SVF-doxygen/html/functions_s.html CHANGED
@@ -71,7 +71,8 @@ $(function() {
71
71
  : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5">SVF::SaberCondAllocator</a>
72
72
  </li>
73
73
  <li>saberCondAllocator
74
- : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44">SVF::SrcSnkDDA</a>
74
+ : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235">SVF::SaberSVFGBuilder</a>
75
+ , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44">SVF::SrcSnkDDA</a>
75
76
  </li>
76
77
  <li>SABERFULLSVFG
77
78
  : <a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options</a>
@@ -145,7 +146,7 @@ $(function() {
145
146
  , <a class="el" href="classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593">SVF::AndersenSCD</a>
146
147
  , <a class="el" href="classSVF_1_1FlowSensitive.html#a3fcdbd3e6718cd5b3a339d34198dd0e6">SVF::FlowSensitive</a>
147
148
  , <a class="el" href="classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708">SVF::WPAFSSolver&lt; GraphType &gt;</a>
148
- , <a class="el" href="classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a">SVF::WPASolver&lt; GraphType &gt;</a>
149
+ , <a class="el" href="classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8">SVF::WPASolver&lt; GraphType &gt;</a>
149
150
  </li>
150
151
  <li>SCCDetection()
151
152
  : <a class="el" href="classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -537,6 +538,9 @@ $(function() {
537
538
  <li>setRetICFGNode()
538
539
  : <a class="el" href="classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20">SVF::CallICFGNode</a>
539
540
  </li>
541
+ <li>setSaberCondAllocator()
542
+ : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8eb03d4362685f361bc1110fc98925b9">SVF::SaberSVFGBuilder</a>
543
+ </li>
540
544
  <li>setScalar()
541
545
  : <a class="el" href="classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4">SVF::DCHNode</a>
542
546
  </li>
@@ -675,15 +679,9 @@ $(function() {
675
679
  <li>SingleCondVar
676
680
  : <a class="el" href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet&lt; Cond &gt;</a>
677
681
  </li>
678
- <li>SingleLoad
679
- : <a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SVF::Options</a>
680
- </li>
681
682
  <li>singleRHSToProds
682
683
  : <a class="el" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">SVF::CFGrammar</a>
683
684
  </li>
684
- <li>SingleStride
685
- : <a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options</a>
686
- </li>
687
685
  <li>SingleValueK
688
686
  : <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SVF::ExeState</a>
689
687
  </li>
@@ -979,12 +977,12 @@ $(function() {
979
977
  <li>StoreStmt()
980
978
  : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
981
979
  </li>
982
- <li>StoresToMRsMap
983
- : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
984
- </li>
985
980
  <li>storesToMRsMap
986
981
  : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
987
982
  </li>
983
+ <li>StoresToMRsMap
984
+ : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
985
+ </li>
988
986
  <li>StoresToPointsToMap
989
987
  : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
990
988
  </li>
@@ -1217,7 +1215,8 @@ $(function() {
1217
1215
  : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e">SVF::SVFGNodeLockSpan</a>
1218
1216
  </li>
1219
1217
  <li>SVFGNodeSet
1220
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a">SVF::MTASVFGBuilder</a>
1218
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841">SVF::CFLSVFGBuilder</a>
1219
+ , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a">SVF::MTASVFGBuilder</a>
1221
1220
  , <a class="el" href="classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a">SVF::ProgSlice</a>
1222
1221
  , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a">SVF::SaberSVFGBuilder</a>
1223
1222
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84">SVF::SrcSnkDDA</a>
@@ -1228,12 +1227,12 @@ $(function() {
1228
1227
  : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
1229
1228
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
1230
1229
  </li>
1231
- <li>SVFGNodeToCondMap
1232
- : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
1233
- </li>
1234
1230
  <li>svfgNodeToCondMap
1235
1231
  : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
1236
1232
  </li>
1233
+ <li>SVFGNodeToCondMap
1234
+ : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
1235
+ </li>
1237
1236
  <li>SVFGNodeToCSIDMap
1238
1237
  : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
1239
1238
  </li>
@@ -1243,6 +1242,10 @@ $(function() {
1243
1242
  <li>SVFGNodeToSliceMap
1244
1243
  : <a class="el" href="classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4">SVF::SrcSnkDDA</a>
1245
1244
  </li>
1245
+ <li>SVFGNodeToSVFGNodeSetMap
1246
+ : <a class="el" href="classSVF_1_1ProgSlice.html#a256122a6455854a99131b807f7eb8335">SVF::ProgSlice</a>
1247
+ , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a1e5ab069ebb4d17f04788a37fa616cab">SVF::SaberCondAllocator</a>
1248
+ </li>
1246
1249
  <li>SVFGNodeVec
1247
1250
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312">SVF::MTASVFGBuilder</a>
1248
1251
  </li>
@@ -1279,7 +1282,7 @@ $(function() {
1279
1282
  : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
1280
1283
  </li>
1281
1284
  <li>SVFInstruction()
1282
- : <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
1285
+ : <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
1283
1286
  </li>
1284
1287
  <li>SVFIntegerTy
1285
1288
  : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType</a>
@@ -1552,7 +1555,7 @@ $(function() {
1552
1555
  : <a class="el" href="classSVF_1_1SVFOtherType.html#a4811e1d34753e19e27d552a254f0d0af">SVF::SVFOtherType</a>
1553
1556
  </li>
1554
1557
  <li>SVFOtherValue()
1555
- : <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
1558
+ : <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
1556
1559
  </li>
1557
1560
  <li>SVFPointerTy
1558
1561
  : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType</a>
@@ -1592,7 +1595,7 @@ $(function() {
1592
1595
  : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
1593
1596
  </li>
1594
1597
  <li>SVFType()
1595
- : <a class="el" href="classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">SVF::SVFType</a>
1598
+ : <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
1596
1599
  </li>
1597
1600
  <li>SVFTypeLocSetsPair
1598
1601
  : <a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVF::SVFIR</a>
@@ -1614,7 +1617,7 @@ $(function() {
1614
1617
  : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue</a>
1615
1618
  </li>
1616
1619
  <li>SVFValue()
1617
- : <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
1620
+ : <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
1618
1621
  </li>
1619
1622
  <li>SVFValue2LLVMValue
1620
1623
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVF::LLVMModuleSet</a>
@@ -1627,7 +1630,7 @@ $(function() {
1627
1630
  , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
1628
1631
  </li>
1629
1632
  <li>SVFVar()
1630
- : <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
1633
+ : <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
1631
1634
  </li>
1632
1635
  <li>SVFVarList
1633
1636
  : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
@@ -1673,7 +1676,7 @@ $(function() {
1673
1676
  , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
1674
1677
  </li>
1675
1678
  <li>SymState()
1676
- : <a class="el" href="classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d">SVF::SymState</a>
1679
+ : <a class="el" href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">SVF::SymState</a>
1677
1680
  </li>
1678
1681
  <li>symTabFieldJson
1679
1682
  : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>
package/SVF-doxygen/html/functions_t.html CHANGED
@@ -76,12 +76,6 @@ $(function() {
76
76
  <li>TaintSVFGBuilder
77
77
  : <a class="el" href="classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445">SVF::SVFG</a>
78
78
  </li>
79
- <li>TaintUninitHeap
80
- : <a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">SVF::Options</a>
81
- </li>
82
- <li>TaintUninitStack
83
- : <a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options</a>
84
- </li>
85
79
  <li>tcg
86
80
  : <a class="el" href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP</a>
87
81
  , <a class="el" href="classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa">SVF::MTA</a>
@@ -699,13 +693,13 @@ $(function() {
699
693
  , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
700
694
  , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
701
695
  , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
702
- , <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
703
696
  </li>
704
697
  <li>Type
705
698
  : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
706
699
  </li>
707
700
  <li>type
708
- : <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
701
+ : <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
702
+ , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
709
703
  , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
710
704
  , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
711
705
  , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
@@ -739,12 +733,12 @@ $(function() {
739
733
  <li>typeinfo
740
734
  : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
741
735
  </li>
742
- <li>typeLocSetsMap
743
- : <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
744
- </li>
745
736
  <li>TypeLocSetsMap
746
737
  : <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
747
738
  </li>
739
+ <li>typeLocSetsMap
740
+ : <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
741
+ </li>
748
742
  <li>TypeMap
749
743
  : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
750
744
  </li>
package/SVF-doxygen/html/functions_type_n.html CHANGED
@@ -152,7 +152,8 @@ $(function() {
152
152
  , <a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">SVF::SVFIR</a>
153
153
  </li>
154
154
  <li>NodeToPTSSMap
155
- : <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
155
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a9559e6d0539425994d557984f962c999">SVF::CFLSVFGBuilder</a>
156
+ , <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
156
157
  , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder</a>
157
158
  </li>
158
159
  <li>NodeToRepMap
package/SVF-doxygen/html/functions_type_s.html CHANGED
@@ -134,7 +134,8 @@ $(function() {
134
134
  : <a class="el" href="classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9">SVF::SVFG</a>
135
135
  </li>
136
136
  <li>SVFGNodeSet
137
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a">SVF::MTASVFGBuilder</a>
137
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841">SVF::CFLSVFGBuilder</a>
138
+ , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a">SVF::MTASVFGBuilder</a>
138
139
  , <a class="el" href="classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a">SVF::ProgSlice</a>
139
140
  , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a">SVF::SaberSVFGBuilder</a>
140
141
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84">SVF::SrcSnkDDA</a>
@@ -157,6 +158,10 @@ $(function() {
157
158
  <li>SVFGNodeToSliceMap
158
159
  : <a class="el" href="classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4">SVF::SrcSnkDDA</a>
159
160
  </li>
161
+ <li>SVFGNodeToSVFGNodeSetMap
162
+ : <a class="el" href="classSVF_1_1ProgSlice.html#a256122a6455854a99131b807f7eb8335">SVF::ProgSlice</a>
163
+ , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a1e5ab069ebb4d17f04788a37fa616cab">SVF::SaberCondAllocator</a>
164
+ </li>
160
165
  <li>SVFGNodeVec
161
166
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312">SVF::MTASVFGBuilder</a>
162
167
  </li>
package/SVF-doxygen/html/functions_type_w.html CHANGED
@@ -69,6 +69,7 @@ $(function() {
69
69
  </li>
70
70
  <li>WorkList
71
71
  : <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
72
+ , <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">SVF::CFLSVFGBuilder</a>
72
73
  , <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
73
74
  , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
74
75
  , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
package/SVF-doxygen/html/functions_v.html CHANGED
@@ -144,12 +144,12 @@ $(function() {
144
144
  <li>ValVar()
145
145
  : <a class="el" href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar</a>
146
146
  </li>
147
- <li>Var2LabelMap
148
- : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
149
- </li>
150
147
  <li>var2LabelMap
151
148
  : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
152
149
  </li>
150
+ <li>Var2LabelMap
151
+ : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
152
+ </li>
153
153
  <li>VAR_ARRAY_OBJ
154
154
  : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
155
155
  </li>
@@ -203,13 +203,11 @@ $(function() {
203
203
  </li>
204
204
  <li>varToAddrs()
205
205
  : <a class="el" href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">SVF::ConsExeState</a>
206
+ , <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
206
207
  </li>
207
208
  <li>VarToAddrs
208
209
  : <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
209
210
  </li>
210
- <li>varToAddrs()
211
- : <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
212
- </li>
213
211
  <li>VarToPropNodeMap
214
212
  : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
215
213
  </li>
package/SVF-doxygen/html/functions_vars_d.html CHANGED
@@ -195,9 +195,6 @@ $(function() {
195
195
  <li>DumpCHA
196
196
  : <a class="el" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options</a>
197
197
  </li>
198
- <li>DumpFree
199
- : <a class="el" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">SVF::Options</a>
200
- </li>
201
198
  <li>DumpICFG
202
199
  : <a class="el" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options</a>
203
200
  </li>
@@ -210,18 +207,6 @@ $(function() {
210
207
  <li>DumpSlice
211
208
  : <a class="el" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">SVF::Options</a>
212
209
  </li>
213
- <li>DumpSUPts
214
- : <a class="el" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options</a>
215
- </li>
216
- <li>DumpSUStore
217
- : <a class="el" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">SVF::Options</a>
218
- </li>
219
- <li>DumpUninitPtr
220
- : <a class="el" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options</a>
221
- </li>
222
- <li>DumpUninitVar
223
- : <a class="el" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">SVF::Options</a>
224
- </li>
225
210
  <li>DumpVFG
226
211
  : <a class="el" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options</a>
227
212
  </li>
package/SVF-doxygen/html/functions_vars_m.html CHANGED
@@ -73,9 +73,6 @@ $(function() {
73
73
  <li>m_id
74
74
  : <a class="el" href="classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a">SVF::CondVar&lt; Cond &gt;</a>
75
75
  </li>
76
- <li>MallocOnly
77
- : <a class="el" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">SVF::Options</a>
78
- </li>
79
76
  <li>MarkedClocksOnly
80
77
  : <a class="el" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options</a>
81
78
  </li>
@@ -159,7 +156,7 @@ $(function() {
159
156
  : <a class="el" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">SVF::MRGenerator</a>
160
157
  </li>
161
158
  <li>memSSA
162
- : <a class="el" href="classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e">SVF::CFLVF</a>
159
+ : <a class="el" href="classSVF_1_1CFLVF.html#a88ee14429afb2d1efbc83e551e7869a8">SVF::CFLVF</a>
163
160
  , <a class="el" href="classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a">SVF::FlowSensitive</a>
164
161
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700">SVF::SrcSnkDDA</a>
165
162
  </li>
package/SVF-doxygen/html/functions_vars_p.html CHANGED
@@ -243,6 +243,9 @@ $(function() {
243
243
  <li>PrintDCHG
244
244
  : <a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options</a>
245
245
  </li>
246
+ <li>PrintFieldWithBasePrefix
247
+ : <a class="el" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">SVF::Options</a>
248
+ </li>
246
249
  <li>PrintInterLev
247
250
  : <a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options</a>
248
251
  </li>
package/SVF-doxygen/html/functions_vars_r.html CHANGED
@@ -130,6 +130,9 @@ $(function() {
130
130
  <li>RegioningTime
131
131
  : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a">SVF::NodeIDAllocator::Clusterer</a>
132
132
  </li>
133
+ <li>removedSUVFEdges
134
+ : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc">SVF::SaberCondAllocator</a>
135
+ </li>
133
136
  <li>repNodes
134
137
  : <a class="el" href="classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b">SVF::SCCDetection&lt; GraphType &gt;</a>
135
138
  </li>
package/SVF-doxygen/html/functions_vars_s.html CHANGED
@@ -65,7 +65,8 @@ $(function() {
65
65
 
66
66
  <h3><a id="index_s"></a>- s -</h3><ul>
67
67
  <li>saberCondAllocator
68
- : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44">SVF::SrcSnkDDA</a>
68
+ : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235">SVF::SaberSVFGBuilder</a>
69
+ , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44">SVF::SrcSnkDDA</a>
69
70
  </li>
70
71
  <li>SABERFULLSVFG
71
72
  : <a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options</a>
@@ -124,15 +125,9 @@ $(function() {
124
125
  <li>signAndWidth
125
126
  : <a class="el" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType</a>
126
127
  </li>
127
- <li>SingleLoad
128
- : <a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SVF::Options</a>
129
- </li>
130
128
  <li>singleRHSToProds
131
129
  : <a class="el" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">SVF::CFGrammar</a>
132
130
  </li>
133
- <li>SingleStride
134
- : <a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options</a>
135
- </li>
136
131
  <li>sinks
137
132
  : <a class="el" href="classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">SVF::ProgSlice</a>
138
133
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e">SVF::SrcSnkDDA</a>
package/SVF-doxygen/html/functions_vars_t.html CHANGED
@@ -70,12 +70,6 @@ $(function() {
70
70
  <li>tailmap
71
71
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599">SVF::MTASVFGBuilder</a>
72
72
  </li>
73
- <li>TaintUninitHeap
74
- : <a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">SVF::Options</a>
75
- </li>
76
- <li>TaintUninitStack
77
- : <a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options</a>
78
- </li>
79
73
  <li>tcg
80
74
  : <a class="el" href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP</a>
81
75
  , <a class="el" href="classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa">SVF::MTA</a>
package/SVF-doxygen/html/functions_w.html CHANGED
@@ -107,7 +107,8 @@ $(function() {
107
107
  : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
108
108
  </li>
109
109
  <li>WorkList
110
- : <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
110
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">SVF::CFLSVFGBuilder</a>
111
+ , <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
111
112
  , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
112
113
  , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
113
114
  </li>
@@ -228,7 +229,7 @@ $(function() {
228
229
  : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
229
230
  </li>
230
231
  <li>WTOVisitor()
231
- : <a class="el" href="classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25">SVF::WTOVisitor</a>
232
+ : <a class="el" href="classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd">SVF::WTOVisitor</a>
232
233
  </li>
233
234
  </ul>
234
235
  </div><!-- contents -->
package/SVF-doxygen/html/functions_~.html CHANGED
@@ -139,6 +139,9 @@ $(function() {
139
139
  <li>~CFLStat()
140
140
  : <a class="el" href="classSVF_1_1CFLStat.html#ac51498242513e203d0367b9d75f350f3">SVF::CFLStat</a>
141
141
  </li>
142
+ <li>~CFLSVFGBuilder()
143
+ : <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a96b809add064f6ce335579fa5187f219">SVF::CFLSVFGBuilder</a>
144
+ </li>
142
145
  <li>~CHGraph()
143
146
  : <a class="el" href="classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00">SVF::CHGraph</a>
144
147
  </li>