svf-tools 1.0.819 → 1.0.821

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 (256) hide show
  1. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +488 -486
  3. package/SVF-doxygen/html/LLVMModule_8h_source.html +14 -14
  4. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
  6. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/SVFBugReport_8cpp_source.html +81 -69
  8. package/SVF-doxygen/html/SVFBugReport_8h_source.html +135 -121
  9. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +1 -1
  11. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  14. package/SVF-doxygen/html/classSVF_1_1FileChecker.html +1 -1
  15. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  16. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +470 -468
  17. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  18. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  19. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  20. package/SVF-doxygen/html/classSVF_1_1SVFBugReport-members.html +9 -5
  21. package/SVF-doxygen/html/classSVF_1_1SVFBugReport.html +307 -161
  22. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +2 -2
  23. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  24. package/SVF-doxygen/html/functions_c.html +24 -19
  25. package/SVF-doxygen/html/functions_func_i.html +1 -1
  26. package/SVF-doxygen/html/functions_func_s.html +25 -22
  27. package/SVF-doxygen/html/functions_i.html +1 -1
  28. package/SVF-doxygen/html/functions_l.html +3 -3
  29. package/SVF-doxygen/html/functions_m.html +4 -3
  30. package/SVF-doxygen/html/functions_n.html +4 -4
  31. package/SVF-doxygen/html/functions_o.html +4 -4
  32. package/SVF-doxygen/html/functions_p.html +11 -11
  33. package/SVF-doxygen/html/functions_r.html +4 -6
  34. package/SVF-doxygen/html/functions_s.html +26 -21
  35. package/SVF-doxygen/html/functions_t.html +8 -5
  36. package/SVF-doxygen/html/functions_v.html +6 -6
  37. package/SVF-doxygen/html/functions_vars_c.html +3 -0
  38. package/SVF-doxygen/html/functions_vars_m.html +1 -0
  39. package/SVF-doxygen/html/functions_vars_t.html +3 -0
  40. package/SVF-doxygen/html/functions_w.html +1 -1
  41. package/SVF-doxygen/html/search/all_10.js +324 -324
  42. package/SVF-doxygen/html/search/all_11.js +222 -222
  43. package/SVF-doxygen/html/search/all_12.js +545 -544
  44. package/SVF-doxygen/html/search/all_13.js +192 -191
  45. package/SVF-doxygen/html/search/all_14.js +67 -67
  46. package/SVF-doxygen/html/search/all_15.js +167 -167
  47. package/SVF-doxygen/html/search/all_16.js +63 -63
  48. package/SVF-doxygen/html/search/all_17.js +1 -1
  49. package/SVF-doxygen/html/search/all_18.js +1 -1
  50. package/SVF-doxygen/html/search/all_19.js +11 -11
  51. package/SVF-doxygen/html/search/all_1a.js +172 -172
  52. package/SVF-doxygen/html/search/all_3.js +138 -137
  53. package/SVF-doxygen/html/search/all_4.js +233 -233
  54. package/SVF-doxygen/html/search/all_5.js +119 -119
  55. package/SVF-doxygen/html/search/all_6.js +225 -225
  56. package/SVF-doxygen/html/search/all_7.js +1044 -1044
  57. package/SVF-doxygen/html/search/all_8.js +197 -197
  58. package/SVF-doxygen/html/search/all_9.js +607 -607
  59. package/SVF-doxygen/html/search/all_a.js +46 -46
  60. package/SVF-doxygen/html/search/all_b.js +26 -26
  61. package/SVF-doxygen/html/search/all_c.js +116 -116
  62. package/SVF-doxygen/html/search/all_d.js +196 -196
  63. package/SVF-doxygen/html/search/all_e.js +207 -207
  64. package/SVF-doxygen/html/search/all_f.js +115 -115
  65. package/SVF-doxygen/html/search/classes_0.js +26 -26
  66. package/SVF-doxygen/html/search/classes_1.js +9 -9
  67. package/SVF-doxygen/html/search/classes_10.js +73 -73
  68. package/SVF-doxygen/html/search/classes_11.js +15 -15
  69. package/SVF-doxygen/html/search/classes_12.js +2 -2
  70. package/SVF-doxygen/html/search/classes_13.js +10 -10
  71. package/SVF-doxygen/html/search/classes_14.js +14 -14
  72. package/SVF-doxygen/html/search/classes_15.js +1 -1
  73. package/SVF-doxygen/html/search/classes_2.js +80 -80
  74. package/SVF-doxygen/html/search/classes_3.js +37 -37
  75. package/SVF-doxygen/html/search/classes_4.js +9 -9
  76. package/SVF-doxygen/html/search/classes_5.js +28 -28
  77. package/SVF-doxygen/html/search/classes_6.js +104 -104
  78. package/SVF-doxygen/html/search/classes_7.js +33 -33
  79. package/SVF-doxygen/html/search/classes_8.js +56 -56
  80. package/SVF-doxygen/html/search/classes_9.js +1 -1
  81. package/SVF-doxygen/html/search/classes_a.js +12 -12
  82. package/SVF-doxygen/html/search/classes_b.js +29 -29
  83. package/SVF-doxygen/html/search/classes_c.js +6 -6
  84. package/SVF-doxygen/html/search/classes_d.js +18 -18
  85. package/SVF-doxygen/html/search/classes_e.js +36 -36
  86. package/SVF-doxygen/html/search/classes_f.js +25 -25
  87. package/SVF-doxygen/html/search/defines_0.js +3 -3
  88. package/SVF-doxygen/html/search/defines_1.js +2 -2
  89. package/SVF-doxygen/html/search/defines_2.js +30 -30
  90. package/SVF-doxygen/html/search/defines_3.js +21 -21
  91. package/SVF-doxygen/html/search/defines_4.js +2 -2
  92. package/SVF-doxygen/html/search/defines_5.js +4 -4
  93. package/SVF-doxygen/html/search/defines_6.js +2 -2
  94. package/SVF-doxygen/html/search/defines_7.js +5 -5
  95. package/SVF-doxygen/html/search/defines_8.js +11 -11
  96. package/SVF-doxygen/html/search/defines_9.js +9 -9
  97. package/SVF-doxygen/html/search/defines_a.js +2 -2
  98. package/SVF-doxygen/html/search/defines_b.js +1 -1
  99. package/SVF-doxygen/html/search/defines_c.js +3 -3
  100. package/SVF-doxygen/html/search/defines_d.js +2 -2
  101. package/SVF-doxygen/html/search/defines_e.js +7 -7
  102. package/SVF-doxygen/html/search/defines_f.js +3 -3
  103. package/SVF-doxygen/html/search/enums_0.js +3 -3
  104. package/SVF-doxygen/html/search/enums_1.js +2 -2
  105. package/SVF-doxygen/html/search/enums_10.js +1 -1
  106. package/SVF-doxygen/html/search/enums_11.js +1 -1
  107. package/SVF-doxygen/html/search/enums_2.js +8 -8
  108. package/SVF-doxygen/html/search/enums_3.js +1 -1
  109. package/SVF-doxygen/html/search/enums_4.js +3 -3
  110. package/SVF-doxygen/html/search/enums_5.js +1 -1
  111. package/SVF-doxygen/html/search/enums_6.js +2 -2
  112. package/SVF-doxygen/html/search/enums_7.js +2 -2
  113. package/SVF-doxygen/html/search/enums_8.js +4 -4
  114. package/SVF-doxygen/html/search/enums_9.js +1 -1
  115. package/SVF-doxygen/html/search/enums_a.js +1 -1
  116. package/SVF-doxygen/html/search/enums_b.js +7 -7
  117. package/SVF-doxygen/html/search/enums_c.js +1 -1
  118. package/SVF-doxygen/html/search/enums_d.js +4 -4
  119. package/SVF-doxygen/html/search/enums_e.js +2 -2
  120. package/SVF-doxygen/html/search/enums_f.js +4 -4
  121. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  122. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  123. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  124. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  125. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  126. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  127. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  128. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  129. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  130. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  131. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  132. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  133. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  134. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  135. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  136. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  137. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  138. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  139. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  140. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  141. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  142. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  143. package/SVF-doxygen/html/search/files_0.js +13 -13
  144. package/SVF-doxygen/html/search/files_1.js +7 -7
  145. package/SVF-doxygen/html/search/files_10.js +8 -8
  146. package/SVF-doxygen/html/search/files_11.js +8 -8
  147. package/SVF-doxygen/html/search/files_12.js +2 -2
  148. package/SVF-doxygen/html/search/files_2.js +55 -55
  149. package/SVF-doxygen/html/search/files_3.js +14 -14
  150. package/SVF-doxygen/html/search/files_4.js +5 -5
  151. package/SVF-doxygen/html/search/files_5.js +13 -13
  152. package/SVF-doxygen/html/search/files_6.js +9 -9
  153. package/SVF-doxygen/html/search/files_7.js +14 -14
  154. package/SVF-doxygen/html/search/files_8.js +13 -13
  155. package/SVF-doxygen/html/search/files_9.js +18 -18
  156. package/SVF-doxygen/html/search/files_a.js +3 -3
  157. package/SVF-doxygen/html/search/files_b.js +2 -2
  158. package/SVF-doxygen/html/search/files_c.js +20 -20
  159. package/SVF-doxygen/html/search/files_d.js +4 -4
  160. package/SVF-doxygen/html/search/files_e.js +62 -62
  161. package/SVF-doxygen/html/search/files_f.js +8 -8
  162. package/SVF-doxygen/html/search/functions_0.js +12 -12
  163. package/SVF-doxygen/html/search/functions_1.js +360 -360
  164. package/SVF-doxygen/html/search/functions_10.js +140 -140
  165. package/SVF-doxygen/html/search/functions_11.js +138 -138
  166. package/SVF-doxygen/html/search/functions_12.js +280 -279
  167. package/SVF-doxygen/html/search/functions_13.js +59 -59
  168. package/SVF-doxygen/html/search/functions_14.js +39 -39
  169. package/SVF-doxygen/html/search/functions_15.js +71 -71
  170. package/SVF-doxygen/html/search/functions_16.js +32 -32
  171. package/SVF-doxygen/html/search/functions_17.js +3 -3
  172. package/SVF-doxygen/html/search/functions_18.js +172 -172
  173. package/SVF-doxygen/html/search/functions_2.js +87 -87
  174. package/SVF-doxygen/html/search/functions_3.js +257 -257
  175. package/SVF-doxygen/html/search/functions_4.js +75 -75
  176. package/SVF-doxygen/html/search/functions_5.js +53 -53
  177. package/SVF-doxygen/html/search/functions_6.js +59 -59
  178. package/SVF-doxygen/html/search/functions_7.js +854 -854
  179. package/SVF-doxygen/html/search/functions_8.js +149 -149
  180. package/SVF-doxygen/html/search/functions_9.js +423 -423
  181. package/SVF-doxygen/html/search/functions_a.js +30 -30
  182. package/SVF-doxygen/html/search/functions_b.js +2 -2
  183. package/SVF-doxygen/html/search/functions_c.js +26 -26
  184. package/SVF-doxygen/html/search/functions_d.js +77 -77
  185. package/SVF-doxygen/html/search/functions_e.js +35 -35
  186. package/SVF-doxygen/html/search/functions_f.js +56 -56
  187. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  188. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  189. package/SVF-doxygen/html/search/related_0.js +2 -2
  190. package/SVF-doxygen/html/search/related_1.js +2 -2
  191. package/SVF-doxygen/html/search/related_2.js +2 -2
  192. package/SVF-doxygen/html/search/related_3.js +2 -2
  193. package/SVF-doxygen/html/search/related_4.js +2 -2
  194. package/SVF-doxygen/html/search/related_5.js +1 -1
  195. package/SVF-doxygen/html/search/related_6.js +2 -2
  196. package/SVF-doxygen/html/search/related_7.js +4 -4
  197. package/SVF-doxygen/html/search/related_8.js +2 -2
  198. package/SVF-doxygen/html/search/related_9.js +4 -4
  199. package/SVF-doxygen/html/search/related_a.js +19 -19
  200. package/SVF-doxygen/html/search/related_b.js +4 -4
  201. package/SVF-doxygen/html/search/related_c.js +1 -1
  202. package/SVF-doxygen/html/search/related_d.js +12 -12
  203. package/SVF-doxygen/html/search/related_e.js +2 -2
  204. package/SVF-doxygen/html/search/related_f.js +2 -2
  205. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  206. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  207. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  208. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  209. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  210. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  211. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  212. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  213. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  214. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  215. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  216. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  217. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  218. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  219. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  220. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  221. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  222. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  223. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  224. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  225. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  226. package/SVF-doxygen/html/search/variables_0.js +151 -151
  227. package/SVF-doxygen/html/search/variables_1.js +75 -75
  228. package/SVF-doxygen/html/search/variables_10.js +97 -97
  229. package/SVF-doxygen/html/search/variables_11.js +44 -44
  230. package/SVF-doxygen/html/search/variables_12.js +92 -92
  231. package/SVF-doxygen/html/search/variables_13.js +76 -75
  232. package/SVF-doxygen/html/search/variables_14.js +14 -14
  233. package/SVF-doxygen/html/search/variables_15.js +48 -48
  234. package/SVF-doxygen/html/search/variables_16.js +9 -9
  235. package/SVF-doxygen/html/search/variables_17.js +1 -1
  236. package/SVF-doxygen/html/search/variables_18.js +2 -2
  237. package/SVF-doxygen/html/search/variables_2.js +38 -38
  238. package/SVF-doxygen/html/search/variables_3.js +143 -142
  239. package/SVF-doxygen/html/search/variables_4.js +55 -55
  240. package/SVF-doxygen/html/search/variables_5.js +37 -37
  241. package/SVF-doxygen/html/search/variables_6.js +66 -66
  242. package/SVF-doxygen/html/search/variables_7.js +34 -34
  243. package/SVF-doxygen/html/search/variables_8.js +7 -7
  244. package/SVF-doxygen/html/search/variables_9.js +78 -78
  245. package/SVF-doxygen/html/search/variables_a.js +4 -4
  246. package/SVF-doxygen/html/search/variables_b.js +10 -10
  247. package/SVF-doxygen/html/search/variables_c.js +45 -45
  248. package/SVF-doxygen/html/search/variables_d.js +56 -56
  249. package/SVF-doxygen/html/search/variables_e.js +123 -123
  250. package/SVF-doxygen/html/search/variables_f.js +29 -29
  251. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  252. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  253. package/package.json +1 -1
  254. package/svf/include/Util/SVFBugReport.h +10 -0
  255. package/svf/lib/Util/SVFBugReport.cpp +46 -32
  256. package/svf-llvm/lib/LLVMModule.cpp +2 -0
