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_1Options.html CHANGED
@@ -131,24 +131,6 @@ Static Public Attributes</h2></td></tr>
131
131
  <tr class="separator:afd31760e868bfa4d15e434e21fe4d665"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
132
  <tr class="memitem:a3bbd106de519cb8d00f33e82f14d279b"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">CxtBudget</a></td></tr>
133
133
  <tr class="separator:a3bbd106de519cb8d00f33e82f14d279b"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
- <tr class="memitem:a5fe0e29e325a6d53ccf16f8fe725821e"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SingleLoad</a></td></tr>
135
- <tr class="separator:a5fe0e29e325a6d53ccf16f8fe725821e"><td class="memSeparator" colspan="2">&#160;</td></tr>
136
- <tr class="memitem:a03cd671379712e6b3fa8ac4ec9b4d1d4"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">DumpFree</a></td></tr>
137
- <tr class="separator:a03cd671379712e6b3fa8ac4ec9b4d1d4"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
- <tr class="memitem:ab8075fe929f99b640d5c0a0530297025"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">DumpUninitVar</a></td></tr>
139
- <tr class="separator:ab8075fe929f99b640d5c0a0530297025"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
- <tr class="memitem:a296e4a2187d14828cb0baf859f48d716"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">DumpUninitPtr</a></td></tr>
141
- <tr class="separator:a296e4a2187d14828cb0baf859f48d716"><td class="memSeparator" colspan="2">&#160;</td></tr>
142
- <tr class="memitem:a6d45d7ba6852a986b53b31f60f967b01"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">DumpSUPts</a></td></tr>
143
- <tr class="separator:a6d45d7ba6852a986b53b31f60f967b01"><td class="memSeparator" colspan="2">&#160;</td></tr>
144
- <tr class="memitem:ab64401bdde8b0c846a78f21423e5cfb6"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">DumpSUStore</a></td></tr>
145
- <tr class="separator:ab64401bdde8b0c846a78f21423e5cfb6"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
- <tr class="memitem:a9711cdc976786b3949ac6b26f95b59b0"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">MallocOnly</a></td></tr>
147
- <tr class="separator:a9711cdc976786b3949ac6b26f95b59b0"><td class="memSeparator" colspan="2">&#160;</td></tr>
148
- <tr class="memitem:ad6f51870a3cabccbec4898d572dba74f"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">TaintUninitHeap</a></td></tr>
149
- <tr class="separator:ad6f51870a3cabccbec4898d572dba74f"><td class="memSeparator" colspan="2">&#160;</td></tr>
150
- <tr class="memitem:a787f95c7ac87e04f2e6d55cf5d665a34"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">TaintUninitStack</a></td></tr>
151
- <tr class="separator:a787f95c7ac87e04f2e6d55cf5d665a34"><td class="memSeparator" colspan="2">&#160;</td></tr>
152
134
  <tr class="memitem:a63121666a96f6cd2ae56d868c9576a53"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">MaxPathLen</a></td></tr>
153
135
  <tr class="separator:a63121666a96f6cd2ae56d868c9576a53"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
136
  <tr class="memitem:a6237da3f4e264fa8b63c11d621f39e71"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">MaxContextLen</a></td></tr>
@@ -186,8 +168,6 @@ Static Public Attributes</h2></td></tr>
186
168
  <tr class="separator:a9ef14f68939b7678ddff83d544e024cc"><td class="memSeparator" colspan="2">&#160;</td></tr>
187
169
  <tr class="memitem:ae3ad3003a8d3df2f1e3463248bb5ad51"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">DumpVFG</a></td></tr>
188
170
  <tr class="separator:ae3ad3003a8d3df2f1e3463248bb5ad51"><td class="memSeparator" colspan="2">&#160;</td></tr>
189
- <tr class="memitem:ae5af5a2b3854b4d234197ab1a389aac2"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SingleStride</a></td></tr>
190
- <tr class="separator:ae5af5a2b3854b4d234197ab1a389aac2"><td class="memSeparator" colspan="2">&#160;</td></tr>
191
171
  <tr class="memitem:a83103f0d5f166e0bb062aa7d7b393ddd"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a></td></tr>
192
172
  <tr class="separator:a83103f0d5f166e0bb062aa7d7b393ddd"><td class="memSeparator" colspan="2">&#160;</td></tr>
193
173
  <tr class="memitem:abb91435e1e06b07548c539e7f7761563"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">FuncPointerPrint</a></td></tr>
@@ -196,6 +176,8 @@ Static Public Attributes</h2></td></tr>
196
176
  <tr class="separator:a428e892b31dcb783be36a35e878a0337"><td class="memSeparator" colspan="2">&#160;</td></tr>
197
177
  <tr class="memitem:a737f3501a93f954790fe93d36c43fb00"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a></td></tr>
198
178
  <tr class="separator:a737f3501a93f954790fe93d36c43fb00"><td class="memSeparator" colspan="2">&#160;</td></tr>
179
+ <tr class="memitem:a404f9785ed3e592e0c36d91cd6730655"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">PrintFieldWithBasePrefix</a></td></tr>
180
+ <tr class="separator:a404f9785ed3e592e0c36d91cd6730655"><td class="memSeparator" colspan="2">&#160;</td></tr>
199
181
  <tr class="memitem:ac9d18f2d6853f45548f4f85fa2f661c4"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a></td></tr>
200
182
  <tr class="separator:ac9d18f2d6853f45548f4f85fa2f661c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
201
183
  <tr class="memitem:ad2f3ffd1b8d579ebe4c19a015cd599e2"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a></td></tr>
@@ -409,7 +391,7 @@ Static Public Attributes</h2></td></tr>
409
391
  </table>
410
392
  </div><div class="memdoc">
411
393
 
