svf-tools 1.0.892 → 1.0.894

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 (276) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp.html +3 -3
  2. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1746 -1753
  3. package/SVF-doxygen/html/AbstractExecution_8h.html +0 -2
  4. package/SVF-doxygen/html/AbstractExecution_8h_source.html +284 -335
  5. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +773 -791
  6. package/SVF-doxygen/html/BufOverflowChecker_8h.html +0 -2
  7. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +48 -81
  8. package/SVF-doxygen/html/ae_8cpp.html +16 -19
  9. package/SVF-doxygen/html/ae_8cpp_source.html +16 -19
  10. package/SVF-doxygen/html/annotated.html +434 -436
  11. package/SVF-doxygen/html/classSVF_1_1AEStat.html +168 -168
  12. package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +49 -24
  13. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2533 -1041
  14. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +71 -41
  15. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +777 -63
  16. package/SVF-doxygen/html/classes.html +418 -421
  17. package/SVF-doxygen/html/functions.html +8 -12
  18. package/SVF-doxygen/html/functions_a.html +10 -11
  19. package/SVF-doxygen/html/functions_b.html +5 -9
  20. package/SVF-doxygen/html/functions_c.html +26 -28
  21. package/SVF-doxygen/html/functions_d.html +2 -2
  22. package/SVF-doxygen/html/functions_e.html +2 -2
  23. package/SVF-doxygen/html/functions_enum.html +1 -1
  24. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  25. package/SVF-doxygen/html/functions_eval_s.html +2 -2
  26. package/SVF-doxygen/html/functions_eval_u.html +1 -1
  27. package/SVF-doxygen/html/functions_func.html +9 -12
  28. package/SVF-doxygen/html/functions_func_b.html +2 -5
  29. package/SVF-doxygen/html/functions_func_c.html +25 -27
  30. package/SVF-doxygen/html/functions_func_d.html +2 -2
  31. package/SVF-doxygen/html/functions_func_g.html +15 -16
  32. package/SVF-doxygen/html/functions_func_h.html +6 -6
  33. package/SVF-doxygen/html/functions_func_i.html +9 -13
  34. package/SVF-doxygen/html/functions_func_p.html +1 -1
  35. package/SVF-doxygen/html/functions_func_s.html +19 -20
  36. package/SVF-doxygen/html/functions_func_t.html +1 -1
  37. package/SVF-doxygen/html/functions_func_~.html +0 -3
  38. package/SVF-doxygen/html/functions_g.html +21 -22
  39. package/SVF-doxygen/html/functions_h.html +6 -6
  40. package/SVF-doxygen/html/functions_i.html +15 -19
  41. package/SVF-doxygen/html/functions_l.html +5 -5
  42. package/SVF-doxygen/html/functions_m.html +2 -2
  43. package/SVF-doxygen/html/functions_o.html +15 -15
  44. package/SVF-doxygen/html/functions_p.html +13 -13
  45. package/SVF-doxygen/html/functions_r.html +4 -2
  46. package/SVF-doxygen/html/functions_s.html +21 -22
  47. package/SVF-doxygen/html/functions_t.html +5 -5
  48. package/SVF-doxygen/html/functions_type_c.html +1 -1
  49. package/SVF-doxygen/html/functions_u.html +1 -1
  50. package/SVF-doxygen/html/functions_vars.html +8 -12
  51. package/SVF-doxygen/html/functions_vars_b.html +0 -3
  52. package/SVF-doxygen/html/functions_w.html +7 -13
  53. package/SVF-doxygen/html/functions_~.html +0 -3
  54. package/SVF-doxygen/html/hierarchy.html +629 -631
  55. package/SVF-doxygen/html/namespaceSVF.html +5 -9
  56. package/SVF-doxygen/html/search/all_0.js +11 -11
  57. package/SVF-doxygen/html/search/all_1.js +5 -5
  58. package/SVF-doxygen/html/search/all_10.js +325 -325
  59. package/SVF-doxygen/html/search/all_11.js +226 -226
  60. package/SVF-doxygen/html/search/all_12.js +570 -570
  61. package/SVF-doxygen/html/search/all_13.js +207 -207
  62. package/SVF-doxygen/html/search/all_14.js +70 -70
  63. package/SVF-doxygen/html/search/all_15.js +176 -176
  64. package/SVF-doxygen/html/search/all_16.js +77 -77
  65. package/SVF-doxygen/html/search/all_17.js +1 -1
  66. package/SVF-doxygen/html/search/all_18.js +1 -1
  67. package/SVF-doxygen/html/search/all_19.js +26 -26
  68. package/SVF-doxygen/html/search/all_1a.js +179 -180
  69. package/SVF-doxygen/html/search/all_2.js +65 -66
  70. package/SVF-doxygen/html/search/all_3.js +640 -640
  71. package/SVF-doxygen/html/search/all_4.js +235 -235
  72. package/SVF-doxygen/html/search/all_5.js +126 -126
  73. package/SVF-doxygen/html/search/all_6.js +232 -232
  74. package/SVF-doxygen/html/search/all_7.js +1047 -1047
  75. package/SVF-doxygen/html/search/all_8.js +215 -215
  76. package/SVF-doxygen/html/search/all_9.js +629 -630
  77. package/SVF-doxygen/html/search/all_a.js +46 -46
  78. package/SVF-doxygen/html/search/all_b.js +26 -26
  79. package/SVF-doxygen/html/search/all_c.js +115 -115
  80. package/SVF-doxygen/html/search/all_d.js +204 -204
  81. package/SVF-doxygen/html/search/all_e.js +209 -209
  82. package/SVF-doxygen/html/search/all_f.js +122 -122
  83. package/SVF-doxygen/html/search/classes_0.js +28 -29
  84. package/SVF-doxygen/html/search/classes_1.js +11 -12
  85. package/SVF-doxygen/html/search/classes_10.js +74 -74
  86. package/SVF-doxygen/html/search/classes_11.js +14 -14
  87. package/SVF-doxygen/html/search/classes_12.js +2 -2
  88. package/SVF-doxygen/html/search/classes_13.js +10 -10
  89. package/SVF-doxygen/html/search/classes_14.js +19 -19
  90. package/SVF-doxygen/html/search/classes_15.js +1 -1
  91. package/SVF-doxygen/html/search/classes_2.js +73 -73
  92. package/SVF-doxygen/html/search/classes_3.js +35 -35
  93. package/SVF-doxygen/html/search/classes_4.js +8 -8
  94. package/SVF-doxygen/html/search/classes_5.js +28 -28
  95. package/SVF-doxygen/html/search/classes_6.js +98 -98
  96. package/SVF-doxygen/html/search/classes_7.js +38 -38
  97. package/SVF-doxygen/html/search/classes_8.js +59 -59
  98. package/SVF-doxygen/html/search/classes_9.js +1 -1
  99. package/SVF-doxygen/html/search/classes_a.js +12 -12
  100. package/SVF-doxygen/html/search/classes_b.js +29 -29
  101. package/SVF-doxygen/html/search/classes_c.js +6 -6
  102. package/SVF-doxygen/html/search/classes_d.js +19 -19
  103. package/SVF-doxygen/html/search/classes_e.js +36 -36
  104. package/SVF-doxygen/html/search/classes_f.js +25 -25
  105. package/SVF-doxygen/html/search/defines_0.js +3 -3
  106. package/SVF-doxygen/html/search/defines_1.js +3 -3
  107. package/SVF-doxygen/html/search/defines_10.js +2 -2
  108. package/SVF-doxygen/html/search/defines_2.js +30 -30
  109. package/SVF-doxygen/html/search/defines_3.js +20 -20
  110. package/SVF-doxygen/html/search/defines_4.js +3 -3
  111. package/SVF-doxygen/html/search/defines_5.js +4 -4
  112. package/SVF-doxygen/html/search/defines_6.js +2 -2
  113. package/SVF-doxygen/html/search/defines_7.js +5 -5
  114. package/SVF-doxygen/html/search/defines_8.js +11 -11
  115. package/SVF-doxygen/html/search/defines_9.js +9 -9
  116. package/SVF-doxygen/html/search/defines_a.js +2 -2
  117. package/SVF-doxygen/html/search/defines_b.js +1 -1
  118. package/SVF-doxygen/html/search/defines_c.js +4 -4
  119. package/SVF-doxygen/html/search/defines_d.js +2 -2
  120. package/SVF-doxygen/html/search/defines_e.js +8 -8
  121. package/SVF-doxygen/html/search/defines_f.js +4 -4
  122. package/SVF-doxygen/html/search/enums_0.js +4 -4
  123. package/SVF-doxygen/html/search/enums_1.js +2 -2
  124. package/SVF-doxygen/html/search/enums_10.js +1 -1
  125. package/SVF-doxygen/html/search/enums_11.js +1 -1
  126. package/SVF-doxygen/html/search/enums_2.js +8 -8
  127. package/SVF-doxygen/html/search/enums_3.js +1 -1
  128. package/SVF-doxygen/html/search/enums_4.js +4 -4
  129. package/SVF-doxygen/html/search/enums_5.js +1 -1
  130. package/SVF-doxygen/html/search/enums_6.js +2 -2
  131. package/SVF-doxygen/html/search/enums_7.js +2 -2
  132. package/SVF-doxygen/html/search/enums_8.js +4 -4
  133. package/SVF-doxygen/html/search/enums_9.js +1 -1
  134. package/SVF-doxygen/html/search/enums_a.js +1 -1
  135. package/SVF-doxygen/html/search/enums_b.js +7 -7
  136. package/SVF-doxygen/html/search/enums_c.js +1 -1
  137. package/SVF-doxygen/html/search/enums_d.js +4 -4
  138. package/SVF-doxygen/html/search/enums_e.js +2 -2
  139. package/SVF-doxygen/html/search/enums_f.js +4 -4
  140. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  141. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  142. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  143. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  144. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  145. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  146. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  147. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  148. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  149. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  150. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  151. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  152. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  153. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  154. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  155. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  156. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  157. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  158. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  159. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  160. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  161. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  162. package/SVF-doxygen/html/search/files_0.js +16 -16
  163. package/SVF-doxygen/html/search/files_1.js +9 -9
  164. package/SVF-doxygen/html/search/files_10.js +8 -8
  165. package/SVF-doxygen/html/search/files_11.js +8 -8
  166. package/SVF-doxygen/html/search/files_12.js +2 -2
  167. package/SVF-doxygen/html/search/files_2.js +53 -53
  168. package/SVF-doxygen/html/search/files_3.js +14 -14
  169. package/SVF-doxygen/html/search/files_4.js +5 -5
  170. package/SVF-doxygen/html/search/files_5.js +13 -13
  171. package/SVF-doxygen/html/search/files_6.js +10 -10
  172. package/SVF-doxygen/html/search/files_7.js +17 -17
  173. package/SVF-doxygen/html/search/files_8.js +13 -13
  174. package/SVF-doxygen/html/search/files_9.js +18 -18
  175. package/SVF-doxygen/html/search/files_a.js +3 -3
  176. package/SVF-doxygen/html/search/files_b.js +4 -4
  177. package/SVF-doxygen/html/search/files_c.js +20 -20
  178. package/SVF-doxygen/html/search/files_d.js +4 -4
  179. package/SVF-doxygen/html/search/files_e.js +62 -62
  180. package/SVF-doxygen/html/search/files_f.js +8 -8
  181. package/SVF-doxygen/html/search/functions_0.js +13 -13
  182. package/SVF-doxygen/html/search/functions_1.js +368 -369
  183. package/SVF-doxygen/html/search/functions_10.js +140 -140
  184. package/SVF-doxygen/html/search/functions_11.js +140 -140
  185. package/SVF-doxygen/html/search/functions_12.js +299 -299
  186. package/SVF-doxygen/html/search/functions_13.js +73 -73
  187. package/SVF-doxygen/html/search/functions_14.js +41 -41
  188. package/SVF-doxygen/html/search/functions_15.js +72 -72
  189. package/SVF-doxygen/html/search/functions_16.js +38 -38
  190. package/SVF-doxygen/html/search/functions_17.js +3 -3
  191. package/SVF-doxygen/html/search/functions_18.js +179 -180
  192. package/SVF-doxygen/html/search/functions_2.js +94 -95
  193. package/SVF-doxygen/html/search/functions_3.js +261 -261
  194. package/SVF-doxygen/html/search/functions_4.js +84 -84
  195. package/SVF-doxygen/html/search/functions_5.js +57 -57
  196. package/SVF-doxygen/html/search/functions_6.js +65 -65
  197. package/SVF-doxygen/html/search/functions_7.js +863 -863
  198. package/SVF-doxygen/html/search/functions_8.js +162 -162
  199. package/SVF-doxygen/html/search/functions_9.js +438 -439
  200. package/SVF-doxygen/html/search/functions_a.js +30 -30
  201. package/SVF-doxygen/html/search/functions_b.js +2 -2
  202. package/SVF-doxygen/html/search/functions_c.js +25 -25
  203. package/SVF-doxygen/html/search/functions_d.js +82 -82
  204. package/SVF-doxygen/html/search/functions_e.js +36 -36
  205. package/SVF-doxygen/html/search/functions_f.js +58 -58
  206. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  207. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  208. package/SVF-doxygen/html/search/related_0.js +4 -4
  209. package/SVF-doxygen/html/search/related_1.js +2 -2
  210. package/SVF-doxygen/html/search/related_2.js +2 -2
  211. package/SVF-doxygen/html/search/related_3.js +2 -2
  212. package/SVF-doxygen/html/search/related_4.js +2 -2
  213. package/SVF-doxygen/html/search/related_5.js +1 -1
  214. package/SVF-doxygen/html/search/related_6.js +2 -2
  215. package/SVF-doxygen/html/search/related_7.js +5 -5
  216. package/SVF-doxygen/html/search/related_8.js +2 -2
  217. package/SVF-doxygen/html/search/related_9.js +4 -4
  218. package/SVF-doxygen/html/search/related_a.js +19 -19
  219. package/SVF-doxygen/html/search/related_b.js +4 -4
  220. package/SVF-doxygen/html/search/related_c.js +2 -2
  221. package/SVF-doxygen/html/search/related_d.js +12 -12
  222. package/SVF-doxygen/html/search/related_e.js +2 -2
  223. package/SVF-doxygen/html/search/related_f.js +2 -2
  224. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  225. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  226. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  227. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  228. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  229. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  230. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  231. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  232. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  233. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  234. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  235. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  236. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  237. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  238. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  239. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  240. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  241. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  242. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  243. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  244. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  245. package/SVF-doxygen/html/search/variables_0.js +177 -177
  246. package/SVF-doxygen/html/search/variables_1.js +76 -76
  247. package/SVF-doxygen/html/search/variables_10.js +98 -98
  248. package/SVF-doxygen/html/search/variables_11.js +46 -46
  249. package/SVF-doxygen/html/search/variables_12.js +93 -93
  250. package/SVF-doxygen/html/search/variables_13.js +76 -76
  251. package/SVF-doxygen/html/search/variables_14.js +14 -14
  252. package/SVF-doxygen/html/search/variables_15.js +49 -49
  253. package/SVF-doxygen/html/search/variables_16.js +11 -11
  254. package/SVF-doxygen/html/search/variables_17.js +1 -1
  255. package/SVF-doxygen/html/search/variables_18.js +17 -17
  256. package/SVF-doxygen/html/search/variables_2.js +40 -41
  257. package/SVF-doxygen/html/search/variables_3.js +142 -142
  258. package/SVF-doxygen/html/search/variables_4.js +51 -51
  259. package/SVF-doxygen/html/search/variables_5.js +39 -39
  260. package/SVF-doxygen/html/search/variables_6.js +66 -66
  261. package/SVF-doxygen/html/search/variables_7.js +34 -34
  262. package/SVF-doxygen/html/search/variables_8.js +8 -8
  263. package/SVF-doxygen/html/search/variables_9.js +79 -79
  264. package/SVF-doxygen/html/search/variables_a.js +4 -4
  265. package/SVF-doxygen/html/search/variables_b.js +10 -10
  266. package/SVF-doxygen/html/search/variables_c.js +45 -45
  267. package/SVF-doxygen/html/search/variables_d.js +57 -57
  268. package/SVF-doxygen/html/search/variables_e.js +123 -123
  269. package/SVF-doxygen/html/search/variables_f.js +31 -31
  270. package/package.json +1 -1
  271. package/setup.sh +1 -1
  272. package/svf/include/AE/Svfexe/AbstractExecution.h +55 -102
  273. package/svf/include/AE/Svfexe/BufOverflowChecker.h +12 -33
  274. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +59 -64
  275. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +44 -59
  276. package/svf-llvm/tools/AE/ae.cpp +1 -2
