svf-tools 1.0.890 → 1.0.892

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 (343) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +451 -450
  2. package/SVF-doxygen/html/AbstractExecution_8h_source.html +11 -11
  3. package/SVF-doxygen/html/AccessPath_8cpp_source.html +150 -147
  4. package/SVF-doxygen/html/AccessPath_8h_source.html +6 -6
  5. package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +426 -425
  7. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
  8. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/CppUtil_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  12. package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/DDAClient_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +43 -44
  16. package/SVF-doxygen/html/ICFGWTO_8h_source.html +4 -4
  17. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +556 -556
  19. package/SVF-doxygen/html/LLVMModule_8h_source.html +15 -15
  20. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +552 -525
  21. package/SVF-doxygen/html/LLVMUtil_8h.html +2 -0
  22. package/SVF-doxygen/html/LLVMUtil_8h_source.html +55 -52
  23. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/ObjTypeInference_8cpp.html +1 -1
  29. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
  30. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +828 -827
  32. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
  33. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +7 -7
  34. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +1 -1
  35. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/SVFStatements_8h_source.html +1 -1
  38. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  40. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  41. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
  42. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +9 -9
  43. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/WTO_8h.html +1 -0
  45. package/SVF-doxygen/html/WTO_8h_source.html +812 -811
  46. package/SVF-doxygen/html/ae_8cpp.html +46 -47
  47. package/SVF-doxygen/html/ae_8cpp_source.html +46 -47
  48. package/SVF-doxygen/html/classSVF_1_1AEAPI.html +432 -431
  49. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +22 -22
  50. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +136 -133
  51. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  52. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  53. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  54. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  55. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  56. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  57. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  58. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  59. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +82 -81
  60. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +1 -1
  61. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  62. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  63. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  64. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  65. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  66. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  67. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  68. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  71. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  72. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  73. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +2 -2
  75. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  76. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  77. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +43 -44
  79. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +538 -538
  85. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  86. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  90. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  91. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  92. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
  94. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  100. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +792 -791
  102. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +8 -8
  103. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  104. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +8 -8
  108. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  113. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1WTO.html +253 -253
  115. package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +21 -21
  116. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +3 -3
  117. package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +61 -61
  118. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +115 -115
  119. package/SVF-doxygen/html/classSVF_1_1WTONode.html +31 -31
  120. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +31 -31
  121. package/SVF-doxygen/html/globals_vars.html +3 -3
  122. package/SVF-doxygen/html/globals_z.html +3 -3
  123. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +529 -483
  124. package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +2 -2
  125. package/SVF-doxygen/html/namespacemembers_func_r.html +3 -0
  126. package/SVF-doxygen/html/namespacemembers_r.html +3 -0
  127. package/SVF-doxygen/html/search/all_11.js +54 -53
  128. package/SVF-doxygen/html/search/all_12.js +570 -570
  129. package/SVF-doxygen/html/search/all_13.js +207 -207
  130. package/SVF-doxygen/html/search/all_14.js +70 -70
  131. package/SVF-doxygen/html/search/all_15.js +176 -176
  132. package/SVF-doxygen/html/search/all_16.js +77 -77
  133. package/SVF-doxygen/html/search/all_17.js +1 -1
  134. package/SVF-doxygen/html/search/all_18.js +1 -1
  135. package/SVF-doxygen/html/search/all_19.js +26 -26
  136. package/SVF-doxygen/html/search/all_1a.js +180 -180
  137. package/SVF-doxygen/html/search/classes_0.js +29 -29
  138. package/SVF-doxygen/html/search/classes_1.js +12 -12
  139. package/SVF-doxygen/html/search/classes_10.js +74 -74
  140. package/SVF-doxygen/html/search/classes_11.js +14 -14
  141. package/SVF-doxygen/html/search/classes_12.js +2 -2
  142. package/SVF-doxygen/html/search/classes_13.js +10 -10
  143. package/SVF-doxygen/html/search/classes_14.js +19 -19
  144. package/SVF-doxygen/html/search/classes_15.js +1 -1
  145. package/SVF-doxygen/html/search/classes_2.js +73 -73
  146. package/SVF-doxygen/html/search/classes_3.js +35 -35
  147. package/SVF-doxygen/html/search/classes_4.js +8 -8
  148. package/SVF-doxygen/html/search/classes_5.js +28 -28
  149. package/SVF-doxygen/html/search/classes_6.js +98 -98
  150. package/SVF-doxygen/html/search/classes_7.js +38 -38
  151. package/SVF-doxygen/html/search/classes_8.js +59 -59
  152. package/SVF-doxygen/html/search/classes_9.js +1 -1
  153. package/SVF-doxygen/html/search/classes_a.js +12 -12
  154. package/SVF-doxygen/html/search/classes_b.js +29 -29
  155. package/SVF-doxygen/html/search/classes_c.js +6 -6
  156. package/SVF-doxygen/html/search/classes_d.js +19 -19
  157. package/SVF-doxygen/html/search/classes_e.js +36 -36
  158. package/SVF-doxygen/html/search/classes_f.js +25 -25
  159. package/SVF-doxygen/html/search/defines_0.js +3 -3
  160. package/SVF-doxygen/html/search/defines_1.js +3 -3
  161. package/SVF-doxygen/html/search/defines_10.js +2 -2
  162. package/SVF-doxygen/html/search/defines_2.js +30 -30
  163. package/SVF-doxygen/html/search/defines_3.js +20 -20
  164. package/SVF-doxygen/html/search/defines_4.js +3 -3
  165. package/SVF-doxygen/html/search/defines_5.js +4 -4
  166. package/SVF-doxygen/html/search/defines_6.js +2 -2
  167. package/SVF-doxygen/html/search/defines_7.js +5 -5
  168. package/SVF-doxygen/html/search/defines_8.js +11 -11
  169. package/SVF-doxygen/html/search/defines_9.js +9 -9
  170. package/SVF-doxygen/html/search/defines_a.js +2 -2
  171. package/SVF-doxygen/html/search/defines_b.js +1 -1
  172. package/SVF-doxygen/html/search/defines_c.js +4 -4
  173. package/SVF-doxygen/html/search/defines_d.js +2 -2
  174. package/SVF-doxygen/html/search/defines_e.js +8 -8
  175. package/SVF-doxygen/html/search/defines_f.js +4 -4
  176. package/SVF-doxygen/html/search/enums_0.js +4 -4
  177. package/SVF-doxygen/html/search/enums_1.js +2 -2
  178. package/SVF-doxygen/html/search/enums_10.js +1 -1
  179. package/SVF-doxygen/html/search/enums_11.js +1 -1
  180. package/SVF-doxygen/html/search/enums_2.js +8 -8
  181. package/SVF-doxygen/html/search/enums_3.js +1 -1
  182. package/SVF-doxygen/html/search/enums_4.js +4 -4
  183. package/SVF-doxygen/html/search/enums_5.js +1 -1
  184. package/SVF-doxygen/html/search/enums_6.js +2 -2
  185. package/SVF-doxygen/html/search/enums_7.js +2 -2
  186. package/SVF-doxygen/html/search/enums_8.js +4 -4
  187. package/SVF-doxygen/html/search/enums_9.js +1 -1
  188. package/SVF-doxygen/html/search/enums_a.js +1 -1
  189. package/SVF-doxygen/html/search/enums_b.js +7 -7
  190. package/SVF-doxygen/html/search/enums_c.js +1 -1
  191. package/SVF-doxygen/html/search/enums_d.js +4 -4
  192. package/SVF-doxygen/html/search/enums_e.js +2 -2
  193. package/SVF-doxygen/html/search/enums_f.js +4 -4
  194. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  195. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  196. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  197. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  198. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  199. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  200. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  201. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  202. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  203. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  204. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  205. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  206. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  207. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  208. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  209. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  210. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  211. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  212. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  213. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  214. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  215. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  216. package/SVF-doxygen/html/search/files_0.js +16 -16
  217. package/SVF-doxygen/html/search/files_1.js +9 -9
  218. package/SVF-doxygen/html/search/files_10.js +8 -8
  219. package/SVF-doxygen/html/search/files_11.js +8 -8
  220. package/SVF-doxygen/html/search/files_12.js +2 -2
  221. package/SVF-doxygen/html/search/files_2.js +53 -53
  222. package/SVF-doxygen/html/search/files_3.js +14 -14
  223. package/SVF-doxygen/html/search/files_4.js +5 -5
  224. package/SVF-doxygen/html/search/files_5.js +13 -13
  225. package/SVF-doxygen/html/search/files_6.js +10 -10
  226. package/SVF-doxygen/html/search/files_7.js +17 -17
  227. package/SVF-doxygen/html/search/files_8.js +13 -13
  228. package/SVF-doxygen/html/search/files_9.js +18 -18
  229. package/SVF-doxygen/html/search/files_a.js +3 -3
  230. package/SVF-doxygen/html/search/files_b.js +4 -4
  231. package/SVF-doxygen/html/search/files_c.js +20 -20
  232. package/SVF-doxygen/html/search/files_d.js +4 -4
  233. package/SVF-doxygen/html/search/files_e.js +62 -62
  234. package/SVF-doxygen/html/search/files_f.js +8 -8
  235. package/SVF-doxygen/html/search/functions_0.js +13 -13
  236. package/SVF-doxygen/html/search/functions_1.js +369 -369
  237. package/SVF-doxygen/html/search/functions_10.js +140 -140
  238. package/SVF-doxygen/html/search/functions_11.js +140 -139
  239. package/SVF-doxygen/html/search/functions_12.js +299 -299
  240. package/SVF-doxygen/html/search/functions_13.js +73 -73
  241. package/SVF-doxygen/html/search/functions_14.js +41 -41
  242. package/SVF-doxygen/html/search/functions_15.js +72 -72
  243. package/SVF-doxygen/html/search/functions_16.js +38 -38
  244. package/SVF-doxygen/html/search/functions_17.js +3 -3
  245. package/SVF-doxygen/html/search/functions_18.js +180 -180
  246. package/SVF-doxygen/html/search/functions_2.js +95 -95
  247. package/SVF-doxygen/html/search/functions_3.js +261 -261
  248. package/SVF-doxygen/html/search/functions_4.js +84 -84
  249. package/SVF-doxygen/html/search/functions_5.js +57 -57
  250. package/SVF-doxygen/html/search/functions_6.js +65 -65
  251. package/SVF-doxygen/html/search/functions_7.js +863 -863
  252. package/SVF-doxygen/html/search/functions_8.js +162 -162
  253. package/SVF-doxygen/html/search/functions_9.js +439 -439
  254. package/SVF-doxygen/html/search/functions_a.js +30 -30
  255. package/SVF-doxygen/html/search/functions_b.js +2 -2
  256. package/SVF-doxygen/html/search/functions_c.js +25 -25
  257. package/SVF-doxygen/html/search/functions_d.js +82 -82
  258. package/SVF-doxygen/html/search/functions_e.js +36 -36
  259. package/SVF-doxygen/html/search/functions_f.js +58 -58
  260. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  261. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  262. package/SVF-doxygen/html/search/related_0.js +4 -4
  263. package/SVF-doxygen/html/search/related_1.js +2 -2
  264. package/SVF-doxygen/html/search/related_2.js +2 -2
  265. package/SVF-doxygen/html/search/related_3.js +2 -2
  266. package/SVF-doxygen/html/search/related_4.js +2 -2
  267. package/SVF-doxygen/html/search/related_5.js +1 -1
  268. package/SVF-doxygen/html/search/related_6.js +2 -2
  269. package/SVF-doxygen/html/search/related_7.js +5 -5
  270. package/SVF-doxygen/html/search/related_8.js +2 -2
  271. package/SVF-doxygen/html/search/related_9.js +4 -4
  272. package/SVF-doxygen/html/search/related_a.js +19 -19
  273. package/SVF-doxygen/html/search/related_b.js +4 -4
  274. package/SVF-doxygen/html/search/related_c.js +2 -2
  275. package/SVF-doxygen/html/search/related_d.js +12 -12
  276. package/SVF-doxygen/html/search/related_e.js +2 -2
  277. package/SVF-doxygen/html/search/related_f.js +2 -2
  278. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  279. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  280. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  281. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  282. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  283. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  284. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  285. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  286. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  287. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  288. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  289. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  290. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  291. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  292. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  293. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  294. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  295. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  296. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  297. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  298. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  299. package/SVF-doxygen/html/search/variables_0.js +177 -177
  300. package/SVF-doxygen/html/search/variables_1.js +76 -76
  301. package/SVF-doxygen/html/search/variables_10.js +98 -98
  302. package/SVF-doxygen/html/search/variables_11.js +46 -46
  303. package/SVF-doxygen/html/search/variables_12.js +93 -93
  304. package/SVF-doxygen/html/search/variables_13.js +76 -76
  305. package/SVF-doxygen/html/search/variables_14.js +14 -14
  306. package/SVF-doxygen/html/search/variables_15.js +49 -49
  307. package/SVF-doxygen/html/search/variables_16.js +11 -11
  308. package/SVF-doxygen/html/search/variables_17.js +1 -1
  309. package/SVF-doxygen/html/search/variables_18.js +17 -17
  310. package/SVF-doxygen/html/search/variables_2.js +41 -41
  311. package/SVF-doxygen/html/search/variables_3.js +142 -142
  312. package/SVF-doxygen/html/search/variables_4.js +51 -51
  313. package/SVF-doxygen/html/search/variables_5.js +39 -39
  314. package/SVF-doxygen/html/search/variables_6.js +66 -66
  315. package/SVF-doxygen/html/search/variables_7.js +34 -34
  316. package/SVF-doxygen/html/search/variables_8.js +8 -8
  317. package/SVF-doxygen/html/search/variables_9.js +79 -79
  318. package/SVF-doxygen/html/search/variables_a.js +4 -4
  319. package/SVF-doxygen/html/search/variables_b.js +10 -10
  320. package/SVF-doxygen/html/search/variables_c.js +45 -45
  321. package/SVF-doxygen/html/search/variables_d.js +57 -57
  322. package/SVF-doxygen/html/search/variables_e.js +123 -123
  323. package/SVF-doxygen/html/search/variables_f.js +31 -31
  324. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  325. package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +1 -1
  326. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html +1 -1
  327. package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +1 -1
  328. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html +1 -1
  329. package/SVF-doxygen/html/svf-ex_8cpp.html +12 -12
  330. package/SVF-doxygen/html/svf-ex_8cpp_source.html +12 -12
  331. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  332. package/package.json +1 -1
  333. package/svf/include/Graphs/WTO.h +1 -0
  334. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +1 -0
  335. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +1 -0
  336. package/svf/lib/AE/Svfexe/ICFGSimplification.cpp +1 -2
  337. package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +1 -0
  338. package/svf/lib/MemoryModel/AccessPath.cpp +4 -1
  339. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +2 -0
  340. package/svf-llvm/lib/LLVMModule.cpp +3 -4
  341. package/svf-llvm/lib/LLVMUtil.cpp +29 -2
  342. package/svf-llvm/lib/SVFIRBuilder.cpp +1 -1
  343. package/svf-llvm/tools/AE/ae.cpp +1 -2
