svf-tools 1.0.811 → 1.0.813

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 (341) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +159 -136
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +45 -42
  3. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +21 -21
  4. package/SVF-doxygen/html/ConsExeState_8h_source.html +384 -385
  5. package/SVF-doxygen/html/ConsG_8cpp_source.html +8 -8
  6. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/ExeState_8cpp_source.html +24 -24
  8. package/SVF-doxygen/html/ExeState_8h_source.html +227 -217
  9. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/ICFGEdge_8h_source.html +2 -2
  12. package/SVF-doxygen/html/ICFG_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +8 -8
  15. package/SVF-doxygen/html/IntervalExeState_8h_source.html +412 -408
  16. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
  18. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +13 -13
  19. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +11 -11
  20. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +273 -272
  21. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +28 -28
  22. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +980 -973
  23. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +169 -169
  24. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +33 -33
  25. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +4 -4
  26. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +11 -11
  27. package/SVF-doxygen/html/SVFIR_8cpp_source.html +14 -14
  28. package/SVF-doxygen/html/SVFIR_8h_source.html +11 -11
  29. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +19 -19
  30. package/SVF-doxygen/html/SVFStatements_8h_source.html +829 -830
  31. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +7 -7
  32. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +2 -2
  33. package/SVF-doxygen/html/SymState_8h_source.html +1 -1
  34. package/SVF-doxygen/html/VFGNode_8h_source.html +7 -7
  35. package/SVF-doxygen/html/VFG_8cpp_source.html +15 -15
  36. package/SVF-doxygen/html/VFG_8h_source.html +10 -10
  37. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +18 -17
  38. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +206 -153
  39. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
  40. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
  41. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +3 -3
  42. package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
  43. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
  44. package/SVF-doxygen/html/classSVF_1_1ConsExeState-members.html +74 -74
  45. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +412 -394
  46. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +8 -8
  47. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
  48. package/SVF-doxygen/html/classSVF_1_1ExeState-members.html +34 -34
  49. package/SVF-doxygen/html/classSVF_1_1ExeState.html +287 -272
  50. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +1 -1
  51. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  52. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  53. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +37 -37
  54. package/SVF-doxygen/html/classSVF_1_1ICFG.html +2 -2
  55. package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +78 -78
  56. package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +445 -434
  57. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  58. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  59. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
  60. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
  61. package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
  62. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +13 -13
  63. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState-members.html +28 -28
  64. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +296 -295
  65. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +15 -16
  66. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1087 -1128
  67. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +4 -4
  68. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +7 -7
  71. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
  72. package/SVF-doxygen/html/classSVF_1_1SymState.html +2 -2
  73. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
  74. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
  75. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
  76. package/SVF-doxygen/html/classSVF_1_1VFG.html +15 -15
  77. package/SVF-doxygen/html/functions.html +6 -6
  78. package/SVF-doxygen/html/functions_a.html +13 -8
  79. package/SVF-doxygen/html/functions_b.html +3 -3
  80. package/SVF-doxygen/html/functions_e.html +2 -2
  81. package/SVF-doxygen/html/functions_func_e.html +2 -2
  82. package/SVF-doxygen/html/functions_func_g.html +44 -45
  83. package/SVF-doxygen/html/functions_func_i.html +12 -22
  84. package/SVF-doxygen/html/functions_func_l.html +6 -6
  85. package/SVF-doxygen/html/functions_func_n.html +3 -3
  86. package/SVF-doxygen/html/functions_func_p.html +1 -1
  87. package/SVF-doxygen/html/functions_func_s.html +7 -7
  88. package/SVF-doxygen/html/functions_func_w.html +3 -3
  89. package/SVF-doxygen/html/functions_g.html +42 -43
  90. package/SVF-doxygen/html/functions_i.html +30 -37
  91. package/SVF-doxygen/html/functions_l.html +8 -8
  92. package/SVF-doxygen/html/functions_n.html +7 -7
  93. package/SVF-doxygen/html/functions_o.html +20 -21
  94. package/SVF-doxygen/html/functions_p.html +12 -12
  95. package/SVF-doxygen/html/functions_r.html +3 -1
  96. package/SVF-doxygen/html/functions_s.html +18 -20
  97. package/SVF-doxygen/html/functions_t.html +10 -10
  98. package/SVF-doxygen/html/functions_type.html +5 -0
  99. package/SVF-doxygen/html/functions_type_i.html +4 -4
  100. package/SVF-doxygen/html/functions_type_v.html +3 -8
  101. package/SVF-doxygen/html/functions_v.html +10 -13
  102. package/SVF-doxygen/html/functions_vars.html +6 -6
  103. package/SVF-doxygen/html/functions_vars_g.html +2 -2
  104. package/SVF-doxygen/html/functions_vars_i.html +3 -0
  105. package/SVF-doxygen/html/functions_vars_o.html +0 -3
  106. package/SVF-doxygen/html/functions_w.html +11 -11
  107. package/SVF-doxygen/html/search/all_0.js +4 -4
  108. package/SVF-doxygen/html/search/all_1.js +210 -209
  109. package/SVF-doxygen/html/search/all_10.js +324 -324
  110. package/SVF-doxygen/html/search/all_11.js +222 -222
  111. package/SVF-doxygen/html/search/all_12.js +544 -544
  112. package/SVF-doxygen/html/search/all_13.js +191 -191
  113. package/SVF-doxygen/html/search/all_14.js +67 -67
  114. package/SVF-doxygen/html/search/all_15.js +167 -169
  115. package/SVF-doxygen/html/search/all_16.js +63 -63
  116. package/SVF-doxygen/html/search/all_17.js +1 -1
  117. package/SVF-doxygen/html/search/all_18.js +1 -1
  118. package/SVF-doxygen/html/search/all_19.js +11 -11
  119. package/SVF-doxygen/html/search/all_1a.js +172 -172
  120. package/SVF-doxygen/html/search/all_2.js +169 -169
  121. package/SVF-doxygen/html/search/all_3.js +642 -642
  122. package/SVF-doxygen/html/search/all_4.js +233 -233
  123. package/SVF-doxygen/html/search/all_5.js +119 -119
  124. package/SVF-doxygen/html/search/all_6.js +225 -225
  125. package/SVF-doxygen/html/search/all_7.js +868 -868
  126. package/SVF-doxygen/html/search/all_8.js +197 -197
  127. package/SVF-doxygen/html/search/all_9.js +606 -611
  128. package/SVF-doxygen/html/search/all_a.js +46 -46
  129. package/SVF-doxygen/html/search/all_b.js +26 -26
  130. package/SVF-doxygen/html/search/all_c.js +116 -116
  131. package/SVF-doxygen/html/search/all_d.js +196 -196
  132. package/SVF-doxygen/html/search/all_e.js +207 -207
  133. package/SVF-doxygen/html/search/all_f.js +115 -116
  134. package/SVF-doxygen/html/search/classes_0.js +26 -26
  135. package/SVF-doxygen/html/search/classes_1.js +9 -9
  136. package/SVF-doxygen/html/search/classes_10.js +73 -73
  137. package/SVF-doxygen/html/search/classes_11.js +15 -15
  138. package/SVF-doxygen/html/search/classes_12.js +2 -2
  139. package/SVF-doxygen/html/search/classes_13.js +10 -10
  140. package/SVF-doxygen/html/search/classes_14.js +14 -14
  141. package/SVF-doxygen/html/search/classes_15.js +1 -1
  142. package/SVF-doxygen/html/search/classes_2.js +80 -80
  143. package/SVF-doxygen/html/search/classes_3.js +37 -37
  144. package/SVF-doxygen/html/search/classes_4.js +9 -9
  145. package/SVF-doxygen/html/search/classes_5.js +28 -28
  146. package/SVF-doxygen/html/search/classes_6.js +104 -104
  147. package/SVF-doxygen/html/search/classes_7.js +33 -33
  148. package/SVF-doxygen/html/search/classes_8.js +56 -56
  149. package/SVF-doxygen/html/search/classes_9.js +1 -1
  150. package/SVF-doxygen/html/search/classes_a.js +12 -12
  151. package/SVF-doxygen/html/search/classes_b.js +29 -29
  152. package/SVF-doxygen/html/search/classes_c.js +6 -6
  153. package/SVF-doxygen/html/search/classes_d.js +18 -18
  154. package/SVF-doxygen/html/search/classes_e.js +36 -36
  155. package/SVF-doxygen/html/search/classes_f.js +25 -25
  156. package/SVF-doxygen/html/search/defines_0.js +3 -3
  157. package/SVF-doxygen/html/search/defines_1.js +2 -2
  158. package/SVF-doxygen/html/search/defines_2.js +30 -30
  159. package/SVF-doxygen/html/search/defines_3.js +21 -21
  160. package/SVF-doxygen/html/search/defines_4.js +2 -2
  161. package/SVF-doxygen/html/search/defines_5.js +4 -4
  162. package/SVF-doxygen/html/search/defines_6.js +2 -2
  163. package/SVF-doxygen/html/search/defines_7.js +5 -5
  164. package/SVF-doxygen/html/search/defines_8.js +11 -11
  165. package/SVF-doxygen/html/search/defines_9.js +9 -9
  166. package/SVF-doxygen/html/search/defines_a.js +2 -2
  167. package/SVF-doxygen/html/search/defines_b.js +1 -1
  168. package/SVF-doxygen/html/search/defines_c.js +3 -3
  169. package/SVF-doxygen/html/search/defines_d.js +2 -2
  170. package/SVF-doxygen/html/search/defines_e.js +7 -7
  171. package/SVF-doxygen/html/search/defines_f.js +3 -3
  172. package/SVF-doxygen/html/search/enums_0.js +3 -3
  173. package/SVF-doxygen/html/search/enums_1.js +2 -2
  174. package/SVF-doxygen/html/search/enums_10.js +1 -1
  175. package/SVF-doxygen/html/search/enums_11.js +1 -1
  176. package/SVF-doxygen/html/search/enums_2.js +8 -8
  177. package/SVF-doxygen/html/search/enums_3.js +1 -1
  178. package/SVF-doxygen/html/search/enums_4.js +3 -3
  179. package/SVF-doxygen/html/search/enums_5.js +1 -1
  180. package/SVF-doxygen/html/search/enums_6.js +2 -2
  181. package/SVF-doxygen/html/search/enums_7.js +2 -2
  182. package/SVF-doxygen/html/search/enums_8.js +4 -4
  183. package/SVF-doxygen/html/search/enums_9.js +1 -1
  184. package/SVF-doxygen/html/search/enums_a.js +1 -1
  185. package/SVF-doxygen/html/search/enums_b.js +7 -7
  186. package/SVF-doxygen/html/search/enums_c.js +1 -1
  187. package/SVF-doxygen/html/search/enums_d.js +4 -4
  188. package/SVF-doxygen/html/search/enums_e.js +2 -2
  189. package/SVF-doxygen/html/search/enums_f.js +4 -4
  190. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  191. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  192. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  193. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  194. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  195. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  196. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  197. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  198. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  199. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  200. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  201. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  202. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  203. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  204. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  205. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  206. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  207. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  208. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  209. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  210. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  211. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  212. package/SVF-doxygen/html/search/files_0.js +13 -13
  213. package/SVF-doxygen/html/search/files_1.js +7 -7
  214. package/SVF-doxygen/html/search/files_10.js +8 -8
  215. package/SVF-doxygen/html/search/files_11.js +8 -8
  216. package/SVF-doxygen/html/search/files_12.js +2 -2
  217. package/SVF-doxygen/html/search/files_2.js +55 -55
  218. package/SVF-doxygen/html/search/files_3.js +14 -14
  219. package/SVF-doxygen/html/search/files_4.js +5 -5
  220. package/SVF-doxygen/html/search/files_5.js +13 -13
  221. package/SVF-doxygen/html/search/files_6.js +9 -9
  222. package/SVF-doxygen/html/search/files_7.js +14 -14
  223. package/SVF-doxygen/html/search/files_8.js +13 -13
  224. package/SVF-doxygen/html/search/files_9.js +18 -18
  225. package/SVF-doxygen/html/search/files_a.js +3 -3
  226. package/SVF-doxygen/html/search/files_b.js +2 -2
  227. package/SVF-doxygen/html/search/files_c.js +20 -20
  228. package/SVF-doxygen/html/search/files_d.js +4 -4
  229. package/SVF-doxygen/html/search/files_e.js +62 -62
  230. package/SVF-doxygen/html/search/files_f.js +8 -8
  231. package/SVF-doxygen/html/search/functions_0.js +12 -12
  232. package/SVF-doxygen/html/search/functions_1.js +360 -360
  233. package/SVF-doxygen/html/search/functions_10.js +140 -140
  234. package/SVF-doxygen/html/search/functions_11.js +138 -138
  235. package/SVF-doxygen/html/search/functions_12.js +279 -279
  236. package/SVF-doxygen/html/search/functions_13.js +59 -59
  237. package/SVF-doxygen/html/search/functions_14.js +39 -39
  238. package/SVF-doxygen/html/search/functions_15.js +71 -71
  239. package/SVF-doxygen/html/search/functions_16.js +32 -32
  240. package/SVF-doxygen/html/search/functions_17.js +3 -3
  241. package/SVF-doxygen/html/search/functions_18.js +172 -172
  242. package/SVF-doxygen/html/search/functions_2.js +87 -87
  243. package/SVF-doxygen/html/search/functions_3.js +257 -257
  244. package/SVF-doxygen/html/search/functions_4.js +75 -75
  245. package/SVF-doxygen/html/search/functions_5.js +53 -53
  246. package/SVF-doxygen/html/search/functions_6.js +59 -59
  247. package/SVF-doxygen/html/search/functions_7.js +852 -852
  248. package/SVF-doxygen/html/search/functions_8.js +149 -149
  249. package/SVF-doxygen/html/search/functions_9.js +423 -428
  250. package/SVF-doxygen/html/search/functions_a.js +30 -30
  251. package/SVF-doxygen/html/search/functions_b.js +2 -2
  252. package/SVF-doxygen/html/search/functions_c.js +26 -26
  253. package/SVF-doxygen/html/search/functions_d.js +77 -77
  254. package/SVF-doxygen/html/search/functions_e.js +35 -35
  255. package/SVF-doxygen/html/search/functions_f.js +56 -56
  256. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  257. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  258. package/SVF-doxygen/html/search/related_0.js +2 -2
  259. package/SVF-doxygen/html/search/related_1.js +2 -2
  260. package/SVF-doxygen/html/search/related_2.js +2 -2
  261. package/SVF-doxygen/html/search/related_3.js +2 -2
  262. package/SVF-doxygen/html/search/related_4.js +2 -2
  263. package/SVF-doxygen/html/search/related_5.js +1 -1
  264. package/SVF-doxygen/html/search/related_6.js +2 -2
  265. package/SVF-doxygen/html/search/related_7.js +4 -4
  266. package/SVF-doxygen/html/search/related_8.js +2 -2
  267. package/SVF-doxygen/html/search/related_9.js +4 -4
  268. package/SVF-doxygen/html/search/related_a.js +19 -19
  269. package/SVF-doxygen/html/search/related_b.js +4 -4
  270. package/SVF-doxygen/html/search/related_c.js +1 -1
  271. package/SVF-doxygen/html/search/related_d.js +12 -12
  272. package/SVF-doxygen/html/search/related_e.js +2 -2
  273. package/SVF-doxygen/html/search/related_f.js +2 -2
  274. package/SVF-doxygen/html/search/typedefs_0.js +19 -18
  275. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  276. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  277. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  278. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  279. package/SVF-doxygen/html/search/typedefs_13.js +33 -34
  280. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  281. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  282. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  283. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  284. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  285. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  286. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  287. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  288. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  289. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  290. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  291. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  292. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  293. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  294. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  295. package/SVF-doxygen/html/search/variables_0.js +151 -151
  296. package/SVF-doxygen/html/search/variables_1.js +75 -75
  297. package/SVF-doxygen/html/search/variables_10.js +97 -97
  298. package/SVF-doxygen/html/search/variables_11.js +44 -44
  299. package/SVF-doxygen/html/search/variables_12.js +92 -92
  300. package/SVF-doxygen/html/search/variables_13.js +75 -75
  301. package/SVF-doxygen/html/search/variables_14.js +14 -14
  302. package/SVF-doxygen/html/search/variables_15.js +48 -48
  303. package/SVF-doxygen/html/search/variables_16.js +9 -9
  304. package/SVF-doxygen/html/search/variables_17.js +1 -1
  305. package/SVF-doxygen/html/search/variables_18.js +2 -2
  306. package/SVF-doxygen/html/search/variables_2.js +38 -38
  307. package/SVF-doxygen/html/search/variables_3.js +142 -142
  308. package/SVF-doxygen/html/search/variables_4.js +55 -55
  309. package/SVF-doxygen/html/search/variables_5.js +37 -37
  310. package/SVF-doxygen/html/search/variables_6.js +66 -66
  311. package/SVF-doxygen/html/search/variables_7.js +33 -33
  312. package/SVF-doxygen/html/search/variables_8.js +7 -7
  313. package/SVF-doxygen/html/search/variables_9.js +78 -77
  314. package/SVF-doxygen/html/search/variables_a.js +4 -4
  315. package/SVF-doxygen/html/search/variables_b.js +10 -10
  316. package/SVF-doxygen/html/search/variables_c.js +45 -45
  317. package/SVF-doxygen/html/search/variables_d.js +56 -56
  318. package/SVF-doxygen/html/search/variables_e.js +123 -123
  319. package/SVF-doxygen/html/search/variables_f.js +29 -30
  320. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  321. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +9 -9
  322. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html +5 -5
  323. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +5 -5
  324. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +5 -5
  325. package/SVF-doxygen/html/svf-ex_8cpp.html +17 -17
  326. package/SVF-doxygen/html/svf-ex_8cpp_source.html +17 -17
  327. package/package.json +1 -1
  328. package/svf/include/AbstractExecution/ConsExeState.h +99 -96
  329. package/svf/include/AbstractExecution/ExeState.h +66 -53
  330. package/svf/include/AbstractExecution/IntervalExeState.h +66 -61
  331. package/svf/include/AbstractExecution/SVFIR2ConsExeState.h +7 -7
  332. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +22 -19
  333. package/svf/include/MemoryModel/AccessPath.h +13 -11
  334. package/svf/include/SVFIR/SVFStatements.h +2 -3
  335. package/svf/lib/AbstractExecution/ConsExeState.cpp +13 -13
  336. package/svf/lib/AbstractExecution/ExeState.cpp +19 -19
  337. package/svf/lib/AbstractExecution/IntervalExeState.cpp +4 -4
  338. package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +38 -37
  339. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +273 -287
  340. package/svf/lib/MemoryModel/AccessPath.cpp +39 -17
  341. package/svf/lib/SVFIR/SVFFileSystem.cpp +2 -2