412
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00170">170</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
394
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00157">157</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
413
395
 
414
396
  </div>
415
397
  </div>
@@ -433,7 +415,7 @@ Static Public Attributes</h2></td></tr>
433
415
  </table>
434
416
  </div><div class="memdoc">
435
417
 
436
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00256">256</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
418
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00243">243</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
437
419
 
438
420
  </div>
439
421
  </div>
@@ -457,7 +439,7 @@ Static Public Attributes</h2></td></tr>
457
439
  </table>
458
440
  </div><div class="memdoc">
459
441
 
460
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00191">191</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
442
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00178">178</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
461
443
 
462
444
  </div>
463
445
  </div>
@@ -481,7 +463,7 @@ Static Public Attributes</h2></td></tr>
481
463
  </table>
482
464
  </div><div class="memdoc">
483
465
 
484
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00180">180</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
466
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00167">167</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
485
467
 
486
468
  </div>
487
469
  </div>
@@ -505,7 +487,7 @@ Static Public Attributes</h2></td></tr>
505
487
  </table>
506
488
  </div><div class="memdoc">
507
489
 
508
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00252">252</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
490
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00239">239</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
509
491
 
510
492
  </div>
511
493
  </div>
@@ -555,7 +537,7 @@ Static Public Attributes</h2></td></tr>
555
537
  </table>
556
538
  </div><div class="memdoc">
557
539
 
558
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00184">184</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
540
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00171">171</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
559
541
 
560
542
  </div>
561
543
  </div>
@@ -579,7 +561,7 @@ Static Public Attributes</h2></td></tr>
579
561
  </table>
580
562
  </div><div class="memdoc">
581
563
 
582
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00240">240</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
564
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00227">227</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
583
565
 
584
566
  </div>
585
567
  </div>
@@ -603,7 +585,7 @@ Static Public Attributes</h2></td></tr>
603
585
  </table>
604
586
  </div><div class="memdoc">
605
587
 
606
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00139">139</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
588
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00126">126</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
607
589
 
608
590
  </div>
609
591
  </div>
@@ -627,7 +609,7 @@ Static Public Attributes</h2></td></tr>
627
609
  </table>
628
610
  </div><div class="memdoc">
629
611
 
630
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00263">263</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
612
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00250">250</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
631
613
 
632
614
  </div>
633
615
  </div>
@@ -651,7 +633,7 @@ Static Public Attributes</h2></td></tr>
651
633
  </table>
652
634
  </div><div class="memdoc">
653
635
 
654
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00267">267</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
636
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00254">254</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
655
637
 
656
638
  </div>
657
639
  </div>
@@ -776,7 +758,7 @@ Static Public Attributes</h2></td></tr>
776
758
  </table>
777
759
  </div><div class="memdoc">
778
760
 
779
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00233">233</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
761
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00220">220</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
780
762
 
781
763
  </div>
782
764
  </div>
@@ -800,7 +782,7 @@ Static Public Attributes</h2></td></tr>
800
782
  </table>
801
783
  </div><div class="memdoc">
802
784
 
803
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00145">145</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
785
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00132">132</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
804
786
 
805
787
  </div>
806
788
  </div>
@@ -824,7 +806,7 @@ Static Public Attributes</h2></td></tr>
824
806
  </table>
825
807
  </div><div class="memdoc">
826
808
 
827
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00239">239</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
809
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00226">226</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
828
810
 
829
811
  </div>
830
812
  </div>
@@ -848,7 +830,7 @@ Static Public Attributes</h2></td></tr>
848
830
  </table>
849
831
  </div><div class="memdoc">
850
832
 
851
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00117">117</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
833
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00106">106</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
852
834
 
853
835
  </div>
854
836
  </div>
@@ -872,7 +854,7 @@ Static Public Attributes</h2></td></tr>
872
854
  </table>
873
855
  </div><div class="memdoc">
874
856
 
875
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00270">270</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
857
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00257">257</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
876
858
 
877
859
  </div>
878
860
  </div>
@@ -920,7 +902,7 @@ Static Public Attributes</h2></td></tr>
920
902
  </table>
921
903
  </div><div class="memdoc">
922
904
 
923
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00204">204</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
905
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00191">191</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
924
906
 
925
907
  </div>
926
908
  </div>
@@ -944,7 +926,7 @@ Static Public Attributes</h2></td></tr>
944
926
  </table>
945
927
  </div><div class="memdoc">
946
928
 
947
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00220">220</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
929
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00207">207</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
948
930
 
949
931
  </div>
950
932
  </div>
@@ -970,7 +952,7 @@ Static Public Attributes</h2></td></tr>
970
952
 
971
953
  <p>register this into alias analysis group </p>
972
954
 
973
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00104">104</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
955
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00093">93</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
974
956
 
975
957
  </div>
976
958
  </div>
@@ -994,7 +976,7 @@ Static Public Attributes</h2></td></tr>
994
976
  </table>
995
977
  </div><div class="memdoc">
996
978
 
997
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00247">247</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
979
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00234">234</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
998
980
 
999
981
  </div>
1000
982
  </div>
@@ -1018,7 +1000,7 @@ Static Public Attributes</h2></td></tr>
1018
1000
  </table>
1019
1001
  </div><div class="memdoc">
1020
1002
 
1021
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00246">246</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1003
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00233">233</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1022
1004
 
1023
1005
  </div>
1024
1006
  </div>
@@ -1042,7 +1024,7 @@ Static Public Attributes</h2></td></tr>
1042
1024
  </table>
1043
1025
  </div><div class="memdoc">
1044
1026
 
1045
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00236">236</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1027
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00223">223</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1046
1028
 
1047
1029
  </div>
1048
1030
  </div>
@@ -1066,7 +1048,7 @@ Static Public Attributes</h2></td></tr>
1066
1048
  </table>
