svf-tools 1.0.898 → 1.0.899

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 (281) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +399 -395
  4. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +4 -4
  5. package/SVF-doxygen/html/ConsExeState_8h_source.html +4 -4
  6. package/SVF-doxygen/html/IntervalValue_8h_source.html +8 -8
  7. package/SVF-doxygen/html/NumericLiteral_8h_source.html +378 -371
  8. package/SVF-doxygen/html/Options_8cpp_source.html +10 -1
  9. package/SVF-doxygen/html/Options_8h_source.html +8 -4
  10. package/SVF-doxygen/html/RelExeState_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/RelExeState_8h_source.html +3 -3
  12. package/SVF-doxygen/html/RelationSolver_8cpp.html +2 -0
  13. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +382 -374
  14. package/SVF-doxygen/html/RelationSolver_8h_source.html +10 -10
  15. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +4 -4
  18. package/SVF-doxygen/html/SingleAbsValue_8h_source.html +6 -6
  19. package/SVF-doxygen/html/Z3Expr_8cpp_source.html +5 -5
  20. package/SVF-doxygen/html/Z3Expr_8h_source.html +303 -294
  21. package/SVF-doxygen/html/ae_8cpp_source.html +4 -4
  22. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1 -1
  23. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +81 -80
  24. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +337 -302
  25. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +4 -4
  26. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +6 -6
  27. package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +53 -52
  28. package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +333 -297
  29. package/SVF-doxygen/html/classSVF_1_1Options-members.html +129 -128
  30. package/SVF-doxygen/html/classSVF_1_1Options.html +26 -0
  31. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +4 -4
  32. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +1 -1
  33. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +358 -354
  34. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
  35. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +5 -5
  36. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +100 -99
  37. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +11 -5
  38. package/SVF-doxygen/html/classSVF_1_1Z3Expr-members.html +2 -2
  39. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +227 -221
  40. package/SVF-doxygen/html/classSymblicAbstractionTest.html +4 -4
  41. package/SVF-doxygen/html/functions_a.html +9 -6
  42. package/SVF-doxygen/html/functions_b.html +6 -6
  43. package/SVF-doxygen/html/functions_func_b.html +3 -3
  44. package/SVF-doxygen/html/functions_func_g.html +15 -14
  45. package/SVF-doxygen/html/functions_func_i.html +2 -2
  46. package/SVF-doxygen/html/functions_func_z.html +1 -1
  47. package/SVF-doxygen/html/functions_g.html +18 -17
  48. package/SVF-doxygen/html/functions_l.html +3 -3
  49. package/SVF-doxygen/html/functions_p.html +14 -18
  50. package/SVF-doxygen/html/functions_r.html +1 -1
  51. package/SVF-doxygen/html/functions_s.html +24 -20
  52. package/SVF-doxygen/html/functions_t.html +5 -5
  53. package/SVF-doxygen/html/functions_v.html +6 -6
  54. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  55. package/SVF-doxygen/html/functions_z.html +1 -1
  56. package/SVF-doxygen/html/search/all_1.js +133 -132
  57. package/SVF-doxygen/html/search/all_10.js +326 -326
  58. package/SVF-doxygen/html/search/all_11.js +226 -226
  59. package/SVF-doxygen/html/search/all_12.js +574 -574
  60. package/SVF-doxygen/html/search/all_13.js +208 -208
  61. package/SVF-doxygen/html/search/all_14.js +73 -73
  62. package/SVF-doxygen/html/search/all_15.js +176 -176
  63. package/SVF-doxygen/html/search/all_16.js +77 -77
  64. package/SVF-doxygen/html/search/all_17.js +1 -1
  65. package/SVF-doxygen/html/search/all_18.js +1 -1
  66. package/SVF-doxygen/html/search/all_19.js +27 -27
  67. package/SVF-doxygen/html/search/all_1a.js +179 -179
  68. package/SVF-doxygen/html/search/all_2.js +182 -182
  69. package/SVF-doxygen/html/search/all_3.js +642 -642
  70. package/SVF-doxygen/html/search/all_4.js +236 -236
  71. package/SVF-doxygen/html/search/all_5.js +126 -126
  72. package/SVF-doxygen/html/search/all_6.js +235 -235
  73. package/SVF-doxygen/html/search/all_7.js +1056 -1056
  74. package/SVF-doxygen/html/search/all_8.js +215 -215
  75. package/SVF-doxygen/html/search/all_9.js +632 -632
  76. package/SVF-doxygen/html/search/all_a.js +46 -46
  77. package/SVF-doxygen/html/search/all_b.js +26 -26
  78. package/SVF-doxygen/html/search/all_c.js +115 -115
  79. package/SVF-doxygen/html/search/all_d.js +204 -204
  80. package/SVF-doxygen/html/search/all_e.js +209 -209
  81. package/SVF-doxygen/html/search/all_f.js +122 -122
  82. package/SVF-doxygen/html/search/classes_0.js +28 -28
  83. package/SVF-doxygen/html/search/classes_1.js +11 -11
  84. package/SVF-doxygen/html/search/classes_10.js +74 -74
  85. package/SVF-doxygen/html/search/classes_11.js +14 -14
  86. package/SVF-doxygen/html/search/classes_12.js +2 -2
  87. package/SVF-doxygen/html/search/classes_13.js +10 -10
  88. package/SVF-doxygen/html/search/classes_14.js +19 -19
  89. package/SVF-doxygen/html/search/classes_15.js +1 -1
  90. package/SVF-doxygen/html/search/classes_2.js +73 -73
  91. package/SVF-doxygen/html/search/classes_3.js +35 -35
  92. package/SVF-doxygen/html/search/classes_4.js +8 -8
  93. package/SVF-doxygen/html/search/classes_5.js +28 -28
  94. package/SVF-doxygen/html/search/classes_6.js +98 -98
  95. package/SVF-doxygen/html/search/classes_7.js +38 -38
  96. package/SVF-doxygen/html/search/classes_8.js +59 -59
  97. package/SVF-doxygen/html/search/classes_9.js +1 -1
  98. package/SVF-doxygen/html/search/classes_a.js +12 -12
  99. package/SVF-doxygen/html/search/classes_b.js +29 -29
  100. package/SVF-doxygen/html/search/classes_c.js +6 -6
  101. package/SVF-doxygen/html/search/classes_d.js +19 -19
  102. package/SVF-doxygen/html/search/classes_e.js +36 -36
  103. package/SVF-doxygen/html/search/classes_f.js +25 -25
  104. package/SVF-doxygen/html/search/defines_0.js +3 -3
  105. package/SVF-doxygen/html/search/defines_1.js +3 -3
  106. package/SVF-doxygen/html/search/defines_10.js +2 -2
  107. package/SVF-doxygen/html/search/defines_2.js +30 -30
  108. package/SVF-doxygen/html/search/defines_3.js +20 -20
  109. package/SVF-doxygen/html/search/defines_4.js +3 -3
  110. package/SVF-doxygen/html/search/defines_5.js +4 -4
  111. package/SVF-doxygen/html/search/defines_6.js +2 -2
  112. package/SVF-doxygen/html/search/defines_7.js +5 -5
  113. package/SVF-doxygen/html/search/defines_8.js +11 -11
  114. package/SVF-doxygen/html/search/defines_9.js +9 -9
  115. package/SVF-doxygen/html/search/defines_a.js +2 -2
  116. package/SVF-doxygen/html/search/defines_b.js +1 -1
  117. package/SVF-doxygen/html/search/defines_c.js +4 -4
  118. package/SVF-doxygen/html/search/defines_d.js +2 -2
  119. package/SVF-doxygen/html/search/defines_e.js +8 -8
  120. package/SVF-doxygen/html/search/defines_f.js +4 -4
  121. package/SVF-doxygen/html/search/enums_0.js +4 -4
  122. package/SVF-doxygen/html/search/enums_1.js +2 -2
  123. package/SVF-doxygen/html/search/enums_10.js +1 -1
  124. package/SVF-doxygen/html/search/enums_11.js +1 -1
  125. package/SVF-doxygen/html/search/enums_2.js +9 -9
  126. package/SVF-doxygen/html/search/enums_3.js +1 -1
  127. package/SVF-doxygen/html/search/enums_4.js +4 -4
  128. package/SVF-doxygen/html/search/enums_5.js +1 -1
  129. package/SVF-doxygen/html/search/enums_6.js +2 -2
  130. package/SVF-doxygen/html/search/enums_7.js +2 -2
  131. package/SVF-doxygen/html/search/enums_8.js +4 -4
  132. package/SVF-doxygen/html/search/enums_9.js +1 -1
  133. package/SVF-doxygen/html/search/enums_a.js +1 -1
  134. package/SVF-doxygen/html/search/enums_b.js +7 -7
  135. package/SVF-doxygen/html/search/enums_c.js +1 -1
  136. package/SVF-doxygen/html/search/enums_d.js +4 -4
  137. package/SVF-doxygen/html/search/enums_e.js +2 -2
  138. package/SVF-doxygen/html/search/enums_f.js +4 -4
  139. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  140. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  141. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  142. package/SVF-doxygen/html/search/enumvalues_11.js +5 -5
  143. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  144. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  145. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  146. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  147. package/SVF-doxygen/html/search/enumvalues_2.js +37 -37
  148. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  149. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  150. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  151. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  152. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  153. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  154. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  155. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  156. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  157. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  158. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  159. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  160. package/SVF-doxygen/html/search/enumvalues_f.js +49 -49
  161. package/SVF-doxygen/html/search/files_0.js +16 -16
  162. package/SVF-doxygen/html/search/files_1.js +9 -9
  163. package/SVF-doxygen/html/search/files_10.js +8 -8
  164. package/SVF-doxygen/html/search/files_11.js +8 -8
  165. package/SVF-doxygen/html/search/files_12.js +2 -2
  166. package/SVF-doxygen/html/search/files_2.js +53 -53
  167. package/SVF-doxygen/html/search/files_3.js +14 -14
  168. package/SVF-doxygen/html/search/files_4.js +5 -5
  169. package/SVF-doxygen/html/search/files_5.js +13 -13
  170. package/SVF-doxygen/html/search/files_6.js +10 -10
  171. package/SVF-doxygen/html/search/files_7.js +17 -17
  172. package/SVF-doxygen/html/search/files_8.js +13 -13
  173. package/SVF-doxygen/html/search/files_9.js +18 -18
  174. package/SVF-doxygen/html/search/files_a.js +3 -3
  175. package/SVF-doxygen/html/search/files_b.js +4 -4
  176. package/SVF-doxygen/html/search/files_c.js +20 -20
  177. package/SVF-doxygen/html/search/files_d.js +4 -4
  178. package/SVF-doxygen/html/search/files_e.js +62 -62
  179. package/SVF-doxygen/html/search/files_f.js +8 -8
  180. package/SVF-doxygen/html/search/functions_0.js +13 -13
  181. package/SVF-doxygen/html/search/functions_1.js +368 -368
  182. package/SVF-doxygen/html/search/functions_10.js +140 -140
  183. package/SVF-doxygen/html/search/functions_11.js +140 -140
  184. package/SVF-doxygen/html/search/functions_12.js +299 -299
  185. package/SVF-doxygen/html/search/functions_13.js +73 -73
  186. package/SVF-doxygen/html/search/functions_14.js +41 -41
  187. package/SVF-doxygen/html/search/functions_15.js +72 -72
  188. package/SVF-doxygen/html/search/functions_16.js +38 -38
  189. package/SVF-doxygen/html/search/functions_17.js +3 -3
  190. package/SVF-doxygen/html/search/functions_18.js +179 -179
  191. package/SVF-doxygen/html/search/functions_2.js +94 -94
  192. package/SVF-doxygen/html/search/functions_3.js +261 -261
  193. package/SVF-doxygen/html/search/functions_4.js +85 -85
  194. package/SVF-doxygen/html/search/functions_5.js +57 -57
  195. package/SVF-doxygen/html/search/functions_6.js +65 -65
  196. package/SVF-doxygen/html/search/functions_7.js +872 -872
  197. package/SVF-doxygen/html/search/functions_8.js +162 -162
  198. package/SVF-doxygen/html/search/functions_9.js +440 -440
  199. package/SVF-doxygen/html/search/functions_a.js +30 -30
  200. package/SVF-doxygen/html/search/functions_b.js +2 -2
  201. package/SVF-doxygen/html/search/functions_c.js +25 -25
  202. package/SVF-doxygen/html/search/functions_d.js +82 -82
  203. package/SVF-doxygen/html/search/functions_e.js +36 -36
  204. package/SVF-doxygen/html/search/functions_f.js +58 -58
  205. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  206. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  207. package/SVF-doxygen/html/search/related_0.js +4 -4
  208. package/SVF-doxygen/html/search/related_1.js +2 -2
  209. package/SVF-doxygen/html/search/related_2.js +2 -2
  210. package/SVF-doxygen/html/search/related_3.js +2 -2
  211. package/SVF-doxygen/html/search/related_4.js +2 -2
  212. package/SVF-doxygen/html/search/related_5.js +1 -1
  213. package/SVF-doxygen/html/search/related_6.js +2 -2
  214. package/SVF-doxygen/html/search/related_7.js +5 -5
  215. package/SVF-doxygen/html/search/related_8.js +2 -2
  216. package/SVF-doxygen/html/search/related_9.js +4 -4
  217. package/SVF-doxygen/html/search/related_a.js +19 -19
  218. package/SVF-doxygen/html/search/related_b.js +4 -4
  219. package/SVF-doxygen/html/search/related_c.js +2 -2
  220. package/SVF-doxygen/html/search/related_d.js +12 -12
  221. package/SVF-doxygen/html/search/related_e.js +2 -2
  222. package/SVF-doxygen/html/search/related_f.js +2 -2
  223. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  224. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  225. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  226. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  227. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  228. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  229. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  230. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  231. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  232. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  233. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  234. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  235. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  236. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  237. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  238. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  239. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  240. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  241. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  242. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  243. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  244. package/SVF-doxygen/html/search/variables_0.js +177 -177
  245. package/SVF-doxygen/html/search/variables_1.js +77 -76
  246. package/SVF-doxygen/html/search/variables_10.js +98 -98
  247. package/SVF-doxygen/html/search/variables_11.js +46 -46
  248. package/SVF-doxygen/html/search/variables_12.js +93 -93
  249. package/SVF-doxygen/html/search/variables_13.js +76 -76
  250. package/SVF-doxygen/html/search/variables_14.js +14 -14
  251. package/SVF-doxygen/html/search/variables_15.js +49 -49
  252. package/SVF-doxygen/html/search/variables_16.js +11 -11
  253. package/SVF-doxygen/html/search/variables_17.js +1 -1
  254. package/SVF-doxygen/html/search/variables_18.js +17 -17
  255. package/SVF-doxygen/html/search/variables_2.js +40 -40
  256. package/SVF-doxygen/html/search/variables_3.js +143 -143
  257. package/SVF-doxygen/html/search/variables_4.js +51 -51
  258. package/SVF-doxygen/html/search/variables_5.js +39 -39
  259. package/SVF-doxygen/html/search/variables_6.js +66 -66
  260. package/SVF-doxygen/html/search/variables_7.js +34 -34
  261. package/SVF-doxygen/html/search/variables_8.js +8 -8
  262. package/SVF-doxygen/html/search/variables_9.js +79 -79
  263. package/SVF-doxygen/html/search/variables_a.js +4 -4
  264. package/SVF-doxygen/html/search/variables_b.js +10 -10
  265. package/SVF-doxygen/html/search/variables_c.js +45 -45
  266. package/SVF-doxygen/html/search/variables_d.js +57 -57
  267. package/SVF-doxygen/html/search/variables_e.js +123 -123
  268. package/SVF-doxygen/html/search/variables_f.js +31 -31
  269. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +6 -6
  270. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
  271. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html +1 -1
  272. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +6 -6
  273. package/package.json +1 -1
  274. package/svf/include/AE/Core/BoundedZ3Expr.h +2 -0
  275. package/svf/include/AE/Core/IntervalValue.h +1 -1
  276. package/svf/include/AE/Core/NumericLiteral.h +6 -0
  277. package/svf/include/AE/Core/RelationSolver.h +1 -1
  278. package/svf/include/Util/Options.h +3 -0
  279. package/svf/include/Util/Z3Expr.h +9 -2
  280. package/svf/lib/AE/Core/RelationSolver.cpp +11 -6
  281. package/svf/lib/Util/Options.cpp +8 -0