@@ -1,128 +1,128 @@
1
1
  var searchData=
2
2
  [
3
- ['callbase_12562',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
4
- ['callbrinst_12563',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
5
- ['callchi_12564',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
6
- ['calledgemap_12565',['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_12566',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
8
- ['callgraphedgeiter_12567',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
9
- ['callgraphedgeset_12568',['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_12569',['CallGraphSCC',['../classSVF_1_1AbstractExecution.html#a8ad0f3d5a0c9de60eff91fcc0dd44aae',1,'SVF::AbstractExecution::CallGraphSCC()'],['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
11
- ['callinst_12570',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
12
- ['callinstset_12571',['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_12572',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
14
- ['callinsttoforkedgesmap_12573',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
15
- ['callinsttojoinedgesmap_12574',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
16
- ['callinsttoparforedgesmap_12575',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
17
- ['callmu_12576',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
18
- ['callpeset_12577',['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_12578',['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_12579',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
21
- ['callsitepair_12580',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
22
- ['callsiteset_12581',['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_12582',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
24
- ['callsitetoactualoutsmapty_12583',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
25
- ['callsitetochisetmap_12584',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
26
- ['callsitetochnodesmap_12585',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
27
- ['callsitetofunptrmap_12586',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
28
- ['callsitetoidmap_12587',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
29
- ['callsitetomrsmap_12588',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
30
- ['callsitetomusetmap_12589',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
31
- ['callsitetonodebsmap_12590',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
32
- ['callsitetopointstomap_12591',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
33
- ['callsitetovfunsetmap_12592',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
34
- ['callsitetovtablesetmap_12593',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
35
- ['callstrcxt_12594',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
36
- ['calltoinstmap_12595',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
37
- ['castinst_12596',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
38
- ['cdata_5fiterator_12597',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
39
- ['cdgedgesetty_12598',['CDGEdgeSetTy',['../classSVF_1_1CDGEdge.html#a563cb04921b2c9785f7e9ce58b0a593c',1,'SVF::CDGEdge::CDGEdgeSetTy()'],['../classSVF_1_1CDG.html#acc64e1957a5aa3c899e825b94737ea3a',1,'SVF::CDG::CDGEdgeSetTy()']]],
40
- ['cdgnodeidtonodemapty_12599',['CDGNodeIDToNodeMapTy',['../classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466',1,'SVF::CDG']]],
41
- ['cfledgedataty_12600',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
42
- ['cfledgeset_12601',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
43
- ['cfledgesetty_12602',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
44
- ['cflsrcsnksolver_12603',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
45
- ['cfworklist_12604',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
46
- ['cgscc_12605',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
47
- ['chedgesetty_12606',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
48
- ['chgraphreader_12607',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
49
- ['chgraphwriter_12608',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
50
- ['chi_12609',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
51
- ['child_5fiterator_12610',['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_12611',['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_12612',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
54
- ['chitype_12613',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
55
- ['chnodesetty_12614',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
56
- ['cilocktospan_12615',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
57
- ['cispan_12616',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
58
- ['cjson_12617',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
59
- ['cjson_5fbool_12618',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
60
- ['cjson_5fhooks_12619',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
61
- ['cmpinst_12620',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
62
- ['condition_12621',['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_12622',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
64
- ['condpts_12623',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
65
- ['condptsconstiter_12624',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
66
- ['condptsiter_12625',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
67
- ['const_5falias_5fiterator_12626',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
68
- ['const_5fcdata_5fiterator_12627',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
69
- ['const_5fglobal_5fiterator_12628',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
70
- ['const_5finst_5fiterator_12629',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
71
- ['const_5fiterator_12630',['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_12631',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
73
- ['const_5fpred_5fiterator_12632',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
74
- ['constant_12633',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
75
- ['constantaggregate_12634',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
76
- ['constantaggregatezero_12635',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
77
- ['constantarray_12636',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
78
- ['constantdata_12637',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
79
- ['constantdataarray_12638',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
80
- ['constantdatasequential_12639',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
81
- ['constantexpr_12640',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
82
- ['constantfp_12641',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
83
- ['constantint_12642',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
84
- ['constantpointernull_12643',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
85
- ['constantstruct_12644',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
86
- ['constanttype_12645',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
87
- ['constraintedgesetty_12646',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
88
- ['constraintnodeidtonodemapty_12647',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
89
- ['constraintnodeiter_12648',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
90
- ['constsvfgedgeset_12649',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
91
- ['copysvfgnode_12650',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
92
- ['cptset_12651',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
93
- ['csnumtoinst_12652',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
94
- ['cstoargslistmap_12653',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
95
- ['cstocallnodemapty_12654',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
96
- ['cstoretmap_12655',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
97
- ['cstoretnodemapty_12656',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
98
- ['csworklist_12657',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
99
- ['ctxset_12658',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
100
- ['cvar_12659',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
101
- ['cxtlocdpitem_12660',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
102
- ['cxtlock_12661',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
103
- ['cxtlockproc_12662',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
104
- ['cxtlockprocset_12663',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
105
- ['cxtlockprocvec_12664',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
106
- ['cxtlockset_12665',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
107
- ['cxtlocksetstr_12666',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
108
- ['cxtlocktolockset_12667',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
109
- ['cxtlocktospan_12668',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
110
- ['cxtptset_12669',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
111
- ['cxtstmtset_12670',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
112
- ['cxtstmttoaliveflagmap_12671',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
113
- ['cxtstmttocxtlocks_12672',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
114
- ['cxtstmttocxtlockset_12673',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
115
- ['cxtstmttolockflagmap_12674',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
116
- ['cxtstmttoloopmap_12675',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
117
- ['cxtstmttotidmap_12676',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
118
- ['cxtstmtworklist_12677',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
119
- ['cxtthreadprocset_12678',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
120
- ['cxtthreadprocvec_12679',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
121
- ['cxtthreadstmtset_12680',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
122
- ['cxtthreadstmtworklist_12681',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
123
- ['cxtthreadtoforkcxt_12682',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
124
- ['cxtthreadtofun_12683',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
125
- ['cxtthreadtonodemap_12684',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
126
- ['cxtvar_12685',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
127
- ['cycledepthnumber_12686',['CycleDepthNumber',['../classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7',1,'SVF::WTO']]]
3
+ ['callbase_12564',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
4
+ ['callbrinst_12565',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
5
+ ['callchi_12566',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
6
+ ['calledgemap_12567',['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_12568',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
8
+ ['callgraphedgeiter_12569',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
9
+ ['callgraphedgeset_12570',['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_12571',['CallGraphSCC',['../classSVF_1_1AbstractExecution.html#a8ad0f3d5a0c9de60eff91fcc0dd44aae',1,'SVF::AbstractExecution::CallGraphSCC()'],['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
11
+ ['callinst_12572',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
12
+ ['callinstset_12573',['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_12574',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
14
+ ['callinsttoforkedgesmap_12575',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
15
+ ['callinsttojoinedgesmap_12576',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
16
+ ['callinsttoparforedgesmap_12577',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
17
+ ['callmu_12578',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
18
+ ['callpeset_12579',['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_12580',['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_12581',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
21
+ ['callsitepair_12582',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
22
+ ['callsiteset_12583',['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_12584',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
24
+ ['callsitetoactualoutsmapty_12585',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
25
+ ['callsitetochisetmap_12586',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
26
+ ['callsitetochnodesmap_12587',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
27
+ ['callsitetofunptrmap_12588',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
28
+ ['callsitetoidmap_12589',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
29
+ ['callsitetomrsmap_12590',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
30
+ ['callsitetomusetmap_12591',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
31
+ ['callsitetonodebsmap_12592',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
32
+ ['callsitetopointstomap_12593',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
33
+ ['callsitetovfunsetmap_12594',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
34
+ ['callsitetovtablesetmap_12595',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
35
+ ['callstrcxt_12596',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
36
+ ['calltoinstmap_12597',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
37
+ ['castinst_12598',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
38
+ ['cdata_5fiterator_12599',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
39
+ ['cdgedgesetty_12600',['CDGEdgeSetTy',['../classSVF_1_1CDGEdge.html#a563cb04921b2c9785f7e9ce58b0a593c',1,'SVF::CDGEdge::CDGEdgeSetTy()'],['../classSVF_1_1CDG.html#acc64e1957a5aa3c899e825b94737ea3a',1,'SVF::CDG::CDGEdgeSetTy()']]],
40
+ ['cdgnodeidtonodemapty_12601',['CDGNodeIDToNodeMapTy',['../classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466',1,'SVF::CDG']]],
41
+ ['cfledgedataty_12602',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
42
+ ['cfledgeset_12603',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
43
+ ['cfledgesetty_12604',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
44
+ ['cflsrcsnksolver_12605',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
45
+ ['cfworklist_12606',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
46
+ ['cgscc_12607',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
47
+ ['chedgesetty_12608',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
48
+ ['chgraphreader_12609',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
49
+ ['chgraphwriter_12610',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
50
+ ['chi_12611',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
51
+ ['child_5fiterator_12612',['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_12613',['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_12614',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
54
+ ['chitype_12615',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
55
+ ['chnodesetty_12616',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
56
+ ['cilocktospan_12617',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
57
+ ['cispan_12618',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
58
+ ['cjson_12619',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
59
+ ['cjson_5fbool_12620',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
60
+ ['cjson_5fhooks_12621',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
61
+ ['cmpinst_12622',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
62
+ ['condition_12623',['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_12624',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
64
+ ['condpts_12625',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
65
+ ['condptsconstiter_12626',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
66
+ ['condptsiter_12627',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
67
+ ['const_5falias_5fiterator_12628',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
68
+ ['const_5fcdata_5fiterator_12629',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
69
+ ['const_5fglobal_5fiterator_12630',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
70
+ ['const_5finst_5fiterator_12631',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
71
+ ['const_5fiterator_12632',['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_12633',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
73
+ ['const_5fpred_5fiterator_12634',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
74
+ ['constant_12635',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
75
+ ['constantaggregate_12636',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
76
+ ['constantaggregatezero_12637',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
77
+ ['constantarray_12638',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
78
+ ['constantdata_12639',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
79
+ ['constantdataarray_12640',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
80
+ ['constantdatasequential_12641',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
81
+ ['constantexpr_12642',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
82
+ ['constantfp_12643',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
83
+ ['constantint_12644',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
84
+ ['constantpointernull_12645',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
85
+ ['constantstruct_12646',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
86
+ ['constanttype_12647',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
87
+ ['constraintedgesetty_12648',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
88
+ ['constraintnodeidtonodemapty_12649',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
89
+ ['constraintnodeiter_12650',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
90
+ ['constsvfgedgeset_12651',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
91
+ ['copysvfgnode_12652',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
92
+ ['cptset_12653',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
93
+ ['csnumtoinst_12654',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
94
+ ['cstoargslistmap_12655',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
95
+ ['cstocallnodemapty_12656',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
96
+ ['cstoretmap_12657',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
97
+ ['cstoretnodemapty_12658',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
98
+ ['csworklist_12659',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
99
+ ['ctxset_12660',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
100
+ ['cvar_12661',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
101
+ ['cxtlocdpitem_12662',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
102
+ ['cxtlock_12663',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
103
+ ['cxtlockproc_12664',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
104
+ ['cxtlockprocset_12665',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
105
+ ['cxtlockprocvec_12666',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
106
+ ['cxtlockset_12667',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
107
+ ['cxtlocksetstr_12668',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
108
+ ['cxtlocktolockset_12669',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
109
+ ['cxtlocktospan_12670',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
110
+ ['cxtptset_12671',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
111
+ ['cxtstmtset_12672',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
112
+ ['cxtstmttoaliveflagmap_12673',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
113
+ ['cxtstmttocxtlocks_12674',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
114
+ ['cxtstmttocxtlockset_12675',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
115
+ ['cxtstmttolockflagmap_12676',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
116
+ ['cxtstmttoloopmap_12677',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
117
+ ['cxtstmttotidmap_12678',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
118
+ ['cxtstmtworklist_12679',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
119
+ ['cxtthreadprocset_12680',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
120
+ ['cxtthreadprocvec_12681',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
121
+ ['cxtthreadstmtset_12682',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
122
+ ['cxtthreadstmtworklist_12683',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
123
+ ['cxtthreadtoforkcxt_12684',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
124
+ ['cxtthreadtofun_12685',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
125
+ ['cxtthreadtonodemap_12686',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
126
+ ['cxtvar_12687',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
127
+ ['cycledepthnumber_12688',['CycleDepthNumber',['../classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7',1,'SVF::WTO']]]
128
128
  ];
@@ -1,42 +1,42 @@
1
1
  var searchData=
2
2
  [
3
- ['datadeque_12687',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
4
- ['dataiter_12688',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
5
- ['datalayout_12689',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
6
- ['datamap_12690',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
7
- ['dataop_12691',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
8
- ['dataset_12692',['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_12693',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
10
- ['dchedgesetty_12694',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
11
- ['debuginfofinder_12695',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
12
- ['dfinoutmap_12696',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
13
- ['dfkeytoidmap_12697',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
14
- ['dfptdataty_12698',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
15
- ['dfptsmap_12699',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
16
- ['dfptsmapconstiter_12700',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
17
- ['dfptsmapiter_12701',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
18
- ['dibasictype_12702',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
19
- ['dicompositetype_12703',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
20
- ['diderivedtype_12704',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
21
- ['difference_5ftype_12705',['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_12706',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
23
- ['dinode_12707',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
24
- ['dinodearray_12708',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
25
- ['distoccmap_12709',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
26
- ['disubprogram_12710',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
27
- ['disubrange_12711',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
28
- ['disubroutinetype_12712',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
29
- ['ditype_12713',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
30
- ['dityperefarray_12714',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
31
- ['dominancefrontier_12715',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
32
- ['dominancefrontierbase_12716',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
33
- ['dominatortree_12717',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
34
- ['domtreenode_12718',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
35
- ['dottraits_12719',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
36
- ['dpim_12720',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
37
- ['dpimset_12721',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
38
- ['dpimtocptsetmap_12722',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
39
- ['dpmtocvarmap_12723',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
40
- ['dpmtodpmmap_12724',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
41
- ['dptitemset_12725',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
3
+ ['datadeque_12689',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
4
+ ['dataiter_12690',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
5
+ ['datalayout_12691',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
6
+ ['datamap_12692',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
7
+ ['dataop_12693',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
8
+ ['dataset_12694',['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_12695',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
10
+ ['dchedgesetty_12696',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
11
+ ['debuginfofinder_12697',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
12
+ ['dfinoutmap_12698',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
13
+ ['dfkeytoidmap_12699',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
14
+ ['dfptdataty_12700',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
15
+ ['dfptsmap_12701',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
16
+ ['dfptsmapconstiter_12702',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
17
+ ['dfptsmapiter_12703',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
18
+ ['dibasictype_12704',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
19
+ ['dicompositetype_12705',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
20
+ ['diderivedtype_12706',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
21
+ ['difference_5ftype_12707',['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_12708',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
23
+ ['dinode_12709',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
24
+ ['dinodearray_12710',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
25
+ ['distoccmap_12711',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
26
+ ['disubprogram_12712',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
27
+ ['disubrange_12713',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
28
+ ['disubroutinetype_12714',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
29
+ ['ditype_12715',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
30
+ ['dityperefarray_12716',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
31
+ ['dominancefrontier_12717',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
32
+ ['dominancefrontierbase_12718',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
33
+ ['dominatortree_12719',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
34
+ ['domtreenode_12720',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
35
+ ['dottraits_12721',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
36
+ ['dpim_12722',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
37
+ ['dpimset_12723',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
38
+ ['dpimtocptsetmap_12724',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
39
+ ['dpmtocvarmap_12725',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
40
+ ['dpmtodpmmap_12726',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
41
+ ['dptitemset_12727',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
42
42
  ];
@@ -1,20 +1,20 @@
1
1
  var searchData=
2
2
  [
3
- ['edgeid_12726',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
4
- ['edgeset_12727',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
5
- ['edget_12728',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
6
- ['edgetype_12729',['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_12730',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
8
- ['elementlist_12731',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
9
- ['elementlistconstiter_12732',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
10
- ['elementlistiter_12733',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
11
- ['elementset_12734',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
12
- ['entrychi_12735',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
13
- ['equalgedge_12736',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
14
- ['equalmemregion_12737',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
15
- ['equalnodebs_12738',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
16
- ['equalpointsto_12739',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
17
- ['eventstack_12740',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
18
- ['extractelementinst_12741',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
19
- ['extractvalueinst_12742',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
3
+ ['edgeid_12728',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
4
+ ['edgeset_12729',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
5
+ ['edget_12730',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
6
+ ['edgetype_12731',['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_12732',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
8
+ ['elementlist_12733',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
9
+ ['elementlistconstiter_12734',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
10
+ ['elementlistiter_12735',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
11
+ ['elementset_12736',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
12
+ ['entrychi_12737',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
13
+ ['equalgedge_12738',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
14
+ ['equalmemregion_12739',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
15
+ ['equalnodebs_12740',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
16
+ ['equalpointsto_12741',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
17
+ ['eventstack_12742',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
18
+ ['extractelementinst_12743',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
19
+ ['extractvalueinst_12744',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
20
20
  ];