1067
1049
  </div><div class="memdoc">
1068
1050
 
1069
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00177">177</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1051
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00164">164</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1070
1052
 
1071
1053
  </div>
1072
1054
  </div>
@@ -1090,31 +1072,7 @@ Static Public Attributes</h2></td></tr>
1090
1072
  </table>
1091
1073
  </div><div class="memdoc">
1092
1074
 
1093
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00207">207</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1094
-
1095
- </div>
1096
- </div>
1097
- <a id="a03cd671379712e6b3fa8ac4ec9b4d1d4"></a>
1098
- <h2 class="memtitle"><span class="permalink"><a href="#a03cd671379712e6b3fa8ac4ec9b4d1d4">&#9670;&nbsp;</a></span>DumpFree</h2>
1099
-
1100
- <div class="memitem">
1101
- <div class="memproto">
1102
- <table class="mlabels">
1103
- <tr>
1104
- <td class="mlabels-left">
1105
- <table class="memname">
1106
- <tr>
1107
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::DumpFree</td>
1108
- </tr>
1109
- </table>
1110
- </td>
1111
- <td class="mlabels-right">
1112
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1113
- </tr>
1114
- </table>
1115
- </div><div class="memdoc">
1116
-
1117
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00085">85</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1075
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00194">194</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1118
1076
 
1119
1077
  </div>
1120
1078
  </div>
@@ -1138,7 +1096,7 @@ Static Public Attributes</h2></td></tr>
1138
1096
  </table>
1139
1097
  </div><div class="memdoc">
1140
1098
 
1141
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00136">136</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1099
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00123">123</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1142
1100
 
1143
1101
  </div>
1144
1102
  </div>
@@ -1162,7 +1120,7 @@ Static Public Attributes</h2></td></tr>
1162
1120
  </table>
1163
1121
  </div><div class="memdoc">
1164
1122
 
1165
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00137">137</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1123
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00124">124</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1166
1124
 
1167
1125
  </div>
1168
1126
  </div>
@@ -1186,7 +1144,7 @@ Static Public Attributes</h2></td></tr>
1186
1144
  </table>
1187
1145
  </div><div class="memdoc">
1188
1146
 
1189
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00154">154</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1147
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00141">141</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1190
1148
 
1191
1149
  </div>
1192
1150
  </div>
@@ -1210,103 +1168,7 @@ Static Public Attributes</h2></td></tr>
1210
1168
  </table>
1211
1169
  </div><div class="memdoc">
1212
1170
 
1213
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00203">203</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1214
-
1215
- </div>
1216
- </div>
1217
- <a id="a6d45d7ba6852a986b53b31f60f967b01"></a>
1218
- <h2 class="memtitle"><span class="permalink"><a href="#a6d45d7ba6852a986b53b31f60f967b01">&#9670;&nbsp;</a></span>DumpSUPts</h2>
1219
-
1220
- <div class="memitem">
1221
- <div class="memproto">
1222
- <table class="mlabels">
1223
- <tr>
1224
- <td class="mlabels-left">
1225
- <table class="memname">
1226
- <tr>
1227
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::DumpSUPts</td>
1228
- </tr>
1229
- </table>
1230
- </td>
1231
- <td class="mlabels-right">
1232
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1233
- </tr>
1234
- </table>
1235
- </div><div class="memdoc">
1236
-
1237
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00088">88</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1238
-
1239
- </div>
1240
- </div>
1241
- <a id="ab64401bdde8b0c846a78f21423e5cfb6"></a>
1242
- <h2 class="memtitle"><span class="permalink"><a href="#ab64401bdde8b0c846a78f21423e5cfb6">&#9670;&nbsp;</a></span>DumpSUStore</h2>
1243
-
1244
- <div class="memitem">
1245
- <div class="memproto">
1246
- <table class="mlabels">
1247
- <tr>
1248
- <td class="mlabels-left">
1249
- <table class="memname">
1250
- <tr>
1251
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::DumpSUStore</td>
1252
- </tr>
1253
- </table>
1254
- </td>
1255
- <td class="mlabels-right">
1256
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1257
- </tr>
1258
- </table>
1259
- </div><div class="memdoc">
1260
-
1261
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00089">89</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1262
-
1263
- </div>
1264
- </div>
1265
- <a id="a296e4a2187d14828cb0baf859f48d716"></a>
1266
- <h2 class="memtitle"><span class="permalink"><a href="#a296e4a2187d14828cb0baf859f48d716">&#9670;&nbsp;</a></span>DumpUninitPtr</h2>
1267
-
1268
- <div class="memitem">
1269
- <div class="memproto">
1270
- <table class="mlabels">
1271
- <tr>
1272
- <td class="mlabels-left">
1273
- <table class="memname">
1274
- <tr>
1275
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::DumpUninitPtr</td>
1276
- </tr>
1277
- </table>
1278
- </td>
1279
- <td class="mlabels-right">
1280
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1281
- </tr>
1282
- </table>
1283
- </div><div class="memdoc">
1284
-
1285
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00087">87</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1286
-
1287
- </div>
1288
- </div>
1289
- <a id="ab8075fe929f99b640d5c0a0530297025"></a>
1290
- <h2 class="memtitle"><span class="permalink"><a href="#ab8075fe929f99b640d5c0a0530297025">&#9670;&nbsp;</a></span>DumpUninitVar</h2>
1291
-
1292
- <div class="memitem">
1293
- <div class="memproto">
1294
- <table class="mlabels">
1295
- <tr>
1296
- <td class="mlabels-left">
1297
- <table class="memname">
1298
- <tr>
1299
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::DumpUninitVar</td>
1300
- </tr>
1301
- </table>
1302
- </td>
1303
- <td class="mlabels-right">
1304
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1305
- </tr>
1306
- </table>
1307
- </div><div class="memdoc">
1308
-
1309
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00086">86</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1171
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00190">190</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1310
1172
 
