svf-tools 1.0.762 → 1.0.764

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 (300) hide show
  1. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1212 -1208
  3. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +172 -159
  4. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  6. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -2
  12. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +54 -55
  13. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -5
  14. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +54 -55
  15. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -5
  16. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +53 -54
  17. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +4 -5
  18. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +55 -56
  19. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +4 -5
  20. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +59 -60
  21. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +4 -5
  22. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +51 -52
  23. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +4 -5
  24. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +59 -60
  25. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +4 -5
  26. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +54 -55
  27. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -5
  28. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +59 -60
  29. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +4 -5
  30. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +59 -60
  31. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +4 -5
  32. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +53 -54
  33. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +4 -5
  34. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +54 -55
  35. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +4 -5
  36. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +54 -55
  37. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +4 -5
  38. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +52 -53
  39. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +4 -5
  40. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +56 -57
  41. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +4 -5
  42. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +62 -63
  43. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +4 -5
  44. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +66 -67
  46. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +4 -5
  47. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +64 -65
  48. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +4 -5
  49. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +62 -63
  50. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +4 -5
  51. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +65 -66
  52. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +4 -5
  53. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1234 -1217
  55. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +62 -63
  56. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +4 -5
  57. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +51 -52
  58. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +4 -5
  59. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +61 -62
  60. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -5
  61. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +53 -54
  63. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -5
  64. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +60 -61
  65. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +4 -5
  66. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +58 -59
  69. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +4 -5
  70. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +62 -63
  71. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +4 -5
  72. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  73. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +62 -63
  74. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +4 -5
  75. package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +50 -51
  76. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +6 -9
  77. package/SVF-doxygen/html/html/functions_eval_f.html +0 -3
  78. package/SVF-doxygen/html/html/functions_f.html +9 -12
  79. package/SVF-doxygen/html/html/functions_func_i.html +13 -13
  80. package/SVF-doxygen/html/html/functions_i.html +16 -16
  81. package/SVF-doxygen/html/html/functions_l.html +3 -3
  82. package/SVF-doxygen/html/html/functions_o.html +3 -3
  83. package/SVF-doxygen/html/html/functions_p.html +18 -14
  84. package/SVF-doxygen/html/html/functions_r.html +8 -8
  85. package/SVF-doxygen/html/html/functions_s.html +14 -14
  86. package/SVF-doxygen/html/html/functions_t.html +7 -7
  87. package/SVF-doxygen/html/html/functions_v.html +3 -3
  88. package/SVF-doxygen/html/html/search/all_10.js +323 -323
  89. package/SVF-doxygen/html/html/search/all_11.js +212 -212
  90. package/SVF-doxygen/html/html/search/all_12.js +536 -536
  91. package/SVF-doxygen/html/html/search/all_13.js +188 -188
  92. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  93. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  94. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  95. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  96. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  97. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  98. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  99. package/SVF-doxygen/html/html/search/all_6.js +31 -32
  100. package/SVF-doxygen/html/html/search/all_7.js +996 -996
  101. package/SVF-doxygen/html/html/search/all_8.js +191 -191
  102. package/SVF-doxygen/html/html/search/all_9.js +354 -354
  103. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  104. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  105. package/SVF-doxygen/html/html/search/all_c.js +114 -114
  106. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  107. package/SVF-doxygen/html/html/search/all_e.js +205 -205
  108. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  109. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  110. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  111. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  112. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  113. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  114. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  115. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  116. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  117. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  118. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  119. package/SVF-doxygen/html/html/search/classes_4.js +8 -8
  120. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  121. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  122. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  123. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  124. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  125. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  126. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  127. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  128. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  129. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  130. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  131. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  132. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  133. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  134. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  135. package/SVF-doxygen/html/html/search/defines_4.js +2 -2
  136. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  137. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  138. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  139. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  140. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  141. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  142. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  143. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  144. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  145. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  146. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  147. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  148. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  149. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  150. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  151. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  152. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  153. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  154. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  155. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  156. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  157. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  158. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  159. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  160. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  161. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  162. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  163. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  164. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  165. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  166. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  167. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  168. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  169. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  170. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  171. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  172. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  173. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  174. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  175. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  176. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -48
  177. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  178. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  179. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  180. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  181. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  182. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  183. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  184. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  185. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  186. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  187. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  188. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  189. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  190. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  191. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  192. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  193. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  194. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  195. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  196. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  197. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  198. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  199. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  200. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  201. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  202. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  203. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  204. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  205. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  206. package/SVF-doxygen/html/html/search/functions_0.js +6 -6
  207. package/SVF-doxygen/html/html/search/functions_1.js +348 -348
  208. package/SVF-doxygen/html/html/search/functions_10.js +139 -139
  209. package/SVF-doxygen/html/html/search/functions_11.js +126 -126
  210. package/SVF-doxygen/html/html/search/functions_12.js +273 -273
  211. package/SVF-doxygen/html/html/search/functions_13.js +56 -56
  212. package/SVF-doxygen/html/html/search/functions_14.js +38 -38
  213. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  214. package/SVF-doxygen/html/html/search/functions_16.js +29 -29
  215. package/SVF-doxygen/html/html/search/functions_17.js +2 -2
  216. package/SVF-doxygen/html/html/search/functions_18.js +169 -169
  217. package/SVF-doxygen/html/html/search/functions_2.js +82 -82
  218. package/SVF-doxygen/html/html/search/functions_3.js +251 -251
  219. package/SVF-doxygen/html/html/search/functions_4.js +71 -71
  220. package/SVF-doxygen/html/html/search/functions_5.js +51 -51
  221. package/SVF-doxygen/html/html/search/functions_6.js +58 -58
  222. package/SVF-doxygen/html/html/search/functions_7.js +816 -816
  223. package/SVF-doxygen/html/html/search/functions_8.js +143 -143
  224. package/SVF-doxygen/html/html/search/functions_9.js +186 -186
  225. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  226. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  227. package/SVF-doxygen/html/html/search/functions_c.js +24 -24
  228. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  229. package/SVF-doxygen/html/html/search/functions_e.js +34 -34
  230. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  231. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  232. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  233. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  234. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  235. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  236. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  237. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  238. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  239. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  240. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  241. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  242. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  243. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  244. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  245. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  246. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  247. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  248. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  249. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  250. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  251. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  252. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  253. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  254. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  255. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  256. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  257. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  258. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  259. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  260. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  261. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  262. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  263. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  264. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  265. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  266. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  267. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  268. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  269. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  270. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  271. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  272. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  273. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  274. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  275. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  276. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  277. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  278. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  279. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  280. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  281. package/SVF-doxygen/html/html/search/variables_2.js +34 -34
  282. package/SVF-doxygen/html/html/search/variables_3.js +141 -141
  283. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  284. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  285. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  286. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  287. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  288. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  289. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  290. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  291. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  292. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  293. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  294. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  295. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  296. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  297. package/package.json +1 -1
  298. package/svf/include/Graphs/VFGNode.h +2 -2
  299. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +16 -4
  300. package/svf-llvm/lib/LLVMModule.cpp +24 -20
