svf-tools 1.0.913 → 1.0.915

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 (264) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +7 -5
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1593 -1610
  3. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +157 -144
  4. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +797 -786
  5. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +7 -7
  6. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +815 -826
  7. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +153 -196
  8. package/SVF-doxygen/html/classSVF_1_1AEStat.html +116 -120
  9. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +33 -33
  10. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1739 -1684
  11. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +33 -33
  12. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +471 -462
  13. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +35 -47
  14. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +1261 -1546
  15. package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html +0 -2
  16. package/SVF-doxygen/html/files.html +0 -1
  17. package/SVF-doxygen/html/functions.html +4 -7
  18. package/SVF-doxygen/html/functions_a.html +2 -2
  19. package/SVF-doxygen/html/functions_f.html +3 -3
  20. package/SVF-doxygen/html/functions_func.html +2 -2
  21. package/SVF-doxygen/html/functions_func_g.html +16 -16
  22. package/SVF-doxygen/html/functions_func_h.html +21 -57
  23. package/SVF-doxygen/html/functions_func_i.html +21 -12
  24. package/SVF-doxygen/html/functions_func_n.html +1 -1
  25. package/SVF-doxygen/html/functions_func_s.html +13 -19
  26. package/SVF-doxygen/html/functions_func_t.html +1 -1
  27. package/SVF-doxygen/html/functions_func_w.html +1 -1
  28. package/SVF-doxygen/html/functions_g.html +16 -16
  29. package/SVF-doxygen/html/functions_h.html +18 -54
  30. package/SVF-doxygen/html/functions_i.html +32 -23
  31. package/SVF-doxygen/html/functions_l.html +3 -3
  32. package/SVF-doxygen/html/functions_n.html +1 -1
  33. package/SVF-doxygen/html/functions_o.html +4 -4
  34. package/SVF-doxygen/html/functions_p.html +19 -17
  35. package/SVF-doxygen/html/functions_r.html +6 -6
  36. package/SVF-doxygen/html/functions_s.html +18 -26
  37. package/SVF-doxygen/html/functions_t.html +4 -4
  38. package/SVF-doxygen/html/functions_v.html +6 -6
  39. package/SVF-doxygen/html/functions_vars.html +4 -7
  40. package/SVF-doxygen/html/functions_w.html +1 -1
  41. package/SVF-doxygen/html/search/all_0.js +131 -132
  42. package/SVF-doxygen/html/search/all_1.js +504 -504
  43. package/SVF-doxygen/html/search/all_10.js +326 -326
  44. package/SVF-doxygen/html/search/all_11.js +227 -227
  45. package/SVF-doxygen/html/search/all_12.js +559 -562
  46. package/SVF-doxygen/html/search/all_13.js +186 -186
  47. package/SVF-doxygen/html/search/all_14.js +74 -74
  48. package/SVF-doxygen/html/search/all_15.js +175 -175
  49. package/SVF-doxygen/html/search/all_16.js +77 -77
  50. package/SVF-doxygen/html/search/all_17.js +1 -1
  51. package/SVF-doxygen/html/search/all_18.js +1 -1
  52. package/SVF-doxygen/html/search/all_19.js +27 -27
  53. package/SVF-doxygen/html/search/all_1a.js +174 -174
  54. package/SVF-doxygen/html/search/all_2.js +180 -180
  55. package/SVF-doxygen/html/search/all_3.js +635 -635
  56. package/SVF-doxygen/html/search/all_4.js +237 -237
  57. package/SVF-doxygen/html/search/all_5.js +120 -120
  58. package/SVF-doxygen/html/search/all_6.js +236 -236
  59. package/SVF-doxygen/html/search/all_7.js +1039 -1039
  60. package/SVF-doxygen/html/search/all_8.js +212 -224
  61. package/SVF-doxygen/html/search/all_9.js +630 -627
  62. package/SVF-doxygen/html/search/all_a.js +46 -46
  63. package/SVF-doxygen/html/search/all_b.js +24 -24
  64. package/SVF-doxygen/html/search/all_c.js +111 -111
  65. package/SVF-doxygen/html/search/all_d.js +204 -204
  66. package/SVF-doxygen/html/search/all_e.js +207 -207
  67. package/SVF-doxygen/html/search/all_f.js +122 -122
  68. package/SVF-doxygen/html/search/classes_0.js +29 -29
  69. package/SVF-doxygen/html/search/classes_1.js +11 -11
  70. package/SVF-doxygen/html/search/classes_10.js +71 -71
  71. package/SVF-doxygen/html/search/classes_11.js +14 -14
  72. package/SVF-doxygen/html/search/classes_12.js +2 -2
  73. package/SVF-doxygen/html/search/classes_13.js +10 -10
  74. package/SVF-doxygen/html/search/classes_14.js +19 -19
  75. package/SVF-doxygen/html/search/classes_15.js +1 -1
  76. package/SVF-doxygen/html/search/classes_2.js +72 -72
  77. package/SVF-doxygen/html/search/classes_3.js +35 -35
  78. package/SVF-doxygen/html/search/classes_4.js +7 -7
  79. package/SVF-doxygen/html/search/classes_5.js +28 -28
  80. package/SVF-doxygen/html/search/classes_6.js +98 -98
  81. package/SVF-doxygen/html/search/classes_7.js +33 -33
  82. package/SVF-doxygen/html/search/classes_8.js +57 -57
  83. package/SVF-doxygen/html/search/classes_9.js +1 -1
  84. package/SVF-doxygen/html/search/classes_a.js +12 -12
  85. package/SVF-doxygen/html/search/classes_b.js +29 -29
  86. package/SVF-doxygen/html/search/classes_c.js +6 -6
  87. package/SVF-doxygen/html/search/classes_d.js +19 -19
  88. package/SVF-doxygen/html/search/classes_e.js +36 -36
  89. package/SVF-doxygen/html/search/classes_f.js +25 -25
  90. package/SVF-doxygen/html/search/defines_0.js +3 -3
  91. package/SVF-doxygen/html/search/defines_1.js +3 -3
  92. package/SVF-doxygen/html/search/defines_10.js +2 -2
  93. package/SVF-doxygen/html/search/defines_2.js +30 -30
  94. package/SVF-doxygen/html/search/defines_3.js +20 -20
  95. package/SVF-doxygen/html/search/defines_4.js +3 -3
  96. package/SVF-doxygen/html/search/defines_5.js +4 -4
  97. package/SVF-doxygen/html/search/defines_6.js +2 -2
  98. package/SVF-doxygen/html/search/defines_7.js +5 -5
  99. package/SVF-doxygen/html/search/defines_8.js +11 -11
  100. package/SVF-doxygen/html/search/defines_9.js +9 -9
  101. package/SVF-doxygen/html/search/defines_a.js +2 -2
  102. package/SVF-doxygen/html/search/defines_b.js +1 -1
  103. package/SVF-doxygen/html/search/defines_c.js +3 -3
  104. package/SVF-doxygen/html/search/defines_d.js +2 -2
  105. package/SVF-doxygen/html/search/defines_e.js +8 -8
  106. package/SVF-doxygen/html/search/defines_f.js +4 -4
  107. package/SVF-doxygen/html/search/enums_0.js +3 -3
  108. package/SVF-doxygen/html/search/enums_1.js +2 -2
  109. package/SVF-doxygen/html/search/enums_10.js +1 -1
  110. package/SVF-doxygen/html/search/enums_11.js +1 -1
  111. package/SVF-doxygen/html/search/enums_2.js +9 -9
  112. package/SVF-doxygen/html/search/enums_3.js +2 -2
  113. package/SVF-doxygen/html/search/enums_4.js +3 -3
  114. package/SVF-doxygen/html/search/enums_5.js +1 -1
  115. package/SVF-doxygen/html/search/enums_6.js +2 -2
  116. package/SVF-doxygen/html/search/enums_7.js +2 -2
  117. package/SVF-doxygen/html/search/enums_8.js +4 -4
  118. package/SVF-doxygen/html/search/enums_9.js +1 -1
  119. package/SVF-doxygen/html/search/enums_a.js +1 -1
  120. package/SVF-doxygen/html/search/enums_b.js +7 -7
  121. package/SVF-doxygen/html/search/enums_c.js +1 -1
  122. package/SVF-doxygen/html/search/enums_d.js +4 -4
  123. package/SVF-doxygen/html/search/enums_e.js +2 -2
  124. package/SVF-doxygen/html/search/enums_f.js +4 -4
  125. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  126. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  127. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  128. package/SVF-doxygen/html/search/enumvalues_11.js +6 -6
  129. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  130. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  131. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  132. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  133. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  134. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  135. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  136. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  137. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  138. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  139. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  140. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  141. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  142. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  143. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  144. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  145. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  146. package/SVF-doxygen/html/search/enumvalues_f.js +48 -48
  147. package/SVF-doxygen/html/search/files_0.js +18 -18
  148. package/SVF-doxygen/html/search/files_1.js +9 -9
  149. package/SVF-doxygen/html/search/files_10.js +8 -8
  150. package/SVF-doxygen/html/search/files_11.js +8 -8
  151. package/SVF-doxygen/html/search/files_12.js +2 -2
  152. package/SVF-doxygen/html/search/files_2.js +51 -51
  153. package/SVF-doxygen/html/search/files_3.js +14 -14
  154. package/SVF-doxygen/html/search/files_4.js +3 -3
  155. package/SVF-doxygen/html/search/files_5.js +13 -13
  156. package/SVF-doxygen/html/search/files_6.js +10 -10
  157. package/SVF-doxygen/html/search/files_7.js +15 -15
  158. package/SVF-doxygen/html/search/files_8.js +13 -13
  159. package/SVF-doxygen/html/search/files_9.js +18 -18
  160. package/SVF-doxygen/html/search/files_a.js +3 -3
  161. package/SVF-doxygen/html/search/files_b.js +4 -4
  162. package/SVF-doxygen/html/search/files_c.js +20 -20
  163. package/SVF-doxygen/html/search/files_d.js +4 -4
  164. package/SVF-doxygen/html/search/files_e.js +56 -57
  165. package/SVF-doxygen/html/search/files_f.js +8 -8
  166. package/SVF-doxygen/html/search/functions_0.js +13 -13
  167. package/SVF-doxygen/html/search/functions_1.js +366 -366
  168. package/SVF-doxygen/html/search/functions_10.js +140 -140
  169. package/SVF-doxygen/html/search/functions_11.js +140 -140
  170. package/SVF-doxygen/html/search/functions_12.js +291 -293
  171. package/SVF-doxygen/html/search/functions_13.js +52 -52
  172. package/SVF-doxygen/html/search/functions_14.js +41 -41
  173. package/SVF-doxygen/html/search/functions_15.js +70 -70
  174. package/SVF-doxygen/html/search/functions_16.js +38 -38
  175. package/SVF-doxygen/html/search/functions_17.js +3 -3
  176. package/SVF-doxygen/html/search/functions_18.js +174 -174
  177. package/SVF-doxygen/html/search/functions_2.js +92 -92
  178. package/SVF-doxygen/html/search/functions_3.js +257 -257
  179. package/SVF-doxygen/html/search/functions_4.js +85 -85
  180. package/SVF-doxygen/html/search/functions_5.js +54 -54
  181. package/SVF-doxygen/html/search/functions_6.js +65 -65
  182. package/SVF-doxygen/html/search/functions_7.js +857 -857
  183. package/SVF-doxygen/html/search/functions_8.js +164 -176
  184. package/SVF-doxygen/html/search/functions_9.js +439 -436
  185. package/SVF-doxygen/html/search/functions_a.js +30 -30
  186. package/SVF-doxygen/html/search/functions_b.js +2 -2
  187. package/SVF-doxygen/html/search/functions_c.js +22 -22
  188. package/SVF-doxygen/html/search/functions_d.js +81 -81
  189. package/SVF-doxygen/html/search/functions_e.js +34 -34
  190. package/SVF-doxygen/html/search/functions_f.js +58 -58
  191. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  192. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  193. package/SVF-doxygen/html/search/related_0.js +4 -4
  194. package/SVF-doxygen/html/search/related_1.js +2 -2
  195. package/SVF-doxygen/html/search/related_2.js +2 -2
  196. package/SVF-doxygen/html/search/related_3.js +2 -2
  197. package/SVF-doxygen/html/search/related_4.js +2 -2
  198. package/SVF-doxygen/html/search/related_5.js +1 -1
  199. package/SVF-doxygen/html/search/related_6.js +2 -2
  200. package/SVF-doxygen/html/search/related_7.js +5 -5
  201. package/SVF-doxygen/html/search/related_8.js +2 -2
  202. package/SVF-doxygen/html/search/related_9.js +4 -4
  203. package/SVF-doxygen/html/search/related_a.js +19 -19
  204. package/SVF-doxygen/html/search/related_b.js +4 -4
  205. package/SVF-doxygen/html/search/related_c.js +2 -2
  206. package/SVF-doxygen/html/search/related_d.js +11 -11
  207. package/SVF-doxygen/html/search/related_e.js +2 -2
  208. package/SVF-doxygen/html/search/related_f.js +2 -2
  209. package/SVF-doxygen/html/search/typedefs_0.js +20 -20
  210. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  211. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  212. package/SVF-doxygen/html/search/typedefs_11.js +12 -12
  213. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  214. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  215. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  216. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  217. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  218. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  219. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  220. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  221. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  222. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  223. package/SVF-doxygen/html/search/typedefs_9.js +4 -4
  224. package/SVF-doxygen/html/search/typedefs_a.js +28 -28
  225. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  226. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  227. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  228. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  229. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  230. package/SVF-doxygen/html/search/variables_0.js +169 -170
  231. package/SVF-doxygen/html/search/variables_1.js +78 -78
  232. package/SVF-doxygen/html/search/variables_10.js +98 -98
  233. package/SVF-doxygen/html/search/variables_11.js +47 -47
  234. package/SVF-doxygen/html/search/variables_12.js +93 -93
  235. package/SVF-doxygen/html/search/variables_13.js +76 -76
  236. package/SVF-doxygen/html/search/variables_14.js +14 -14
  237. package/SVF-doxygen/html/search/variables_15.js +49 -49
  238. package/SVF-doxygen/html/search/variables_16.js +11 -11
  239. package/SVF-doxygen/html/search/variables_17.js +1 -1
  240. package/SVF-doxygen/html/search/variables_18.js +17 -17
  241. package/SVF-doxygen/html/search/variables_2.js +40 -40
  242. package/SVF-doxygen/html/search/variables_3.js +143 -143
  243. package/SVF-doxygen/html/search/variables_4.js +51 -51
  244. package/SVF-doxygen/html/search/variables_5.js +39 -39
  245. package/SVF-doxygen/html/search/variables_6.js +66 -66
  246. package/SVF-doxygen/html/search/variables_7.js +32 -32
  247. package/SVF-doxygen/html/search/variables_8.js +8 -8
  248. package/SVF-doxygen/html/search/variables_9.js +80 -80
  249. package/SVF-doxygen/html/search/variables_a.js +4 -4
  250. package/SVF-doxygen/html/search/variables_b.js +10 -10
  251. package/SVF-doxygen/html/search/variables_c.js +44 -44
  252. package/SVF-doxygen/html/search/variables_d.js +58 -58
  253. package/SVF-doxygen/html/search/variables_e.js +123 -123
  254. package/SVF-doxygen/html/search/variables_f.js +31 -31
  255. package/SVF-doxygen/html/svf-ex_8cpp.html +199 -197
  256. package/SVF-doxygen/html/svf-ex_8cpp_source.html +204 -202
  257. package/package.json +1 -1
  258. package/svf/include/AE/Svfexe/AbstractInterpretation.h +28 -21
  259. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +37 -67
  260. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +153 -169
  261. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +64 -54
  262. package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +134 -146
  263. package/svf-llvm/tools/Example/svf-ex.cpp +13 -12
  264. package/svf/lib/AE/Core/SVFIR2Relation.cpp +0 -193