1311
1173
  </div>
1312
1174
  </div>
@@ -1330,7 +1192,7 @@ Static Public Attributes</h2></td></tr>
1330
1192
  </table>
1331
1193
  </div><div class="memdoc">
1332
1194
 
1333
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00122">122</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1195
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00111">111</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1334
1196
 
1335
1197
  </div>
1336
1198
  </div>
@@ -1354,7 +1216,7 @@ Static Public Attributes</h2></td></tr>
1354
1216
  </table>
1355
1217
  </div><div class="memdoc">
1356
1218
 
1357
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00143">143</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1219
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00130">130</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1358
1220
 
1359
1221
  </div>
1360
1222
  </div>
@@ -1378,7 +1240,7 @@ Static Public Attributes</h2></td></tr>
1378
1240
  </table>
1379
1241
  </div><div class="memdoc">
1380
1242
 
1381
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00144">144</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1243
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00131">131</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1382
1244
 
1383
1245
  </div>
1384
1246
  </div>
@@ -1402,7 +1264,7 @@ Static Public Attributes</h2></td></tr>
1402
1264
  </table>
1403
1265
  </div><div class="memdoc">
1404
1266
 
1405
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00251">251</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1267
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00238">238</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1406
1268
 
1407
1269
  </div>
1408
1270
  </div>
@@ -1426,7 +1288,7 @@ Static Public Attributes</h2></td></tr>
1426
1288
  </table>
1427
1289
  </div><div class="memdoc">
1428
1290
 
1429
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00114">114</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1291
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00103">103</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1430
1292
 
1431
1293
  </div>
1432
1294
  </div>
@@ -1450,7 +1312,7 @@ Static Public Attributes</h2></td></tr>
1450
1312
  </table>
1451
1313
  </div><div class="memdoc">
1452
1314
 
1453
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00265">265</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1315
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00252">252</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1454
1316
 
1455
1317
  </div>
1456
1318
  </div>
@@ -1474,7 +1336,7 @@ Static Public Attributes</h2></td></tr>
1474
1336
  </table>
1475
1337
  </div><div class="memdoc">
1476
1338
 
1477
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00107">107</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1339
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00096">96</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1478
1340
 
1479
1341
  </div>
1480
1342
  </div>
@@ -1498,7 +1360,7 @@ Static Public Attributes</h2></td></tr>
1498
1360
  </table>
1499
1361
  </div><div class="memdoc">
1500
1362
 
1501
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00181">181</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1363
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00168">168</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1502
1364
 
1503
1365
  </div>
1504
1366
  </div>
@@ -1548,7 +1410,7 @@ Static Public Attributes</h2></td></tr>
1548
1410
  </table>
1549
1411
  </div><div class="memdoc">
1550
1412
 
1551
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00129">129</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1413
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00115">115</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1552
1414
 
1553
1415
  </div>
1554
1416
  </div>
@@ -1572,7 +1434,7 @@ Static Public Attributes</h2></td></tr>
1572
1434
  </table>
1573
1435
  </div><div class="memdoc">
1574
1436
 
1575
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00262">262</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1437
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00249">249</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1576
1438
 
1577
1439
  </div>
1578
1440
  </div>
@@ -1596,7 +1458,7 @@ Static Public Attributes</h2></td></tr>
1596
1458
  </table>
1597
1459
  </div><div class="memdoc">
1598
1460
 
1599
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00213">213</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1461
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00200">200</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1600
1462
 
1601
1463
  </div>
1602
1464
  </div>
@@ -1620,7 +1482,7 @@ Static Public Attributes</h2></td></tr>
1620
1482
  </table>
1621
1483
  </div><div class="memdoc">
1622
1484
 
1623
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00113">113</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1485
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00102">102</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1624
1486
 
1625
1487
  </div>
1626
1488
  </div>
@@ -1644,7 +1506,7 @@ Static Public Attributes</h2></td></tr>
1644
1506
  </table>
1645
1507
  </div><div class="memdoc">
1646
1508
 
1647
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00151">151</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1509
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00138">138</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1648
1510
 
1649
1511
  </div>
1650
1512
  </div>
@@ -1668,7 +1530,7 @@ Static Public Attributes</h2></td></tr>
1668
1530
  </table>
1669
1531
  </div><div class="memdoc">
1670
1532
 
1671
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00148">148</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1533
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00135">135</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1672
1534
 
1673
1535
  </div>
1674
1536
  </div>
@@ -1692,7 +1554,7 @@ Static Public Attributes</h2></td></tr>
1692
1554
  </table>
1693
1555
  </div><div class="memdoc">
1694
1556
 
1695
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00141">141</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1557
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00128">128</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1696
1558
 
1697
1559
  </div>
1698
1560
  </div>
@@ -1716,7 +1578,7 @@ Static Public Attributes</h2></td></tr>
1716
1578
  </table>
1717
1579
  </div><div class="memdoc">
1718
1580
 
1719
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00100">100</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1581
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00089">89</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1720
1582
 
1721
1583
  </div>
1722
1584
  </div>
@@ -1740,7 +1602,7 @@ Static Public Attributes</h2></td></tr>
1740
1602
  </table>
1741
1603
  </div><div class="memdoc">
1742
1604
 
1743
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00099">99</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1605
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00088">88</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1744
1606
 
1745
1607
  </div>
1746
1608
  </div>
@@ -1764,7 +1626,7 @@ Static Public Attributes</h2></td></tr>
1764
1626
  </table>
1765
1627
  </div><div class="memdoc">
1766
1628
 
1767
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00168">168</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1629
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00155">155</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1768
1630
 
