svf-tools 1.0.898 → 1.0.899

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 (281) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +399 -395
  4. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +4 -4
  5. package/SVF-doxygen/html/ConsExeState_8h_source.html +4 -4
  6. package/SVF-doxygen/html/IntervalValue_8h_source.html +8 -8
  7. package/SVF-doxygen/html/NumericLiteral_8h_source.html +378 -371
  8. package/SVF-doxygen/html/Options_8cpp_source.html +10 -1
  9. package/SVF-doxygen/html/Options_8h_source.html +8 -4
  10. package/SVF-doxygen/html/RelExeState_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/RelExeState_8h_source.html +3 -3
  12. package/SVF-doxygen/html/RelationSolver_8cpp.html +2 -0
  13. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +382 -374
  14. package/SVF-doxygen/html/RelationSolver_8h_source.html +10 -10
  15. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +4 -4
  18. package/SVF-doxygen/html/SingleAbsValue_8h_source.html +6 -6
  19. package/SVF-doxygen/html/Z3Expr_8cpp_source.html +5 -5
  20. package/SVF-doxygen/html/Z3Expr_8h_source.html +303 -294
  21. package/SVF-doxygen/html/ae_8cpp_source.html +4 -4
  22. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1 -1
  23. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +81 -80
  24. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +337 -302
  25. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +4 -4
  26. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +6 -6
  27. package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +53 -52
  28. package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +333 -297
  29. package/SVF-doxygen/html/classSVF_1_1Options-members.html +129 -128
  30. package/SVF-doxygen/html/classSVF_1_1Options.html +26 -0
  31. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +4 -4
  32. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +1 -1
  33. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +358 -354
  34. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
  35. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +5 -5
  36. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +100 -99
  37. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +11 -5
  38. package/SVF-doxygen/html/classSVF_1_1Z3Expr-members.html +2 -2
  39. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +227 -221
  40. package/SVF-doxygen/html/classSymblicAbstractionTest.html +4 -4
  41. package/SVF-doxygen/html/functions_a.html +9 -6
  42. package/SVF-doxygen/html/functions_b.html +6 -6
  43. package/SVF-doxygen/html/functions_func_b.html +3 -3
  44. package/SVF-doxygen/html/functions_func_g.html +15 -14
  45. package/SVF-doxygen/html/functions_func_i.html +2 -2
  46. package/SVF-doxygen/html/functions_func_z.html +1 -1
  47. package/SVF-doxygen/html/functions_g.html +18 -17
  48. package/SVF-doxygen/html/functions_l.html +3 -3
  49. package/SVF-doxygen/html/functions_p.html +14 -18
  50. package/SVF-doxygen/html/functions_r.html +1 -1
  51. package/SVF-doxygen/html/functions_s.html +24 -20
  52. package/SVF-doxygen/html/functions_t.html +5 -5
  53. package/SVF-doxygen/html/functions_v.html +6 -6
  54. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  55. package/SVF-doxygen/html/functions_z.html +1 -1
  56. package/SVF-doxygen/html/search/all_1.js +133 -132
  57. package/SVF-doxygen/html/search/all_10.js +326 -326
  58. package/SVF-doxygen/html/search/all_11.js +226 -226
  59. package/SVF-doxygen/html/search/all_12.js +574 -574
  60. package/SVF-doxygen/html/search/all_13.js +208 -208
  61. package/SVF-doxygen/html/search/all_14.js +73 -73
  62. package/SVF-doxygen/html/search/all_15.js +176 -176
  63. package/SVF-doxygen/html/search/all_16.js +77 -77
  64. package/SVF-doxygen/html/search/all_17.js +1 -1
  65. package/SVF-doxygen/html/search/all_18.js +1 -1
  66. package/SVF-doxygen/html/search/all_19.js +27 -27
  67. package/SVF-doxygen/html/search/all_1a.js +179 -179
  68. package/SVF-doxygen/html/search/all_2.js +182 -182
  69. package/SVF-doxygen/html/search/all_3.js +642 -642
  70. package/SVF-doxygen/html/search/all_4.js +236 -236
  71. package/SVF-doxygen/html/search/all_5.js +126 -126
  72. package/SVF-doxygen/html/search/all_6.js +235 -235
  73. package/SVF-doxygen/html/search/all_7.js +1056 -1056
  74. package/SVF-doxygen/html/search/all_8.js +215 -215
  75. package/SVF-doxygen/html/search/all_9.js +632 -632
  76. package/SVF-doxygen/html/search/all_a.js +46 -46
  77. package/SVF-doxygen/html/search/all_b.js +26 -26
  78. package/SVF-doxygen/html/search/all_c.js +115 -115
  79. package/SVF-doxygen/html/search/all_d.js +204 -204
  80. package/SVF-doxygen/html/search/all_e.js +209 -209
  81. package/SVF-doxygen/html/search/all_f.js +122 -122
  82. package/SVF-doxygen/html/search/classes_0.js +28 -28
  83. package/SVF-doxygen/html/search/classes_1.js +11 -11
  84. package/SVF-doxygen/html/search/classes_10.js +74 -74
  85. package/SVF-doxygen/html/search/classes_11.js +14 -14
  86. package/SVF-doxygen/html/search/classes_12.js +2 -2
  87. package/SVF-doxygen/html/search/classes_13.js +10 -10
  88. package/SVF-doxygen/html/search/classes_14.js +19 -19
  89. package/SVF-doxygen/html/search/classes_15.js +1 -1
  90. package/SVF-doxygen/html/search/classes_2.js +73 -73
  91. package/SVF-doxygen/html/search/classes_3.js +35 -35
  92. package/SVF-doxygen/html/search/classes_4.js +8 -8
  93. package/SVF-doxygen/html/search/classes_5.js +28 -28
  94. package/SVF-doxygen/html/search/classes_6.js +98 -98
  95. package/SVF-doxygen/html/search/classes_7.js +38 -38
  96. package/SVF-doxygen/html/search/classes_8.js +59 -59
  97. package/SVF-doxygen/html/search/classes_9.js +1 -1
  98. package/SVF-doxygen/html/search/classes_a.js +12 -12
  99. package/SVF-doxygen/html/search/classes_b.js +29 -29
  100. package/SVF-doxygen/html/search/classes_c.js +6 -6
  101. package/SVF-doxygen/html/search/classes_d.js +19 -19
  102. package/SVF-doxygen/html/search/classes_e.js +36 -36
  103. package/SVF-doxygen/html/search/classes_f.js +25 -25
  104. package/SVF-doxygen/html/search/defines_0.js +3 -3
  105. package/SVF-doxygen/html/search/defines_1.js +3 -3
  106. package/SVF-doxygen/html/search/defines_10.js +2 -2
  107. package/SVF-doxygen/html/search/defines_2.js +30 -30
  108. package/SVF-doxygen/html/search/defines_3.js +20 -20
  109. package/SVF-doxygen/html/search/defines_4.js +3 -3
  110. package/SVF-doxygen/html/search/defines_5.js +4 -4
  111. package/SVF-doxygen/html/search/defines_6.js +2 -2
  112. package/SVF-doxygen/html/search/defines_7.js +5 -5
  113. package/SVF-doxygen/html/search/defines_8.js +11 -11
  114. package/SVF-doxygen/html/search/defines_9.js +9 -9
  115. package/SVF-doxygen/html/search/defines_a.js +2 -2
  116. package/SVF-doxygen/html/search/defines_b.js +1 -1
  117. package/SVF-doxygen/html/search/defines_c.js +4 -4
  118. package/SVF-doxygen/html/search/defines_d.js +2 -2
  119. package/SVF-doxygen/html/search/defines_e.js +8 -8
  120. package/SVF-doxygen/html/search/defines_f.js +4 -4
  121. package/SVF-doxygen/html/search/enums_0.js +4 -4
  122. package/SVF-doxygen/html/search/enums_1.js +2 -2
  123. package/SVF-doxygen/html/search/enums_10.js +1 -1
  124. package/SVF-doxygen/html/search/enums_11.js +1 -1
  125. package/SVF-doxygen/html/search/enums_2.js +9 -9
  126. package/SVF-doxygen/html/search/enums_3.js +1 -1
  127. package/SVF-doxygen/html/search/enums_4.js +4 -4
  128. package/SVF-doxygen/html/search/enums_5.js +1 -1
  129. package/SVF-doxygen/html/search/enums_6.js +2 -2
  130. package/SVF-doxygen/html/search/enums_7.js +2 -2
  131. package/SVF-doxygen/html/search/enums_8.js +4 -4
  132. package/SVF-doxygen/html/search/enums_9.js +1 -1
  133. package/SVF-doxygen/html/search/enums_a.js +1 -1
  134. package/SVF-doxygen/html/search/enums_b.js +7 -7
  135. package/SVF-doxygen/html/search/enums_c.js +1 -1
  136. package/SVF-doxygen/html/search/enums_d.js +4 -4
  137. package/SVF-doxygen/html/search/enums_e.js +2 -2
  138. package/SVF-doxygen/html/search/enums_f.js +4 -4
  139. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  140. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  141. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  142. package/SVF-doxygen/html/search/enumvalues_11.js +5 -5
  143. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  144. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  145. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  146. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  147. package/SVF-doxygen/html/search/enumvalues_2.js +37 -37
  148. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  149. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  150. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  151. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  152. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  153. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  154. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  155. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  156. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  157. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  158. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  159. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  160. package/SVF-doxygen/html/search/enumvalues_f.js +49 -49
  161. package/SVF-doxygen/html/search/files_0.js +16 -16
  162. package/SVF-doxygen/html/search/files_1.js +9 -9
  163. package/SVF-doxygen/html/search/files_10.js +8 -8
  164. package/SVF-doxygen/html/search/files_11.js +8 -8
  165. package/SVF-doxygen/html/search/files_12.js +2 -2
  166. package/SVF-doxygen/html/search/files_2.js +53 -53
  167. package/SVF-doxygen/html/search/files_3.js +14 -14
  168. package/SVF-doxygen/html/search/files_4.js +5 -5
  169. package/SVF-doxygen/html/search/files_5.js +13 -13
  170. package/SVF-doxygen/html/search/files_6.js +10 -10
  171. package/SVF-doxygen/html/search/files_7.js +17 -17
  172. package/SVF-doxygen/html/search/files_8.js +13 -13
  173. package/SVF-doxygen/html/search/files_9.js +18 -18
  174. package/SVF-doxygen/html/search/files_a.js +3 -3
  175. package/SVF-doxygen/html/search/files_b.js +4 -4
  176. package/SVF-doxygen/html/search/files_c.js +20 -20
  177. package/SVF-doxygen/html/search/files_d.js +4 -4
  178. package/SVF-doxygen/html/search/files_e.js +62 -62
  179. package/SVF-doxygen/html/search/files_f.js +8 -8
  180. package/SVF-doxygen/html/search/functions_0.js +13 -13
  181. package/SVF-doxygen/html/search/functions_1.js +368 -368
  182. package/SVF-doxygen/html/search/functions_10.js +140 -140
  183. package/SVF-doxygen/html/search/functions_11.js +140 -140
  184. package/SVF-doxygen/html/search/functions_12.js +299 -299
  185. package/SVF-doxygen/html/search/functions_13.js +73 -73
  186. package/SVF-doxygen/html/search/functions_14.js +41 -41
  187. package/SVF-doxygen/html/search/functions_15.js +72 -72
  188. package/SVF-doxygen/html/search/functions_16.js +38 -38
  189. package/SVF-doxygen/html/search/functions_17.js +3 -3
  190. package/SVF-doxygen/html/search/functions_18.js +179 -179
  191. package/SVF-doxygen/html/search/functions_2.js +94 -94
  192. package/SVF-doxygen/html/search/functions_3.js +261 -261
  193. package/SVF-doxygen/html/search/functions_4.js +85 -85
  194. package/SVF-doxygen/html/search/functions_5.js +57 -57
  195. package/SVF-doxygen/html/search/functions_6.js +65 -65
  196. package/SVF-doxygen/html/search/functions_7.js +872 -872
  197. package/SVF-doxygen/html/search/functions_8.js +162 -162
  198. package/SVF-doxygen/html/search/functions_9.js +440 -440
  199. package/SVF-doxygen/html/search/functions_a.js +30 -30
  200. package/SVF-doxygen/html/search/functions_b.js +2 -2
  201. package/SVF-doxygen/html/search/functions_c.js +25 -25
  202. package/SVF-doxygen/html/search/functions_d.js +82 -82
  203. package/SVF-doxygen/html/search/functions_e.js +36 -36
  204. package/SVF-doxygen/html/search/functions_f.js +58 -58
  205. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  206. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  207. package/SVF-doxygen/html/search/related_0.js +4 -4
  208. package/SVF-doxygen/html/search/related_1.js +2 -2
  209. package/SVF-doxygen/html/search/related_2.js +2 -2
  210. package/SVF-doxygen/html/search/related_3.js +2 -2
  211. package/SVF-doxygen/html/search/related_4.js +2 -2
  212. package/SVF-doxygen/html/search/related_5.js +1 -1
  213. package/SVF-doxygen/html/search/related_6.js +2 -2
  214. package/SVF-doxygen/html/search/related_7.js +5 -5
  215. package/SVF-doxygen/html/search/related_8.js +2 -2
  216. package/SVF-doxygen/html/search/related_9.js +4 -4
  217. package/SVF-doxygen/html/search/related_a.js +19 -19
  218. package/SVF-doxygen/html/search/related_b.js +4 -4
  219. package/SVF-doxygen/html/search/related_c.js +2 -2
  220. package/SVF-doxygen/html/search/related_d.js +12 -12
  221. package/SVF-doxygen/html/search/related_e.js +2 -2
  222. package/SVF-doxygen/html/search/related_f.js +2 -2
  223. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  224. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  225. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  226. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  227. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  228. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  229. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  230. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  231. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  232. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  233. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  234. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  235. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  236. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  237. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  238. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  239. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  240. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  241. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  242. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  243. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  244. package/SVF-doxygen/html/search/variables_0.js +177 -177
  245. package/SVF-doxygen/html/search/variables_1.js +77 -76
  246. package/SVF-doxygen/html/search/variables_10.js +98 -98
  247. package/SVF-doxygen/html/search/variables_11.js +46 -46
  248. package/SVF-doxygen/html/search/variables_12.js +93 -93
  249. package/SVF-doxygen/html/search/variables_13.js +76 -76
  250. package/SVF-doxygen/html/search/variables_14.js +14 -14
  251. package/SVF-doxygen/html/search/variables_15.js +49 -49
  252. package/SVF-doxygen/html/search/variables_16.js +11 -11
  253. package/SVF-doxygen/html/search/variables_17.js +1 -1
  254. package/SVF-doxygen/html/search/variables_18.js +17 -17
  255. package/SVF-doxygen/html/search/variables_2.js +40 -40
  256. package/SVF-doxygen/html/search/variables_3.js +143 -143
  257. package/SVF-doxygen/html/search/variables_4.js +51 -51
  258. package/SVF-doxygen/html/search/variables_5.js +39 -39
  259. package/SVF-doxygen/html/search/variables_6.js +66 -66
  260. package/SVF-doxygen/html/search/variables_7.js +34 -34
  261. package/SVF-doxygen/html/search/variables_8.js +8 -8
  262. package/SVF-doxygen/html/search/variables_9.js +79 -79
  263. package/SVF-doxygen/html/search/variables_a.js +4 -4
  264. package/SVF-doxygen/html/search/variables_b.js +10 -10
  265. package/SVF-doxygen/html/search/variables_c.js +45 -45
  266. package/SVF-doxygen/html/search/variables_d.js +57 -57
  267. package/SVF-doxygen/html/search/variables_e.js +123 -123
  268. package/SVF-doxygen/html/search/variables_f.js +31 -31
  269. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +6 -6
  270. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
  271. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html +1 -1
  272. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +6 -6
  273. package/package.json +1 -1
  274. package/svf/include/AE/Core/BoundedZ3Expr.h +2 -0
  275. package/svf/include/AE/Core/IntervalValue.h +1 -1
  276. package/svf/include/AE/Core/NumericLiteral.h +6 -0
  277. package/svf/include/AE/Core/RelationSolver.h +1 -1
  278. package/svf/include/Util/Options.h +3 -0
  279. package/svf/include/Util/Z3Expr.h +9 -2
  280. package/svf/lib/AE/Core/RelationSolver.cpp +11 -6
  281. package/svf/lib/Util/Options.cpp +8 -0