@@ -1,69 +1,69 @@
1
1
  var searchData=
2
2
  [
3
- ['u32_5ft_5735',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()'],['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h']]],
4
- ['u64_5ft_5736',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
5
- ['ub_5737',['ub',['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue']]],
6
- ['udiv_5738',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
7
- ['unaryop_5739',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
8
- ['unaryoperator_5740',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
9
- ['unaryopstmt_5741',['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_5742',['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_5743',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
12
- ['undefvalue_5744',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
13
- ['unifyfunctionexit_5745',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
14
- ['unifyfunctionexitnodes_5746',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
15
- ['unioncache_5747',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
16
- ['unionddapts_5748',['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()']]],
17
- ['unionpts_5749',['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)']]],
18
- ['unionptsfromid_5750',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
19
- ['unionptsfromin_5751',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
20
- ['unionptsfromtop_5752',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
21
- ['unionptsthroughids_5753',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
22
- ['unionwith_5754',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
23
- ['uniquecomplements_5755',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
24
- ['uniqueintersections_5756',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
25
- ['uniqueunions_5757',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
26
- ['unlocksites_5758',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
27
- ['unreachableinst_5759',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
28
- ['unset_5760',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
29
- ['update_5foffset_5761',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
30
- ['updatealiasmrs_5762',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
31
- ['updatealldfinfromin_5763',['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()']]],
32
- ['updatealldfinfromout_5764',['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()']]],
33
- ['updatealldfoutfromin_5765',['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()']]],
34
- ['updateancestorthreads_5766',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
35
- ['updateatvpts_5767',['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()']]],
36
- ['updatecachedpointsto_5768',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
37
- ['updatecallgraph_5769',['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()']]],
38
- ['updatecallgraphandsvfg_5770',['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()']]],
39
- ['updatecallgraphtime_5771',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
40
- ['updateconnectednodes_5772',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
41
- ['updatedfinfromin_5773',['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()']]],
42
- ['updatedfinfromout_5774',['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()']]],
43
- ['updatedfoutfromin_5775',['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()']]],
44
- ['updatedvarconstiter_5776',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
45
- ['updatedvarmap_5777',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
46
- ['updatedvarmapiter_5778',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
47
- ['updateinfromin_5779',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
48
- ['updateinfromout_5780',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
49
- ['updatejoinedge_5781',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
50
- ['updatenoderepandsubs_5782',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
51
- ['updatenoncandidatefuninterleaving_5783',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
52
- ['updateoutfromin_5784',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
53
- ['updatepropapts_5785',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
54
- ['updatepropaptsmap_5786',['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()']]],
55
- ['updatesiblingthreads_5787',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
56
- ['updatetime_5788',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
57
- ['updatetlvpts_5789',['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()']]],
58
- ['urem_5790',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
59
- ['usageandexit_5791',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
60
- ['use_5792',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
61
- ['usedmrvers_5793',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
62
- ['usedregs_5794',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
63
- ['usepcg_5795',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
64
- ['useprecompfieldsensitive_5796',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
65
- ['user_5797',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
66
- ['userinput_5798',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
67
- ['userinputquery_5799',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
68
- ['utf16_5fliteral_5fto_5futf8_5800',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
3
+ ['u32_5ft_5734',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()'],['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h']]],
4
+ ['u64_5ft_5735',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
5
+ ['ub_5736',['ub',['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue']]],
6
+ ['udiv_5737',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
7
+ ['unaryop_5738',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
8
+ ['unaryoperator_5739',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
9
+ ['unaryopstmt_5740',['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_5741',['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_5742',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
12
+ ['undefvalue_5743',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
13
+ ['unifyfunctionexit_5744',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
14
+ ['unifyfunctionexitnodes_5745',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
15
+ ['unioncache_5746',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
16
+ ['unionddapts_5747',['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()']]],
17
+ ['unionpts_5748',['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)']]],
18
+ ['unionptsfromid_5749',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
19
+ ['unionptsfromin_5750',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
20
+ ['unionptsfromtop_5751',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
21
+ ['unionptsthroughids_5752',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
22
+ ['unionwith_5753',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
23
+ ['uniquecomplements_5754',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
24
+ ['uniqueintersections_5755',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
25
+ ['uniqueunions_5756',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
26
+ ['unlocksites_5757',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
27
+ ['unreachableinst_5758',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
28
+ ['unset_5759',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
29
+ ['update_5foffset_5760',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
30
+ ['updatealiasmrs_5761',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
31
+ ['updatealldfinfromin_5762',['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()']]],
32
+ ['updatealldfinfromout_5763',['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()']]],
33
+ ['updatealldfoutfromin_5764',['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()']]],
34
+ ['updateancestorthreads_5765',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
35
+ ['updateatvpts_5766',['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()']]],
36
+ ['updatecachedpointsto_5767',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
37
+ ['updatecallgraph_5768',['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()']]],
38
+ ['updatecallgraphandsvfg_5769',['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()']]],
39
+ ['updatecallgraphtime_5770',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
40
+ ['updateconnectednodes_5771',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
41
+ ['updatedfinfromin_5772',['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()']]],
42
+ ['updatedfinfromout_5773',['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()']]],
43
+ ['updatedfoutfromin_5774',['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()']]],
44
+ ['updatedvarconstiter_5775',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
45
+ ['updatedvarmap_5776',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
46
+ ['updatedvarmapiter_5777',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
47
+ ['updateinfromin_5778',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
48
+ ['updateinfromout_5779',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
49
+ ['updatejoinedge_5780',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
50
+ ['updatenoderepandsubs_5781',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
51
+ ['updatenoncandidatefuninterleaving_5782',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
52
+ ['updateoutfromin_5783',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
53
+ ['updatepropapts_5784',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
54
+ ['updatepropaptsmap_5785',['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()']]],
55
+ ['updatesiblingthreads_5786',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
56
+ ['updatetime_5787',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
57
+ ['updatetlvpts_5788',['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()']]],
58
+ ['urem_5789',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
59
+ ['usageandexit_5790',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
60
+ ['use_5791',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
61
+ ['usedmrvers_5792',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
62
+ ['usedregs_5793',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
63
+ ['usepcg_5794',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
64
+ ['useprecompfieldsensitive_5795',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
65
+ ['user_5796',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
66
+ ['userinput_5797',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
67
+ ['userinputquery_5798',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
68
+ ['utf16_5fliteral_5fto_5futf8_5799',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
69
69
  ];