1769
1631
  </div>
1770
1632
  </div>
@@ -1788,7 +1650,7 @@ Static Public Attributes</h2></td></tr>
1788
1650
  </table>
1789
1651
  </div><div class="memdoc">
1790
1652
 
1791
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00118">118</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1653
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00107">107</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1792
1654
 
1793
1655
  </div>
1794
1656
  </div>
@@ -1812,7 +1674,7 @@ Static Public Attributes</h2></td></tr>
1812
1674
  </table>
1813
1675
  </div><div class="memdoc">
1814
1676
 
1815
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00189">189</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1677
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00176">176</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1816
1678
 
1817
1679
  </div>
1818
1680
  </div>
@@ -1836,7 +1698,7 @@ Static Public Attributes</h2></td></tr>
1836
1698
  </table>
1837
1699
  </div><div class="memdoc">
1838
1700
 
1839
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00217">217</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1701
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00204">204</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1840
1702
 
1841
1703
  </div>
1842
1704
  </div>
@@ -1860,7 +1722,7 @@ Static Public Attributes</h2></td></tr>
1860
1722
  </table>
1861
1723
  </div><div class="memdoc">
1862
1724
 
1863
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00273">273</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1725
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00260">260</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1864
1726
 
1865
1727
  </div>
1866
1728
  </div>
@@ -1884,31 +1746,7 @@ Static Public Attributes</h2></td></tr>
1884
1746
  </table>
1885
1747
  </div><div class="memdoc">
1886
1748
 
1887
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00274">274</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1888
-
1889
- </div>
1890
- </div>
1891
- <a id="a9711cdc976786b3949ac6b26f95b59b0"></a>
1892
- <h2 class="memtitle"><span class="permalink"><a href="#a9711cdc976786b3949ac6b26f95b59b0">&#9670;&nbsp;</a></span>MallocOnly</h2>
1893
-
1894
- <div class="memitem">
1895
- <div class="memproto">
1896
- <table class="mlabels">
1897
- <tr>
1898
- <td class="mlabels-left">
1899
- <table class="memname">
1900
- <tr>
1901
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::MallocOnly</td>
1902
- </tr>
1903
- </table>
1904
- </td>
1905
- <td class="mlabels-right">
1906
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1907
- </tr>
1908
- </table>
1909
- </div><div class="memdoc">
1910
-
1911
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00090">90</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1749
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00261">261</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1912
1750
 
1913
1751
  </div>
1914
1752
  </div>
@@ -1957,7 +1795,7 @@ Static Public Attributes</h2></td></tr>
1957
1795
  </table>
1958
1796
  </div><div class="memdoc">
1959
1797
 
1960
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00227">227</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1798
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00214">214</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1961
1799
 
1962
1800
  </div>
1963
1801
  </div>
@@ -1981,7 +1819,7 @@ Static Public Attributes</h2></td></tr>
1981
1819
  </table>
1982
1820
  </div><div class="memdoc">
1983
1821
 
1984
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00096">96</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1822
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00085">85</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1985
1823
 
1986
1824
  </div>
1987
1825
  </div>
@@ -2031,7 +1869,7 @@ Static Public Attributes</h2></td></tr>
2031
1869
  </table>
2032
1870
  </div><div class="memdoc">
2033
1871
 
2034
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00095">95</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1872
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00084">84</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2035
1873
 
2036
1874
  </div>
2037
1875
  </div>
@@ -2055,7 +1893,7 @@ Static Public Attributes</h2></td></tr>
2055
1893
  </table>
2056
1894
  </div><div class="memdoc">
2057
1895
 
2058
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00097">97</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1896
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00086">86</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2059
1897
 
2060
1898
  </div>
2061
1899
  </div>
@@ -2079,7 +1917,7 @@ Static Public Attributes</h2></td></tr>
2079
1917
  </table>
2080
1918
  </div><div class="memdoc">
2081
1919
 
2082
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00224">224</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1920
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00211">211</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2083
1921
 
2084
1922
  </div>
2085
1923
  </div>
@@ -2103,7 +1941,7 @@ Static Public Attributes</h2></td></tr>
2103
1941
  </table>
2104
1942
  </div><div class="memdoc">
2105
1943
 
2106
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00157">157</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1944
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00144">144</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2107
1945
 
2108
1946
  </div>
2109
1947
  </div>
@@ -2127,7 +1965,7 @@ Static Public Attributes</h2></td></tr>
2127
1965
  </table>
2128
1966
  </div><div class="memdoc">
2129
1967
 
2130
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00219">219</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1968
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00206">206</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2131
1969
 
2132
1970
  </div>
2133
1971
  </div>
@@ -2151,7 +1989,7 @@ Static Public Attributes</h2></td></tr>
2151
1989
  </table>
2152
1990
  </div><div class="memdoc">
2153
1991
 
2154
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00218">218</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1992
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00205">205</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2155
1993
 
2156
1994
  </div>
2157
1995
  </div>
@@ -2175,7 +2013,7 @@ Static Public Attributes</h2></td></tr>
2175
2013
  </table>
2176
2014
  </div><div class="memdoc">
2177
2015
 
2178
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00155">155</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2016
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00142">142</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2179
2017
 
2180
2018
  </div>
2181
2019
  </div>
@@ -2224,7 +2062,7 @@ Static Public Attributes</h2></td></tr>
2224
2062
  </table>
2225
2063
  </div><div class="memdoc">
2226
2064
 
2227
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00110">110</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2065
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00099">99</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2228
2066
 
2229
2067
  </div>
2230
2068
  </div>
@@ -2248,7 +2086,7 @@ Static Public Attributes</h2></td></tr>
2248
2086
  </table>
2249
2087
  </div><div class="memdoc">