@@ -1,128 +1,128 @@
1
1
  var searchData=
2
2
  [
3
- ['callbase_12596',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
4
- ['callbrinst_12597',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
5
- ['callchi_12598',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
6
- ['calledgemap_12599',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
7
- ['callgraphedgeconstiter_12600',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
8
- ['callgraphedgeiter_12601',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
9
- ['callgraphedgeset_12602',['CallGraphEdgeSet',['../classSVF_1_1PTACallGraphEdge.html#aa96d6bc3ffd3a5537b871a4c87c65888',1,'SVF::PTACallGraphEdge::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c',1,'SVF::PTACallGraphNode::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6',1,'SVF::PTACallGraph::CallGraphEdgeSet()']]],
10
- ['callgraphscc_12603',['CallGraphSCC',['../classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d',1,'SVF::AbstractExecution::CallGraphSCC()'],['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
11
- ['callinst_12604',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
12
- ['callinstset_12605',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#ad33f2f6a08fe6ccad9b6f92c8d211565',1,'SVF::PCG::CallInstSet()']]],
13
- ['callinsttocallgraphedgesmap_12606',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
14
- ['callinsttoforkedgesmap_12607',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
15
- ['callinsttojoinedgesmap_12608',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
16
- ['callinsttoparforedgesmap_12609',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
17
- ['callmu_12610',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
18
- ['callpeset_12611',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
19
- ['callsite2dummyvalpn_12612',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a248c51fefff8d65d0ae267a0ce114833',1,'SVF::Steensgaard::CallSite2DummyValPN()']]],
20
- ['callsiteid_12613',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
21
- ['callsitepair_12614',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
22
- ['callsiteset_12615',['CallSiteSet',['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()']]],
23
- ['callsitetoactualinsmapty_12616',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
24
- ['callsitetoactualoutsmapty_12617',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
25
- ['callsitetochisetmap_12618',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
26
- ['callsitetochnodesmap_12619',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
27
- ['callsitetofunptrmap_12620',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
28
- ['callsitetoidmap_12621',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
29
- ['callsitetomrsmap_12622',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
30
- ['callsitetomusetmap_12623',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
31
- ['callsitetonodebsmap_12624',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
32
- ['callsitetopointstomap_12625',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
33
- ['callsitetovfunsetmap_12626',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
34
- ['callsitetovtablesetmap_12627',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
35
- ['callstrcxt_12628',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
36
- ['calltoinstmap_12629',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
37
- ['castinst_12630',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
38
- ['cdata_5fiterator_12631',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
39
- ['cdgedgesetty_12632',['CDGEdgeSetTy',['../classSVF_1_1CDGEdge.html#a563cb04921b2c9785f7e9ce58b0a593c',1,'SVF::CDGEdge::CDGEdgeSetTy()'],['../classSVF_1_1CDG.html#acc64e1957a5aa3c899e825b94737ea3a',1,'SVF::CDG::CDGEdgeSetTy()']]],
40
- ['cdgnodeidtonodemapty_12633',['CDGNodeIDToNodeMapTy',['../classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466',1,'SVF::CDG']]],
41
- ['cfledgedataty_12634',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
42
- ['cfledgeset_12635',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
43
- ['cfledgesetty_12636',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
44
- ['cflsrcsnksolver_12637',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
45
- ['cfworklist_12638',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
46
- ['cgscc_12639',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
47
- ['chedgesetty_12640',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
48
- ['chgraphreader_12641',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
49
- ['chgraphwriter_12642',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
50
- ['chi_12643',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
51
- ['child_5fiterator_12644',['child_iterator',['../classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56',1,'SVF::GraphWriter::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04',1,'SVF::GraphReachSolver::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
52
- ['childiteratortype_12645',['ChildIteratorType',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab4886d654f7f3678490d09c15b42f79e',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a2580185292f7249eb074356cd937cccc',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a72a273d644d002b59a546b047d4bb0dd',1,'SVF::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a95fc3b739ccea8d236e5b795b8770787',1,'SVF::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4036db1b2c075bd1f2b7249b8e268937',1,'SVF::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
53
- ['chiset_12646',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
54
- ['chitype_12647',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
55
- ['chnodesetty_12648',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
56
- ['cilocktospan_12649',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
57
- ['cispan_12650',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
58
- ['cjson_12651',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
59
- ['cjson_5fbool_12652',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
60
- ['cjson_5fhooks_12653',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
61
- ['cmpinst_12654',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
62
- ['condition_12655',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#aadf1128c0006981dff0d64dd1201e0c7',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65',1,'SVF::SaberCondAllocator::Condition()']]],
63
- ['condposmap_12656',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
64
- ['condpts_12657',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
65
- ['condptsconstiter_12658',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
66
- ['condptsiter_12659',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
67
- ['const_5falias_5fiterator_12660',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
68
- ['const_5fcdata_5fiterator_12661',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
69
- ['const_5fglobal_5fiterator_12662',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
70
- ['const_5finst_5fiterator_12663',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
71
- ['const_5fiterator_12664',['const_iterator',['../classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2',1,'SVF::POCRSolver::const_iterator()'],['../classSVF_1_1CDGNode.html#aca4257495b32baba3eab1ee841e66d78',1,'SVF::CDGNode::const_iterator()'],['../classSVF_1_1CDG.html#a35b7418b3f2f2851c18227fa10e30f4e',1,'SVF::CDG::const_iterator()'],['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()'],['../classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48',1,'SVF::SVFFunction::const_iterator()'],['../classSVF_1_1SVFBasicBlock.html#a73b7029f85e3762033f49c953d4b95ca',1,'SVF::SVFBasicBlock::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()']]],
72
- ['const_5fovalue_5fiterator_12665',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
73
- ['const_5fpred_5fiterator_12666',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
74
- ['constant_12667',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
75
- ['constantaggregate_12668',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
76
- ['constantaggregatezero_12669',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
77
- ['constantarray_12670',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
78
- ['constantdata_12671',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
79
- ['constantdataarray_12672',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
80
- ['constantdatasequential_12673',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
81
- ['constantexpr_12674',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
82
- ['constantfp_12675',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
83
- ['constantint_12676',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
84
- ['constantpointernull_12677',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
85
- ['constantstruct_12678',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
86
- ['constanttype_12679',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
87
- ['constraintedgesetty_12680',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
88
- ['constraintnodeidtonodemapty_12681',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
89
- ['constraintnodeiter_12682',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
90
- ['constsvfgedgeset_12683',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
91
- ['copysvfgnode_12684',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
92
- ['cptset_12685',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
93
- ['csnumtoinst_12686',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
94
- ['cstoargslistmap_12687',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
95
- ['cstocallnodemapty_12688',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
96
- ['cstoretmap_12689',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
97
- ['cstoretnodemapty_12690',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
98
- ['csworklist_12691',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
99
- ['ctxset_12692',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
100
- ['cvar_12693',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
101
- ['cxtlocdpitem_12694',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
102
- ['cxtlock_12695',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
103
- ['cxtlockproc_12696',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
104
- ['cxtlockprocset_12697',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
105
- ['cxtlockprocvec_12698',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
106
- ['cxtlockset_12699',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
107
- ['cxtlocksetstr_12700',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
108
- ['cxtlocktolockset_12701',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
109
- ['cxtlocktospan_12702',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
110
- ['cxtptset_12703',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
111
- ['cxtstmtset_12704',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
112
- ['cxtstmttoaliveflagmap_12705',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
113
- ['cxtstmttocxtlocks_12706',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
114
- ['cxtstmttocxtlockset_12707',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
115
- ['cxtstmttolockflagmap_12708',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
116
- ['cxtstmttoloopmap_12709',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
117
- ['cxtstmttotidmap_12710',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
118
- ['cxtstmtworklist_12711',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
119
- ['cxtthreadprocset_12712',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
120
- ['cxtthreadprocvec_12713',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
121
- ['cxtthreadstmtset_12714',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
122
- ['cxtthreadstmtworklist_12715',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
123
- ['cxtthreadtoforkcxt_12716',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
124
- ['cxtthreadtofun_12717',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
125
- ['cxtthreadtonodemap_12718',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
126
- ['cxtvar_12719',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
127
- ['cycledepthnumber_12720',['CycleDepthNumber',['../classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7',1,'SVF::WTO']]]
3
+ ['callbase_12598',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
4
+ ['callbrinst_12599',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
5
+ ['callchi_12600',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
6
+ ['calledgemap_12601',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
7
+ ['callgraphedgeconstiter_12602',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
8
+ ['callgraphedgeiter_12603',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
9
+ ['callgraphedgeset_12604',['CallGraphEdgeSet',['../classSVF_1_1PTACallGraphEdge.html#aa96d6bc3ffd3a5537b871a4c87c65888',1,'SVF::PTACallGraphEdge::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c',1,'SVF::PTACallGraphNode::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6',1,'SVF::PTACallGraph::CallGraphEdgeSet()']]],
10
+ ['callgraphscc_12605',['CallGraphSCC',['../classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d',1,'SVF::AbstractExecution::CallGraphSCC()'],['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
11
+ ['callinst_12606',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
12
+ ['callinstset_12607',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#ad33f2f6a08fe6ccad9b6f92c8d211565',1,'SVF::PCG::CallInstSet()']]],
13
+ ['callinsttocallgraphedgesmap_12608',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
14
+ ['callinsttoforkedgesmap_12609',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
15
+ ['callinsttojoinedgesmap_12610',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
16
+ ['callinsttoparforedgesmap_12611',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
17
+ ['callmu_12612',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
18
+ ['callpeset_12613',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
19
+ ['callsite2dummyvalpn_12614',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a248c51fefff8d65d0ae267a0ce114833',1,'SVF::Steensgaard::CallSite2DummyValPN()']]],
20
+ ['callsiteid_12615',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
21
+ ['callsitepair_12616',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
22
+ ['callsiteset_12617',['CallSiteSet',['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()']]],
23
+ ['callsitetoactualinsmapty_12618',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
24
+ ['callsitetoactualoutsmapty_12619',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
25
+ ['callsitetochisetmap_12620',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
26
+ ['callsitetochnodesmap_12621',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
27
+ ['callsitetofunptrmap_12622',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
28
+ ['callsitetoidmap_12623',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
29
+ ['callsitetomrsmap_12624',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
30
+ ['callsitetomusetmap_12625',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
31
+ ['callsitetonodebsmap_12626',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
32
+ ['callsitetopointstomap_12627',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
33
+ ['callsitetovfunsetmap_12628',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
34
+ ['callsitetovtablesetmap_12629',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
35
+ ['callstrcxt_12630',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
36
+ ['calltoinstmap_12631',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
37
+ ['castinst_12632',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
38
+ ['cdata_5fiterator_12633',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
39
+ ['cdgedgesetty_12634',['CDGEdgeSetTy',['../classSVF_1_1CDGEdge.html#a563cb04921b2c9785f7e9ce58b0a593c',1,'SVF::CDGEdge::CDGEdgeSetTy()'],['../classSVF_1_1CDG.html#acc64e1957a5aa3c899e825b94737ea3a',1,'SVF::CDG::CDGEdgeSetTy()']]],
40
+ ['cdgnodeidtonodemapty_12635',['CDGNodeIDToNodeMapTy',['../classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466',1,'SVF::CDG']]],
41
+ ['cfledgedataty_12636',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
42
+ ['cfledgeset_12637',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
43
+ ['cfledgesetty_12638',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
44
+ ['cflsrcsnksolver_12639',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
45
+ ['cfworklist_12640',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
46
+ ['cgscc_12641',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
47
+ ['chedgesetty_12642',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
48
+ ['chgraphreader_12643',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
49
+ ['chgraphwriter_12644',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
50
+ ['chi_12645',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
51
+ ['child_5fiterator_12646',['child_iterator',['../classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56',1,'SVF::GraphWriter::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04',1,'SVF::GraphReachSolver::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
52
+ ['childiteratortype_12647',['ChildIteratorType',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab4886d654f7f3678490d09c15b42f79e',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a2580185292f7249eb074356cd937cccc',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a72a273d644d002b59a546b047d4bb0dd',1,'SVF::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a95fc3b739ccea8d236e5b795b8770787',1,'SVF::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4036db1b2c075bd1f2b7249b8e268937',1,'SVF::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
53
+ ['chiset_12648',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
54
+ ['chitype_12649',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
55
+ ['chnodesetty_12650',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
56
+ ['cilocktospan_12651',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
57
+ ['cispan_12652',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
58
+ ['cjson_12653',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
59
+ ['cjson_5fbool_12654',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
60
+ ['cjson_5fhooks_12655',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
61
+ ['cmpinst_12656',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
62
+ ['condition_12657',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#aadf1128c0006981dff0d64dd1201e0c7',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65',1,'SVF::SaberCondAllocator::Condition()']]],
63
+ ['condposmap_12658',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
64
+ ['condpts_12659',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
65
+ ['condptsconstiter_12660',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
66
+ ['condptsiter_12661',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
67
+ ['const_5falias_5fiterator_12662',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
68
+ ['const_5fcdata_5fiterator_12663',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
69
+ ['const_5fglobal_5fiterator_12664',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
70
+ ['const_5finst_5fiterator_12665',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
71
+ ['const_5fiterator_12666',['const_iterator',['../classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2',1,'SVF::POCRSolver::const_iterator()'],['../classSVF_1_1CDGNode.html#aca4257495b32baba3eab1ee841e66d78',1,'SVF::CDGNode::const_iterator()'],['../classSVF_1_1CDG.html#a35b7418b3f2f2851c18227fa10e30f4e',1,'SVF::CDG::const_iterator()'],['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()'],['../classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48',1,'SVF::SVFFunction::const_iterator()'],['../classSVF_1_1SVFBasicBlock.html#a73b7029f85e3762033f49c953d4b95ca',1,'SVF::SVFBasicBlock::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()']]],
72
+ ['const_5fovalue_5fiterator_12667',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
73
+ ['const_5fpred_5fiterator_12668',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
74
+ ['constant_12669',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
75
+ ['constantaggregate_12670',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
76
+ ['constantaggregatezero_12671',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
77
+ ['constantarray_12672',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
78
+ ['constantdata_12673',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
79
+ ['constantdataarray_12674',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
80
+ ['constantdatasequential_12675',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
81
+ ['constantexpr_12676',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
82
+ ['constantfp_12677',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
83
+ ['constantint_12678',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
84
+ ['constantpointernull_12679',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
85
+ ['constantstruct_12680',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
86
+ ['constanttype_12681',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
87
+ ['constraintedgesetty_12682',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
88
+ ['constraintnodeidtonodemapty_12683',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
89
+ ['constraintnodeiter_12684',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
90
+ ['constsvfgedgeset_12685',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
91
+ ['copysvfgnode_12686',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
92
+ ['cptset_12687',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
93
+ ['csnumtoinst_12688',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
94
+ ['cstoargslistmap_12689',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
95
+ ['cstocallnodemapty_12690',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
96
+ ['cstoretmap_12691',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
97
+ ['cstoretnodemapty_12692',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
98
+ ['csworklist_12693',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
99
+ ['ctxset_12694',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
100
+ ['cvar_12695',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
101
+ ['cxtlocdpitem_12696',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
102
+ ['cxtlock_12697',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
103
+ ['cxtlockproc_12698',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
104
+ ['cxtlockprocset_12699',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
105
+ ['cxtlockprocvec_12700',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
106
+ ['cxtlockset_12701',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
107
+ ['cxtlocksetstr_12702',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
108
+ ['cxtlocktolockset_12703',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
109
+ ['cxtlocktospan_12704',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
110
+ ['cxtptset_12705',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
111
+ ['cxtstmtset_12706',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
112
+ ['cxtstmttoaliveflagmap_12707',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
113
+ ['cxtstmttocxtlocks_12708',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
114
+ ['cxtstmttocxtlockset_12709',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
115
+ ['cxtstmttolockflagmap_12710',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
116
+ ['cxtstmttoloopmap_12711',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
117
+ ['cxtstmttotidmap_12712',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
118
+ ['cxtstmtworklist_12713',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
119
+ ['cxtthreadprocset_12714',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
120
+ ['cxtthreadprocvec_12715',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
121
+ ['cxtthreadstmtset_12716',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
122
+ ['cxtthreadstmtworklist_12717',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
123
+ ['cxtthreadtoforkcxt_12718',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
124
+ ['cxtthreadtofun_12719',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
125
+ ['cxtthreadtonodemap_12720',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
126
+ ['cxtvar_12721',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
127
+ ['cycledepthnumber_12722',['CycleDepthNumber',['../classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7',1,'SVF::WTO']]]
128
128
  ];
@@ -1,42 +1,42 @@
1
1
  var searchData=
2
2
  [
3
- ['datadeque_12721',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
4
- ['dataiter_12722',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
5
- ['datalayout_12723',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
6
- ['datamap_12724',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
7
- ['dataop_12725',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
8
- ['dataset_12726',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
9
- ['datavector_12727',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
10
- ['dchedgesetty_12728',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
11
- ['debuginfofinder_12729',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
12
- ['dfinoutmap_12730',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
13
- ['dfkeytoidmap_12731',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
14
- ['dfptdataty_12732',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
15
- ['dfptsmap_12733',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
16
- ['dfptsmapconstiter_12734',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
17
- ['dfptsmapiter_12735',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
18
- ['dibasictype_12736',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
19
- ['dicompositetype_12737',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
20
- ['diderivedtype_12738',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
21
- ['difference_5ftype_12739',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
22
- ['diffptdataty_12740',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
23
- ['dinode_12741',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
24
- ['dinodearray_12742',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
25
- ['distoccmap_12743',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
26
- ['disubprogram_12744',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
27
- ['disubrange_12745',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
28
- ['disubroutinetype_12746',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
29
- ['ditype_12747',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
30
- ['dityperefarray_12748',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
31
- ['dominancefrontier_12749',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
32
- ['dominancefrontierbase_12750',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
33
- ['dominatortree_12751',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
34
- ['domtreenode_12752',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
35
- ['dottraits_12753',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
36
- ['dpim_12754',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
37
- ['dpimset_12755',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
38
- ['dpimtocptsetmap_12756',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
39
- ['dpmtocvarmap_12757',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
40
- ['dpmtodpmmap_12758',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
41
- ['dptitemset_12759',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
3
+ ['datadeque_12723',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
4
+ ['dataiter_12724',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
5
+ ['datalayout_12725',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
6
+ ['datamap_12726',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
7
+ ['dataop_12727',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
8
+ ['dataset_12728',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
9
+ ['datavector_12729',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
10
+ ['dchedgesetty_12730',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
11
+ ['debuginfofinder_12731',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
12
+ ['dfinoutmap_12732',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
13
+ ['dfkeytoidmap_12733',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
14
+ ['dfptdataty_12734',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
15
+ ['dfptsmap_12735',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
16
+ ['dfptsmapconstiter_12736',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
17
+ ['dfptsmapiter_12737',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
18
+ ['dibasictype_12738',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
19
+ ['dicompositetype_12739',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
20
+ ['diderivedtype_12740',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
21
+ ['difference_5ftype_12741',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
22
+ ['diffptdataty_12742',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
23
+ ['dinode_12743',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
24
+ ['dinodearray_12744',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
25
+ ['distoccmap_12745',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
26
+ ['disubprogram_12746',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
27
+ ['disubrange_12747',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
28
+ ['disubroutinetype_12748',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
29
+ ['ditype_12749',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
30
+ ['dityperefarray_12750',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
31
+ ['dominancefrontier_12751',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
32
+ ['dominancefrontierbase_12752',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
33
+ ['dominatortree_12753',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
34
+ ['domtreenode_12754',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
35
+ ['dottraits_12755',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
36
+ ['dpim_12756',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
37
+ ['dpimset_12757',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
38
+ ['dpimtocptsetmap_12758',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
39
+ ['dpmtocvarmap_12759',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
40
+ ['dpmtodpmmap_12760',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
41
+ ['dptitemset_12761',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
42
42
  ];
@@ -1,20 +1,20 @@
1
1
  var searchData=
2
2
  [
3
- ['edgeid_12760',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
4
- ['edgeset_12761',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
5
- ['edget_12762',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
6
- ['edgetype_12763',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()']]],
7
- ['edgevector_12764',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
8
- ['elementlist_12765',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
9
- ['elementlistconstiter_12766',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
10
- ['elementlistiter_12767',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
11
- ['elementset_12768',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
12
- ['entrychi_12769',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
13
- ['equalgedge_12770',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
14
- ['equalmemregion_12771',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
15
- ['equalnodebs_12772',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
16
- ['equalpointsto_12773',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
17
- ['eventstack_12774',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
18
- ['extractelementinst_12775',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
19
- ['extractvalueinst_12776',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
3
+ ['edgeid_12762',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
4
+ ['edgeset_12763',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
5
+ ['edget_12764',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
6
+ ['edgetype_12765',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()']]],
7
+ ['edgevector_12766',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
8
+ ['elementlist_12767',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
9
+ ['elementlistconstiter_12768',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
10
+ ['elementlistiter_12769',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
11
+ ['elementset_12770',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
12
+ ['entrychi_12771',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
13
+ ['equalgedge_12772',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
14
+ ['equalmemregion_12773',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
15
+ ['equalnodebs_12774',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
16
+ ['equalpointsto_12775',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
17
+ ['eventstack_12776',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
18
+ ['extractelementinst_12777',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
19
+ ['extractvalueinst_12778',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
20
20
  ];