svf-tools 1.0.908 → 1.0.910

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 (268) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1549 -1576
  2. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +68 -75
  3. package/SVF-doxygen/html/AbstractState_8cpp_source.html +25 -25
  4. package/SVF-doxygen/html/AbstractState_8h_source.html +390 -391
  5. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +15 -15
  6. package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
  7. package/SVF-doxygen/html/RelExeState_8h_source.html +178 -179
  8. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +10 -10
  10. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +12 -17
  11. package/SVF-doxygen/html/ae_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/classSVF_1_1AEStat.html +115 -115
  13. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +7 -9
  14. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1435 -1521
  15. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +25 -25
  16. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +340 -342
  17. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +7 -9
  18. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +20 -10
  19. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +19 -19
  20. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +131 -132
  21. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
  22. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +22 -24
  23. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +23 -91
  24. package/SVF-doxygen/html/classSymblicAbstractionTest.html +2 -2
  25. package/SVF-doxygen/html/functions.html +6 -9
  26. package/SVF-doxygen/html/functions_a.html +9 -3
  27. package/SVF-doxygen/html/functions_f.html +3 -3
  28. package/SVF-doxygen/html/functions_func.html +1 -1
  29. package/SVF-doxygen/html/functions_func_g.html +9 -9
  30. package/SVF-doxygen/html/functions_func_i.html +7 -13
  31. package/SVF-doxygen/html/functions_func_p.html +3 -3
  32. package/SVF-doxygen/html/functions_g.html +10 -10
  33. package/SVF-doxygen/html/functions_i.html +12 -18
  34. package/SVF-doxygen/html/functions_l.html +3 -9
  35. package/SVF-doxygen/html/functions_o.html +17 -17
  36. package/SVF-doxygen/html/functions_p.html +18 -22
  37. package/SVF-doxygen/html/functions_r.html +1 -1
  38. package/SVF-doxygen/html/functions_s.html +12 -14
  39. package/SVF-doxygen/html/functions_t.html +2 -2
  40. package/SVF-doxygen/html/functions_type.html +6 -0
  41. package/SVF-doxygen/html/functions_type_l.html +0 -6
  42. package/SVF-doxygen/html/functions_v.html +3 -3
  43. package/SVF-doxygen/html/functions_vars.html +6 -9
  44. package/SVF-doxygen/html/functions_w.html +1 -1
  45. package/SVF-doxygen/html/search/all_0.js +167 -168
  46. package/SVF-doxygen/html/search/all_1.js +504 -502
  47. package/SVF-doxygen/html/search/all_10.js +326 -326
  48. package/SVF-doxygen/html/search/all_11.js +227 -227
  49. package/SVF-doxygen/html/search/all_12.js +562 -562
  50. package/SVF-doxygen/html/search/all_13.js +186 -186
  51. package/SVF-doxygen/html/search/all_14.js +74 -74
  52. package/SVF-doxygen/html/search/all_15.js +175 -175
  53. package/SVF-doxygen/html/search/all_16.js +77 -77
  54. package/SVF-doxygen/html/search/all_17.js +1 -1
  55. package/SVF-doxygen/html/search/all_18.js +1 -1
  56. package/SVF-doxygen/html/search/all_19.js +27 -27
  57. package/SVF-doxygen/html/search/all_1a.js +174 -174
  58. package/SVF-doxygen/html/search/all_2.js +180 -180
  59. package/SVF-doxygen/html/search/all_3.js +635 -635
  60. package/SVF-doxygen/html/search/all_4.js +237 -237
  61. package/SVF-doxygen/html/search/all_5.js +120 -120
  62. package/SVF-doxygen/html/search/all_6.js +236 -236
  63. package/SVF-doxygen/html/search/all_7.js +1039 -1039
  64. package/SVF-doxygen/html/search/all_8.js +224 -224
  65. package/SVF-doxygen/html/search/all_9.js +623 -625
  66. package/SVF-doxygen/html/search/all_a.js +46 -46
  67. package/SVF-doxygen/html/search/all_b.js +24 -24
  68. package/SVF-doxygen/html/search/all_c.js +111 -113
  69. package/SVF-doxygen/html/search/all_d.js +204 -204
  70. package/SVF-doxygen/html/search/all_e.js +207 -207
  71. package/SVF-doxygen/html/search/all_f.js +122 -122
  72. package/SVF-doxygen/html/search/classes_0.js +29 -29
  73. package/SVF-doxygen/html/search/classes_1.js +11 -11
  74. package/SVF-doxygen/html/search/classes_10.js +71 -71
  75. package/SVF-doxygen/html/search/classes_11.js +14 -14
  76. package/SVF-doxygen/html/search/classes_12.js +2 -2
  77. package/SVF-doxygen/html/search/classes_13.js +10 -10
  78. package/SVF-doxygen/html/search/classes_14.js +19 -19
  79. package/SVF-doxygen/html/search/classes_15.js +1 -1
  80. package/SVF-doxygen/html/search/classes_2.js +72 -72
  81. package/SVF-doxygen/html/search/classes_3.js +35 -35
  82. package/SVF-doxygen/html/search/classes_4.js +7 -7
  83. package/SVF-doxygen/html/search/classes_5.js +28 -28
  84. package/SVF-doxygen/html/search/classes_6.js +98 -98
  85. package/SVF-doxygen/html/search/classes_7.js +33 -33
  86. package/SVF-doxygen/html/search/classes_8.js +57 -57
  87. package/SVF-doxygen/html/search/classes_9.js +1 -1
  88. package/SVF-doxygen/html/search/classes_a.js +12 -12
  89. package/SVF-doxygen/html/search/classes_b.js +29 -29
  90. package/SVF-doxygen/html/search/classes_c.js +6 -6
  91. package/SVF-doxygen/html/search/classes_d.js +19 -19
  92. package/SVF-doxygen/html/search/classes_e.js +36 -36
  93. package/SVF-doxygen/html/search/classes_f.js +25 -25
  94. package/SVF-doxygen/html/search/defines_0.js +3 -3
  95. package/SVF-doxygen/html/search/defines_1.js +3 -3
  96. package/SVF-doxygen/html/search/defines_10.js +2 -2
  97. package/SVF-doxygen/html/search/defines_2.js +30 -30
  98. package/SVF-doxygen/html/search/defines_3.js +20 -20
  99. package/SVF-doxygen/html/search/defines_4.js +3 -3
  100. package/SVF-doxygen/html/search/defines_5.js +4 -4
  101. package/SVF-doxygen/html/search/defines_6.js +2 -2
  102. package/SVF-doxygen/html/search/defines_7.js +5 -5
  103. package/SVF-doxygen/html/search/defines_8.js +11 -11
  104. package/SVF-doxygen/html/search/defines_9.js +9 -9
  105. package/SVF-doxygen/html/search/defines_a.js +2 -2
  106. package/SVF-doxygen/html/search/defines_b.js +1 -1
  107. package/SVF-doxygen/html/search/defines_c.js +3 -3
  108. package/SVF-doxygen/html/search/defines_d.js +2 -2
  109. package/SVF-doxygen/html/search/defines_e.js +8 -8
  110. package/SVF-doxygen/html/search/defines_f.js +4 -4
  111. package/SVF-doxygen/html/search/enums_0.js +3 -3
  112. package/SVF-doxygen/html/search/enums_1.js +2 -2
  113. package/SVF-doxygen/html/search/enums_10.js +1 -1
  114. package/SVF-doxygen/html/search/enums_11.js +1 -1
  115. package/SVF-doxygen/html/search/enums_2.js +9 -9
  116. package/SVF-doxygen/html/search/enums_3.js +2 -2
  117. package/SVF-doxygen/html/search/enums_4.js +3 -3
  118. package/SVF-doxygen/html/search/enums_5.js +1 -1
  119. package/SVF-doxygen/html/search/enums_6.js +2 -2
  120. package/SVF-doxygen/html/search/enums_7.js +2 -2
  121. package/SVF-doxygen/html/search/enums_8.js +4 -4
  122. package/SVF-doxygen/html/search/enums_9.js +1 -1
  123. package/SVF-doxygen/html/search/enums_a.js +1 -1
  124. package/SVF-doxygen/html/search/enums_b.js +7 -7
  125. package/SVF-doxygen/html/search/enums_c.js +1 -1
  126. package/SVF-doxygen/html/search/enums_d.js +4 -4
  127. package/SVF-doxygen/html/search/enums_e.js +2 -2
  128. package/SVF-doxygen/html/search/enums_f.js +4 -4
  129. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  130. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  131. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  132. package/SVF-doxygen/html/search/enumvalues_11.js +6 -6
  133. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  134. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  135. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  136. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  137. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  138. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  139. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  140. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  141. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  142. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  143. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  144. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  145. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  146. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  147. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  148. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  149. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  150. package/SVF-doxygen/html/search/enumvalues_f.js +48 -48
  151. package/SVF-doxygen/html/search/files_0.js +18 -18
  152. package/SVF-doxygen/html/search/files_1.js +9 -9
  153. package/SVF-doxygen/html/search/files_10.js +8 -8
  154. package/SVF-doxygen/html/search/files_11.js +8 -8
  155. package/SVF-doxygen/html/search/files_12.js +2 -2
  156. package/SVF-doxygen/html/search/files_2.js +51 -51
  157. package/SVF-doxygen/html/search/files_3.js +14 -14
  158. package/SVF-doxygen/html/search/files_4.js +3 -3
  159. package/SVF-doxygen/html/search/files_5.js +13 -13
  160. package/SVF-doxygen/html/search/files_6.js +10 -10
  161. package/SVF-doxygen/html/search/files_7.js +15 -15
  162. package/SVF-doxygen/html/search/files_8.js +13 -13
  163. package/SVF-doxygen/html/search/files_9.js +18 -18
  164. package/SVF-doxygen/html/search/files_a.js +3 -3
  165. package/SVF-doxygen/html/search/files_b.js +4 -4
  166. package/SVF-doxygen/html/search/files_c.js +20 -20
  167. package/SVF-doxygen/html/search/files_d.js +4 -4
  168. package/SVF-doxygen/html/search/files_e.js +57 -57
  169. package/SVF-doxygen/html/search/files_f.js +8 -8
  170. package/SVF-doxygen/html/search/functions_0.js +13 -13
  171. package/SVF-doxygen/html/search/functions_1.js +366 -366
  172. package/SVF-doxygen/html/search/functions_10.js +140 -140
  173. package/SVF-doxygen/html/search/functions_11.js +140 -140
  174. package/SVF-doxygen/html/search/functions_12.js +293 -293
  175. package/SVF-doxygen/html/search/functions_13.js +52 -52
  176. package/SVF-doxygen/html/search/functions_14.js +41 -41
  177. package/SVF-doxygen/html/search/functions_15.js +70 -70
  178. package/SVF-doxygen/html/search/functions_16.js +38 -38
  179. package/SVF-doxygen/html/search/functions_17.js +3 -3
  180. package/SVF-doxygen/html/search/functions_18.js +174 -174
  181. package/SVF-doxygen/html/search/functions_2.js +92 -92
  182. package/SVF-doxygen/html/search/functions_3.js +257 -257
  183. package/SVF-doxygen/html/search/functions_4.js +85 -85
  184. package/SVF-doxygen/html/search/functions_5.js +54 -54
  185. package/SVF-doxygen/html/search/functions_6.js +65 -65
  186. package/SVF-doxygen/html/search/functions_7.js +857 -857
  187. package/SVF-doxygen/html/search/functions_8.js +176 -176
  188. package/SVF-doxygen/html/search/functions_9.js +436 -438
  189. package/SVF-doxygen/html/search/functions_a.js +30 -30
  190. package/SVF-doxygen/html/search/functions_b.js +2 -2
  191. package/SVF-doxygen/html/search/functions_c.js +22 -22
  192. package/SVF-doxygen/html/search/functions_d.js +81 -81
  193. package/SVF-doxygen/html/search/functions_e.js +34 -34
  194. package/SVF-doxygen/html/search/functions_f.js +58 -58
  195. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  196. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  197. package/SVF-doxygen/html/search/related_0.js +4 -4
  198. package/SVF-doxygen/html/search/related_1.js +2 -2
  199. package/SVF-doxygen/html/search/related_2.js +2 -2
  200. package/SVF-doxygen/html/search/related_3.js +2 -2
  201. package/SVF-doxygen/html/search/related_4.js +2 -2
  202. package/SVF-doxygen/html/search/related_5.js +1 -1
  203. package/SVF-doxygen/html/search/related_6.js +2 -2
  204. package/SVF-doxygen/html/search/related_7.js +5 -5
  205. package/SVF-doxygen/html/search/related_8.js +2 -2
  206. package/SVF-doxygen/html/search/related_9.js +4 -4
  207. package/SVF-doxygen/html/search/related_a.js +19 -19
  208. package/SVF-doxygen/html/search/related_b.js +4 -4
  209. package/SVF-doxygen/html/search/related_c.js +2 -2
  210. package/SVF-doxygen/html/search/related_d.js +11 -11
  211. package/SVF-doxygen/html/search/related_e.js +2 -2
  212. package/SVF-doxygen/html/search/related_f.js +2 -2
  213. package/SVF-doxygen/html/search/typedefs_0.js +20 -18
  214. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  215. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  216. package/SVF-doxygen/html/search/typedefs_11.js +12 -12
  217. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  218. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  219. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  220. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  221. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  222. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  223. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  224. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  225. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  226. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  227. package/SVF-doxygen/html/search/typedefs_9.js +4 -4
  228. package/SVF-doxygen/html/search/typedefs_a.js +28 -30
  229. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  230. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  231. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  232. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  233. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  234. package/SVF-doxygen/html/search/variables_0.js +170 -171
  235. package/SVF-doxygen/html/search/variables_1.js +78 -78
  236. package/SVF-doxygen/html/search/variables_10.js +98 -98
  237. package/SVF-doxygen/html/search/variables_11.js +47 -47
  238. package/SVF-doxygen/html/search/variables_12.js +93 -93
  239. package/SVF-doxygen/html/search/variables_13.js +76 -76
  240. package/SVF-doxygen/html/search/variables_14.js +14 -14
  241. package/SVF-doxygen/html/search/variables_15.js +49 -49
  242. package/SVF-doxygen/html/search/variables_16.js +11 -11
  243. package/SVF-doxygen/html/search/variables_17.js +1 -1
  244. package/SVF-doxygen/html/search/variables_18.js +17 -17
  245. package/SVF-doxygen/html/search/variables_2.js +40 -40
  246. package/SVF-doxygen/html/search/variables_3.js +143 -143
  247. package/SVF-doxygen/html/search/variables_4.js +51 -51
  248. package/SVF-doxygen/html/search/variables_5.js +39 -39
  249. package/SVF-doxygen/html/search/variables_6.js +66 -66
  250. package/SVF-doxygen/html/search/variables_7.js +32 -32
  251. package/SVF-doxygen/html/search/variables_8.js +8 -8
  252. package/SVF-doxygen/html/search/variables_9.js +80 -80
  253. package/SVF-doxygen/html/search/variables_a.js +4 -4
  254. package/SVF-doxygen/html/search/variables_b.js +10 -10
  255. package/SVF-doxygen/html/search/variables_c.js +44 -44
  256. package/SVF-doxygen/html/search/variables_d.js +58 -58
  257. package/SVF-doxygen/html/search/variables_e.js +123 -123
  258. package/SVF-doxygen/html/search/variables_f.js +31 -31
  259. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html +6 -6
  260. package/package.json +1 -1
  261. package/svf/include/AE/Core/AbstractState.h +23 -24
  262. package/svf/include/AE/Core/RelExeState.h +10 -11
  263. package/svf/include/AE/Svfexe/AbstractInterpretation.h +4 -9
  264. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +0 -3
  265. package/svf/lib/AE/Core/AbstractState.cpp +22 -22
  266. package/svf/lib/AE/Core/RelExeState.cpp +3 -3
  267. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +3 -27
  268. package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +8 -8