package/SVF-doxygen/html/functions_s.html CHANGED
@@ -117,12 +117,12 @@ $(function() {
117
117
  <li>SB_SLICESOURCE
118
118
  : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
119
119
  </li>
120
- <li>SBV
121
- : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
122
- </li>
123
120
  <li>sbv
124
121
  : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
125
122
  </li>
123
+ <li>SBV
124
+ : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
125
+ </li>
126
126
  <li>sbvIt
127
127
  : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
128
128
  </li>
@@ -131,11 +131,13 @@ $(function() {
131
131
  </li>
132
132
  <li>SCC
133
133
  : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
134
- , <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
135
134
  </li>
136
135
  <li>scc
137
136
  : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
138
137
  </li>
138
+ <li>SCC
139
+ : <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
140
+ </li>
139
141
  <li>sccCandidates
140
142
  : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
141
143
  </li>
@@ -1002,18 +1004,18 @@ $(function() {
1002
1004
  <li>StoreStmt()
1003
1005
  : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
1004
1006
  </li>
1005
- <li>StoresToMRsMap
1006
- : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
1007
- </li>
1008
1007
  <li>storesToMRsMap
1009
1008
  : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
1010
1009
  </li>
1011
- <li>storesToPointsToMap
1012
- : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
1010
+ <li>StoresToMRsMap
1011
+ : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
1013
1012
  </li>
1014
1013
  <li>StoresToPointsToMap
1015
1014
  : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
1016
1015
  </li>
1016
+ <li>storesToPointsToMap
1017
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
1018
+ </li>
1017
1019
  <li>storeTime
1018
1020
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
1019
1021
  </li>
@@ -1029,12 +1031,12 @@ $(function() {
1029
1031
  <li>StoreVFGNode()
1030
1032
  : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
1031
1033
  </li>
1032
- <li>strategy
1033
- : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
1034
- </li>
1035
1034
  <li>Strategy
1036
1035
  : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
1037
1036
  </li>
1037
+ <li>strategy
1038
+ : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
1039
+ </li>
1038
1040
  <li>STRCAT
1039
1041
  : <a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afadcda19decab7b2d85523b1fdbceb23e6">SVF::AbstractExecution</a>
1040
1042
  </li>
@@ -1261,12 +1263,12 @@ $(function() {
1261
1263
  : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
1262
1264
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
1263
1265
  </li>
1264
- <li>SVFGNodeToCondMap
1265
- : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
1266
- </li>
1267
1266
  <li>svfgNodeToCondMap
1268
1267
  : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
1269
1268
  </li>
1269
+ <li>SVFGNodeToCondMap
1270
+ : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
1271
+ </li>
1270
1272
  <li>SVFGNodeToCSIDMap
1271
1273
  : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
1272
1274
  </li>
@@ -1552,7 +1554,7 @@ $(function() {
1552
1554
  : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue</a>
1553
1555
  </li>
1554
1556
  <li>SVFMetadataAsValue()
1555
- : <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
1557
+ : <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
1556
1558
  </li>
1557
1559
  <li>svfMod
1558
1560
  : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -1563,11 +1565,13 @@ $(function() {
1563
1565
  , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
1564
1566
  , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
1565
1567
  , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
1566
- , <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
1567
1568
  </li>
1568
1569
  <li>SVFModule()
1569
1570
  : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
1570
1571
  </li>
1572
+ <li>svfModule
1573
+ : <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
1574
+ </li>
1571
1575
  <li>svfModuleFieldJson
1572
1576
  : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
1573
1577
  </li>
@@ -1636,7 +1640,7 @@ $(function() {
1636
1640
  : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
1637
1641
  </li>
1638
1642
  <li>SVFType()
1639
- : <a class="el" href="classSVF_1_1SVFType.html#a099304f203453cb64cacf5f81c48735f">SVF::SVFType</a>
1643
+ : <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
1640
1644
  </li>
1641
1645
  <li>SVFTypeLocSetsPair
1642
1646
  : <a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVF::SVFIR</a>
@@ -1690,7 +1694,7 @@ $(function() {
1690
1694
  , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">SVF::CFLGraphBuilder</a>
1691
1695
  , <a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver</a>
1692
1696
  , <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">SVF::GrammarBase</a>
1693
- , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
1697
+ , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
1694
1698
  </li>
1695
1699
  <li>SymbolInfo()
1696
1700
  : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
@@ -1720,7 +1724,7 @@ $(function() {
1720
1724
  , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
1721
1725
  </li>
1722
1726
  <li>SymState()
1723
- : <a class="el" href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">SVF::SymState</a>
1727
+ : <a class="el" href="classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665">SVF::SymState</a>
1724
1728
  </li>
1725
1729
  <li>symTabFieldJson
1726
1730
  : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>
package/SVF-doxygen/html/functions_t.html CHANGED
@@ -425,12 +425,12 @@ $(function() {
425
425
  <li>Timeout
426
426
  : <a class="el" href="classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b">SVF::Options</a>
427
427
  </li>
428
- <li>timeStatMap
429
- : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
430
- </li>
431
428
  <li>TIMEStatMap
432
429
  : <a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">SVF::SVFStat</a>
433
430
  </li>
431
+ <li>timeStatMap
432
+ : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
433
+ </li>
434
434
  <li>TInterPhi
435
435
  : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
436
436
  </li>
@@ -737,13 +737,13 @@ $(function() {
737
737
  , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
738
738
  , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
739
739
  , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
740
- , <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
741
740
  </li>
742
741
  <li>Type
743
742
  : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
744
743
  </li>
745
744
  <li>type
746
- : <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
745
+ : <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
746
+ , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
747
747
  , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
748
748
  , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
749
749
  , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
package/SVF-doxygen/html/functions_v.html CHANGED
@@ -144,12 +144,12 @@ $(function() {
144
144
  <li>ValueToClassNames
145
145
  : <a class="el" href="classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8">SVF::ObjTypeInference</a>
146
146
  </li>
147
- <li>valueToEdgeMap
148
- : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
149
- </li>
150
147
  <li>ValueToEdgeMap
151
148
  : <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
152
149
  </li>
150
+ <li>valueToEdgeMap
151
+ : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
152
+ </li>
153
153
  <li>ValueToIDMapTy
154
154
  : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
155
155
  </li>
@@ -168,12 +168,12 @@ $(function() {
168
168
  <li>ValVar()
169
169
  : <a class="el" href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar</a>
170
170
  </li>
171
- <li>var2LabelMap
172
- : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
173
- </li>
174
171
  <li>Var2LabelMap
175
172
  : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
176
173
  </li>
174
+ <li>var2LabelMap
175
+ : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
176
+ </li>
177
177
  <li>VAR_ARRAY_OBJ
178
178
  : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
179
179
  </li>
package/SVF-doxygen/html/functions_vars_a.html CHANGED
@@ -133,6 +133,9 @@ $(function() {
133
133
  <li>addTopLevelNodeTimeStart
134
134
  : <a class="el" href="classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727">SVF::SVFGStat</a>
135
135
  </li>
136
+ <li>AEPrecision
137
+ : <a class="el" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options</a>
138
+ </li>
136
139
  <li>alias_validation
137
140
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e">SVF::PointerAnalysis</a>
138
141
  </li>
package/SVF-doxygen/html/functions_z.html CHANGED
@@ -65,7 +65,7 @@ $(function() {
65
65
 
66
66
  <h3><a id="index_z"></a>- z -</h3><ul>
67
67
  <li>Z3Expr()
68
- : <a class="el" href="classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb">SVF::Z3Expr</a>
68
+ : <a class="el" href="classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290">SVF::Z3Expr</a>
69
69
  </li>
70
70
  <li>z3Expr2NumValue()
71
71
  : <a class="el" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState</a>