@@ -1,73 +1,73 @@
1
1
  var searchData=
2
2
  [
3
- ['u32_5ft_6049',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
4
- ['u64_5ft_6050',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
5
- ['ub_6051',['ub',['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue']]],
6
- ['udiv_6052',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
7
- ['unaryop_6053',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
8
- ['unaryoperator_6054',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
9
- ['unaryopstmt_6055',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF::UnaryOPStmt'],['../classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582',1,'SVF::UnaryOPStmt::UnaryOPStmt()'],['../classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327',1,'SVF::UnaryOPStmt::UnaryOPStmt(const UnaryOPStmt &)'],['../classSVF_1_1UnaryOPStmt.html#a2b91333ac3d4b5e1099590aeb15d38ba',1,'SVF::UnaryOPStmt::UnaryOPStmt(SVFVar *s, SVFVar *d, u32_t oc)']]],
10
- ['unaryopvfgnode_6056',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF::UnaryOPVFGNode'],['../classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode()'],['../classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(const UnaryOPVFGNode &)'],['../classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(NodeID id, const PAGNode *r)']]],
11
- ['uncalled_6057',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
12
- ['unclassified_6058',['UNCLASSIFIED',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a',1,'SVF::AEAPI']]],
13
- ['undefvalue_6059',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
14
- ['unifyfunctionexit_6060',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
15
- ['unifyfunctionexitnodes_6061',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
16
- ['unioncache_6062',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
17
- ['unionddapts_6063',['unionDDAPts',['../classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b',1,'SVF::DDAVFSolver::unionDDAPts(CPtSet &pts, const CPtSet &targetPts)'],['../classSVF_1_1DDAVFSolver.html#ae7949e141978474f3b6cb510bacafa37',1,'SVF::DDAVFSolver::unionDDAPts(DPIm dpm, const CPtSet &targetPts)'],['../classSVF_1_1FlowDDA.html#aced776b355c545a3a4a6974be3623590',1,'SVF::FlowDDA::unionDDAPts()']]],
18
- ['unionpts_6064',['unionPts',['../classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd',1,'SVF::PTData::unionPts(const Key &dstVar, const Key &srcVar)=0'],['../classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0',1,'SVF::PTData::unionPts(const Key &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a598f4d08e52a60f7d38b8d436c7d1841',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd',1,'SVF::VersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutablePTData.html#a124e8cc8d2dbbd70682a4b7845e5d600',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutablePTData.html#abaf96c47ab029c6bc91ff23a4c061505',1,'SVF::MutablePTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDiffPTData.html#a746c384cf4633c3b07b4362e7b6c087a',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab675653138960b16f23c801298e80f48',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7',1,'SVF::MutableDFPTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a56e752a83620f482a4b1e2f8d395dd75',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a5647b7fad5c14f7ec57d3de3480758eb',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a9967c530d3955a0a726b7a00653ef0ba',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9ab46b7afc7f47df20e74bda300dc42',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9d24a4defb025c075e4ec5bc7f3b618',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b',1,'SVF::PersistentPointsToCache::unionPts()'],['../classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentPTData.html#a75f78272350b64aa00fd739f352fecb5',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const DataSet &srcData) override'],['../classSVF_1_1PersistentDiffPTData.html#ac8cb860b427962be8c6e1f17e5f0fc21',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDiffPTData.html#af6ccac71f0232e46fef1da82cba01959',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#a14419b91e9c790623060b10b13f9ad13',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae0eafb4667af1ba821247f9f4199d52f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a5e6ab689e9a9eefdd5f6bf04ab279940',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#adb56e144709cab8efe057c3215e30b9b',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#aaf048cdd17875dd3a9adca2aabcbfd7e',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#ab4828e2b42d646463bfd23c2154c3b8f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1BVDataPTAImpl.html#ad5e657b856681a534a8990df35ea08d0',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4',1,'SVF::CondPTAImpl::unionPts(CVar id, const CPtSet &target)'],['../classSVF_1_1CondPTAImpl.html#a4ad5da56c8b7bc75bf2dc30a1bcf1552',1,'SVF::CondPTAImpl::unionPts(CVar id, CVar ptd)'],['../classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4',1,'SVF::Andersen::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Andersen.html#a8da98a9d33a6e9be329309f4af65e969',1,'SVF::Andersen::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20',1,'SVF::Steensgaard::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Steensgaard.html#afcb7f051f50b65a09ec2bc065bb70735',1,'SVF::Steensgaard::unionPts(NodeID id, NodeID ptd)']]],
19
- ['unionptsfromid_6065',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
20
- ['unionptsfromin_6066',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
21
- ['unionptsfromtop_6067',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
22
- ['unionptsthroughids_6068',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
23
- ['unionwith_6069',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
24
- ['uniquecomplements_6070',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
25
- ['uniqueintersections_6071',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
26
- ['uniqueunions_6072',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
27
- ['unlocksites_6073',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
28
- ['unreachableinst_6074',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
29
- ['unset_6075',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
30
- ['update_5foffset_6076',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
31
- ['updatealiasmrs_6077',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
32
- ['updatealldfinfromin_6078',['updateAllDFInFromIn',['../classSVF_1_1DFPTData.html#a506a2be8f909663d59245254bddea00b',1,'SVF::DFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee',1,'SVF::MutableDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404',1,'SVF::MutableIncDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021',1,'SVF::PersistentDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe',1,'SVF::PersistentIncDFPTData::updateAllDFInFromIn()']]],
33
- ['updatealldfinfromout_6079',['updateAllDFInFromOut',['../classSVF_1_1DFPTData.html#a96a5d7e867095b3c215c73599fd31c19',1,'SVF::DFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e',1,'SVF::MutableDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb',1,'SVF::MutableIncDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced',1,'SVF::PersistentDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40',1,'SVF::PersistentIncDFPTData::updateAllDFInFromOut()']]],
34
- ['updatealldfoutfromin_6080',['updateAllDFOutFromIn',['../classSVF_1_1DFPTData.html#a7e4ae809b40d55448de0103746254158',1,'SVF::DFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5',1,'SVF::MutableDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04',1,'SVF::MutableIncDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177',1,'SVF::PersistentDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd',1,'SVF::PersistentIncDFPTData::updateAllDFOutFromIn()']]],
35
- ['updateancestorthreads_6081',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
36
- ['updateatvpts_6082',['updateATVPts',['../classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52',1,'SVF::DFPTData::updateATVPts()'],['../classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914',1,'SVF::MutableDFPTData::updateATVPts()'],['../classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9',1,'SVF::MutableIncDFPTData::updateATVPts()'],['../classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b',1,'SVF::PersistentDFPTData::updateATVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906',1,'SVF::PersistentIncDFPTData::updateATVPts()']]],
37
- ['updatecachedpointsto_6083',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
38
- ['updatecallgraph_6084',['updateCallGraph',['../classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767',1,'SVF::SVFIRBuilder::updateCallGraph()'],['../classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa',1,'SVF::CFLAlias::updateCallGraph()'],['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#aad0bf334d3c749240ca27b4bcfd6eeab',1,'SVF::FlowSensitive::updateCallGraph()'],['../classSVF_1_1Steensgaard.html#a86e82b92b1a5029c3c9499c7bd7b9ae0',1,'SVF::Steensgaard::updateCallGraph()']]],
39
- ['updatecallgraphandsvfg_6085',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
40
- ['updatecallgraphtime_6086',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
41
- ['updateconnectednodes_6087',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
42
- ['updatedfinfromin_6088',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
43
- ['updatedfinfromout_6089',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],
44
- ['updatedfoutfromin_6090',['updateDFOutFromIn',['../classSVF_1_1DFPTData.html#acee5fb134d3153ae6eb91c15cd2cff66',1,'SVF::DFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a',1,'SVF::MutableDFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989',1,'SVF::MutableIncDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155',1,'SVF::PersistentDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5',1,'SVF::PersistentIncDFPTData::updateDFOutFromIn()']]],
45
- ['updatedvarconstiter_6091',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
46
- ['updatedvarmap_6092',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
47
- ['updatedvarmapiter_6093',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
48
- ['updateinfromin_6094',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
49
- ['updateinfromout_6095',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
50
- ['updatejoinedge_6096',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
51
- ['updatemap_6097',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
52
- ['updatenoderepandsubs_6098',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
53
- ['updatenoncandidatefuninterleaving_6099',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
54
- ['updateoutfromin_6100',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
55
- ['updatepropapts_6101',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
56
- ['updatepropaptsmap_6102',['updatePropaPtsMap',['../classSVF_1_1DiffPTData.html#a0f422f826bb378ebb34199f0378e351d',1,'SVF::DiffPTData::updatePropaPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278',1,'SVF::MutableDiffPTData::updatePropaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9',1,'SVF::PersistentDiffPTData::updatePropaPtsMap()']]],
57
- ['updaterepnode_6103',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
58
- ['updatesiblingthreads_6104',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
59
- ['updatesubandrep_6105',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
60
- ['updatetime_6106',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
61
- ['updatetlvpts_6107',['updateTLVPts',['../classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872',1,'SVF::DFPTData::updateTLVPts()'],['../classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6',1,'SVF::MutableDFPTData::updateTLVPts()'],['../classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc',1,'SVF::MutableIncDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453',1,'SVF::PersistentDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34',1,'SVF::PersistentIncDFPTData::updateTLVPts()']]],
62
- ['urem_6108',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
63
- ['usageandexit_6109',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
64
- ['use_6110',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
65
- ['usedmrvers_6111',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
66
- ['usedregs_6112',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
67
- ['usepcg_6113',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
68
- ['useprecompfieldsensitive_6114',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
69
- ['user_6115',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
70
- ['userinput_6116',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
71
- ['userinputquery_6117',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
72
- ['utf16_5fliteral_5fto_5futf8_6118',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
3
+ ['u32_5ft_6047',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
4
+ ['u64_5ft_6048',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
5
+ ['ub_6049',['ub',['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue']]],
6
+ ['udiv_6050',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
7
+ ['unaryop_6051',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
8
+ ['unaryoperator_6052',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
9
+ ['unaryopstmt_6053',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF::UnaryOPStmt'],['../classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582',1,'SVF::UnaryOPStmt::UnaryOPStmt()'],['../classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327',1,'SVF::UnaryOPStmt::UnaryOPStmt(const UnaryOPStmt &)'],['../classSVF_1_1UnaryOPStmt.html#a2b91333ac3d4b5e1099590aeb15d38ba',1,'SVF::UnaryOPStmt::UnaryOPStmt(SVFVar *s, SVFVar *d, u32_t oc)']]],
10
+ ['unaryopvfgnode_6054',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF::UnaryOPVFGNode'],['../classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode()'],['../classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(const UnaryOPVFGNode &)'],['../classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(NodeID id, const PAGNode *r)']]],
11
+ ['uncalled_6055',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
12
+ ['unclassified_6056',['UNCLASSIFIED',['../classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc',1,'SVF::AbstractExecution']]],
13
+ ['undefvalue_6057',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
14
+ ['unifyfunctionexit_6058',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
15
+ ['unifyfunctionexitnodes_6059',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
16
+ ['unioncache_6060',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
17
+ ['unionddapts_6061',['unionDDAPts',['../classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b',1,'SVF::DDAVFSolver::unionDDAPts(CPtSet &pts, const CPtSet &targetPts)'],['../classSVF_1_1DDAVFSolver.html#ae7949e141978474f3b6cb510bacafa37',1,'SVF::DDAVFSolver::unionDDAPts(DPIm dpm, const CPtSet &targetPts)'],['../classSVF_1_1FlowDDA.html#aced776b355c545a3a4a6974be3623590',1,'SVF::FlowDDA::unionDDAPts()']]],
18
+ ['unionpts_6062',['unionPts',['../classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd',1,'SVF::PTData::unionPts(const Key &dstVar, const Key &srcVar)=0'],['../classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0',1,'SVF::PTData::unionPts(const Key &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a598f4d08e52a60f7d38b8d436c7d1841',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd',1,'SVF::VersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutablePTData.html#a124e8cc8d2dbbd70682a4b7845e5d600',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutablePTData.html#abaf96c47ab029c6bc91ff23a4c061505',1,'SVF::MutablePTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDiffPTData.html#a746c384cf4633c3b07b4362e7b6c087a',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab675653138960b16f23c801298e80f48',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7',1,'SVF::MutableDFPTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a56e752a83620f482a4b1e2f8d395dd75',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a5647b7fad5c14f7ec57d3de3480758eb',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a9967c530d3955a0a726b7a00653ef0ba',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9ab46b7afc7f47df20e74bda300dc42',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9d24a4defb025c075e4ec5bc7f3b618',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b',1,'SVF::PersistentPointsToCache::unionPts()'],['../classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentPTData.html#a75f78272350b64aa00fd739f352fecb5',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const DataSet &srcData) override'],['../classSVF_1_1PersistentDiffPTData.html#ac8cb860b427962be8c6e1f17e5f0fc21',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDiffPTData.html#af6ccac71f0232e46fef1da82cba01959',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#a14419b91e9c790623060b10b13f9ad13',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae0eafb4667af1ba821247f9f4199d52f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a5e6ab689e9a9eefdd5f6bf04ab279940',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#adb56e144709cab8efe057c3215e30b9b',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#aaf048cdd17875dd3a9adca2aabcbfd7e',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#ab4828e2b42d646463bfd23c2154c3b8f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1BVDataPTAImpl.html#ad5e657b856681a534a8990df35ea08d0',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4',1,'SVF::CondPTAImpl::unionPts(CVar id, const CPtSet &target)'],['../classSVF_1_1CondPTAImpl.html#a4ad5da56c8b7bc75bf2dc30a1bcf1552',1,'SVF::CondPTAImpl::unionPts(CVar id, CVar ptd)'],['../classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4',1,'SVF::Andersen::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Andersen.html#a8da98a9d33a6e9be329309f4af65e969',1,'SVF::Andersen::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20',1,'SVF::Steensgaard::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Steensgaard.html#afcb7f051f50b65a09ec2bc065bb70735',1,'SVF::Steensgaard::unionPts(NodeID id, NodeID ptd)']]],
19
+ ['unionptsfromid_6063',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
20
+ ['unionptsfromin_6064',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
21
+ ['unionptsfromtop_6065',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
22
+ ['unionptsthroughids_6066',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
23
+ ['unionwith_6067',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
24
+ ['uniquecomplements_6068',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
25
+ ['uniqueintersections_6069',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
26
+ ['uniqueunions_6070',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
27
+ ['unlocksites_6071',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
28
+ ['unreachableinst_6072',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
29
+ ['unset_6073',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
30
+ ['update_5foffset_6074',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
31
+ ['updatealiasmrs_6075',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
32
+ ['updatealldfinfromin_6076',['updateAllDFInFromIn',['../classSVF_1_1DFPTData.html#a506a2be8f909663d59245254bddea00b',1,'SVF::DFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee',1,'SVF::MutableDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404',1,'SVF::MutableIncDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021',1,'SVF::PersistentDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe',1,'SVF::PersistentIncDFPTData::updateAllDFInFromIn()']]],
33
+ ['updatealldfinfromout_6077',['updateAllDFInFromOut',['../classSVF_1_1DFPTData.html#a96a5d7e867095b3c215c73599fd31c19',1,'SVF::DFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e',1,'SVF::MutableDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb',1,'SVF::MutableIncDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced',1,'SVF::PersistentDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40',1,'SVF::PersistentIncDFPTData::updateAllDFInFromOut()']]],
34
+ ['updatealldfoutfromin_6078',['updateAllDFOutFromIn',['../classSVF_1_1DFPTData.html#a7e4ae809b40d55448de0103746254158',1,'SVF::DFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5',1,'SVF::MutableDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04',1,'SVF::MutableIncDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177',1,'SVF::PersistentDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd',1,'SVF::PersistentIncDFPTData::updateAllDFOutFromIn()']]],
35
+ ['updateancestorthreads_6079',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
36
+ ['updateatvpts_6080',['updateATVPts',['../classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52',1,'SVF::DFPTData::updateATVPts()'],['../classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914',1,'SVF::MutableDFPTData::updateATVPts()'],['../classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9',1,'SVF::MutableIncDFPTData::updateATVPts()'],['../classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b',1,'SVF::PersistentDFPTData::updateATVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906',1,'SVF::PersistentIncDFPTData::updateATVPts()']]],
37
+ ['updatecachedpointsto_6081',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
38
+ ['updatecallgraph_6082',['updateCallGraph',['../classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767',1,'SVF::SVFIRBuilder::updateCallGraph()'],['../classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa',1,'SVF::CFLAlias::updateCallGraph()'],['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#aad0bf334d3c749240ca27b4bcfd6eeab',1,'SVF::FlowSensitive::updateCallGraph()'],['../classSVF_1_1Steensgaard.html#a86e82b92b1a5029c3c9499c7bd7b9ae0',1,'SVF::Steensgaard::updateCallGraph()']]],
39
+ ['updatecallgraphandsvfg_6083',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
40
+ ['updatecallgraphtime_6084',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
41
+ ['updateconnectednodes_6085',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
42
+ ['updatedfinfromin_6086',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
43
+ ['updatedfinfromout_6087',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],
44
+ ['updatedfoutfromin_6088',['updateDFOutFromIn',['../classSVF_1_1DFPTData.html#acee5fb134d3153ae6eb91c15cd2cff66',1,'SVF::DFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a',1,'SVF::MutableDFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989',1,'SVF::MutableIncDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155',1,'SVF::PersistentDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5',1,'SVF::PersistentIncDFPTData::updateDFOutFromIn()']]],
45
+ ['updatedvarconstiter_6089',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
46
+ ['updatedvarmap_6090',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
47
+ ['updatedvarmapiter_6091',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
48
+ ['updateinfromin_6092',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
49
+ ['updateinfromout_6093',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
50
+ ['updatejoinedge_6094',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
51
+ ['updatemap_6095',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
52
+ ['updatenoderepandsubs_6096',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
53
+ ['updatenoncandidatefuninterleaving_6097',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
54
+ ['updateoutfromin_6098',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
55
+ ['updatepropapts_6099',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
56
+ ['updatepropaptsmap_6100',['updatePropaPtsMap',['../classSVF_1_1DiffPTData.html#a0f422f826bb378ebb34199f0378e351d',1,'SVF::DiffPTData::updatePropaPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278',1,'SVF::MutableDiffPTData::updatePropaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9',1,'SVF::PersistentDiffPTData::updatePropaPtsMap()']]],
57
+ ['updaterepnode_6101',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
58
+ ['updatesiblingthreads_6102',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
59
+ ['updatesubandrep_6103',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
60
+ ['updatetime_6104',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
61
+ ['updatetlvpts_6105',['updateTLVPts',['../classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872',1,'SVF::DFPTData::updateTLVPts()'],['../classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6',1,'SVF::MutableDFPTData::updateTLVPts()'],['../classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc',1,'SVF::MutableIncDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453',1,'SVF::PersistentDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34',1,'SVF::PersistentIncDFPTData::updateTLVPts()']]],
62
+ ['urem_6106',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
63
+ ['usageandexit_6107',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
64
+ ['use_6108',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
65
+ ['usedmrvers_6109',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
66
+ ['usedregs_6110',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
67
+ ['usepcg_6111',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
68
+ ['useprecompfieldsensitive_6112',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
69
+ ['user_6113',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
70
+ ['userinput_6114',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
71
+ ['userinputquery_6115',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
72
+ ['utf16_5fliteral_5fto_5futf8_6116',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
73
73
  ];