2250
2088
 
2251
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00161">161</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2089
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00148">148</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2252
2090
 
2253
2091
  </div>
2254
2092
  </div>
@@ -2272,7 +2110,7 @@ Static Public Attributes</h2></td></tr>
2272
2110
  </table>
2273
2111
  </div><div class="memdoc">
2274
2112
 
2275
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00134">134</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2113
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00121">121</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2276
2114
 
2277
2115
  </div>
2278
2116
  </div>
@@ -2296,7 +2134,7 @@ Static Public Attributes</h2></td></tr>
2296
2134
  </table>
2297
2135
  </div><div class="memdoc">
2298
2136
 
2299
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00140">140</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2137
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00127">127</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2300
2138
 
2301
2139
  </div>
2302
2140
  </div>
@@ -2320,7 +2158,7 @@ Static Public Attributes</h2></td></tr>
2320
2158
  </table>
2321
2159
  </div><div class="memdoc">
2322
2160
 
2323
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00255">255</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2161
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00242">242</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2324
2162
 
2325
2163
  </div>
2326
2164
  </div>
@@ -2344,7 +2182,7 @@ Static Public Attributes</h2></td></tr>
2344
2182
  </table>
2345
2183
  </div><div class="memdoc">
2346
2184
 
2347
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00266">266</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2185
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00253">253</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2348
2186
 
2349
2187
  </div>
2350
2188
  </div>
@@ -2394,7 +2232,7 @@ Static Public Attributes</h2></td></tr>
2394
2232
  </table>
2395
2233
  </div><div class="memdoc">
2396
2234
 
2397
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00268">268</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2235
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00255">255</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2398
2236
 
2399
2237
  </div>
2400
2238
  </div>
@@ -2418,7 +2256,7 @@ Static Public Attributes</h2></td></tr>
2418
2256
  </table>
2419
2257
  </div><div class="memdoc">
2420
2258
 
2421
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00269">269</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2259
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00256">256</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2422
2260
 
2423
2261
  </div>
2424
2262
  </div>
@@ -2467,7 +2305,7 @@ Static Public Attributes</h2></td></tr>
2467
2305
  </table>
2468
2306
  </div><div class="memdoc">
2469
2307
 
2470
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00254">254</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2308
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00241">241</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2471
2309
 
2472
2310
  </div>
2473
2311
  </div>
@@ -2491,7 +2329,7 @@ Static Public Attributes</h2></td></tr>
2491
2329
  </table>
2492
2330
  </div><div class="memdoc">
2493
2331
 
2494
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00264">264</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2332
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00251">251</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2495
2333
 
2496
2334
  </div>
2497
2335
  </div>
@@ -2515,7 +2353,7 @@ Static Public Attributes</h2></td></tr>
2515
2353
  </table>
2516
2354
  </div><div class="memdoc">
2517
2355
 
2518
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00241">241</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2356
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00228">228</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2519
2357
 
2520
2358
  </div>
2521
2359
  </div>
@@ -2539,7 +2377,7 @@ Static Public Attributes</h2></td></tr>
2539
2377
  </table>
2540
2378
  </div><div class="memdoc">
2541
2379
 
2542
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00101">101</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2380
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00090">90</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2543
2381
 
2544
2382
  </div>
2545
2383
  </div>
@@ -2563,7 +2401,31 @@ Static Public Attributes</h2></td></tr>
2563
2401
  </table>
2564
2402
  </div><div class="memdoc">
2565
2403
 
2566
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00210">210</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2404
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00197">197</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2405
+
2406
+ </div>
2407
+ </div>
2408
+ <a id="a404f9785ed3e592e0c36d91cd6730655"></a>
2409
+ <h2 class="memtitle"><span class="permalink"><a href="#a404f9785ed3e592e0c36d91cd6730655">&#9670;&nbsp;</a></span>PrintFieldWithBasePrefix</h2>
2410
+
2411
+ <div class="memitem">
2412
+ <div class="memproto">
2413
+ <table class="mlabels">
2414
+ <tr>
2415
+ <td class="mlabels-left">
2416
+ <table class="memname">
2417
+ <tr>
2418
+ <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::PrintFieldWithBasePrefix</td>
2419
+ </tr>
2420
+ </table>
2421
+ </td>
2422
+ <td class="mlabels-right">
2423
+ <span class="mlabels"><span class="mlabel">static</span></span> </td>
2424
+ </tr>
2425
+ </table>
2426
+ </div><div class="memdoc">
2427
+
2428
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00118">118</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2567
2429
 
2568
2430
  </div>
2569
2431
  </div>
@@ -2587,7 +2449,7 @@ Static Public Attributes</h2></td></tr>
2587
2449
  </table>
2588
2450
  </div><div class="memdoc">
2589
2451
 
2590
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00176">176</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2452
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00163">163</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2591
2453
 
2592
2454
  </div>
2593
2455
  </div>
@@ -2611,7 +2473,7 @@ Static Public Attributes</h2></td></tr>
2611
2473
  </table>
2612
2474
  </div><div class="memdoc">
2613
2475
 
2614
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00173">173</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2476
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00160">160</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2615
2477
 
2616
2478
  </div>
2617
2479
  </div>
@@ -2635,7 +2497,7 @@ Static Public Attributes</h2></td></tr>
2635
2497
  </table>
2636
2498
  </div><div class="memdoc">
2637
2499
 
2638
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00230">230</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2500
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00217">217</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2639
2501
 
2640
2502
  </div>
2641
2503
  </div>
@@ -2659,7 +2521,7 @@ Static Public Attributes</h2></td></tr>
2659
2521
  </table>
2660
2522
  </div><div class="memdoc">
2661
2523
 
2662
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00102">102</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2524
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00091">91</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2663
2525
 