package/SVF-doxygen/html/functions_p.html CHANGED
@@ -395,12 +395,12 @@ $(function() {
395
395
  <li>Phi
396
396
  : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
397
397
  </li>
398
- <li>PHINodeMap
399
- : <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
400
- </li>
401
398
  <li>phiNodeMap
402
399
  : <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
403
400
  </li>
401
+ <li>PHINodeMap
402
+ : <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
403
+ </li>
404
404
  <li>PHISet
405
405
  : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
406
406
  , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -506,12 +506,12 @@ $(function() {
506
506
  <li>PossibilityDescription
507
507
  : <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
508
508
  </li>
509
- <li>possibilityDescriptions
510
- : <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
511
- </li>
512
509
  <li>PossibilityDescriptions
513
510
  : <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
514
511
  </li>
512
+ <li>possibilityDescriptions
513
+ : <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
514
+ </li>
515
515
  <li>postDominate()
516
516
  : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator</a>
517
517
  , <a class="el" href="classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929">SVF::SVFFunction</a>
@@ -793,8 +793,11 @@ $(function() {
793
793
  <li>propagateFromFRToAR()
794
794
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
795
795
  </li>
796
+ <li>propagateStateIfFeasible()
797
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a3a12a86670eef9cd22b1853c7c6fa208">SVF::AbstractInterpretation</a>
798
+ </li>
796
799
  <li>propagateVersion()
797
- : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
800
+ : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
798
801
  </li>
799
802
  <li>propagateViaObj()
800
803
  : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -833,9 +836,6 @@ $(function() {
833
836
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a8892e6f56f32675f9bf6884bd0d29843">SVF::FlowSensitive</a>
834
837
  , <a class="el" href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">SVF::WPASolver&lt; GraphType &gt;</a>
835
838
  </li>
836
- <li>propogateAbsStateToCurNode()
837
- : <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac7e8c4d8d249d482e7c65af616f10ffb">SVF::AbstractInterpretation</a>
838
- </li>
839
839
  <li>propVarPtsAfterCGUpdated()
840
840
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9">SVF::FlowSensitive</a>
841
841
  </li>
@@ -886,12 +886,12 @@ $(function() {
886
886
  <li>PTACGNodeSet
887
887
  : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
888
888
  </li>
889
- <li>ptaImplTy
890
- : <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
891
- </li>
892
889
  <li>PTAImplTy
893
890
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
894
891
  </li>
892
+ <li>ptaImplTy
893
+ : <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
894
+ </li>
895
895
  <li>PTAName()
896
896
  : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
897
897
  , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -987,12 +987,12 @@ $(function() {
987
987
  <li>ptrToBVPtsMap
988
988
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
989
989
  </li>
990
- <li>PtrToCPtsMap
991
- : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
992
- </li>
993
990
  <li>ptrToCPtsMap
994
991
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
995
992
  </li>
993
+ <li>PtrToCPtsMap
994
+ : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
995
+ </li>
996
996
  <li>ptrToId
997
997
  : <a class="el" href="classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe">SVF::WriterPtrPool&lt; T &gt;</a>
998
998
  </li>
@@ -1013,15 +1013,11 @@ $(function() {
1013
1013
  , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
1014
1014
  , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1015
1015
  , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1016
+ , <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1016
1017
  </li>
1017
1018
  <li>ptsMap
1018
1019
  : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1019
- </li>
1020
- <li>PtsMap
1021
- : <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1022
- </li>
1023
- <li>ptsMap
1024
- : <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1020
+ , <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
1025
1021
  </li>
1026
1022
  <li>PtsMapConstIter
1027
1023
  : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
package/SVF-doxygen/html/functions_r.html CHANGED
@@ -576,7 +576,7 @@ $(function() {
576
576
  : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
577
577
  </li>
578
578
  <li>RetPE()
579
- : <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
579
+ : <a class="el" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
580
580
  </li>
581
581
  <li>retPEBegin()
582
582
  : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
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#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
122
- </li>
123
120
  <li>SBV
124
121
  : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
125
122
  </li>
123
+ <li>sbv
124
+ : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">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,13 +131,11 @@ $(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>
134
135
  </li>
135
136
  <li>scc
136
137
  : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
137
138
  </li>
138
- <li>SCC
139
- : <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
140
- </li>
141
139
  <li>sccCandidates
142
140
  : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
143
141
  </li>
@@ -988,18 +986,18 @@ $(function() {
988
986
  <li>StoreStmt()
989
987
  : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
990
988
  </li>
991
- <li>StoresToMRsMap
992
- : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
993
- </li>
994
989
  <li>storesToMRsMap
995
990
  : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
996
991
  </li>
997
- <li>StoresToPointsToMap
998
- : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
992
+ <li>StoresToMRsMap
993
+ : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
999
994
  </li>
1000
995
  <li>storesToPointsToMap
1001
996
  : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
1002
997
  </li>
998
+ <li>StoresToPointsToMap
999
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
1000
+ </li>
1003
1001
  <li>storeTime
1004
1002
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
1005
1003
  </li>
@@ -1618,7 +1616,7 @@ $(function() {
1618
1616
  : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
1619
1617
  </li>
1620
1618
  <li>SVFType()
1621
- : <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
1619
+ : <a class="el" href="classSVF_1_1SVFType.html#a099304f203453cb64cacf5f81c48735f">SVF::SVFType</a>
1622
1620
  </li>
1623
1621
  <li>SVFTypeLocSetsPair
1624
1622
  : <a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVF::SVFIR</a>
@@ -1640,7 +1638,7 @@ $(function() {
1640
1638
  : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue</a>
1641
1639
  </li>
1642
1640
  <li>SVFValue()
1643
- : <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
1641
+ : <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
1644
1642
  </li>
1645
1643
  <li>SVFValue2LLVMValue
1646
1644
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVF::LLVMModuleSet</a>
@@ -1653,7 +1651,7 @@ $(function() {
1653
1651
  , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
1654
1652
  </li>
1655
1653
  <li>SVFVar()
1656
- : <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
1654
+ : <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
1657
1655
  </li>
1658
1656
  <li>SVFVarList
1659
1657
  : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
package/SVF-doxygen/html/functions_t.html CHANGED
@@ -664,13 +664,13 @@ $(function() {
664
664
  , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
665
665
  , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
666
666
  , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
667
+ , <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
667
668
  </li>
668
669
  <li>Type
669
670
  : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
670
671
  </li>
671
672
  <li>type
672
- : <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
673
- , <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>
673
+ : <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>
674
674
  , <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>
675
675
  , <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>
676
676
  , <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_type.html CHANGED
@@ -76,6 +76,12 @@ $(function() {
76
76
  <li>AddrSet
77
77
  : <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">SVF::AddressValue</a>
78
78
  </li>
79
+ <li>AddrToAbsValMap
80
+ : <a class="el" href="classSVF_1_1AbstractState.html#abac0c56904bd77bcd09fd65de51c25c9">SVF::AbstractState</a>
81
+ </li>
82
+ <li>AddrToValMap
83
+ : <a class="el" href="classSVF_1_1RelExeState.html#a019c2d09ca0ccfbd21502089e348bdfb">SVF::RelExeState</a>
84
+ </li>
79
85
  <li>alias_iterator
80
86
  : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
81
87
  </li>
package/SVF-doxygen/html/functions_type_l.html CHANGED
@@ -121,15 +121,9 @@ $(function() {
121
121
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8">SVF::LockAnalysis</a>
122
122
  , <a class="el" href="classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7">SVF::MHP</a>
123
123
  </li>
124
- <li>LocToAbsValMap
125
- : <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">SVF::AbstractState</a>
126
- </li>
127
124
  <li>LocToDPMVecMap
128
125
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
129
126
  </li>
130
- <li>LocToValMap
131
- : <a class="el" href="classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8">SVF::RelExeState</a>
132
- </li>
133
127
  <li>LocVersionMap
134
128
  : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296">SVF::VersionedFlowSensitive</a>
135
129
  </li>
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>
package/SVF-doxygen/html/functions_vars.html CHANGED
@@ -73,9 +73,15 @@ $(function() {
73
73
  <li>_addrs
74
74
  : <a class="el" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">SVF::AddressValue</a>
75
75
  </li>
76
+ <li>_addrToAbsVal
77
+ : <a class="el" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">SVF::AbstractState</a>
78
+ </li>
76
79
  <li>_addrToGep
77
80
  : <a class="el" href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">SVF::BufOverflowChecker</a>
78
81
  </li>
82
+ <li>_addrToVal
83
+ : <a class="el" href="classSVF_1_1RelExeState.html#ad92f53c7a29641d50cda609f779a46e2">SVF::RelExeState</a>
84
+ </li>
79
85
  <li>_ae
80
86
  : <a class="el" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">SVF::AEStat</a>
81
87
  </li>
@@ -124,9 +130,6 @@ $(function() {
124
130
  <li>_AvgVersionPtsSize
125
131
  : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782">SVF::VersionedFlowSensitiveStat</a>
126
132
  </li>
127
- <li>_br_cond
128
- : <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af46923b72be8617fadb512bfad5298b6">SVF::SVFIR2AbsState</a>
129
- </li>
130
133
  <li>_bugLoc
131
134
  : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a5e0a88ebef4ae740983726e7f1b5eb">SVF::AbstractInterpretation</a>
132
135
  </li>
@@ -235,12 +238,6 @@ $(function() {
235
238
  <li>_lb
236
239
  : <a class="el" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue</a>
237
240
  </li>
238
- <li>_locToAbsVal
239
- : <a class="el" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">SVF::AbstractState</a>
240
- </li>
241
- <li>_locToVal
242
- : <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
243
- </li>
244
241
  <li>_MaxAddrTakenVarPts
245
242
  : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30">SVF::FlowSensitiveStat</a>
246
243
  </li>
package/SVF-doxygen/html/functions_w.html CHANGED
@@ -255,7 +255,7 @@ $(function() {
255
255
  : <a class="el" href="classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b">SVF::WTOCycle&lt; GraphT &gt;</a>
256
256
  </li>
257
257
  <li>WTOCycleDepth()
258
- : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
258
+ : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
259
259
  </li>
260
260
  <li>WTOCycleDepthBuilder()
261
261
  : <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>