svf-tools 1.0.853 → 1.0.855

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 (325) hide show
  1. package/SVF-doxygen/html/AE_2CMakeLists_8txt.html +106 -0
  2. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +19 -12
  3. package/SVF-doxygen/html/Andersen_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/Andersen_8h_source.html +4 -4
  5. package/SVF-doxygen/html/CFLStat_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/CMakeLists_8txt.html +5 -5
  7. package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
  9. package/SVF-doxygen/html/ConsG_8cpp_source.html +663 -644
  10. package/SVF-doxygen/html/ConsG_8h_source.html +335 -332
  11. package/SVF-doxygen/html/DDAClient_8cpp_source.html +4 -4
  12. package/SVF-doxygen/html/DDAStat_8cpp_source.html +249 -252
  13. package/SVF-doxygen/html/DDAStat_8h_source.html +70 -93
  14. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/PTAStat_8cpp_source.html +107 -83
  16. package/SVF-doxygen/html/PTAStat_8h_source.html +38 -13
  17. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
  19. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/WPAStat_8h_source.html +1 -1
  21. package/SVF-doxygen/html/ae_8cpp.html +179 -0
  22. package/SVF-doxygen/html/ae_8cpp_source.html +738 -0
  23. package/SVF-doxygen/html/annotated.html +1 -0
  24. package/SVF-doxygen/html/classSVF_1_1AddrCGEdge.html +11 -11
  25. package/SVF-doxygen/html/classSVF_1_1Andersen.html +20 -20
  26. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +10 -10
  27. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  28. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
  29. package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +8 -2
  30. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +34 -12
  31. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  32. package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +8 -2
  33. package/SVF-doxygen/html/classSVF_1_1CFLStat.html +16 -1
  34. package/SVF-doxygen/html/classSVF_1_1CSC.html +5 -5
  35. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph-members.html +81 -80
  36. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +672 -623
  37. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +28 -28
  38. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +4 -4
  39. package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +7 -7
  40. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +283 -463
  41. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +9 -3
  42. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +17 -2
  43. package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +9 -3
  44. package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +15 -0
  45. package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +7 -1
  46. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +15 -0
  47. package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +9 -3
  48. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +15 -0
  49. package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +7 -1
  50. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +300 -84
  51. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  52. package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +7 -1
  53. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +15 -0
  54. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +3 -3
  55. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +1 -1
  56. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +9 -3
  57. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +17 -2
  58. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +99 -0
  59. package/SVF-doxygen/html/classSymblicAbstractionTest.html +1282 -0
  60. package/SVF-doxygen/html/classes.html +56 -55
  61. package/SVF-doxygen/html/dir_454f632bef84d62ecd1cf13bd508acc9.html +86 -0
  62. package/SVF-doxygen/html/dir_e5d21102e3a998263c6c7812ac857e9d.html +2 -0
  63. package/SVF-doxygen/html/files.html +22 -20
  64. package/SVF-doxygen/html/functions.html +4 -4
  65. package/SVF-doxygen/html/functions_b.html +16 -10
  66. package/SVF-doxygen/html/functions_c.html +27 -24
  67. package/SVF-doxygen/html/functions_f.html +3 -3
  68. package/SVF-doxygen/html/functions_func_b.html +9 -3
  69. package/SVF-doxygen/html/functions_func_c.html +22 -19
  70. package/SVF-doxygen/html/functions_func_g.html +17 -16
  71. package/SVF-doxygen/html/functions_func_n.html +1 -1
  72. package/SVF-doxygen/html/functions_func_r.html +5 -2
  73. package/SVF-doxygen/html/functions_func_s.html +18 -15
  74. package/SVF-doxygen/html/functions_func_t.html +41 -1
  75. package/SVF-doxygen/html/functions_func_~.html +3 -0
  76. package/SVF-doxygen/html/functions_g.html +16 -15
  77. package/SVF-doxygen/html/functions_i.html +3 -3
  78. package/SVF-doxygen/html/functions_l.html +3 -3
  79. package/SVF-doxygen/html/functions_n.html +6 -6
  80. package/SVF-doxygen/html/functions_o.html +3 -3
  81. package/SVF-doxygen/html/functions_p.html +12 -12
  82. package/SVF-doxygen/html/functions_r.html +9 -6
  83. package/SVF-doxygen/html/functions_s.html +22 -19
  84. package/SVF-doxygen/html/functions_t.html +47 -7
  85. package/SVF-doxygen/html/functions_v.html +3 -3
  86. package/SVF-doxygen/html/functions_vars.html +4 -4
  87. package/SVF-doxygen/html/functions_w.html +9 -7
  88. package/SVF-doxygen/html/functions_~.html +3 -0
  89. package/SVF-doxygen/html/globals_a.html +2 -2
  90. package/SVF-doxygen/html/globals_func_a.html +2 -2
  91. package/SVF-doxygen/html/globals_func_m.html +5 -4
  92. package/SVF-doxygen/html/globals_m.html +5 -4
  93. package/SVF-doxygen/html/globals_s.html +3 -0
  94. package/SVF-doxygen/html/globals_vars.html +3 -0
  95. package/SVF-doxygen/html/hierarchy.html +40 -39
  96. package/SVF-doxygen/html/search/all_0.js +4 -4
  97. package/SVF-doxygen/html/search/all_1.js +133 -132
  98. package/SVF-doxygen/html/search/all_10.js +325 -325
  99. package/SVF-doxygen/html/search/all_11.js +225 -224
  100. package/SVF-doxygen/html/search/all_12.js +554 -552
  101. package/SVF-doxygen/html/search/all_13.js +203 -190
  102. package/SVF-doxygen/html/search/all_14.js +67 -67
  103. package/SVF-doxygen/html/search/all_15.js +168 -168
  104. package/SVF-doxygen/html/search/all_16.js +63 -63
  105. package/SVF-doxygen/html/search/all_17.js +1 -1
  106. package/SVF-doxygen/html/search/all_18.js +1 -1
  107. package/SVF-doxygen/html/search/all_19.js +11 -11
  108. package/SVF-doxygen/html/search/all_1a.js +175 -174
  109. package/SVF-doxygen/html/search/all_2.js +173 -171
  110. package/SVF-doxygen/html/search/all_3.js +649 -648
  111. package/SVF-doxygen/html/search/all_4.js +230 -230
  112. package/SVF-doxygen/html/search/all_5.js +119 -119
  113. package/SVF-doxygen/html/search/all_6.js +226 -226
  114. package/SVF-doxygen/html/search/all_7.js +1048 -1048
  115. package/SVF-doxygen/html/search/all_8.js +196 -196
  116. package/SVF-doxygen/html/search/all_9.js +605 -605
  117. package/SVF-doxygen/html/search/all_a.js +46 -46
  118. package/SVF-doxygen/html/search/all_b.js +26 -26
  119. package/SVF-doxygen/html/search/all_c.js +115 -115
  120. package/SVF-doxygen/html/search/all_d.js +197 -197
  121. package/SVF-doxygen/html/search/all_e.js +207 -207
  122. package/SVF-doxygen/html/search/all_f.js +116 -116
  123. package/SVF-doxygen/html/search/classes_0.js +26 -26
  124. package/SVF-doxygen/html/search/classes_1.js +9 -9
  125. package/SVF-doxygen/html/search/classes_10.js +74 -73
  126. package/SVF-doxygen/html/search/classes_11.js +15 -15
  127. package/SVF-doxygen/html/search/classes_12.js +2 -2
  128. package/SVF-doxygen/html/search/classes_13.js +10 -10
  129. package/SVF-doxygen/html/search/classes_14.js +14 -14
  130. package/SVF-doxygen/html/search/classes_15.js +1 -1
  131. package/SVF-doxygen/html/search/classes_2.js +81 -81
  132. package/SVF-doxygen/html/search/classes_3.js +37 -37
  133. package/SVF-doxygen/html/search/classes_4.js +9 -9
  134. package/SVF-doxygen/html/search/classes_5.js +28 -28
  135. package/SVF-doxygen/html/search/classes_6.js +104 -104
  136. package/SVF-doxygen/html/search/classes_7.js +34 -34
  137. package/SVF-doxygen/html/search/classes_8.js +57 -57
  138. package/SVF-doxygen/html/search/classes_9.js +1 -1
  139. package/SVF-doxygen/html/search/classes_a.js +12 -12
  140. package/SVF-doxygen/html/search/classes_b.js +29 -29
  141. package/SVF-doxygen/html/search/classes_c.js +6 -6
  142. package/SVF-doxygen/html/search/classes_d.js +18 -18
  143. package/SVF-doxygen/html/search/classes_e.js +36 -36
  144. package/SVF-doxygen/html/search/classes_f.js +25 -25
  145. package/SVF-doxygen/html/search/defines_0.js +3 -3
  146. package/SVF-doxygen/html/search/defines_1.js +2 -2
  147. package/SVF-doxygen/html/search/defines_2.js +30 -30
  148. package/SVF-doxygen/html/search/defines_3.js +20 -20
  149. package/SVF-doxygen/html/search/defines_4.js +2 -2
  150. package/SVF-doxygen/html/search/defines_5.js +4 -4
  151. package/SVF-doxygen/html/search/defines_6.js +2 -2
  152. package/SVF-doxygen/html/search/defines_7.js +5 -5
  153. package/SVF-doxygen/html/search/defines_8.js +11 -11
  154. package/SVF-doxygen/html/search/defines_9.js +9 -9
  155. package/SVF-doxygen/html/search/defines_a.js +2 -2
  156. package/SVF-doxygen/html/search/defines_b.js +1 -1
  157. package/SVF-doxygen/html/search/defines_c.js +3 -3
  158. package/SVF-doxygen/html/search/defines_d.js +2 -2
  159. package/SVF-doxygen/html/search/defines_e.js +7 -7
  160. package/SVF-doxygen/html/search/defines_f.js +3 -3
  161. package/SVF-doxygen/html/search/enums_0.js +3 -3
  162. package/SVF-doxygen/html/search/enums_1.js +2 -2
  163. package/SVF-doxygen/html/search/enums_10.js +1 -1
  164. package/SVF-doxygen/html/search/enums_11.js +1 -1
  165. package/SVF-doxygen/html/search/enums_2.js +8 -8
  166. package/SVF-doxygen/html/search/enums_3.js +1 -1
  167. package/SVF-doxygen/html/search/enums_4.js +3 -3
  168. package/SVF-doxygen/html/search/enums_5.js +1 -1
  169. package/SVF-doxygen/html/search/enums_6.js +2 -2
  170. package/SVF-doxygen/html/search/enums_7.js +2 -2
  171. package/SVF-doxygen/html/search/enums_8.js +4 -4
  172. package/SVF-doxygen/html/search/enums_9.js +1 -1
  173. package/SVF-doxygen/html/search/enums_a.js +1 -1
  174. package/SVF-doxygen/html/search/enums_b.js +7 -7
  175. package/SVF-doxygen/html/search/enums_c.js +1 -1
  176. package/SVF-doxygen/html/search/enums_d.js +4 -4
  177. package/SVF-doxygen/html/search/enums_e.js +2 -2
  178. package/SVF-doxygen/html/search/enums_f.js +4 -4
  179. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  180. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  181. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  182. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  183. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  184. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  185. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  186. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  187. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  188. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  189. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  190. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  191. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  192. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  193. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  194. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  195. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  196. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  197. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  198. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  199. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  200. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  201. package/SVF-doxygen/html/search/files_0.js +14 -13
  202. package/SVF-doxygen/html/search/files_1.js +7 -7
  203. package/SVF-doxygen/html/search/files_10.js +8 -8
  204. package/SVF-doxygen/html/search/files_11.js +8 -8
  205. package/SVF-doxygen/html/search/files_12.js +2 -2
  206. package/SVF-doxygen/html/search/files_2.js +57 -57
  207. package/SVF-doxygen/html/search/files_3.js +14 -14
  208. package/SVF-doxygen/html/search/files_4.js +5 -5
  209. package/SVF-doxygen/html/search/files_5.js +13 -13
  210. package/SVF-doxygen/html/search/files_6.js +9 -9
  211. package/SVF-doxygen/html/search/files_7.js +14 -14
  212. package/SVF-doxygen/html/search/files_8.js +13 -13
  213. package/SVF-doxygen/html/search/files_9.js +18 -18
  214. package/SVF-doxygen/html/search/files_a.js +3 -3
  215. package/SVF-doxygen/html/search/files_b.js +2 -2
  216. package/SVF-doxygen/html/search/files_c.js +20 -20
  217. package/SVF-doxygen/html/search/files_d.js +4 -4
  218. package/SVF-doxygen/html/search/files_e.js +62 -62
  219. package/SVF-doxygen/html/search/files_f.js +8 -8
  220. package/SVF-doxygen/html/search/functions_0.js +13 -13
  221. package/SVF-doxygen/html/search/functions_1.js +364 -364
  222. package/SVF-doxygen/html/search/functions_10.js +140 -140
  223. package/SVF-doxygen/html/search/functions_11.js +140 -139
  224. package/SVF-doxygen/html/search/functions_12.js +289 -288
  225. package/SVF-doxygen/html/search/functions_13.js +72 -59
  226. package/SVF-doxygen/html/search/functions_14.js +39 -39
  227. package/SVF-doxygen/html/search/functions_15.js +71 -71
  228. package/SVF-doxygen/html/search/functions_16.js +32 -32
  229. package/SVF-doxygen/html/search/functions_17.js +3 -3
  230. package/SVF-doxygen/html/search/functions_18.js +175 -174
  231. package/SVF-doxygen/html/search/functions_2.js +91 -89
  232. package/SVF-doxygen/html/search/functions_3.js +262 -261
  233. package/SVF-doxygen/html/search/functions_4.js +78 -78
  234. package/SVF-doxygen/html/search/functions_5.js +53 -53
  235. package/SVF-doxygen/html/search/functions_6.js +60 -60
  236. package/SVF-doxygen/html/search/functions_7.js +857 -857
  237. package/SVF-doxygen/html/search/functions_8.js +148 -148
  238. package/SVF-doxygen/html/search/functions_9.js +421 -421
  239. package/SVF-doxygen/html/search/functions_a.js +30 -30
  240. package/SVF-doxygen/html/search/functions_b.js +2 -2
  241. package/SVF-doxygen/html/search/functions_c.js +25 -25
  242. package/SVF-doxygen/html/search/functions_d.js +79 -79
  243. package/SVF-doxygen/html/search/functions_e.js +35 -35
  244. package/SVF-doxygen/html/search/functions_f.js +56 -56
  245. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  246. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  247. package/SVF-doxygen/html/search/related_0.js +2 -2
  248. package/SVF-doxygen/html/search/related_1.js +2 -2
  249. package/SVF-doxygen/html/search/related_2.js +3 -3
  250. package/SVF-doxygen/html/search/related_3.js +2 -2
  251. package/SVF-doxygen/html/search/related_4.js +2 -2
  252. package/SVF-doxygen/html/search/related_5.js +1 -1
  253. package/SVF-doxygen/html/search/related_6.js +2 -2
  254. package/SVF-doxygen/html/search/related_7.js +4 -4
  255. package/SVF-doxygen/html/search/related_8.js +2 -2
  256. package/SVF-doxygen/html/search/related_9.js +4 -4
  257. package/SVF-doxygen/html/search/related_a.js +19 -19
  258. package/SVF-doxygen/html/search/related_b.js +4 -4
  259. package/SVF-doxygen/html/search/related_c.js +2 -2
  260. package/SVF-doxygen/html/search/related_d.js +12 -12
  261. package/SVF-doxygen/html/search/related_e.js +2 -2
  262. package/SVF-doxygen/html/search/related_f.js +2 -2
  263. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  264. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  265. package/SVF-doxygen/html/search/typedefs_10.js +62 -62
  266. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  267. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  268. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  269. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  270. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  271. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  272. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  273. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  274. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  275. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  276. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  277. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  278. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  279. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  280. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  281. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  282. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  283. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  284. package/SVF-doxygen/html/search/variables_0.js +151 -151
  285. package/SVF-doxygen/html/search/variables_1.js +76 -76
  286. package/SVF-doxygen/html/search/variables_10.js +98 -98
  287. package/SVF-doxygen/html/search/variables_11.js +45 -45
  288. package/SVF-doxygen/html/search/variables_12.js +91 -90
  289. package/SVF-doxygen/html/search/variables_13.js +74 -74
  290. package/SVF-doxygen/html/search/variables_14.js +14 -14
  291. package/SVF-doxygen/html/search/variables_15.js +49 -49
  292. package/SVF-doxygen/html/search/variables_16.js +9 -9
  293. package/SVF-doxygen/html/search/variables_17.js +1 -1
  294. package/SVF-doxygen/html/search/variables_18.js +2 -2
  295. package/SVF-doxygen/html/search/variables_2.js +38 -38
  296. package/SVF-doxygen/html/search/variables_3.js +142 -142
  297. package/SVF-doxygen/html/search/variables_4.js +50 -50
  298. package/SVF-doxygen/html/search/variables_5.js +37 -37
  299. package/SVF-doxygen/html/search/variables_6.js +66 -66
  300. package/SVF-doxygen/html/search/variables_7.js +34 -34
  301. package/SVF-doxygen/html/search/variables_8.js +7 -7
  302. package/SVF-doxygen/html/search/variables_9.js +78 -78
  303. package/SVF-doxygen/html/search/variables_a.js +4 -4
  304. package/SVF-doxygen/html/search/variables_b.js +10 -10
  305. package/SVF-doxygen/html/search/variables_c.js +45 -45
  306. package/SVF-doxygen/html/search/variables_d.js +55 -55
  307. package/SVF-doxygen/html/search/variables_e.js +123 -123
  308. package/SVF-doxygen/html/search/variables_f.js +30 -30
  309. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +118 -118
  310. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +1 -1
  311. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +2 -2
  312. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +1 -1
  313. package/build.sh +1 -1
  314. package/package.json +1 -1
  315. package/svf/include/DDA/DDAStat.h +0 -17
  316. package/svf/include/Graphs/ConsG.h +2 -0
  317. package/svf/include/Util/PTAStat.h +19 -1
  318. package/svf/lib/DDA/DDAStat.cpp +0 -3
  319. package/svf/lib/Graphs/ConsG.cpp +20 -0
  320. package/svf/lib/Util/PTAStat.cpp +17 -1
  321. package/svf/lib/WPA/Andersen.cpp +2 -2
  322. package/svf/lib/WPA/AndersenStat.cpp +3 -0
  323. package/svf-llvm/tools/AE/CMakeLists.txt +2 -0
  324. package/svf-llvm/tools/AE/ae.cpp +607 -0
  325. package/svf-llvm/tools/CMakeLists.txt +3 -2