2664
2526
  </div>
2665
2527
  </div>
@@ -2683,7 +2545,7 @@ Static Public Attributes</h2></td></tr>
2683
2545
  </table>
2684
2546
  </div><div class="memdoc">
2685
2547
 
2686
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00187">187</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2548
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00174">174</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2687
2549
 
2688
2550
  </div>
2689
2551
  </div>
@@ -2707,7 +2569,7 @@ Static Public Attributes</h2></td></tr>
2707
2569
  </table>
2708
2570
  </div><div class="memdoc">
2709
2571
 
2710
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00132">132</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2572
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00119">119</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2711
2573
 
2712
2574
  </div>
2713
2575
  </div>
@@ -2757,7 +2619,7 @@ Static Public Attributes</h2></td></tr>
2757
2619
  </table>
2758
2620
  </div><div class="memdoc">
2759
2621
 
2760
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00131">131</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2622
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00117">117</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2761
2623
 
2762
2624
  </div>
2763
2625
  </div>
@@ -2781,7 +2643,7 @@ Static Public Attributes</h2></td></tr>
2781
2643
  </table>
2782
2644
  </div><div class="memdoc">
2783
2645
 
2784
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00130">130</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2646
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00116">116</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2785
2647
 
2786
2648
  </div>
2787
2649
  </div>
@@ -2831,7 +2693,7 @@ Static Public Attributes</h2></td></tr>
2831
2693
  </table>
2832
2694
  </div><div class="memdoc">
2833
2695
 
2834
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00245">245</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2696
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00232">232</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2835
2697
 
2836
2698
  </div>
2837
2699
  </div>
@@ -2855,7 +2717,7 @@ Static Public Attributes</h2></td></tr>
2855
2717
  </table>
2856
2718
  </div><div class="memdoc">
2857
2719
 
2858
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00138">138</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2720
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00125">125</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2859
2721
 
2860
2722
  </div>
2861
2723
  </div>
@@ -2879,7 +2741,7 @@ Static Public Attributes</h2></td></tr>
2879
2741
  </table>
2880
2742
  </div><div class="memdoc">
2881
2743
 
2882
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00169">169</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2744
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00156">156</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2883
2745
 
2884
2746
  </div>
2885
2747
  </div>
@@ -2903,7 +2765,7 @@ Static Public Attributes</h2></td></tr>
2903
2765
  </table>
2904
2766
  </div><div class="memdoc">
2905
2767
 
2906
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00164">164</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2768
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00151">151</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2907
2769
 
2908
2770
  </div>
2909
2771
  </div>
@@ -2979,7 +2841,7 @@ Static Public Attributes</h2></td></tr>
2979
2841
  </table>
2980
2842
  </div><div class="memdoc">
2981
2843
 
2982
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00253">253</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2844
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00240">240</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2983
2845
 
2984
2846
  </div>
2985
2847
  </div>
@@ -3003,7 +2865,7 @@ Static Public Attributes</h2></td></tr>
3003
2865
  </table>
3004
2866
  </div><div class="memdoc">
3005
2867
 
3006
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00119">119</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2868
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00108">108</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3007
2869
 
3008
2870
  </div>
3009
2871
  </div>
@@ -3027,7 +2889,7 @@ Static Public Attributes</h2></td></tr>
3027
2889
  </table>
3028
2890
  </div><div class="memdoc">
3029
2891
 
3030
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00259">259</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2892
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00246">246</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3031
2893
 
3032
2894
  </div>
3033
2895
  </div>
@@ -3051,55 +2913,7 @@ Static Public Attributes</h2></td></tr>
3051
2913
  </table>
3052
2914
  </div><div class="memdoc">
3053
2915
 
3054
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00135">135</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3055
-
3056
- </div>
3057
- </div>
3058
- <a id="a5fe0e29e325a6d53ccf16f8fe725821e"></a>
3059
- <h2 class="memtitle"><span class="permalink"><a href="#a5fe0e29e325a6d53ccf16f8fe725821e">&#9670;&nbsp;</a></span>SingleLoad</h2>
3060
-
3061
- <div class="memitem">
3062
- <div class="memproto">
3063
- <table class="mlabels">
3064
- <tr>
3065
- <td class="mlabels-left">
3066
- <table class="memname">
3067
- <tr>
3068
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::SingleLoad</td>
3069
- </tr>
3070
- </table>
3071
- </td>
3072
- <td class="mlabels-right">
3073
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
3074
- </tr>
3075
- </table>
3076
- </div><div class="memdoc">
3077
-
3078
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00084">84</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3079
-
3080
- </div>
3081
- </div>
3082
- <a id="ae5af5a2b3854b4d234197ab1a389aac2"></a>
3083
- <h2 class="memtitle"><span class="permalink"><a href="#ae5af5a2b3854b4d234197ab1a389aac2">&#9670;&nbsp;</a></span>SingleStride</h2>
3084
-
3085
- <div class="memitem">
3086
- <div class="memproto">
3087
- <table class="mlabels">
3088
- <tr>
3089
- <td class="mlabels-left">
3090
- <table class="memname">
3091
- <tr>
3092
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::SingleStride</td>
3093
- </tr>
3094
- </table>
3095
- </td>
3096
- <td class="mlabels-right">
3097
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
3098
- </tr>
3099
- </table>
3100
- </div><div class="memdoc">
3101
-
3102
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00125">125</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2916
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00122">122</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3103
2917
 
3104
2918
  </div>
3105
2919
  </div>
@@ -3123,7 +2937,7 @@ Static Public Attributes</h2></td></tr>
3123
2937
  </table>
3124
2938
  </div><div class="memdoc">
3125
2939
 
3126
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00133">133</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2940
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00120">120</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3127
2941
 
3128
2942
  </div>
3129
2943
  </div>