@@ -505,141 +505,142 @@ var searchData=
505
505
  ['countstat_1323',['countStat',['../classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6',1,'SVF::ICFGStat']]],
506
506
  ['countsumedges_1324',['countSumEdges',['../classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9',1,'SVF::CFLBase']]],
507
507
  ['counttrailingzeros_1325',['countTrailingZeros',['../namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461',1,'SVF']]],
508
- ['cpputil_2ecpp_1326',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
509
- ['cpputil_2eh_1327',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
510
- ['cpts_1328',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
511
- ['cptsbegin_1329',['cptsBegin',['../classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3',1,'SVF::CondPointsToSet::cptsBegin()'],['../classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670',1,'SVF::CondPointsToSet::cptsBegin() const']]],
512
- ['cptsend_1330',['cptsEnd',['../classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea',1,'SVF::CondPointsToSet::cptsEnd()'],['../classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d',1,'SVF::CondPointsToSet::cptsEnd() const']]],
513
- ['cptset_1331',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
514
- ['cptsset_1332',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
515
- ['cptstorepcptsmap_1333',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
516
- ['cpu_1334',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
517
- ['cpyitvtolocal_1335',['cpyItvToLocal',['../classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19',1,'SVF::IntervalExeState']]],
518
- ['create_5freference_1336',['create_reference',['../cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3',1,'cJSON.cpp']]],
519
- ['createandersenscd_1337',['createAndersenSCD',['../classSVF_1_1AndersenSCD.html#ad403be45ff1c69fccdff6c5f3f1959c2',1,'SVF::AndersenSCD']]],
520
- ['createandersensfr_1338',['createAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4792427f84f402ec30f9447d24f3faad',1,'SVF::AndersenSFR']]],
521
- ['createandersenwavediff_1339',['createAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540',1,'SVF::AndersenWaveDiff']]],
522
- ['createblkobj_1340',['createBlkObj',['../classSVF_1_1SymbolTableBuilder.html#a5db9e476132b0a653c7995b61def4065',1,'SVF::SymbolTableBuilder']]],
523
- ['createchedge_1341',['createCHEdge',['../classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4',1,'SVF::SVFIRReader']]],
524
- ['createchnode_1342',['createCHNode',['../classSVF_1_1SVFIRReader.html#a26bb57669d2bb947d96d0e0d93ae40e1',1,'SVF::SVFIRReader']]],
525
- ['createconstantobj_1343',['createConstantObj',['../classSVF_1_1SymbolTableBuilder.html#a85994a1cdb68036dde589aab0d7b3e82',1,'SVF::SymbolTableBuilder']]],
526
- ['createdisjointmr_1344',['createDisjointMR',['../classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2',1,'SVF::IntraDisjointMRG']]],
527
- ['createdistinctmr_1345',['createDistinctMR',['../classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393',1,'SVF::DistinctMRG']]],
528
- ['createdummyobj_1346',['createDummyObj',['../classSVF_1_1SymbolTableInfo.html#ae39b1a2330b157312727a560fddbd0dc',1,'SVF::SymbolTableInfo']]],
529
- ['createedgewithflag_1347',['createEdgeWithFlag',['../classSVF_1_1SVFIRReader.html#ab6f96f9491fe0f15b91c3c1f2989d842',1,'SVF::SVFIRReader']]],
530
- ['createfsmpta_1348',['createFSMPTA',['../classSVF_1_1FSMPTA.html#a8a2d1c846f8b6aead8d9426e1effa426',1,'SVF::FSMPTA']]],
531
- ['createfswpa_1349',['createFSWPA',['../classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be',1,'SVF::FlowSensitive']]],
532
- ['createicfgedge_1350',['createICFGEdge',['../classSVF_1_1SVFIRReader.html#a2b97dbcdea2f61bc83268cf8e7ecb87d',1,'SVF::SVFIRReader']]],
533
- ['createicfgnode_1351',['createICFGNode',['../classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea',1,'SVF::SVFIRReader']]],
534
- ['createintervalvalue_1352',['createIntervalValue',['../classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558',1,'SVF::IntervalExeState']]],
535
- ['createmr_1353',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
536
- ['createmuchi_1354',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
537
- ['createnode_1355',['createNode',['../classSVF_1_1CHGBuilder.html#ae0376b8ecdf2093b88e8c529f0e014e0',1,'SVF::CHGBuilder']]],
538
- ['createobjs_1356',['createObjs',['../classSVF_1_1ReaderIDToObjMap.html#ae81aaaaf1c3bb461ff2929e79fd8c8f2',1,'SVF::ReaderIDToObjMap::createObjs()'],['../classSVF_1_1ReaderPtrPool.html#ae324e7cf279e2b007a41ebea737d06f5',1,'SVF::ReaderPtrPool::createObjs()'],['../classSVF_1_1GenericGraphReader.html#a29c813df947df665d068fabe7b1fe919',1,'SVF::GenericGraphReader::createObjs()'],['../classSVF_1_1SymbolTableInfoReader.html#ad1da745e0f65a6a3f8d45730e4458dee',1,'SVF::SymbolTableInfoReader::createObjs()'],['../classSVF_1_1ICFGReader.html#ad1f5fb592f2c89ac76abff828506f608',1,'SVF::ICFGReader::createObjs()'],['../classSVF_1_1SVFModuleReader.html#a8145cbd243e0604582ae86408d0a2477',1,'SVF::SVFModuleReader::createObjs()'],['../classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24',1,'SVF::SVFIRReader::createObjs()']]],
539
- ['createobjtypeinfo_1357',['createObjTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3',1,'SVF::SymbolTableBuilder::createObjTypeInfo()'],['../classSVF_1_1SymbolTableInfo.html#a2994a616d76020a21903fcdc2d2cfdff',1,'SVF::SymbolTableInfo::createObjTypeInfo()']]],
540
- ['createpagedge_1358',['createPAGEdge',['../classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106',1,'SVF::SVFIRReader']]],
541
- ['createpagnode_1359',['createPAGNode',['../classSVF_1_1SVFIRReader.html#ae38a6f1a2c930fb1136be280c4aa35f4',1,'SVF::SVFIRReader']]],
542
- ['createsteensgaard_1360',['createSteensgaard',['../classSVF_1_1Steensgaard.html#acd5f31c3b1f9b47def458637f8e9389e',1,'SVF::Steensgaard']]],
543
- ['createsvfdatastructure_1361',['createSVFDataStructure',['../classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd',1,'SVF::LLVMModuleSet']]],
544
- ['createsvffunction_1362',['createSVFFunction',['../classSVF_1_1LLVMModuleSet.html#a024f5de163fde6f63cb2d762b4b28d8a',1,'SVF::LLVMModuleSet']]],
545
- ['createsvftype_1363',['createSVFType',['../namespaceSVF.html#aa006007c2108ee3b1bf1f9087ef9a4e8',1,'SVF']]],
546
- ['createsvfvalue_1364',['createSVFValue',['../namespaceSVF.html#a5949109584f6bce72bd2414960f78afe',1,'SVF']]],
547
- ['createvfswpa_1365',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ae7cf16ad79c13104dd9981e6b984057e',1,'SVF::VersionedFlowSensitive']]],
548
- ['cs_1366',['cs',['../classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallICFGNode.html#a4acec3f922d6610cb81bcdb68dac0af9',1,'SVF::CallICFGNode::cs()'],['../classSVF_1_1RetICFGNode.html#a718935df4d5b653bcf662243b67d7857',1,'SVF::RetICFGNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643',1,'SVF::ActualRetVFGNode::cs()']]],
549
- ['csc_1367',['CSC',['../classSVF_1_1CSC.html',1,'SVF::CSC'],['../classSVF_1_1CSC.html#a4ffb05984b0509d97ec713fc6bfc4b6e',1,'SVF::CSC::CSC()'],['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR::csc()']]],
550
- ['csc_2ecpp_1368',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
551
- ['csc_2eh_1369',['CSC.h',['../CSC_8h.html',1,'']]],
552
- ['cscallstring_5fwpa_1370',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
553
- ['cschamap_1371',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
554
- ['cshasvfnsbasedoncha_1372',['csHasVFnsBasedonCHA',['../classSVF_1_1DCHGraph.html#a1494aeef22e15baaa160e8d598dd7de0',1,'SVF::DCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#a0ce9117288d9e0b498f128217fda0cca',1,'SVF::CommonCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a885a81b08477e6ccdd7df98d249b8c39',1,'SVF::CHGraph::csHasVFnsBasedonCHA()']]],
555
- ['cshasvtblsbasedoncha_1373',['csHasVtblsBasedonCHA',['../classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611',1,'SVF::DCHGraph::csHasVtblsBasedonCHA(CallBase *cs)'],['../classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b',1,'SVF::DCHGraph::csHasVtblsBasedonCHA(CallSite cs) override'],['../classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1',1,'SVF::CommonCHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79',1,'SVF::CHGraph::csHasVtblsBasedonCHA()']]],
556
- ['csid_1374',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
557
- ['csnumtoinst_1375',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
558
- ['csnumtoinstmap_1376',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
559
- ['cssummary_5fwpa_1377',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
560
- ['cstoargslistmap_1378',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
561
- ['cstocallnodemap_1379',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
562
- ['cstocallnodemapty_1380',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
563
- ['cstocallsiteargsptsmap_1381',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
564
- ['cstocallsiteretptsmap_1382',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
565
- ['cstochavfnsmap_1383',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
566
- ['cstochavtblsmap_1384',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
567
- ['cstoclassesmap_1385',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
568
- ['cstoidmap_1386',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
569
- ['cstomodsmap_1387',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
570
- ['cstorefsmap_1388',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
571
- ['cstoretmap_1389',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
572
- ['cstoretnodemap_1390',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
573
- ['cstoretnodemapty_1391',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
574
- ['csworklist_1392',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
575
- ['ctermid_1393',['ctermid',['../extapi_8c.html#ab5e4eb3862b8cdd8d57eae42287b1adf',1,'extapi.c']]],
576
- ['ctplist_1394',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
577
- ['ctptonodemap_1395',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
578
- ['cttoforkcxtmap_1396',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
579
- ['cttoroutinefunmap_1397',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
580
- ['ctx_1398',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
581
- ['ctxset_1399',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
582
- ['cur_1400',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
583
- ['curbb_1401',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
584
- ['curevalsvfgnode_1402',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
585
- ['curloc_1403',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
586
- ['curptr_1404',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
587
- ['currelementiter_1405',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
588
- ['current_1406',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
589
- ['currentbestnodemapping_1407',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
590
- ['currentbestreversenodemapping_1408',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
591
- ['cursccid_1409',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
592
- ['curty_1410',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
593
- ['curval_1411',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
594
- ['customized_1412',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
595
- ['cutree_5fcdist_1413',['cutree_cdist',['../fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961',1,'cutree_cdist(int n, const int *merge, double *height, double cdist, int *labels): fastcluster.cpp'],['../fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961',1,'cutree_cdist(int n, const int *merge, double *height, double cdist, int *labels): fastcluster.cpp']]],
596
- ['cutree_5fk_1414',['cutree_k',['../fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24',1,'cutree_k(int n, const int *merge, int nclust, int *labels): fastcluster.cpp'],['../fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24',1,'cutree_k(int n, const int *merge, int nclust, int *labels): fastcluster.cpp']]],
597
- ['cvar_1415',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
598
- ['cxt_1416',['cxt',['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
599
- ['cxt_5fdda_1417',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
600
- ['cxt_5fthread_1418',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
601
- ['cxtbudget_1419',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
602
- ['cxtdpitem_1420',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF::CxtDPItem'],['../classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca',1,'SVF::CxtDPItem::CxtDPItem(NodeID c, const ContextCond &cxt)'],['../classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8',1,'SVF::CxtDPItem::CxtDPItem(const CxtVar &var)'],['../classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32',1,'SVF::CxtDPItem::CxtDPItem(const CxtDPItem &dps)'],['../classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf',1,'SVF::CxtDPItem::CxtDPItem(CxtDPItem &&dps) noexcept']]],
603
- ['cxtjoininloop_1421',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
604
- ['cxtlimit_1422',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
605
- ['cxtlocdpitem_1423',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
606
- ['cxtlock_1424',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
607
- ['cxtlockproc_1425',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
608
- ['cxtlockprocset_1426',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
609
- ['cxtlockprocvec_1427',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
610
- ['cxtlockset_1428',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()'],['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis::CxtLockSet()']]],
611
- ['cxtlocksetstr_1429',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
612
- ['cxtlocktolockset_1430',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
613
- ['cxtlocktospan_1431',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis::cxtLocktoSpan()'],['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis::CxtLockToSpan()']]],
614
- ['cxtproc_1432',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF::CxtProc'],['../classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0',1,'SVF::CxtProc::CxtProc(const CallStrCxt &c, const SVFFunction *f)'],['../classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc',1,'SVF::CxtProc::CxtProc(const CxtProc &ctm)']]],
615
- ['cxtptset_1433',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
616
- ['cxts_1434',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
617
- ['cxtsize_1435',['cxtSize',['../classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1',1,'SVF::ContextCond']]],
618
- ['cxtstmt_1436',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF::CxtStmt'],['../classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32',1,'SVF::CxtStmt::CxtStmt(const CallStrCxt &c, const SVFInstruction *f)'],['../classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41',1,'SVF::CxtStmt::CxtStmt(const CxtStmt &ctm)']]],
619
- ['cxtstmt_2eh_1437',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]],
620
- ['cxtstmtdpitem_1438',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF::CxtStmtDPItem< LocCond >'],['../classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1',1,'SVF::CxtStmtDPItem::CxtStmtDPItem(const CxtVar &var, const LocCond *locCond)'],['../classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0',1,'SVF::CxtStmtDPItem::CxtStmtDPItem(const CxtStmtDPItem< LocCond > &dps)']]],
621
- ['cxtstmtlist_1439',['cxtStmtList',['../classSVF_1_1LockAnalysis.html#a109293f282e9b920b0b13c58026f6f1d',1,'SVF::LockAnalysis::cxtStmtList()'],['../classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb',1,'SVF::MHP::cxtStmtList()'],['../classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916',1,'SVF::ForkJoinAnalysis::cxtStmtList()']]],
622
- ['cxtstmtset_1440',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
623
- ['cxtstmttoaliveflagmap_1441',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis::cxtStmtToAliveFlagMap()'],['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis::CxtStmtToAliveFlagMap()']]],
624
- ['cxtstmttocxtlocks_1442',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
625
- ['cxtstmttocxtlockset_1443',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis::CxtStmtToCxtLockSet()']]],
626
- ['cxtstmttolockflagmap_1444',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
627
- ['cxtstmttoloopmap_1445',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
628
- ['cxtstmttotidmap_1446',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
629
- ['cxtstmtworklist_1447',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
630
- ['cxtthread_1448',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF::CxtThread'],['../classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280',1,'SVF::CxtThread::CxtThread(const CallStrCxt &c, const SVFInstruction *fork)'],['../classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3',1,'SVF::CxtThread::CxtThread(const CxtThread &ct)']]],
631
- ['cxtthreadproc_1449',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF::CxtThreadProc'],['../classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc',1,'SVF::CxtThreadProc::CxtThreadProc(NodeID t, const CallStrCxt &c, const SVFFunction *f)'],['../classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8',1,'SVF::CxtThreadProc::CxtThreadProc(const CxtThreadProc &ctm)']]],
632
- ['cxtthreadprocset_1450',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
633
- ['cxtthreadprocvec_1451',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
634
- ['cxtthreadstmt_1452',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF::CxtThreadStmt'],['../classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d',1,'SVF::CxtThreadStmt::CxtThreadStmt(NodeID t, const CallStrCxt &c, const SVFInstruction *f)'],['../classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb',1,'SVF::CxtThreadStmt::CxtThreadStmt(const CxtThreadStmt &ctm)']]],
635
- ['cxtthreadstmtset_1453',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
636
- ['cxtthreadstmtworklist_1454',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
637
- ['cxtthreadtoforkcxt_1455',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
638
- ['cxtthreadtofun_1456',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
639
- ['cxtthreadtonodemap_1457',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
640
- ['cxttostr_1458',['cxtToStr',['../classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee',1,'SVF::CxtStmt::cxtToStr()'],['../classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47',1,'SVF::CxtThread::cxtToStr()'],['../classSVF_1_1CxtProc.html#ac53f22f1e9547b15b8998d83290f4281',1,'SVF::CxtProc::cxtToStr()']]],
641
- ['cxtvar_1459',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
642
- ['cycle_1460',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]],
643
- ['cycledepthnumber_1461',['CycleDepthNumber',['../classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e',1,'SVF::CFBasicBlockGWTO']]],
644
- ['cyclicfldidx_1462',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
508
+ ['coverage_1326',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
509
+ ['cpputil_2ecpp_1327',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
510
+ ['cpputil_2eh_1328',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
511
+ ['cpts_1329',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
512
+ ['cptsbegin_1330',['cptsBegin',['../classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3',1,'SVF::CondPointsToSet::cptsBegin()'],['../classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670',1,'SVF::CondPointsToSet::cptsBegin() const']]],
513
+ ['cptsend_1331',['cptsEnd',['../classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea',1,'SVF::CondPointsToSet::cptsEnd()'],['../classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d',1,'SVF::CondPointsToSet::cptsEnd() const']]],
514
+ ['cptset_1332',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
515
+ ['cptsset_1333',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
516
+ ['cptstorepcptsmap_1334',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
517
+ ['cpu_1335',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
518
+ ['cpyitvtolocal_1336',['cpyItvToLocal',['../classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19',1,'SVF::IntervalExeState']]],
519
+ ['create_5freference_1337',['create_reference',['../cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3',1,'cJSON.cpp']]],
520
+ ['createandersenscd_1338',['createAndersenSCD',['../classSVF_1_1AndersenSCD.html#ad403be45ff1c69fccdff6c5f3f1959c2',1,'SVF::AndersenSCD']]],
521
+ ['createandersensfr_1339',['createAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4792427f84f402ec30f9447d24f3faad',1,'SVF::AndersenSFR']]],
522
+ ['createandersenwavediff_1340',['createAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540',1,'SVF::AndersenWaveDiff']]],
523
+ ['createblkobj_1341',['createBlkObj',['../classSVF_1_1SymbolTableBuilder.html#a5db9e476132b0a653c7995b61def4065',1,'SVF::SymbolTableBuilder']]],
524
+ ['createchedge_1342',['createCHEdge',['../classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4',1,'SVF::SVFIRReader']]],
525
+ ['createchnode_1343',['createCHNode',['../classSVF_1_1SVFIRReader.html#a26bb57669d2bb947d96d0e0d93ae40e1',1,'SVF::SVFIRReader']]],
526
+ ['createconstantobj_1344',['createConstantObj',['../classSVF_1_1SymbolTableBuilder.html#a85994a1cdb68036dde589aab0d7b3e82',1,'SVF::SymbolTableBuilder']]],
527
+ ['createdisjointmr_1345',['createDisjointMR',['../classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2',1,'SVF::IntraDisjointMRG']]],
528
+ ['createdistinctmr_1346',['createDistinctMR',['../classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393',1,'SVF::DistinctMRG']]],
529
+ ['createdummyobj_1347',['createDummyObj',['../classSVF_1_1SymbolTableInfo.html#ae39b1a2330b157312727a560fddbd0dc',1,'SVF::SymbolTableInfo']]],
530
+ ['createedgewithflag_1348',['createEdgeWithFlag',['../classSVF_1_1SVFIRReader.html#ab6f96f9491fe0f15b91c3c1f2989d842',1,'SVF::SVFIRReader']]],
531
+ ['createfsmpta_1349',['createFSMPTA',['../classSVF_1_1FSMPTA.html#a8a2d1c846f8b6aead8d9426e1effa426',1,'SVF::FSMPTA']]],
532
+ ['createfswpa_1350',['createFSWPA',['../classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be',1,'SVF::FlowSensitive']]],
533
+ ['createicfgedge_1351',['createICFGEdge',['../classSVF_1_1SVFIRReader.html#a2b97dbcdea2f61bc83268cf8e7ecb87d',1,'SVF::SVFIRReader']]],
534
+ ['createicfgnode_1352',['createICFGNode',['../classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea',1,'SVF::SVFIRReader']]],
535
+ ['createintervalvalue_1353',['createIntervalValue',['../classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558',1,'SVF::IntervalExeState']]],
536
+ ['createmr_1354',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
537
+ ['createmuchi_1355',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
538
+ ['createnode_1356',['createNode',['../classSVF_1_1CHGBuilder.html#ae0376b8ecdf2093b88e8c529f0e014e0',1,'SVF::CHGBuilder']]],
539
+ ['createobjs_1357',['createObjs',['../classSVF_1_1ReaderIDToObjMap.html#ae81aaaaf1c3bb461ff2929e79fd8c8f2',1,'SVF::ReaderIDToObjMap::createObjs()'],['../classSVF_1_1ReaderPtrPool.html#ae324e7cf279e2b007a41ebea737d06f5',1,'SVF::ReaderPtrPool::createObjs()'],['../classSVF_1_1GenericGraphReader.html#a29c813df947df665d068fabe7b1fe919',1,'SVF::GenericGraphReader::createObjs()'],['../classSVF_1_1SymbolTableInfoReader.html#ad1da745e0f65a6a3f8d45730e4458dee',1,'SVF::SymbolTableInfoReader::createObjs()'],['../classSVF_1_1ICFGReader.html#ad1f5fb592f2c89ac76abff828506f608',1,'SVF::ICFGReader::createObjs()'],['../classSVF_1_1SVFModuleReader.html#a8145cbd243e0604582ae86408d0a2477',1,'SVF::SVFModuleReader::createObjs()'],['../classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24',1,'SVF::SVFIRReader::createObjs()']]],
540
+ ['createobjtypeinfo_1358',['createObjTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3',1,'SVF::SymbolTableBuilder::createObjTypeInfo()'],['../classSVF_1_1SymbolTableInfo.html#a2994a616d76020a21903fcdc2d2cfdff',1,'SVF::SymbolTableInfo::createObjTypeInfo()']]],
541
+ ['createpagedge_1359',['createPAGEdge',['../classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106',1,'SVF::SVFIRReader']]],
542
+ ['createpagnode_1360',['createPAGNode',['../classSVF_1_1SVFIRReader.html#ae38a6f1a2c930fb1136be280c4aa35f4',1,'SVF::SVFIRReader']]],
543
+ ['createsteensgaard_1361',['createSteensgaard',['../classSVF_1_1Steensgaard.html#acd5f31c3b1f9b47def458637f8e9389e',1,'SVF::Steensgaard']]],
544
+ ['createsvfdatastructure_1362',['createSVFDataStructure',['../classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd',1,'SVF::LLVMModuleSet']]],
545
+ ['createsvffunction_1363',['createSVFFunction',['../classSVF_1_1LLVMModuleSet.html#a024f5de163fde6f63cb2d762b4b28d8a',1,'SVF::LLVMModuleSet']]],
546
+ ['createsvftype_1364',['createSVFType',['../namespaceSVF.html#aa006007c2108ee3b1bf1f9087ef9a4e8',1,'SVF']]],
547
+ ['createsvfvalue_1365',['createSVFValue',['../namespaceSVF.html#a5949109584f6bce72bd2414960f78afe',1,'SVF']]],
548
+ ['createvfswpa_1366',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ae7cf16ad79c13104dd9981e6b984057e',1,'SVF::VersionedFlowSensitive']]],
549
+ ['cs_1367',['cs',['../classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallICFGNode.html#a4acec3f922d6610cb81bcdb68dac0af9',1,'SVF::CallICFGNode::cs()'],['../classSVF_1_1RetICFGNode.html#a718935df4d5b653bcf662243b67d7857',1,'SVF::RetICFGNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643',1,'SVF::ActualRetVFGNode::cs()']]],
550
+ ['csc_1368',['CSC',['../classSVF_1_1CSC.html',1,'SVF::CSC'],['../classSVF_1_1CSC.html#a4ffb05984b0509d97ec713fc6bfc4b6e',1,'SVF::CSC::CSC()'],['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR::csc()']]],
551
+ ['csc_2ecpp_1369',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
552
+ ['csc_2eh_1370',['CSC.h',['../CSC_8h.html',1,'']]],
553
+ ['cscallstring_5fwpa_1371',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
554
+ ['cschamap_1372',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
555
+ ['cshasvfnsbasedoncha_1373',['csHasVFnsBasedonCHA',['../classSVF_1_1DCHGraph.html#a1494aeef22e15baaa160e8d598dd7de0',1,'SVF::DCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#a0ce9117288d9e0b498f128217fda0cca',1,'SVF::CommonCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a885a81b08477e6ccdd7df98d249b8c39',1,'SVF::CHGraph::csHasVFnsBasedonCHA()']]],
556
+ ['cshasvtblsbasedoncha_1374',['csHasVtblsBasedonCHA',['../classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611',1,'SVF::DCHGraph::csHasVtblsBasedonCHA(CallBase *cs)'],['../classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b',1,'SVF::DCHGraph::csHasVtblsBasedonCHA(CallSite cs) override'],['../classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1',1,'SVF::CommonCHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79',1,'SVF::CHGraph::csHasVtblsBasedonCHA()']]],
557
+ ['csid_1375',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
558
+ ['csnumtoinst_1376',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
559
+ ['csnumtoinstmap_1377',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
560
+ ['cssummary_5fwpa_1378',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
561
+ ['cstoargslistmap_1379',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
562
+ ['cstocallnodemap_1380',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
563
+ ['cstocallnodemapty_1381',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
564
+ ['cstocallsiteargsptsmap_1382',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
565
+ ['cstocallsiteretptsmap_1383',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
566
+ ['cstochavfnsmap_1384',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
567
+ ['cstochavtblsmap_1385',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
568
+ ['cstoclassesmap_1386',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
569
+ ['cstoidmap_1387',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
570
+ ['cstomodsmap_1388',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
571
+ ['cstorefsmap_1389',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
572
+ ['cstoretmap_1390',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
573
+ ['cstoretnodemap_1391',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
574
+ ['cstoretnodemapty_1392',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
575
+ ['csworklist_1393',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
576
+ ['ctermid_1394',['ctermid',['../extapi_8c.html#ab5e4eb3862b8cdd8d57eae42287b1adf',1,'extapi.c']]],
577
+ ['ctplist_1395',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
578
+ ['ctptonodemap_1396',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
579
+ ['cttoforkcxtmap_1397',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
580
+ ['cttoroutinefunmap_1398',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
581
+ ['ctx_1399',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
582
+ ['ctxset_1400',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
583
+ ['cur_1401',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
584
+ ['curbb_1402',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
585
+ ['curevalsvfgnode_1403',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
586
+ ['curloc_1404',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
587
+ ['curptr_1405',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
588
+ ['currelementiter_1406',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
589
+ ['current_1407',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
590
+ ['currentbestnodemapping_1408',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
591
+ ['currentbestreversenodemapping_1409',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
592
+ ['cursccid_1410',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
593
+ ['curty_1411',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
594
+ ['curval_1412',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
595
+ ['customized_1413',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
596
+ ['cutree_5fcdist_1414',['cutree_cdist',['../fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961',1,'cutree_cdist(int n, const int *merge, double *height, double cdist, int *labels): fastcluster.cpp'],['../fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961',1,'cutree_cdist(int n, const int *merge, double *height, double cdist, int *labels): fastcluster.cpp']]],
597
+ ['cutree_5fk_1415',['cutree_k',['../fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24',1,'cutree_k(int n, const int *merge, int nclust, int *labels): fastcluster.cpp'],['../fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24',1,'cutree_k(int n, const int *merge, int nclust, int *labels): fastcluster.cpp']]],
598
+ ['cvar_1416',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
599
+ ['cxt_1417',['cxt',['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
600
+ ['cxt_5fdda_1418',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
601
+ ['cxt_5fthread_1419',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
602
+ ['cxtbudget_1420',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
603
+ ['cxtdpitem_1421',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF::CxtDPItem'],['../classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca',1,'SVF::CxtDPItem::CxtDPItem(NodeID c, const ContextCond &cxt)'],['../classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8',1,'SVF::CxtDPItem::CxtDPItem(const CxtVar &var)'],['../classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32',1,'SVF::CxtDPItem::CxtDPItem(const CxtDPItem &dps)'],['../classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf',1,'SVF::CxtDPItem::CxtDPItem(CxtDPItem &&dps) noexcept']]],
604
+ ['cxtjoininloop_1422',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
605
+ ['cxtlimit_1423',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
606
+ ['cxtlocdpitem_1424',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
607
+ ['cxtlock_1425',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
608
+ ['cxtlockproc_1426',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
609
+ ['cxtlockprocset_1427',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
610
+ ['cxtlockprocvec_1428',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
611
+ ['cxtlockset_1429',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()'],['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis::CxtLockSet()']]],
612
+ ['cxtlocksetstr_1430',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
613
+ ['cxtlocktolockset_1431',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
614
+ ['cxtlocktospan_1432',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis::cxtLocktoSpan()'],['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis::CxtLockToSpan()']]],
615
+ ['cxtproc_1433',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF::CxtProc'],['../classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0',1,'SVF::CxtProc::CxtProc(const CallStrCxt &c, const SVFFunction *f)'],['../classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc',1,'SVF::CxtProc::CxtProc(const CxtProc &ctm)']]],
616
+ ['cxtptset_1434',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
617
+ ['cxts_1435',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
618
+ ['cxtsize_1436',['cxtSize',['../classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1',1,'SVF::ContextCond']]],
619
+ ['cxtstmt_1437',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF::CxtStmt'],['../classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32',1,'SVF::CxtStmt::CxtStmt(const CallStrCxt &c, const SVFInstruction *f)'],['../classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41',1,'SVF::CxtStmt::CxtStmt(const CxtStmt &ctm)']]],
620
+ ['cxtstmt_2eh_1438',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]],
621
+ ['cxtstmtdpitem_1439',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF::CxtStmtDPItem< LocCond >'],['../classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1',1,'SVF::CxtStmtDPItem::CxtStmtDPItem(const CxtVar &var, const LocCond *locCond)'],['../classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0',1,'SVF::CxtStmtDPItem::CxtStmtDPItem(const CxtStmtDPItem< LocCond > &dps)']]],
622
+ ['cxtstmtlist_1440',['cxtStmtList',['../classSVF_1_1LockAnalysis.html#a109293f282e9b920b0b13c58026f6f1d',1,'SVF::LockAnalysis::cxtStmtList()'],['../classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb',1,'SVF::MHP::cxtStmtList()'],['../classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916',1,'SVF::ForkJoinAnalysis::cxtStmtList()']]],
623
+ ['cxtstmtset_1441',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
624
+ ['cxtstmttoaliveflagmap_1442',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis::cxtStmtToAliveFlagMap()'],['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis::CxtStmtToAliveFlagMap()']]],
625
+ ['cxtstmttocxtlocks_1443',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
626
+ ['cxtstmttocxtlockset_1444',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis::CxtStmtToCxtLockSet()']]],
627
+ ['cxtstmttolockflagmap_1445',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
628
+ ['cxtstmttoloopmap_1446',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
629
+ ['cxtstmttotidmap_1447',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
630
+ ['cxtstmtworklist_1448',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
631
+ ['cxtthread_1449',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF::CxtThread'],['../classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280',1,'SVF::CxtThread::CxtThread(const CallStrCxt &c, const SVFInstruction *fork)'],['../classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3',1,'SVF::CxtThread::CxtThread(const CxtThread &ct)']]],
632
+ ['cxtthreadproc_1450',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF::CxtThreadProc'],['../classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc',1,'SVF::CxtThreadProc::CxtThreadProc(NodeID t, const CallStrCxt &c, const SVFFunction *f)'],['../classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8',1,'SVF::CxtThreadProc::CxtThreadProc(const CxtThreadProc &ctm)']]],
633
+ ['cxtthreadprocset_1451',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
634
+ ['cxtthreadprocvec_1452',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
635
+ ['cxtthreadstmt_1453',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF::CxtThreadStmt'],['../classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d',1,'SVF::CxtThreadStmt::CxtThreadStmt(NodeID t, const CallStrCxt &c, const SVFInstruction *f)'],['../classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb',1,'SVF::CxtThreadStmt::CxtThreadStmt(const CxtThreadStmt &ctm)']]],
636
+ ['cxtthreadstmtset_1454',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
637
+ ['cxtthreadstmtworklist_1455',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
638
+ ['cxtthreadtoforkcxt_1456',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
639
+ ['cxtthreadtofun_1457',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
640
+ ['cxtthreadtonodemap_1458',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
641
+ ['cxttostr_1459',['cxtToStr',['../classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee',1,'SVF::CxtStmt::cxtToStr()'],['../classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47',1,'SVF::CxtThread::cxtToStr()'],['../classSVF_1_1CxtProc.html#ac53f22f1e9547b15b8998d83290f4281',1,'SVF::CxtProc::cxtToStr()']]],
642
+ ['cxtvar_1460',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
643
+ ['cycle_1461',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]],
644
+ ['cycledepthnumber_1462',['CycleDepthNumber',['../classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e',1,'SVF::CFBasicBlockGWTO']]],
645
+ ['cyclicfldidx_1463',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
645
646
  ];