package/SVF-doxygen/html/dir_454f632bef84d62ecd1cf13bd508acc9.html ADDED
@@ -0,0 +1,86 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf-llvm/tools/AE Directory Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="dir_138019085cb31ab29ffbd100a29df36f.html">svf-llvm</a></li><li class="navelem"><a class="el" href="dir_e5d21102e3a998263c6c7812ac857e9d.html">tools</a></li><li class="navelem"><a class="el" href="dir_454f632bef84d62ecd1cf13bd508acc9.html">AE</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="headertitle">
69
+ <div class="title">AE Directory Reference</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+ <table class="memberdecls">
73
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
74
+ Files</h2></td></tr>
75
+ <tr class="memitem:ae_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ae_8cpp.html">ae.cpp</a> <a href="ae_8cpp_source.html">[code]</a></td></tr>
76
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
+ </table>
78
+ </div><!-- contents -->
79
+ <!-- start footer part -->
80
+ <hr class="footer"/><address class="footer"><small>
81
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
82
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
83
+ </a> 1.8.17
84
+ </small></address>
85
+ </body>
86
+ </html>
package/SVF-doxygen/html/dir_e5d21102e3a998263c6c7812ac857e9d.html CHANGED
@@ -72,6 +72,8 @@ $(function() {
72
72
  <table class="memberdecls">
73
73
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="subdirs"></a>
74
74
  Directories</h2></td></tr>
75
+ <tr class="memitem:dir_454f632bef84d62ecd1cf13bd508acc9"><td class="memItemLeft" align="right" valign="top">directory &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dir_454f632bef84d62ecd1cf13bd508acc9.html">AE</a></td></tr>
76
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
75
77
  <tr class="memitem:dir_5fd192c23aa77cf5372d07f8b4d730b1"><td class="memItemLeft" align="right" valign="top">directory &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dir_5fd192c23aa77cf5372d07f8b4d730b1.html">CFL</a></td></tr>
76
78
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
79
  <tr class="memitem:dir_81311d4be154b61865c8f7d31ee4f81d"><td class="memItemLeft" align="right" valign="top">directory &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dir_81311d4be154b61865c8f7d31ee4f81d.html">DDA</a></td></tr>
package/SVF-doxygen/html/files.html CHANGED
@@ -365,26 +365,28 @@ $(function() {
365
365
  <tr id="row_1_1_9_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRExtAPI_8cpp.html" target="_self">SVFIRExtAPI.cpp</a></td><td class="desc"></td></tr>
366
366
  <tr id="row_1_1_10_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableBuilder_8cpp.html" target="_self">SymbolTableBuilder.cpp</a></td><td class="desc"></td></tr>
367
367
  <tr id="row_1_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_2_" class="arrow" onclick="toggleFolder('1_2_')">&#9660;</span><span id="img_1_2_" class="iconfopen" onclick="toggleFolder('1_2_')">&#160;</span><a class="el" href="dir_e5d21102e3a998263c6c7812ac857e9d.html" target="_self">tools</a></td><td class="desc"></td></tr>
368
- <tr id="row_1_2_0_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_0_" class="arrow" onclick="toggleFolder('1_2_0_')">&#9658;</span><span id="img_1_2_0_" class="iconfclosed" onclick="toggleFolder('1_2_0_')">&#160;</span><a class="el" href="dir_5fd192c23aa77cf5372d07f8b4d730b1.html" target="_self">CFL</a></td><td class="desc"></td></tr>
369
- <tr id="row_1_2_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cfl_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cfl_8cpp.html" target="_self">cfl.cpp</a></td><td class="desc"></td></tr>
370
- <tr id="row_1_2_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_1_" class="arrow" onclick="toggleFolder('1_2_1_')">&#9658;</span><span id="img_1_2_1_" class="iconfclosed" onclick="toggleFolder('1_2_1_')">&#160;</span><a class="el" href="dir_81311d4be154b61865c8f7d31ee4f81d.html" target="_self">DDA</a></td><td class="desc"></td></tr>
371
- <tr id="row_1_2_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="dda_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="dda_8cpp.html" target="_self">dda.cpp</a></td><td class="desc"></td></tr>
372
- <tr id="row_1_2_2_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_2_" class="arrow" onclick="toggleFolder('1_2_2_')">&#9658;</span><span id="img_1_2_2_" class="iconfclosed" onclick="toggleFolder('1_2_2_')">&#160;</span><a class="el" href="dir_c7bc6ac0ca89e8311813f89c2eb20f19.html" target="_self">Example</a></td><td class="desc"></td></tr>
373
- <tr id="row_1_2_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-ex_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="svf-ex_8cpp.html" target="_self">svf-ex.cpp</a></td><td class="desc"></td></tr>
374
- <tr id="row_1_2_3_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_3_" class="arrow" onclick="toggleFolder('1_2_3_')">&#9658;</span><span id="img_1_2_3_" class="iconfclosed" onclick="toggleFolder('1_2_3_')">&#160;</span><a class="el" href="dir_5aa03156f4844a736e8a208a0515b290.html" target="_self">LLVM2SVF</a></td><td class="desc"></td></tr>
375
- <tr id="row_1_2_3_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="llvm2svf_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="llvm2svf_8cpp.html" target="_self">llvm2svf.cpp</a></td><td class="desc"></td></tr>
376
- <tr id="row_1_2_4_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_4_" class="arrow" onclick="toggleFolder('1_2_4_')">&#9658;</span><span id="img_1_2_4_" class="iconfclosed" onclick="toggleFolder('1_2_4_')">&#160;</span><a class="el" href="dir_eaccc050155d278d165e91a9dd945ee9.html" target="_self">MTA</a></td><td class="desc"></td></tr>
377
- <tr id="row_1_2_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8cpp.html" target="_self">LockResultValidator.cpp</a></td><td class="desc"></td></tr>
378
- <tr id="row_1_2_4_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8h.html" target="_self">LockResultValidator.h</a></td><td class="desc"></td></tr>
379
- <tr id="row_1_2_4_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="mta_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="mta_8cpp.html" target="_self">mta.cpp</a></td><td class="desc"></td></tr>
380
- <tr id="row_1_2_4_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8cpp.html" target="_self">MTAAnnotator.cpp</a></td><td class="desc"></td></tr>
381
- <tr id="row_1_2_4_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8h.html" target="_self">MTAAnnotator.h</a></td><td class="desc"></td></tr>
382
- <tr id="row_1_2_4_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAResultValidator_8cpp.html" target="_self">MTAResultValidator.cpp</a></td><td class="desc"></td></tr>
383
- <tr id="row_1_2_4_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html" target="_self">MTAResultValidator.h</a></td><td class="desc"></td></tr>
384
- <tr id="row_1_2_5_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_5_" class="arrow" onclick="toggleFolder('1_2_5_')">&#9658;</span><span id="img_1_2_5_" class="iconfclosed" onclick="toggleFolder('1_2_5_')">&#160;</span><a class="el" href="dir_419a22d9609ff1e4620e37ad8014ebca.html" target="_self">SABER</a></td><td class="desc"></td></tr>
385
- <tr id="row_1_2_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="saber_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="saber_8cpp.html" target="_self">saber.cpp</a></td><td class="desc"></td></tr>
386
- <tr id="row_1_2_6_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_6_" class="arrow" onclick="toggleFolder('1_2_6_')">&#9658;</span><span id="img_1_2_6_" class="iconfclosed" onclick="toggleFolder('1_2_6_')">&#160;</span><a class="el" href="dir_d5f31d0177f22dd2317ac1e93df34fae.html" target="_self">WPA</a></td><td class="desc"></td></tr>
387
- <tr id="row_1_2_6_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="wpa_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="wpa_8cpp.html" target="_self">wpa.cpp</a></td><td class="desc"></td></tr>
368
+ <tr id="row_1_2_0_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_0_" class="arrow" onclick="toggleFolder('1_2_0_')">&#9658;</span><span id="img_1_2_0_" class="iconfclosed" onclick="toggleFolder('1_2_0_')">&#160;</span><a class="el" href="dir_454f632bef84d62ecd1cf13bd508acc9.html" target="_self">AE</a></td><td class="desc"></td></tr>
369
+ <tr id="row_1_2_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ae_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ae_8cpp.html" target="_self">ae.cpp</a></td><td class="desc"></td></tr>
370
+ <tr id="row_1_2_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_1_" class="arrow" onclick="toggleFolder('1_2_1_')">&#9658;</span><span id="img_1_2_1_" class="iconfclosed" onclick="toggleFolder('1_2_1_')">&#160;</span><a class="el" href="dir_5fd192c23aa77cf5372d07f8b4d730b1.html" target="_self">CFL</a></td><td class="desc"></td></tr>
371
+ <tr id="row_1_2_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cfl_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cfl_8cpp.html" target="_self">cfl.cpp</a></td><td class="desc"></td></tr>
372
+ <tr id="row_1_2_2_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_2_" class="arrow" onclick="toggleFolder('1_2_2_')">&#9658;</span><span id="img_1_2_2_" class="iconfclosed" onclick="toggleFolder('1_2_2_')">&#160;</span><a class="el" href="dir_81311d4be154b61865c8f7d31ee4f81d.html" target="_self">DDA</a></td><td class="desc"></td></tr>
373
+ <tr id="row_1_2_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="dda_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="dda_8cpp.html" target="_self">dda.cpp</a></td><td class="desc"></td></tr>
374
+ <tr id="row_1_2_3_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_3_" class="arrow" onclick="toggleFolder('1_2_3_')">&#9658;</span><span id="img_1_2_3_" class="iconfclosed" onclick="toggleFolder('1_2_3_')">&#160;</span><a class="el" href="dir_c7bc6ac0ca89e8311813f89c2eb20f19.html" target="_self">Example</a></td><td class="desc"></td></tr>
375
+ <tr id="row_1_2_3_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-ex_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="svf-ex_8cpp.html" target="_self">svf-ex.cpp</a></td><td class="desc"></td></tr>
376
+ <tr id="row_1_2_4_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_4_" class="arrow" onclick="toggleFolder('1_2_4_')">&#9658;</span><span id="img_1_2_4_" class="iconfclosed" onclick="toggleFolder('1_2_4_')">&#160;</span><a class="el" href="dir_5aa03156f4844a736e8a208a0515b290.html" target="_self">LLVM2SVF</a></td><td class="desc"></td></tr>
377
+ <tr id="row_1_2_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="llvm2svf_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="llvm2svf_8cpp.html" target="_self">llvm2svf.cpp</a></td><td class="desc"></td></tr>
378
+ <tr id="row_1_2_5_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_5_" class="arrow" onclick="toggleFolder('1_2_5_')">&#9658;</span><span id="img_1_2_5_" class="iconfclosed" onclick="toggleFolder('1_2_5_')">&#160;</span><a class="el" href="dir_eaccc050155d278d165e91a9dd945ee9.html" target="_self">MTA</a></td><td class="desc"></td></tr>
379
+ <tr id="row_1_2_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8cpp.html" target="_self">LockResultValidator.cpp</a></td><td class="desc"></td></tr>
380
+ <tr id="row_1_2_5_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8h.html" target="_self">LockResultValidator.h</a></td><td class="desc"></td></tr>
381
+ <tr id="row_1_2_5_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="mta_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="mta_8cpp.html" target="_self">mta.cpp</a></td><td class="desc"></td></tr>
382
+ <tr id="row_1_2_5_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8cpp.html" target="_self">MTAAnnotator.cpp</a></td><td class="desc"></td></tr>
383
+ <tr id="row_1_2_5_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8h.html" target="_self">MTAAnnotator.h</a></td><td class="desc"></td></tr>
384
+ <tr id="row_1_2_5_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAResultValidator_8cpp.html" target="_self">MTAResultValidator.cpp</a></td><td class="desc"></td></tr>
385
+ <tr id="row_1_2_5_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html" target="_self">MTAResultValidator.h</a></td><td class="desc"></td></tr>
386
+ <tr id="row_1_2_6_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_6_" class="arrow" onclick="toggleFolder('1_2_6_')">&#9658;</span><span id="img_1_2_6_" class="iconfclosed" onclick="toggleFolder('1_2_6_')">&#160;</span><a class="el" href="dir_419a22d9609ff1e4620e37ad8014ebca.html" target="_self">SABER</a></td><td class="desc"></td></tr>
387
+ <tr id="row_1_2_6_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="saber_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="saber_8cpp.html" target="_self">saber.cpp</a></td><td class="desc"></td></tr>
388
+ <tr id="row_1_2_7_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_7_" class="arrow" onclick="toggleFolder('1_2_7_')">&#9658;</span><span id="img_1_2_7_" class="iconfclosed" onclick="toggleFolder('1_2_7_')">&#160;</span><a class="el" href="dir_d5f31d0177f22dd2317ac1e93df34fae.html" target="_self">WPA</a></td><td class="desc"></td></tr>
389
+ <tr id="row_1_2_7_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="wpa_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="wpa_8cpp.html" target="_self">wpa.cpp</a></td><td class="desc"></td></tr>
388
390
  </table>
389
391
  </div><!-- directory -->
390
392
  </div><!-- contents -->
package/SVF-doxygen/html/functions.html CHANGED
@@ -527,16 +527,16 @@ $(function() {
527
527
  , <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
528
528
  </li>
529
529
  <li>_vmrssUsageAfter
530
- : <a class="el" href="classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865">SVF::DDAStat</a>
530
+ : <a class="el" href="classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8">SVF::PTAStat</a>
531
531
  </li>
532
532
  <li>_vmrssUsageBefore
533
- : <a class="el" href="classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372">SVF::DDAStat</a>
533
+ : <a class="el" href="classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d">SVF::PTAStat</a>
534
534
  </li>
535
535
  <li>_vmsizeUsageAfter
536
- : <a class="el" href="classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3">SVF::DDAStat</a>
536
+ : <a class="el" href="classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7">SVF::PTAStat</a>
537
537
  </li>
538
538
  <li>_vmsizeUsageBefore
539
- : <a class="el" href="classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323">SVF::DDAStat</a>
539
+ : <a class="el" href="classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825">SVF::PTAStat</a>
540
540
  </li>
541
541
  <li>_wtoCycleDepth
542
542
  : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
package/SVF-doxygen/html/functions_b.html CHANGED
@@ -267,6 +267,9 @@ $(function() {
267
267
  <li>bilateral()
268
268
  : <a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">SVF::RelationSolver</a>
269
269
  </li>
270
+ <li>Bilateral_time()
271
+ : <a class="el" href="classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217">SymblicAbstractionTest</a>
272
+ </li>
270
273
  <li>BinaryOp
271
274
  : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVF::SVFStmt</a>
272
275
  , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337">SVF::VFGNode</a>
@@ -353,7 +356,7 @@ $(function() {
353
356
  : <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
354
357
  </li>
355
358
  <li>BranchStmt()
356
- : <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
359
+ : <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
357
360
  </li>
358
361
  <li>BranchVFGNode()
359
362
  : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -376,6 +379,9 @@ $(function() {
376
379
  <li>BS()
377
380
  : <a class="el" href="classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3">SVF::RelationSolver</a>
378
381
  </li>
382
+ <li>BS_time()
383
+ : <a class="el" href="classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759">SymblicAbstractionTest</a>
384
+ </li>
379
385
  <li>buffer
380
386
  : <a class="el" href="structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013">printbuffer</a>
381
387
  </li>
@@ -385,12 +391,12 @@ $(function() {
385
391
  <li>bugEventStack
386
392
  : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
387
393
  </li>
388
- <li>bugSet
389
- : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
390
- </li>
391
394
  <li>BugSet
392
395
  : <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
393
396
  </li>
397
+ <li>bugSet
398
+ : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
399
+ </li>
394
400
  <li>BugType
395
401
  : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
396
402
  </li>
@@ -404,8 +410,8 @@ $(function() {
404
410
  : <a class="el" href="classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97">SVF::CDGBuilder</a>
405
411
  , <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">SVF::CFBasicBlockGBuilder</a>
406
412
  , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
407
- , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f">SVF::CFLGraphBuilder</a>
408
- , <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
413
+ , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
414
+ , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
409
415
  , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
410
416
  , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
411
417
  , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -536,7 +542,7 @@ $(function() {
536
542
  : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
537
543
  </li>
538
544
  <li>buildSVFModule()
539
- : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
545
+ : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
540
546
  </li>
541
547
  <li>buildSymbolTable()
542
548
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>
@@ -553,12 +559,12 @@ $(function() {
553
559
  <li>buildVTables()
554
560
  : <a class="el" href="classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f">SVF::DCHGraph</a>
555
561
  </li>
556
- <li>BV
557
- : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
558
- </li>
559
562
  <li>bv
560
563
  : <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
561
564
  </li>
565
+ <li>BV
566
+ : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
567
+ </li>
562
568
  <li>bv2int
563
569
  : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
564
570
  , <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>
package/SVF-doxygen/html/functions_c.html CHANGED
@@ -983,6 +983,9 @@ $(function() {
983
983
  : <a class="el" href="classSVF_1_1MutablePTData.html#a5756fb30b7bd405c04defb49a7d688f7">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
984
984
  , <a class="el" href="classSVF_1_1PersistentPTData.html#a46ab9d8365d9f9db9d84f5b8bcd3309c">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
985
985
  </li>
986
+ <li>clearSolitaries()
987
+ : <a class="el" href="classSVF_1_1ConstraintGraph.html#a65c96cdd904e4240fbc7a044f89b91a1">SVF::ConstraintGraph</a>
988
+ </li>
986
989
  <li>clearStat()
987
990
  : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab4c205136b22a13b54ceb48135730d23">SVF::FlowSensitiveStat</a>
988
991
  , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a6664f28eab3052988ab9e89766373981">SVF::VersionedFlowSensitiveStat</a>
@@ -1017,7 +1020,7 @@ $(function() {
1017
1020
  , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
1018
1021
  </li>
1019
1022
  <li>CmpStmt()
1020
- : <a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">SVF::CmpStmt</a>
1023
+ : <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
1021
1024
  </li>
1022
1025
  <li>CmpVFGNode()
1023
1026
  : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1048,7 +1051,7 @@ $(function() {
1048
1051
  : <a class="el" href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator</a>
1049
1052
  </li>
1050
1053
  <li>collectCallsiteTargets()
1051
- : <a class="el" href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator</a>
1054
+ : <a class="el" href="classSVF_1_1MTAResultValidator.html#ae76dbc090bc0039de0c82fb9e9fa72bd">SVF::MTAResultValidator</a>
1052
1055
  </li>
1053
1056
  <li>collectCandidateQueries()
1054
1057
  : <a class="el" href="classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360">SVF::AliasDDAClient</a>
@@ -1084,7 +1087,7 @@ $(function() {
1084
1087
  , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder</a>
1085
1088
  </li>
1086
1089
  <li>collectInterleavingTargets()
1087
- : <a class="el" href="classSVF_1_1MTAResultValidator.html#a044d4c936df5b37496076c173f0dd503">SVF::MTAResultValidator</a>
1090
+ : <a class="el" href="classSVF_1_1MTAResultValidator.html#a3c3eacff786230d093d27615ff360ed4">SVF::MTAResultValidator</a>
1088
1091
  </li>
1089
1092
  <li>collectLoadStoreInst()
1090
1093
  : <a class="el" href="classSVF_1_1MTAAnnotator.html#ab84e4295f1137090bdf9e0608a4c2077">SVF::MTAAnnotator</a>
@@ -1188,7 +1191,7 @@ $(function() {
1188
1191
  : <a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath</a>
1189
1192
  </li>
1190
1193
  <li>computeDDAPts()
1191
- : <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
1194
+ : <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
1192
1195
  , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
1193
1196
  , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
1194
1197
  </li>
@@ -1293,10 +1296,10 @@ $(function() {
1293
1296
  : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
1294
1297
  </li>
1295
1298
  <li>CondStdSet()
1296
- : <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
1299
+ : <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
1297
1300
  </li>
1298
1301
  <li>CondVar()
1299
- : <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
1302
+ : <a class="el" href="classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f">SVF::CondVar&lt; Cond &gt;</a>
1300
1303
  </li>
1301
1304
  <li>connectAInAndFIn()
1302
1305
  : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1377,7 +1380,7 @@ $(function() {
1377
1380
  : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass</a>
1378
1381
  </li>
1379
1382
  <li>ConsExeState()
1380
- : <a class="el" href="classSVF_1_1ConsExeState.html#a61645ed0edcdab44f30f6e0e3989cb6d">SVF::ConsExeState</a>
1383
+ : <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
1381
1384
  </li>
1382
1385
  <li>const_alias_iterator
1383
1386
  : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>
@@ -1429,7 +1432,7 @@ $(function() {
1429
1432
  : <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
1430
1433
  </li>
1431
1434
  <li>constant_end()
1432
- : <a class="el" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule</a>
1435
+ : <a class="el" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule</a>
1433
1436
  </li>
1434
1437
  <li>ConstantObj
1435
1438
  : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f">SVF::SymbolTableInfo</a>
@@ -1508,7 +1511,7 @@ $(function() {
1508
1511
  : <a class="el" href="structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de">parse_buffer</a>
1509
1512
  </li>
1510
1513
  <li>contentToJson()
1511
- : <a class="el" href="classSVF_1_1SVFIRWriter.html#a9c11025e72dc0d50bd6c8861c987a9bd">SVF::SVFIRWriter</a>
1514
+ : <a class="el" href="classSVF_1_1SVFIRWriter.html#a6359ac9648777ff027a1be519fbdbef7">SVF::SVFIRWriter</a>
1512
1515
  </li>
1513
1516
  <li>context
1514
1517
  : <a class="el" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond</a>
@@ -1519,7 +1522,7 @@ $(function() {
1519
1522
  : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
1520
1523
  </li>
1521
1524
  <li>ContextCond()
1522
- : <a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">SVF::ContextCond</a>
1525
+ : <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
1523
1526
  </li>
1524
1527
  <li>ContextDDA()
1525
1528
  : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1539,7 +1542,7 @@ $(function() {
1539
1542
  , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
1540
1543
  </li>
1541
1544
  <li>CopyCGEdge()
1542
- : <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
1545
+ : <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
1543
1546
  </li>
1544
1547
  <li>copyInEdges
1545
1548
  : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1548,19 +1551,19 @@ $(function() {
1548
1551
  : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
1549
1552
  </li>
1550
1553
  <li>CopyStmt()
1551
- : <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
1554
+ : <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
1552
1555
  </li>
1553
1556
  <li>copyTime
1554
1557
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
1555
1558
  </li>
1556
1559
  <li>CopyVFGNode()
1557
- : <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
1560
+ : <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
1558
1561
  </li>
1559
1562
  <li>CoreBitVector()
1560
- : <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
1563
+ : <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
1561
1564
  </li>
1562
1565
  <li>CoreBitVectorIterator()
1563
- : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
1566
+ : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
1564
1567
  </li>
1565
1568
  <li>count()
1566
1569
  : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1867,7 +1870,7 @@ $(function() {
1867
1870
  : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
1868
1871
  </li>
1869
1872
  <li>CxtDPItem()
1870
- : <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
1873
+ : <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
1871
1874
  </li>
1872
1875
  <li>cxtJoinInLoop
1873
1876
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1887,12 +1890,12 @@ $(function() {
1887
1890
  <li>CxtLockProcVec
1888
1891
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
1889
1892
  </li>
1890
- <li>CxtLockSet
1891
- : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
1892
- </li>
1893
1893
  <li>cxtLockset
1894
1894
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
1895
1895
  </li>
1896
+ <li>CxtLockSet
1897
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
1898
+ </li>
1896
1899
  <li>cxtLockSet
1897
1900
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
1898
1901
  </li>
@@ -1902,20 +1905,20 @@ $(function() {
1902
1905
  <li>CxtLockToLockSet
1903
1906
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
1904
1907
  </li>
1905
- <li>cxtLocktoSpan
1906
- : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
1907
- </li>
1908
1908
  <li>CxtLockToSpan
1909
1909
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
1910
1910
  </li>
1911
+ <li>cxtLocktoSpan
1912
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
1913
+ </li>
1911
1914
  <li>CxtProc()
1912
- : <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
1915
+ : <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
1913
1916
  </li>
1914
1917
  <li>cxtSize()
1915
1918
  : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
1916
1919
  </li>
1917
1920
  <li>CxtStmt()
1918
- : <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
1921
+ : <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
1919
1922
  </li>
1920
1923
  <li>CxtStmtDPItem()
1921
1924
  : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
package/SVF-doxygen/html/functions_f.html CHANGED
@@ -652,12 +652,12 @@ $(function() {
652
652
  <li>funToModsMap
653
653
  : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
654
654
  </li>
655
- <li>funToMRsMap
656
- : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
657
- </li>
658
655
  <li>FunToMRsMap
659
656
  : <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
660
657
  </li>
658
+ <li>funToMRsMap
659
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
660
+ </li>
661
661
  <li>FunToNodeBSMap
662
662
  : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
663
663
  </li>
package/SVF-doxygen/html/functions_func_b.html CHANGED
@@ -130,6 +130,9 @@ $(function() {
130
130
  <li>bilateral()
131
131
  : <a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">SVF::RelationSolver</a>
132
132
  </li>
133
+ <li>Bilateral_time()
134
+ : <a class="el" href="classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217">SymblicAbstractionTest</a>
135
+ </li>
133
136
  <li>BinaryOPStmt()
134
137
  : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt</a>
135
138
  </li>
@@ -156,7 +159,7 @@ $(function() {
156
159
  : <a class="el" href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue</a>
157
160
  </li>
158
161
  <li>BoundedZ3Expr()
159
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">SVF::BoundedZ3Expr</a>
162
+ : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb">SVF::BoundedZ3Expr</a>
160
163
  </li>
161
164
  <li>BoxedOptSolver()
162
165
  : <a class="el" href="classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9">SVF::RelationSolver</a>
@@ -176,6 +179,9 @@ $(function() {
176
179
  <li>BS()
177
180
  : <a class="el" href="classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3">SVF::RelationSolver</a>
178
181
  </li>
182
+ <li>BS_time()
183
+ : <a class="el" href="classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759">SymblicAbstractionTest</a>
184
+ </li>
179
185
  <li>BufferOverflowBug()
180
186
  : <a class="el" href="classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec">SVF::BufferOverflowBug</a>
181
187
  </li>
@@ -184,7 +190,7 @@ $(function() {
184
190
  , <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">SVF::CFBasicBlockGBuilder</a>
185
191
  , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
186
192
  , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
187
- , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
193
+ , <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
188
194
  , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
189
195
  , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
190
196
  , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -312,7 +318,7 @@ $(function() {
312
318
  : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
313
319
  </li>
314
320
  <li>buildSVFModule()
315
- : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
321
+ : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
316
322
  </li>
317
323
  <li>buildSymbolTable()
318
324
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>