@@ -1,77 +1,77 @@
1
1
  var searchData=
2
2
  [
3
- ['u16_5ft_6000',['u16_t',['../namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93',1,'SVF']]],
4
- ['u32_5ft_6001',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
5
- ['u64_5ft_6002',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
6
- ['u8_5ft_6003',['u8_t',['../namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7',1,'SVF']]],
7
- ['ub_6004',['ub',['../structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02',1,'SVF::AbstractValue::ub()'],['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue::ub()']]],
8
- ['udiv_6005',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
9
- ['uitofp_6006',['UITOFP',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a821cd6daeaee15b117b41a272f743ff1',1,'SVF::CopyStmt']]],
10
- ['unaryop_6007',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
11
- ['unaryoperator_6008',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
12
- ['unaryopstmt_6009',['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)']]],
13
- ['unaryopvfgnode_6010',['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)']]],
14
- ['uncalled_6011',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
15
- ['unclassified_6012',['UNCLASSIFIED',['../classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daad20658cd0f68b92583461b0b1f68d543',1,'SVF::AbstractInterpretation']]],
16
- ['undefvalue_6013',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
17
- ['unifyfunctionexit_6014',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
18
- ['unifyfunctionexitnodes_6015',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
19
- ['unioncache_6016',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
20
- ['unionddapts_6017',['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()']]],
21
- ['unionpts_6018',['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)']]],
22
- ['unionptsfromid_6019',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
23
- ['unionptsfromin_6020',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
24
- ['unionptsfromtop_6021',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
25
- ['unionptsthroughids_6022',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
26
- ['unionwith_6023',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
27
- ['uniquecomplements_6024',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
28
- ['uniqueintersections_6025',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
29
- ['uniqueunions_6026',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
30
- ['unknowntype_6027',['UnknownType',['../structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a',1,'SVF::AbstractValue']]],
31
- ['unlocksites_6028',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
32
- ['unreachableinst_6029',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
33
- ['unset_6030',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
34
- ['update_5foffset_6031',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
35
- ['updatealiasmrs_6032',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
36
- ['updatealldfinfromin_6033',['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()']]],
37
- ['updatealldfinfromout_6034',['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()']]],
38
- ['updatealldfoutfromin_6035',['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()']]],
39
- ['updateancestorthreads_6036',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
40
- ['updateatvpts_6037',['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()']]],
41
- ['updatecachedpointsto_6038',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
42
- ['updatecallgraph_6039',['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()']]],
43
- ['updatecallgraphandsvfg_6040',['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()']]],
44
- ['updatecallgraphtime_6041',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
45
- ['updateconnectednodes_6042',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
46
- ['updatedfinfromin_6043',['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()']]],
47
- ['updatedfinfromout_6044',['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()']]],
48
- ['updatedfoutfromin_6045',['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()']]],
49
- ['updatedvarconstiter_6046',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
50
- ['updatedvarmap_6047',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
51
- ['updatedvarmapiter_6048',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
52
- ['updateinfromin_6049',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
53
- ['updateinfromout_6050',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
54
- ['updatejoinedge_6051',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
55
- ['updatemap_6052',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
56
- ['updatenoderepandsubs_6053',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
57
- ['updatenoncandidatefuninterleaving_6054',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
58
- ['updateoutfromin_6055',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
59
- ['updatepropapts_6056',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
60
- ['updatepropaptsmap_6057',['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()']]],
61
- ['updaterepnode_6058',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
62
- ['updatesiblingthreads_6059',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
63
- ['updatesubandrep_6060',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
64
- ['updatetime_6061',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
65
- ['updatetlvpts_6062',['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()']]],
66
- ['urem_6063',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
67
- ['usageandexit_6064',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
68
- ['use_6065',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
69
- ['usedmrvers_6066',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
70
- ['usedregs_6067',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
71
- ['usepcg_6068',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
72
- ['useprecompfieldsensitive_6069',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
73
- ['user_6070',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
74
- ['userinput_6071',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
75
- ['userinputquery_6072',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
76
- ['utf16_5fliteral_5fto_5futf8_6073',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
3
+ ['u16_5ft_5987',['u16_t',['../namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93',1,'SVF']]],
4
+ ['u32_5ft_5988',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
5
+ ['u64_5ft_5989',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
6
+ ['u8_5ft_5990',['u8_t',['../namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7',1,'SVF']]],
7
+ ['ub_5991',['ub',['../structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02',1,'SVF::AbstractValue::ub()'],['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue::ub()']]],
8
+ ['udiv_5992',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
9
+ ['uitofp_5993',['UITOFP',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a821cd6daeaee15b117b41a272f743ff1',1,'SVF::CopyStmt']]],
10
+ ['unaryop_5994',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
11
+ ['unaryoperator_5995',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
12
+ ['unaryopstmt_5996',['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)']]],
13
+ ['unaryopvfgnode_5997',['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)']]],
14
+ ['uncalled_5998',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
15
+ ['unclassified_5999',['UNCLASSIFIED',['../classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daad20658cd0f68b92583461b0b1f68d543',1,'SVF::AbstractInterpretation']]],
16
+ ['undefvalue_6000',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
17
+ ['unifyfunctionexit_6001',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
18
+ ['unifyfunctionexitnodes_6002',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
19
+ ['unioncache_6003',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
20
+ ['unionddapts_6004',['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()']]],
21
+ ['unionpts_6005',['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)']]],
22
+ ['unionptsfromid_6006',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
23
+ ['unionptsfromin_6007',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
24
+ ['unionptsfromtop_6008',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
25
+ ['unionptsthroughids_6009',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
26
+ ['unionwith_6010',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
27
+ ['uniquecomplements_6011',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
28
+ ['uniqueintersections_6012',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
29
+ ['uniqueunions_6013',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
30
+ ['unknowntype_6014',['UnknownType',['../structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a',1,'SVF::AbstractValue']]],
31
+ ['unlocksites_6015',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
32
+ ['unreachableinst_6016',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
33
+ ['unset_6017',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
34
+ ['update_5foffset_6018',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
35
+ ['updatealiasmrs_6019',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
36
+ ['updatealldfinfromin_6020',['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()']]],
37
+ ['updatealldfinfromout_6021',['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()']]],
38
+ ['updatealldfoutfromin_6022',['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()']]],
39
+ ['updateancestorthreads_6023',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
40
+ ['updateatvpts_6024',['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()']]],
41
+ ['updatecachedpointsto_6025',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
42
+ ['updatecallgraph_6026',['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()']]],
43
+ ['updatecallgraphandsvfg_6027',['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()']]],
44
+ ['updatecallgraphtime_6028',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
45
+ ['updateconnectednodes_6029',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
46
+ ['updatedfinfromin_6030',['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()']]],
47
+ ['updatedfinfromout_6031',['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()']]],
48
+ ['updatedfoutfromin_6032',['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()']]],
49
+ ['updatedvarconstiter_6033',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
50
+ ['updatedvarmap_6034',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
51
+ ['updatedvarmapiter_6035',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
52
+ ['updateinfromin_6036',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
53
+ ['updateinfromout_6037',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
54
+ ['updatejoinedge_6038',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
55
+ ['updatemap_6039',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
56
+ ['updatenoderepandsubs_6040',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
57
+ ['updatenoncandidatefuninterleaving_6041',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
58
+ ['updateoutfromin_6042',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
59
+ ['updatepropapts_6043',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
60
+ ['updatepropaptsmap_6044',['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()']]],
61
+ ['updaterepnode_6045',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
62
+ ['updatesiblingthreads_6046',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
63
+ ['updatesubandrep_6047',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
64
+ ['updatetime_6048',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
65
+ ['updatetlvpts_6049',['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()']]],
66
+ ['urem_6050',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
67
+ ['usageandexit_6051',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
68
+ ['use_6052',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
69
+ ['usedmrvers_6053',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
70
+ ['usedregs_6054',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
71
+ ['usepcg_6055',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
72
+ ['useprecompfieldsensitive_6056',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
73
+ ['user_6057',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
74
+ ['userinput_6058',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
75
+ ['userinputquery_6059',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
76
+ ['utf16_5fliteral_5fto_5futf8_6060',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
77
77
  ];