package/SVF-doxygen/html/functions_o.html CHANGED
@@ -106,9 +106,6 @@ $(function() {
106
106
  , <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
107
107
  , <a class="el" href="classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493">SVF::DCHEdge</a>
108
108
  </li>
109
- <li>offsetVarAndGepTypePairs
110
- : <a class="el" href="classSVF_1_1AccessPath.html#a37e181504f5a1b6aa32d7bb1519ea709">SVF::AccessPath</a>
111
- </li>
112
109
  <li>onStack
113
110
  : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
114
111
  </li>
@@ -125,18 +122,18 @@ $(function() {
125
122
  <li>OpCache
126
123
  : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
127
124
  </li>
128
- <li>opcode
129
- : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
130
- </li>
131
125
  <li>OpCode
132
126
  : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
133
127
  </li>
134
128
  <li>opcode
135
- : <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
129
+ : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
136
130
  </li>
137
131
  <li>OpCode
138
132
  : <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
139
133
  </li>
134
+ <li>opcode
135
+ : <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
136
+ </li>
140
137
  <li>operator ReferenceT()
141
138
  : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
142
139
  </li>
@@ -417,7 +414,7 @@ $(function() {
417
414
  , <a class="el" href="classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f">SVF::CxtThread</a>
418
415
  , <a class="el" href="classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b">SVF::CxtThreadProc</a>
419
416
  , <a class="el" href="classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f">SVF::CxtThreadStmt</a>
420
- , <a class="el" href="classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811">SVF::DPItem</a>
417
+ , <a class="el" href="classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440">SVF::DPItem</a>
421
418
  , <a class="el" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState</a>
422
419
  , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd">SVF::FormalRetVFGNode</a>
423
420
  , <a class="el" href="classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b">SVF::GepCGEdge</a>
@@ -425,7 +422,7 @@ $(function() {
425
422
  , <a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode</a>
426
423
  , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">SVF::GrammarBase::Symbol</a>
427
424
  , <a class="el" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState</a>
428
- , <a class="el" href="classSVF_1_1IntervalValue.html#a3e10b7d6fd99151cc73b2d942ae75190">SVF::IntervalValue</a>
425
+ , <a class="el" href="classSVF_1_1IntervalValue.html#a8c5acd4214d9e29c27289036bc5c3d1f">SVF::IntervalValue</a>
429
426
  , <a class="el" href="classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443">SVF::LoadCGEdge</a>
430
427
  , <a class="el" href="classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d">SVF::LoadStmt</a>
431
428
  , <a class="el" href="classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f">SVF::LoadVFGNode</a>
@@ -434,8 +431,8 @@ $(function() {
434
431
  , <a class="el" href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">SVF::NumericLiteral</a>
435
432
  , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
436
433
  , <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
437
- , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
438
- , <a class="el" href="classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86">SVF::RelExeState</a>
434
+ , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056">SVF::PointsTo::PointsToIterator</a>
435
+ , <a class="el" href="classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20">SVF::RelExeState</a>
439
436
  , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
440
437
  , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
441
438
  , <a class="el" href="classSVF_1_1SingleAbsValue.html#a89a127d236878ac142ce881df41ef793">SVF::SingleAbsValue</a>
@@ -446,14 +443,14 @@ $(function() {
446
443
  , <a class="el" href="classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef">SVF::StoreStmt</a>
447
444
  , <a class="el" href="classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4">SVF::StoreVFGNode</a>
448
445
  , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e">SVF::SVFGNodeLockSpan</a>
449
- , <a class="el" href="classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b">SVF::SymState</a>
446
+ , <a class="el" href="classSVF_1_1SymState.html#aebbd79fb6a6fe93f9550b81048d69333">SVF::SymState</a>
450
447
  , <a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">SVF::TDForkPE</a>
451
448
  , <a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">SVF::TDJoinPE</a>
452
449
  , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
453
450
  , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
454
451
  , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
455
452
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a5ab108a0e1be3f33a3c1ffa2beaedf0e">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
456
- , <a class="el" href="classSVF_1_1WTOVisitor.html#aabdd2c91e25335bee3b45ead13e95189">SVF::WTOVisitor</a>
453
+ , <a class="el" href="classSVF_1_1WTOVisitor.html#a71238f5c190af226d4834d8a27455177">SVF::WTOVisitor</a>
457
454
  , <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
458
455
  </li>
459
456
  <li>operator==()
@@ -481,7 +478,7 @@ $(function() {
481
478
  , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
482
479
  , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
483
480
  , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
484
- , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">SVF::GrammarBase::Symbol</a>
481
+ , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">SVF::GrammarBase::Symbol</a>
485
482
  , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
486
483
  , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
487
484
  , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -526,7 +523,7 @@ $(function() {
526
523
  : <a class="el" href="classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36">SVF::ConsExeState</a>
527
524
  , <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
528
525
  , <a class="el" href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">SVF::IntervalExeState</a>
529
- , <a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
526
+ , <a class="el" href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
530
527
  , <a class="el" href="classSVF_1_1RelExeState.html#a8cb105e01839b136618103a3710d9d86">SVF::RelExeState</a>
531
528
  </li>
532
529
  <li>operator^
@@ -637,19 +634,19 @@ $(function() {
637
634
  </li>
638
635
  <li>opVers
639
636
  : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
637
+ , <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
640
638
  </li>
641
639
  <li>OPVers
642
640
  : <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
643
641
  </li>
644
642
  <li>opVers
645
- : <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
643
+ : <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
646
644
  </li>
647
645
  <li>OPVers
648
646
  : <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
649
647
  </li>
650
648
  <li>opVers
651
- : <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
652
- , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
649
+ : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
653
650
  </li>
654
651
  <li>OPVers
655
652
  : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
@@ -657,11 +654,13 @@ $(function() {
657
654
  </li>
658
655
  <li>opVers
659
656
  : <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
660
- , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
661
657
  </li>
662
658
  <li>OPVers
663
659
  : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
664
660
  </li>
661
+ <li>opVers
662
+ : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
663
+ </li>
665
664
  <li>Or
666
665
  : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>
667
666
  </li>
@@ -688,11 +687,11 @@ $(function() {
688
687
  </li>
689
688
  <li>OutEdgeBegin()
690
689
  : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad37525807d9c8d7c12e7166af068134e">SVF::CFBasicBlockNode</a>
691
- , <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
690
+ , <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
692
691
  </li>
693
692
  <li>OutEdgeEnd()
694
693
  : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aad38e58364301dafed7a3ee46f812cd9">SVF::CFBasicBlockNode</a>
695
- , <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
694
+ , <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
696
695
  </li>
697
696
  <li>OutEdgeKindToSetMap
698
697
  : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>
package/SVF-doxygen/html/functions_p.html CHANGED
@@ -89,12 +89,12 @@ $(function() {
89
89
  <li>PAGEdgeSetTy
90
90
  : <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
91
91
  </li>
92
- <li>pagEdgeToFunMap
93
- : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
94
- </li>
95
92
  <li>PAGEdgeToFunMap
96
93
  : <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
97
94
  </li>
95
+ <li>pagEdgeToFunMap
96
+ : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
97
+ </li>
98
98
  <li>PAGEdgeToSetMapTy
99
99
  : <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
100
100
  </li>
@@ -508,12 +508,12 @@ $(function() {
508
508
  <li>PossibilityDescription
509
509
  : <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
510
510
  </li>
511
- <li>PossibilityDescriptions
512
- : <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
513
- </li>
514
511
  <li>possibilityDescriptions
515
512
  : <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
516
513
  </li>
514
+ <li>PossibilityDescriptions
515
+ : <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
516
+ </li>
517
517
  <li>postDominate()
518
518
  : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator</a>
519
519
  , <a class="el" href="classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929">SVF::SVFFunction</a>
@@ -898,12 +898,12 @@ $(function() {
898
898
  <li>PTAStat()
899
899
  : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
900
900
  </li>
901
- <li>PTATY
902
- : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
903
- </li>
904
901
  <li>ptaTy
905
902
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
906
903
  </li>
904
+ <li>PTATY
905
+ : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
906
+ </li>
907
907
  <li>PTAVector
908
908
  : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
909
909
  </li>
@@ -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>
package/SVF-doxygen/html/functions_r.html CHANGED
@@ -622,11 +622,13 @@ $(function() {
622
622
  <li>RevPtsMap
623
623
  : <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
624
624
  , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
625
- , <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
626
625
  </li>
627
626
  <li>revPtsMap
628
627
  : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
629
628
  </li>
629
+ <li>RevPtsMap
630
+ : <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
631
+ </li>
630
632
  <li>rid
631
633
  : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
632
634
  </li>
package/SVF-doxygen/html/functions_s.html CHANGED
@@ -116,12 +116,12 @@ $(function() {
116
116
  <li>SB_SLICESOURCE
117
117
  : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
118
118
  </li>
119
- <li>sbv
120
- : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
121
- </li>
122
119
  <li>SBV
123
120
  : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
124
121
  </li>
122
+ <li>sbv
123
+ : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
124
+ </li>
125
125
  <li>sbvIt
126
126
  : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
127
127
  </li>
@@ -934,6 +934,9 @@ $(function() {
934
934
  <li>store2ChiSetMap
935
935
  : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
936
936
  </li>
937
+ <li>storeAddrs()
938
+ : <a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">SVF::ExeState</a>
939
+ </li>
937
940
  <li>StoreCGEdge()
938
941
  : <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
939
942
  </li>
@@ -973,18 +976,18 @@ $(function() {
973
976
  <li>StoreStmt()
974
977
  : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
975
978
  </li>
976
- <li>storesToMRsMap
977
- : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
978
- </li>
979
979
  <li>StoresToMRsMap
980
980
  : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
981
981
  </li>
982
- <li>storesToPointsToMap
983
- : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
982
+ <li>storesToMRsMap
983
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
984
984
  </li>
985
985
  <li>StoresToPointsToMap
986
986
  : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
987
987
  </li>
988
+ <li>storesToPointsToMap
989
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
990
+ </li>
988
991
  <li>storeTime
989
992
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
990
993
  </li>
@@ -997,18 +1000,15 @@ $(function() {
997
1000
  <li>StoreToPMSetMap
998
1001
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
999
1002
  </li>
1000
- <li>storeVAddrs()
1001
- : <a class="el" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState</a>
1002
- </li>
1003
1003
  <li>StoreVFGNode()
1004
1004
  : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
1005
1005
  </li>
1006
- <li>Strategy
1007
- : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
1008
- </li>
1009
1006
  <li>strategy
1010
1007
  : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
1011
1008
  </li>
1009
+ <li>Strategy
1010
+ : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
1011
+ </li>
1012
1012
  <li>stride
1013
1013
  : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
1014
1014
  </li>
@@ -1519,13 +1519,11 @@ $(function() {
1519
1519
  , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
1520
1520
  , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
1521
1521
  , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
1522
+ , <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
1522
1523
  </li>
1523
1524
  <li>SVFModule()
1524
1525
  : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
1525
1526
  </li>
1526
- <li>svfModule
1527
- : <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
1528
- </li>
1529
1527
  <li>svfModuleFieldJson
1530
1528
  : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
1531
1529
  </li>
@@ -1563,7 +1561,7 @@ $(function() {
1563
1561
  : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
1564
1562
  </li>
1565
1563
  <li>SVFStmt()
1566
- : <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
1564
+ : <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
1567
1565
  </li>
1568
1566
  <li>SVFStmtList
1569
1567
  : <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>
@@ -1626,7 +1624,7 @@ $(function() {
1626
1624
  , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
1627
1625
  </li>
1628
1626
  <li>SVFVar()
1629
- : <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
1627
+ : <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
1630
1628
  </li>
1631
1629
  <li>SVFVarList
1632
1630
  : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
@@ -1672,7 +1670,7 @@ $(function() {
1672
1670
  , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
1673
1671
  </li>
1674
1672
  <li>SymState()
1675
- : <a class="el" href="classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d">SVF::SymState</a>
1673
+ : <a class="el" href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">SVF::SymState</a>
1676
1674
  </li>
1677
1675
  <li>symTabFieldJson
1678
1676
  : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>
package/SVF-doxygen/html/functions_t.html CHANGED
@@ -190,18 +190,18 @@ $(function() {
190
190
  , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
191
191
  , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
192
192
  </li>
193
- <li>TDAPIMap
194
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
195
- </li>
196
193
  <li>tdAPIMap
197
194
  : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
198
195
  </li>
199
196
  <li>TDAPIMap
200
- : <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
197
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
201
198
  </li>
202
199
  <li>tdAPIMap
203
200
  : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
204
201
  </li>
202
+ <li>TDAPIMap
203
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
204
+ </li>
205
205
  <li>TDDead
206
206
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
207
207
  </li>
@@ -388,12 +388,12 @@ $(function() {
388
388
  <li>timeOfUpdateCallGraph
389
389
  : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
390
390
  </li>
391
- <li>timeStatMap
392
- : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
393
- </li>
394
391
  <li>TIMEStatMap
395
392
  : <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
396
393
  </li>
394
+ <li>timeStatMap
395
+ : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
396
+ </li>
397
397
  <li>TInterPhi
398
398
  : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
399
399
  </li>
@@ -735,12 +735,12 @@ $(function() {
735
735
  <li>typeinfo
736
736
  : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
737
737
  </li>
738
- <li>typeLocSetsMap
739
- : <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
740
- </li>
741
738
  <li>TypeLocSetsMap
742
739
  : <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
743
740
  </li>
741
+ <li>typeLocSetsMap
742
+ : <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
743
+ </li>
744
744
  <li>TypeMap
745
745
  : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
746
746
  </li>
package/SVF-doxygen/html/functions_type.html CHANGED
@@ -73,6 +73,11 @@ $(function() {
73
73
  <li>ActualParmNodeVec
74
74
  : <a class="el" href="classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841">SVF::CallICFGNode</a>
75
75
  </li>
76
+ <li>Addrs
77
+ : <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState</a>
78
+ , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d">SVF::SVFIR2ConsExeState</a>
79
+ , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a85f206bddccb2d644ef20f60ea17c9f3">SVF::SVFIR2ItvExeState</a>
80
+ </li>
76
81
  <li>AddrSet
77
82
  : <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">SVF::AddressValue</a>
78
83
  </li>
package/SVF-doxygen/html/functions_type_i.html CHANGED
@@ -105,11 +105,11 @@ $(function() {
105
105
  <li>IDToPairMapTy
106
106
  : <a class="el" href="classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8">SVF::ReaderIDToObjMap&lt; T &gt;</a>
107
107
  </li>
108
- <li>IdxVarAndGepTypePair
109
- : <a class="el" href="classSVF_1_1AccessPath.html#a98dfa824a51134c3f72a5d153240d378">SVF::AccessPath</a>
108
+ <li>IdxOperandPair
109
+ : <a class="el" href="classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae">SVF::AccessPath</a>
110
110
  </li>
111
- <li>IdxVarAndGepTypePairs
112
- : <a class="el" href="classSVF_1_1AccessPath.html#ac60f994cda4747717028aa6c0f9c6f92">SVF::AccessPath</a>
111
+ <li>IdxOperandPairs
112
+ : <a class="el" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">SVF::AccessPath</a>
113
113
  </li>
114
114
  <li>IndexToTermInstMap
115
115
  : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937">SVF::SaberCondAllocator</a>
package/SVF-doxygen/html/functions_type_v.html CHANGED
@@ -64,11 +64,6 @@ $(function() {
64
64
  &#160;
65
65
 
66
66
  <h3><a id="index_v"></a>- v -</h3><ul>
67
- <li>VAddrs
68
- : <a class="el" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">SVF::ExeState</a>
69
- , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ac0f37bed8d0e8f5cd65b532c1ad727b6">SVF::SVFIR2ConsExeState</a>
70
- , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">SVF::SVFIR2ItvExeState</a>
71
- </li>
72
67
  <li>value_type
73
68
  : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
74
69
  , <a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -86,12 +81,12 @@ $(function() {
86
81
  <li>VariableAttribute
87
82
  : <a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">SVF::GrammarBase</a>
88
83
  </li>
84
+ <li>VarToAddrs
85
+ : <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
86
+ </li>
89
87
  <li>VarToPropNodeMap
90
88
  : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
91
89
  </li>
92
- <li>VarToVAddrs
93
- : <a class="el" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">SVF::ExeState</a>
94
- </li>
95
90
  <li>VarToValMap
96
91
  : <a class="el" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState</a>
97
92
  , <a class="el" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">SVF::IntervalExeState</a>
package/SVF-doxygen/html/functions_v.html CHANGED
@@ -64,11 +64,6 @@ $(function() {
64
64
  <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
65
65
 
66
66
  <h3><a id="index_v"></a>- v -</h3><ul>
67
- <li>VAddrs
68
- : <a class="el" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">SVF::ExeState</a>
69
- , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ac0f37bed8d0e8f5cd65b532c1ad727b6">SVF::SVFIR2ConsExeState</a>
70
- , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">SVF::SVFIR2ItvExeState</a>
71
- </li>
72
67
  <li>ValDomain
73
68
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631">SVF::ForkJoinAnalysis</a>
74
69
  , <a class="el" href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791">SVF::LockAnalysis</a>
@@ -201,14 +196,19 @@ $(function() {
201
196
  : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge</a>
202
197
  </li>
203
198
  <li>VariantGepCGEdge()
204
- : <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a">SVF::VariantGepCGEdge</a>
199
+ : <a class="el" href="classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02">SVF::VariantGepCGEdge</a>
205
200
  </li>
206
201
  <li>varKills
207
202
  : <a class="el" href="classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43">SVF::MemSSA</a>
208
203
  </li>
209
204
  <li>varToAddrs()
210
205
  : <a class="el" href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">SVF::ConsExeState</a>
211
- , <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
206
+ </li>
207
+ <li>VarToAddrs
208
+ : <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
209
+ </li>
210
+ <li>varToAddrs()
211
+ : <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
212
212
  </li>
213
213
  <li>VarToPropNodeMap
214
214
  : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
@@ -216,9 +216,6 @@ $(function() {
216
216
  <li>varToString()
217
217
  : <a class="el" href="classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada">SVF::ConsExeState</a>
218
218
  </li>
219
- <li>VarToVAddrs
220
- : <a class="el" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">SVF::ExeState</a>
221
- </li>
222
219
  <li>VarToValMap
223
220
  : <a class="el" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState</a>
224
221
  , <a class="el" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">SVF::IntervalExeState</a>
@@ -360,7 +357,7 @@ $(function() {
360
357
  : <a class="el" href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader</a>
361
358
  </li>
362
359
  <li>virtToJson()
363
- : <a class="el" href="classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a">SVF::SVFIRWriter</a>
360
+ : <a class="el" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter</a>
364
361
  </li>
365
362
  <li>virtualFunctionToIDMap
366
363
  : <a class="el" href="classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0">SVF::CHGraph</a>
@@ -378,7 +375,7 @@ $(function() {
378
375
  , <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC</a>
379
376
  , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
380
377
  , <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8">SVF::VersionedFlowSensitive::SCC</a>
381
- , <a class="el" href="classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8">SVF::WTOVisitor</a>
378
+ , <a class="el" href="classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311">SVF::WTOVisitor</a>
382
379
  </li>
383
380
  <li>visitAllocaInst()
384
381
  : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">SVF::SVFIRBuilder</a>
@@ -411,7 +408,7 @@ $(function() {
411
408
  : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder</a>
412
409
  </li>
413
410
  <li>visited()
414
- : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
411
+ : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
415
412
  , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
416
413
  </li>
417
414
  <li>visitedCTPs
package/SVF-doxygen/html/functions_vars.html CHANGED
@@ -211,12 +211,12 @@ $(function() {
211
211
  <li>_lb
212
212
  : <a class="el" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue</a>
213
213
  </li>
214
+ <li>_locToAddrs
215
+ : <a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState</a>
216
+ </li>
214
217
  <li>_locToItvVal
215
218
  : <a class="el" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState</a>
216
219
  </li>
217
- <li>_locToVAddrs
218
- : <a class="el" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">SVF::ExeState</a>
219
- </li>
220
220
  <li>_locToVal
221
221
  : <a class="el" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState</a>
222
222
  , <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
@@ -512,12 +512,12 @@ $(function() {
512
512
  <li>_ub
513
513
  : <a class="el" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue</a>
514
514
  </li>
515
+ <li>_varToAddrs
516
+ : <a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState</a>
517
+ </li>
515
518
  <li>_varToItvVal
516
519
  : <a class="el" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState</a>
517
520
  </li>
518
- <li>_varToVAddrs
519
- : <a class="el" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">SVF::ExeState</a>
520
- </li>
521
521
  <li>_varToVal
522
522
  : <a class="el" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState</a>
523
523
  , <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>
package/SVF-doxygen/html/functions_vars_g.html CHANGED
@@ -106,8 +106,8 @@ $(function() {
106
106
  <li>globalES
107
107
  : <a class="el" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">SVF::IntervalExeState</a>
108
108
  </li>
109
- <li>globalNullVaddrs
110
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a75d5dfbc8252ef0994951af32aa53b74">SVF::SVFIR2ItvExeState</a>
109
+ <li>globalNulladdrs
110
+ : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0">SVF::SVFIR2ItvExeState</a>
111
111
  </li>
112
112
  <li>GlobalSet
113
113
  : <a class="el" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule</a>
package/SVF-doxygen/html/functions_vars_i.html CHANGED
@@ -140,6 +140,9 @@ $(function() {
140
140
  <li>idToTermInstMap
141
141
  : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881">SVF::SaberCondAllocator</a>
142
142
  </li>
143
+ <li>idxOperandPairs
144
+ : <a class="el" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">SVF::AccessPath</a>
145
+ </li>
143
146
  <li>IgnoreDeadFun
144
147
  : <a class="el" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options</a>
145
148
  </li>
package/SVF-doxygen/html/functions_vars_o.html CHANGED
@@ -88,9 +88,6 @@ $(function() {
88
88
  , <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
89
89
  , <a class="el" href="classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493">SVF::DCHEdge</a>
90
90
  </li>
91
- <li>offsetVarAndGepTypePairs
92
- : <a class="el" href="classSVF_1_1AccessPath.html#a37e181504f5a1b6aa32d7bb1519ea709">SVF::AccessPath</a>
93
- </li>
94
91
  <li>onStack
95
92
  : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
96
93
  </li>