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/classSVF_1_1RelExeState.html CHANGED
@@ -1501,10 +1501,10 @@ Friends</h2></td></tr>
1501
1501
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3a2d5de4c61fab8b277308a186795a13"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState::store</a></div><div class="ttdeci">void store(const Z3Expr &amp;loc, const Z3Expr &amp;value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00170">RelExeState.cpp:170</a></div></div>
1502
1502
  <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
1503
1503
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_a9c64d2699cb67cdf8d1c3c23aebf2c4a"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a">SVF::RelExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00100">RelExeState.h:100</a></div></div>
1504
- <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
1504
+ <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00086">Z3Expr.h:86</a></div></div>
1505
1505
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_ab03410a5a0014d77d4f95f3a0bf45bfd"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ab03410a5a0014d77d4f95f3a0bf45bfd">SVF::RelExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00183">RelExeState.h:183</a></div></div>
1506
1506
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
1507
- <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00115">Z3Expr.h:115</a></div></div>
1507
+ <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00122">Z3Expr.h:122</a></div></div>
1508
1508
  <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
1509
1509
  <div class="ttc" id="aclassSVF_1_1Z3Expr_html_acfdff582a0188678c10939165a40df30"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdoc">Get z3 context, singleton design here to make sure we only have one context.</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00066">Z3Expr.cpp:66</a></div></div>
1510
1510
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_a8045abc5e96d0c7b373587c796180d3e"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e">SVF::RelExeState::toZ3Expr</a></div><div class="ttdeci">virtual Z3Expr toZ3Expr(u32_t varId) const</div><div class="ttdoc">Return Z3 expression lazily based on SVFVar ID.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00150">RelExeState.h:150</a></div></div>
@@ -1522,9 +1522,9 @@ Friends</h2></td></tr>
1522
1522
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
1523
1523
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3393f160508c33e68ebedd042d1d296f"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">SVF::RelExeState::extractSubVars</a></div><div class="ttdeci">void extractSubVars(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</div><div class="ttdoc">Extract sub SVFVar IDs of a Z3Expr.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00045">RelExeState.cpp:45</a></div></div>
1524
1524
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_ab76f47f97262d40dbbee12f466f746e8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00211">AddressValue.h:211</a></div></div>
1525
- <div class="ttc" id="aclassSVF_1_1Z3Expr_html_afb3478316592a395c6d473791b5a0981"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr::simplify</a></div><div class="ttdeci">Z3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00130">Z3Expr.h:130</a></div></div>
1525
+ <div class="ttc" id="aclassSVF_1_1Z3Expr_html_afb3478316592a395c6d473791b5a0981"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr::simplify</a></div><div class="ttdeci">Z3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00137">Z3Expr.h:137</a></div></div>
1526
1526
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3eb51c26ae9c87e1457d6515e6d537f9"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">SVF::RelExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00105">RelExeState.h:105</a></div></div>
1527
- <div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00120">Z3Expr.h:120</a></div></div>
1527
+ <div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00127">Z3Expr.h:127</a></div></div>
1528
1528
  <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
1529
1529
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa6ccc9882f89804cd6566e3dfe3dfdc8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">SVF::AddressValue::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00205">AddressValue.h:205</a></div></div>
1530
1530
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_ab2bae973796c52765500b506844286e4"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00049">RelExeState.h:49</a></div></div>
package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html CHANGED
@@ -73,7 +73,7 @@ $(function() {
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a>, including all inherited members.</p>
74
74
  <table class="directory">
75
75
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369">abstract_consequence</a>(const IntervalESBase &amp;lower, const IntervalESBase &amp;upper, const IntervalESBase &amp;domain) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
76
- <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#af0c2db68bffbb223b845ca307b86c10a">beta</a>(const Map&lt; u32_t, double &gt; &amp;sigma, const IntervalESBase &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
76
+ <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c">beta</a>(const Map&lt; u32_t, s32_t &gt; &amp;sigma, const IntervalESBase &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
77
77
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">bilateral</a>(const IntervalESBase &amp;domain, const Z3Expr &amp;phi, u32_t descend_check=0)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
78
78
  <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9">BoxedOptSolver</a>(const Z3Expr &amp;phi, Map&lt; u32_t, NumericLiteral &gt; &amp;ret, Map&lt; u32_t, NumericLiteral &gt; &amp;low_values, Map&lt; u32_t, NumericLiteral &gt; &amp;high_values)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
79
79
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3">BS</a>(const IntervalESBase &amp;domain, const Z3Expr &amp;phi)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>