@@ -3147,7 +2961,7 @@ Static Public Attributes</h2></td></tr>
3147
2961
  </table>
3148
2962
  </div><div class="memdoc">
3149
2963
 
3150
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00160">160</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2964
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00147">147</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3151
2965
 
3152
2966
  </div>
3153
2967
  </div>
@@ -3171,7 +2985,7 @@ Static Public Attributes</h2></td></tr>
3171
2985
  </table>
3172
2986
  </div><div class="memdoc">
3173
2987
 
3174
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00214">214</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2988
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00201">201</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3175
2989
 
3176
2990
  </div>
3177
2991
  </div>
@@ -3195,55 +3009,7 @@ Static Public Attributes</h2></td></tr>
3195
3009
  </table>
3196
3010
  </div><div class="memdoc">
3197
3011
 
3198
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00221">221</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3199
-
3200
- </div>
3201
- </div>
3202
- <a id="ad6f51870a3cabccbec4898d572dba74f"></a>
3203
- <h2 class="memtitle"><span class="permalink"><a href="#ad6f51870a3cabccbec4898d572dba74f">&#9670;&nbsp;</a></span>TaintUninitHeap</h2>
3204
-
3205
- <div class="memitem">
3206
- <div class="memproto">
3207
- <table class="mlabels">
3208
- <tr>
3209
- <td class="mlabels-left">
3210
- <table class="memname">
3211
- <tr>
3212
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::TaintUninitHeap</td>
3213
- </tr>
3214
- </table>
3215
- </td>
3216
- <td class="mlabels-right">
3217
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
3218
- </tr>
3219
- </table>
3220
- </div><div class="memdoc">
3221
-
3222
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00091">91</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3223
-
3224
- </div>
3225
- </div>
3226
- <a id="a787f95c7ac87e04f2e6d55cf5d665a34"></a>
3227
- <h2 class="memtitle"><span class="permalink"><a href="#a787f95c7ac87e04f2e6d55cf5d665a34">&#9670;&nbsp;</a></span>TaintUninitStack</h2>
3228
-
3229
- <div class="memitem">
3230
- <div class="memproto">
3231
- <table class="mlabels">
3232
- <tr>
3233
- <td class="mlabels-left">
3234
- <table class="memname">
3235
- <tr>
3236
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::TaintUninitStack</td>
3237
- </tr>
3238
- </table>
3239
- </td>
3240
- <td class="mlabels-right">
3241
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
3242
- </tr>
3243
- </table>
3244
- </div><div class="memdoc">
3245
-
3246
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00092">92</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3012
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00208">208</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3247
3013
 
3248
3014
  </div>
3249
3015
  </div>
@@ -3267,7 +3033,7 @@ Static Public Attributes</h2></td></tr>
3267
3033
  </table>
3268
3034
  </div><div class="memdoc">
3269
3035
 
3270
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00197">197</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3036
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00184">184</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3271
3037
 
3272
3038
  </div>
3273
3039
  </div>
@@ -3291,7 +3057,7 @@ Static Public Attributes</h2></td></tr>
3291
3057
  </table>
3292
3058
  </div><div class="memdoc">
3293
3059
 
3294
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00128">128</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3060
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00114">114</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3295
3061
 
3296
3062
  </div>
3297
3063
  </div>
@@ -3315,7 +3081,7 @@ Static Public Attributes</h2></td></tr>
3315
3081
  </table>
3316
3082
  </div><div class="memdoc">
3317
3083
 
3318
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00167">167</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3084
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00154">154</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3319
3085
 
3320
3086
  </div>
3321
3087
  </div>
@@ -3339,7 +3105,7 @@ Static Public Attributes</h2></td></tr>
3339
3105
  </table>
3340
3106
  </div><div class="memdoc">
3341
3107
 
3342
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00142">142</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3108
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00129">129</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3343
3109
 
3344
3110
  </div>
3345
3111
  </div>
@@ -3363,7 +3129,7 @@ Static Public Attributes</h2></td></tr>
3363
3129
  </table>
3364
3130
  </div><div class="memdoc">
3365
3131
 
3366
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00098">98</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3132
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00087">87</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3367
3133
 
3368
3134
  </div>
3369
3135
  </div>
@@ -3387,7 +3153,7 @@ Static Public Attributes</h2></td></tr>
3387
3153
  </table>
3388
3154
  </div><div class="memdoc">
3389
3155
 
3390
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00200">200</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3156
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00187">187</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3391
3157
 
3392
3158
  </div>
3393
3159
  </div>
@@ -3437,7 +3203,7 @@ Static Public Attributes</h2></td></tr>
3437
3203
  </table>
3438
3204
  </div><div class="memdoc">
3439
3205
 
3440
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00248">248</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3206
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00235">235</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3441
3207
 
3442
3208
  </div>
3443
3209
  </div>
@@ -3461,7 +3227,7 @@ Static Public Attributes</h2></td></tr>
3461
3227
  </table>
3462
3228
  </div><div class="memdoc">
3463
3229
 
3464
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00103">103</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3230
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00092">92</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3465
3231
 
3466
3232
  </div>
3467
3233
  </div>
@@ -3485,7 +3251,7 @@ Static Public Attributes</h2></td></tr>
3485
3251
  </table>
3486
3252
  </div><div class="memdoc">
3487
3253
 
3488
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00243">243</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3254
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00230">230</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3489
3255
 
3490
3256
  </div>
3491
3257
  </div>
@@ -3509,7 +3275,7 @@ Static Public Attributes</h2></td></tr>
3509
3275
  </table>
3510
3276
  </div><div class="memdoc">
3511
3277
 
3512
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00163">163</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3278
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00150">150</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3513
3279
 
3514
3280
  </div>
3515
3281
  </div>