svf-tools 1.0.784 → 1.0.785

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 (250) hide show
  1. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +68 -52
  2. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +527 -484
  3. package/SVF-doxygen/html/WTO_8h_source.html +3 -3
  4. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html +27 -26
  5. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html +62 -19
  6. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +66 -51
  7. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  8. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  9. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +30 -24
  10. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +307 -109
  11. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +177 -177
  12. package/SVF-doxygen/html/functions.html +3 -0
  13. package/SVF-doxygen/html/functions_b.html +3 -3
  14. package/SVF-doxygen/html/functions_c.html +29 -29
  15. package/SVF-doxygen/html/functions_f.html +3 -3
  16. package/SVF-doxygen/html/functions_func_c.html +21 -21
  17. package/SVF-doxygen/html/functions_func_g.html +20 -14
  18. package/SVF-doxygen/html/functions_func_h.html +7 -4
  19. package/SVF-doxygen/html/functions_func_s.html +28 -22
  20. package/SVF-doxygen/html/functions_g.html +16 -10
  21. package/SVF-doxygen/html/functions_h.html +7 -4
  22. package/SVF-doxygen/html/functions_i.html +6 -6
  23. package/SVF-doxygen/html/functions_l.html +3 -3
  24. package/SVF-doxygen/html/functions_p.html +15 -11
  25. package/SVF-doxygen/html/functions_r.html +6 -4
  26. package/SVF-doxygen/html/functions_s.html +16 -12
  27. package/SVF-doxygen/html/functions_t.html +3 -3
  28. package/SVF-doxygen/html/functions_v.html +6 -6
  29. package/SVF-doxygen/html/functions_vars.html +3 -0
  30. package/SVF-doxygen/html/namespaceSVF.html +2 -2
  31. package/SVF-doxygen/html/search/all_0.js +124 -123
  32. package/SVF-doxygen/html/search/all_1.js +484 -484
  33. package/SVF-doxygen/html/search/all_10.js +324 -324
  34. package/SVF-doxygen/html/search/all_11.js +224 -224
  35. package/SVF-doxygen/html/search/all_12.js +543 -541
  36. package/SVF-doxygen/html/search/all_13.js +190 -190
  37. package/SVF-doxygen/html/search/all_14.js +67 -67
  38. package/SVF-doxygen/html/search/all_15.js +170 -170
  39. package/SVF-doxygen/html/search/all_16.js +63 -63
  40. package/SVF-doxygen/html/search/all_17.js +1 -1
  41. package/SVF-doxygen/html/search/all_18.js +1 -1
  42. package/SVF-doxygen/html/search/all_19.js +11 -11
  43. package/SVF-doxygen/html/search/all_1a.js +172 -172
  44. package/SVF-doxygen/html/search/all_2.js +167 -167
  45. package/SVF-doxygen/html/search/all_3.js +640 -640
  46. package/SVF-doxygen/html/search/all_4.js +233 -233
  47. package/SVF-doxygen/html/search/all_5.js +121 -121
  48. package/SVF-doxygen/html/search/all_6.js +225 -225
  49. package/SVF-doxygen/html/search/all_7.js +1039 -1037
  50. package/SVF-doxygen/html/search/all_8.js +195 -194
  51. package/SVF-doxygen/html/search/all_9.js +607 -607
  52. package/SVF-doxygen/html/search/all_a.js +46 -46
  53. package/SVF-doxygen/html/search/all_b.js +26 -26
  54. package/SVF-doxygen/html/search/all_c.js +116 -116
  55. package/SVF-doxygen/html/search/all_d.js +196 -196
  56. package/SVF-doxygen/html/search/all_e.js +207 -207
  57. package/SVF-doxygen/html/search/all_f.js +116 -116
  58. package/SVF-doxygen/html/search/classes_0.js +26 -26
  59. package/SVF-doxygen/html/search/classes_1.js +9 -9
  60. package/SVF-doxygen/html/search/classes_10.js +73 -73
  61. package/SVF-doxygen/html/search/classes_11.js +15 -15
  62. package/SVF-doxygen/html/search/classes_12.js +2 -2
  63. package/SVF-doxygen/html/search/classes_13.js +10 -10
  64. package/SVF-doxygen/html/search/classes_14.js +14 -14
  65. package/SVF-doxygen/html/search/classes_15.js +1 -1
  66. package/SVF-doxygen/html/search/classes_2.js +80 -80
  67. package/SVF-doxygen/html/search/classes_3.js +37 -37
  68. package/SVF-doxygen/html/search/classes_4.js +9 -9
  69. package/SVF-doxygen/html/search/classes_5.js +28 -28
  70. package/SVF-doxygen/html/search/classes_6.js +104 -104
  71. package/SVF-doxygen/html/search/classes_7.js +33 -33
  72. package/SVF-doxygen/html/search/classes_8.js +56 -56
  73. package/SVF-doxygen/html/search/classes_9.js +1 -1
  74. package/SVF-doxygen/html/search/classes_a.js +12 -12
  75. package/SVF-doxygen/html/search/classes_b.js +29 -29
  76. package/SVF-doxygen/html/search/classes_c.js +6 -6
  77. package/SVF-doxygen/html/search/classes_d.js +18 -18
  78. package/SVF-doxygen/html/search/classes_e.js +36 -36
  79. package/SVF-doxygen/html/search/classes_f.js +25 -25
  80. package/SVF-doxygen/html/search/defines_0.js +3 -3
  81. package/SVF-doxygen/html/search/defines_1.js +2 -2
  82. package/SVF-doxygen/html/search/defines_2.js +30 -30
  83. package/SVF-doxygen/html/search/defines_3.js +21 -21
  84. package/SVF-doxygen/html/search/defines_4.js +2 -2
  85. package/SVF-doxygen/html/search/defines_5.js +4 -4
  86. package/SVF-doxygen/html/search/defines_6.js +2 -2
  87. package/SVF-doxygen/html/search/defines_7.js +5 -5
  88. package/SVF-doxygen/html/search/defines_8.js +11 -11
  89. package/SVF-doxygen/html/search/defines_9.js +9 -9
  90. package/SVF-doxygen/html/search/defines_a.js +2 -2
  91. package/SVF-doxygen/html/search/defines_b.js +1 -1
  92. package/SVF-doxygen/html/search/defines_c.js +3 -3
  93. package/SVF-doxygen/html/search/defines_d.js +2 -2
  94. package/SVF-doxygen/html/search/defines_e.js +7 -7
  95. package/SVF-doxygen/html/search/defines_f.js +3 -3
  96. package/SVF-doxygen/html/search/enums_0.js +3 -3
  97. package/SVF-doxygen/html/search/enums_1.js +2 -2
  98. package/SVF-doxygen/html/search/enums_10.js +1 -1
  99. package/SVF-doxygen/html/search/enums_11.js +1 -1
  100. package/SVF-doxygen/html/search/enums_2.js +8 -8
  101. package/SVF-doxygen/html/search/enums_3.js +1 -1
  102. package/SVF-doxygen/html/search/enums_4.js +3 -3
  103. package/SVF-doxygen/html/search/enums_5.js +1 -1
  104. package/SVF-doxygen/html/search/enums_6.js +2 -2
  105. package/SVF-doxygen/html/search/enums_7.js +2 -2
  106. package/SVF-doxygen/html/search/enums_8.js +4 -4
  107. package/SVF-doxygen/html/search/enums_9.js +1 -1
  108. package/SVF-doxygen/html/search/enums_a.js +1 -1
  109. package/SVF-doxygen/html/search/enums_b.js +7 -7
  110. package/SVF-doxygen/html/search/enums_c.js +1 -1
  111. package/SVF-doxygen/html/search/enums_d.js +4 -4
  112. package/SVF-doxygen/html/search/enums_e.js +2 -2
  113. package/SVF-doxygen/html/search/enums_f.js +4 -4
  114. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  115. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  116. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  117. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  118. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  119. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  120. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  121. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  122. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  123. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  124. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  125. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  126. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  127. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  128. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  129. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  130. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  131. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  132. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  133. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  134. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  135. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  136. package/SVF-doxygen/html/search/files_0.js +13 -13
  137. package/SVF-doxygen/html/search/files_1.js +7 -7
  138. package/SVF-doxygen/html/search/files_10.js +8 -8
  139. package/SVF-doxygen/html/search/files_11.js +8 -8
  140. package/SVF-doxygen/html/search/files_12.js +2 -2
  141. package/SVF-doxygen/html/search/files_2.js +53 -53
  142. package/SVF-doxygen/html/search/files_3.js +14 -14
  143. package/SVF-doxygen/html/search/files_4.js +5 -5
  144. package/SVF-doxygen/html/search/files_5.js +13 -13
  145. package/SVF-doxygen/html/search/files_6.js +9 -9
  146. package/SVF-doxygen/html/search/files_7.js +14 -14
  147. package/SVF-doxygen/html/search/files_8.js +13 -13
  148. package/SVF-doxygen/html/search/files_9.js +18 -18
  149. package/SVF-doxygen/html/search/files_a.js +3 -3
  150. package/SVF-doxygen/html/search/files_b.js +2 -2
  151. package/SVF-doxygen/html/search/files_c.js +20 -20
  152. package/SVF-doxygen/html/search/files_d.js +4 -4
  153. package/SVF-doxygen/html/search/files_e.js +62 -62
  154. package/SVF-doxygen/html/search/files_f.js +8 -8
  155. package/SVF-doxygen/html/search/functions_0.js +12 -12
  156. package/SVF-doxygen/html/search/functions_1.js +356 -356
  157. package/SVF-doxygen/html/search/functions_10.js +140 -140
  158. package/SVF-doxygen/html/search/functions_11.js +138 -138
  159. package/SVF-doxygen/html/search/functions_12.js +278 -276
  160. package/SVF-doxygen/html/search/functions_13.js +58 -58
  161. package/SVF-doxygen/html/search/functions_14.js +39 -39
  162. package/SVF-doxygen/html/search/functions_15.js +71 -71
  163. package/SVF-doxygen/html/search/functions_16.js +32 -32
  164. package/SVF-doxygen/html/search/functions_17.js +3 -3
  165. package/SVF-doxygen/html/search/functions_18.js +172 -172
  166. package/SVF-doxygen/html/search/functions_2.js +86 -86
  167. package/SVF-doxygen/html/search/functions_3.js +257 -257
  168. package/SVF-doxygen/html/search/functions_4.js +75 -75
  169. package/SVF-doxygen/html/search/functions_5.js +53 -53
  170. package/SVF-doxygen/html/search/functions_6.js +59 -59
  171. package/SVF-doxygen/html/search/functions_7.js +850 -848
  172. package/SVF-doxygen/html/search/functions_8.js +147 -146
  173. package/SVF-doxygen/html/search/functions_9.js +425 -425
  174. package/SVF-doxygen/html/search/functions_a.js +30 -30
  175. package/SVF-doxygen/html/search/functions_b.js +2 -2
  176. package/SVF-doxygen/html/search/functions_c.js +26 -26
  177. package/SVF-doxygen/html/search/functions_d.js +77 -77
  178. package/SVF-doxygen/html/search/functions_e.js +35 -35
  179. package/SVF-doxygen/html/search/functions_f.js +56 -56
  180. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  181. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  182. package/SVF-doxygen/html/search/related_0.js +2 -2
  183. package/SVF-doxygen/html/search/related_1.js +2 -2
  184. package/SVF-doxygen/html/search/related_2.js +2 -2
  185. package/SVF-doxygen/html/search/related_3.js +2 -2
  186. package/SVF-doxygen/html/search/related_4.js +2 -2
  187. package/SVF-doxygen/html/search/related_5.js +1 -1
  188. package/SVF-doxygen/html/search/related_6.js +2 -2
  189. package/SVF-doxygen/html/search/related_7.js +4 -4
  190. package/SVF-doxygen/html/search/related_8.js +2 -2
  191. package/SVF-doxygen/html/search/related_9.js +4 -4
  192. package/SVF-doxygen/html/search/related_a.js +19 -19
  193. package/SVF-doxygen/html/search/related_b.js +4 -4
  194. package/SVF-doxygen/html/search/related_c.js +1 -1
  195. package/SVF-doxygen/html/search/related_d.js +11 -11
  196. package/SVF-doxygen/html/search/related_e.js +2 -2
  197. package/SVF-doxygen/html/search/related_f.js +2 -2
  198. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  199. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  200. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  201. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  202. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  203. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  204. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  205. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  206. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  207. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  208. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  209. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  210. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  211. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  212. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  213. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  214. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  215. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  216. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  217. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  218. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  219. package/SVF-doxygen/html/search/variables_0.js +153 -152
  220. package/SVF-doxygen/html/search/variables_1.js +75 -75
  221. package/SVF-doxygen/html/search/variables_10.js +97 -97
  222. package/SVF-doxygen/html/search/variables_11.js +46 -46
  223. package/SVF-doxygen/html/search/variables_12.js +92 -92
  224. package/SVF-doxygen/html/search/variables_13.js +75 -75
  225. package/SVF-doxygen/html/search/variables_14.js +14 -14
  226. package/SVF-doxygen/html/search/variables_15.js +48 -48
  227. package/SVF-doxygen/html/search/variables_16.js +9 -9
  228. package/SVF-doxygen/html/search/variables_17.js +1 -1
  229. package/SVF-doxygen/html/search/variables_18.js +2 -2
  230. package/SVF-doxygen/html/search/variables_2.js +37 -37
  231. package/SVF-doxygen/html/search/variables_3.js +142 -142
  232. package/SVF-doxygen/html/search/variables_4.js +55 -55
  233. package/SVF-doxygen/html/search/variables_5.js +39 -39
  234. package/SVF-doxygen/html/search/variables_6.js +66 -66
  235. package/SVF-doxygen/html/search/variables_7.js +33 -33
  236. package/SVF-doxygen/html/search/variables_8.js +7 -7
  237. package/SVF-doxygen/html/search/variables_9.js +77 -77
  238. package/SVF-doxygen/html/search/variables_a.js +4 -4
  239. package/SVF-doxygen/html/search/variables_b.js +10 -10
  240. package/SVF-doxygen/html/search/variables_c.js +45 -45
  241. package/SVF-doxygen/html/search/variables_d.js +56 -56
  242. package/SVF-doxygen/html/search/variables_e.js +123 -123
  243. package/SVF-doxygen/html/search/variables_f.js +30 -30
  244. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  245. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  246. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  247. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  248. package/package.json +1 -1
  249. package/svf/include/Graphs/CFBasicBlockG.h +37 -1
  250. package/svf/lib/Graphs/CFBasicBlockG.cpp +14 -0
@@ -1,359 +1,359 @@
1
1
  var searchData=
2
2
  [
3
- ['abstract_5fconsequence_7263',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db',1,'SVF::RelationSolver']]],
4
- ['abstractvalue_7264',['AbstractValue',['../classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60',1,'SVF::AbstractValue::AbstractValue(AbstractValueK kind)'],['../classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378',1,'SVF::AbstractValue::AbstractValue(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a77574a2e9822d339124cf46eedcfb253',1,'SVF::AbstractValue::AbstractValue(AbstractValue &&) noexcept=default']]],
5
- ['accept_7265',['accept',['../classSVF_1_1CFBasicBlockGWTOComp.html#abcf38d30d6739751c20ad612d26349a9',1,'SVF::CFBasicBlockGWTOComp::accept()'],['../classSVF_1_1CFBasicBlockGWTONode.html#a2668c86630ba496424411bad5fec9190',1,'SVF::CFBasicBlockGWTONode::accept()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#ae02e497f73b7217df31bc1bb86996132',1,'SVF::CFBasicBlockGWTOCycle::accept()'],['../classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd',1,'SVF::CFBasicBlockGWTO::accept()']]],
6
- ['accessglobal_7266',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
7
- ['accesspair_7267',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)']]],
8
- ['accesspath_7268',['AccessPath',['../classSVF_1_1AccessPath.html#a90827f966d3018fe663ffe5c8110509e',1,'SVF::AccessPath::AccessPath(APOffset o=0)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
9
- ['accumulateconstantbyteoffset_7269',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#aeef864ea656824c228f755a183364901',1,'SVF::GepStmt']]],
10
- ['accumulateconstantoffset_7270',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
11
- ['actualinofindcs_7271',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
12
- ['actualinsvfgnode_7272',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
13
- ['actualoutofindcs_7273',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
14
- ['actualoutsvfgnode_7274',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
15
- ['actualparmvfgnode_7275',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
16
- ['actualretvfgnode_7276',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallICFGNode *c)']]],
17
- ['add_5fitem_5fto_5farray_7277',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
18
- ['add_5fitem_5fto_5fobject_7278',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
19
- ['addabsexecbug_7279',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
20
- ['addactualinsvfgnode_7280',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
21
- ['addactualoutsvfgnode_7281',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
22
- ['addactualparms_7282',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
23
- ['addactualparmvfgnode_7283',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
24
- ['addactualret_7284',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
25
- ['addactualretvfgnode_7285',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
26
- ['addaddrcgedge_7286',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
27
- ['addaddredge_7287',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
28
- ['addaddrstmt_7288',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
29
- ['addaddrvfgnode_7289',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
30
- ['addaliasset_7290',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
31
- ['addarc_7291',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
32
- ['addarc_5fh_7292',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
33
- ['addargument_7293',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
34
- ['addargumentmap_7294',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
35
- ['addattribute_7295',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
36
- ['addbackicfgedge_7296',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
37
- ['addbackwardvisited_7297',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
38
- ['addbasicblock_7298',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
39
- ['addbasicblockmap_7299',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
40
- ['addbicfledge_7300',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
41
- ['addbigepcfledge_7301',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
42
- ['addbinaryopedge_7302',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
43
- ['addbinaryopstmt_7303',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
44
- ['addbinaryopvfgnode_7304',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
45
- ['addblackholeaddredge_7305',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
46
- ['addblackholeaddrstmt_7306',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
47
- ['addblackholeobjnode_7307',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
48
- ['addblackholeptrnode_7308',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
49
- ['addbranchstmt_7309',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
50
- ['addbranchvfgnode_7310',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
51
- ['addcallblock_7311',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
52
- ['addcalledge_7312',['addCallEdge',['../classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6',1,'SVF::SVFIRBuilder::addCallEdge()'],['../classSVF_1_1ICFG.html#a2ad6c1e49cc847df18342cbbe6224863',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()']]],
53
- ['addcallgraphnode_7313',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
54
- ['addcallindirectsvfgedge_7314',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
55
- ['addcallindirectvfedge_7315',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
56
- ['addcallpe_7316',['addCallPE',['../classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb',1,'SVF::CallCFGEdge::addCallPE()'],['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba',1,'SVF::SVFIR::addCallPE()']]],
57
- ['addcallsite_7317',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
58
- ['addcallsiteargs_7318',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
59
- ['addcallsitechi_7319',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af7991c1393ef3c8b090833bc27036a49',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MemRegion *mr)']]],
60
- ['addcallsitemu_7320',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#adbaf4715d5d4c9d0be1e934178efe13e',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MemRegion *mr)']]],
61
- ['addcallsiterets_7321',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
62
- ['addcandidate_7322',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
63
- ['addcdgedge_7323',['addCDGEdge',['../classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c',1,'SVF::CDG']]],
64
- ['addcdgedgefromsrcdst_7324',['addCDGEdgeFromSrcDst',['../classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2',1,'SVF::CDG']]],
65
- ['addcdgnode_7325',['addCDGNode',['../classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c',1,'SVF::CDG']]],
66
- ['addcdgnodesfromvector_7326',['addCDGNodesFromVector',['../classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f',1,'SVF::CDG']]],
67
- ['addcfbbedge_7327',['addCFBBEdge',['../classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d',1,'SVF::CFBasicBlockGraph']]],
68
- ['addcfbbnode_7328',['addCFBBNode',['../classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67',1,'SVF::CFBasicBlockGraph']]],
69
- ['addcfledge_7329',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
70
- ['addcflnode_7330',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
71
- ['addcmpedge_7331',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
72
- ['addcmpstmt_7332',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
73
- ['addcmpvfgnode_7333',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
74
- ['addcomplexconsforext_7334',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
75
- ['addcondintralock_7335',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
76
- ['addconditionalintraedge_7336',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
77
- ['addconstant_7337',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
78
- ['addconstantdatamap_7338',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
79
- ['addconstantobjnode_7339',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
80
- ['addconstraintnode_7340',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
81
- ['addcopycgedge_7341',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
82
- ['addcopyedge_7342',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2',1,'SVF::CFLAlias::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()'],['../classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612',1,'SVF::Steensgaard::addCopyEdge()']]],
83
- ['addcopystmt_7343',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
84
- ['addcopyvfgnode_7344',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
85
- ['addcptstocallsitemods_7345',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
86
- ['addcptstocallsiterefs_7346',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
87
- ['addcptstoload_7347',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
88
- ['addcptstostore_7348',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
89
- ['addcustomgraphfeatures_7349',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
90
- ['addcxtlock_7350',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
91
- ['addcxtofcxtthread_7351',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
92
- ['addcxtstmttospan_7352',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
93
- ['addddapts_7353',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
94
- ['adddirectcallgraphedge_7354',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
95
- ['adddirectcallsite_7355',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
96
- ['adddirectforkedge_7356',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
97
- ['adddirectjoinedge_7357',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
98
- ['adddirectlyjointid_7358',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
99
- ['adddirectparforedge_7359',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
100
- ['adddpmtoloc_7360',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
101
- ['adddummymemobj_7361',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
102
- ['adddummyobjnode_7362',['addDummyObjNode',['../classSVF_1_1SVFIR.html#afddb7a152e95ed4c559d12d00f5939e7',1,'SVF::SVFIR::addDummyObjNode(const SVFType *type)'],['../classSVF_1_1SVFIR.html#a35af1a212273ae32651a88b1ed032700',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const SVFType *type)']]],
103
- ['adddummyvalnode_7363',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
104
- ['adddummyversionpropsvfgnode_7364',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
105
- ['addedge_7365',['addEdge',['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ac5fec22ed55d9b885f9381df8621e70a',1,'SVF::SVFIRBuilder::addEdge()'],['../classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af',1,'SVF::POCRSolver::addEdge()'],['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#a25b3c454753f7e1bbec92bbcd7c7655b',1,'SVF::PAGBuilderFromFile::addEdge()']]],
106
- ['addedges_7366',['addEdges',['../classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85',1,'SVF::POCRSolver::addEdges(const NodeID src, const NodeBS &dstData, const Label ty)'],['../classSVF_1_1POCRSolver.html#abccdf1a69c71d48df3773d8c6f09c63d',1,'SVF::POCRSolver::addEdges(const NodeBS &srcData, const NodeID dst, const Label ty)']]],
107
- ['addentryicfgedge_7367',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
108
- ['addextactualparmsvfgnodes_7368',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
109
- ['addfiobjnode_7369',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
110
- ['addfldwithtype_7370',['addFldWithType',['../classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c',1,'SVF::StInfo']]],
111
- ['addfollowerfun_7371',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
112
- ['addforksite_7372',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
113
- ['addformalinsvfgnode_7373',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
114
- ['addformaloutsvfgnode_7374',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
115
- ['addformalparms_7375',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
116
- ['addformalparmvfgnode_7376',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
117
- ['addformalret_7377',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
118
- ['addformalretvfgnode_7378',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
119
- ['addforwardvisited_7379',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
120
- ['addfunargs_7380',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
121
- ['addfunctionmap_7381',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
122
- ['addfunctionset_7382',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
123
- ['addfunctofuncvector_7383',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
124
- ['addfunentryblock_7384',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
125
- ['addfunexitblock_7385',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
126
- ['addfunret_7386',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
127
- ['addgepedge_7387',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
128
- ['addgepobjnode_7388',['addGepObjNode',['../classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e',1,'SVF::SVFIR']]],
129
- ['addgepstmt_7389',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
130
- ['addgepvalnode_7390',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
131
- ['addgepvfgnode_7391',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
132
- ['addglobalblackholeaddredge_7392',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
133
- ['addglobalicfgnode_7393',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
134
- ['addglobalpagedge_7394',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
135
- ['addglobalset_7395',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
136
- ['addglobalvaluemap_7396',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
137
- ['addgnode_7397',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
138
- ['addhareparforedgesetmap_7398',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
139
- ['addicfgedge_7399',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
140
- ['addicfginteredges_7400',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
141
- ['addicfgnode_7401',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
142
- ['addincomingaddredge_7402',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
143
- ['addincomingcopyedge_7403',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
144
- ['addincomingdirectedge_7404',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
145
- ['addincomingedge_7405',['addIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f',1,'SVF::CFBasicBlockNode::addIncomingEdge()'],['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode::addIncomingEdge()']]],
146
- ['addincominggepedge_7406',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
147
- ['addincomingloadedge_7407',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
148
- ['addincomingstoreedge_7408',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
149
- ['addind_5fh_7409',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
150
- ['addindirectcallgraphedge_7410',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
151
- ['addindirectcallsite_7411',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
152
- ['addindirectcallsites_7412',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
153
- ['addindirectforkedge_7413',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
154
- ['addindirectparforedge_7414',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
155
- ['addinedge_7415',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
156
- ['addinedgewithkind_7416',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
157
- ['addingoingedge_7417',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
158
- ['addinicfgedge_7418',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
159
- ['addinstances_7419',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
160
- ['addinstruction_7420',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
161
- ['addinstructionmap_7421',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
162
- ['addinteredgefromaptofp_7422',['addInterEdgeFromAPToFP',['../classSVF_1_1VFG.html#a6fd24c001a6daedf591974ba27140461',1,'SVF::VFG::addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a185ed4079babc0e0f72c4bf223342ee2',1,'SVF::VFG::addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)']]],
163
- ['addinteredgefromfrtoar_7423',['addInterEdgeFromFRToAR',['../classSVF_1_1VFG.html#abd05b599b383c759455aff99963b7b41',1,'SVF::VFG::addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a4ac1cd5f79c9e33ae599f7eb942a6e01',1,'SVF::VFG::addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)']]],
164
- ['addinterindirectvfcalledge_7424',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
165
- ['addinterindirectvfretedge_7425',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
166
- ['addinterleavingthread_7426',['addInterleavingThread',['../classSVF_1_1MHP.html#a6343dd11dd75d3730dc463321a11445e',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, NodeID tid)'],['../classSVF_1_1MHP.html#a6c77349f168735888d0db4ac5b632da9',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, const CxtThreadStmt &src)']]],
167
- ['addinterphiforar_7427',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
168
- ['addinterphiforfp_7428',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
169
- ['addinterphioperands_7429',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
170
- ['addintoworklist_7430',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
171
- ['addintrablock_7431',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
172
- ['addintradirectvfedge_7432',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
173
- ['addintraedge_7433',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
174
- ['addintraindirectvfedge_7434',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
175
- ['addintralock_7435',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
176
- ['addintramssaphisvfgnode_7436',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
177
- ['addintraphivfgnode_7437',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
178
- ['addjoinsite_7438',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
179
- ['addloadcgedge_7439',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
180
- ['addloadcvar_7440',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
181
- ['addloaddpm_7441',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
182
- ['addloaddpmandcvar_7442',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
183
- ['addloadedge_7443',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
184
- ['addloadmu_7444',['AddLoadMU',['../classSVF_1_1MemSSA.html#a426a9befa6646c88fc5d11a09da2d27a',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af478ee12d362c614096ec9a2183dfbcc',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
185
- ['addloadstmt_7445',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
186
- ['addloadvfgnode_7446',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
187
- ['addmdtag_7447',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
188
- ['addmodsideeffectofcallsite_7448',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
189
- ['addmodsideeffectoffunction_7449',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
190
- ['addmssaphi_7450',['AddMSSAPHI',['../classSVF_1_1MemSSA.html#ae1e97a53e1267cf357515d64fd916e1d',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a7c1fdb3947b503ed5ca16360e52e1cc0',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MemRegion *mr)']]],
191
- ['addnewcandidate_7451',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
192
- ['addnewsvfgedge_7452',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
193
- ['addnode_7453',['addNode',['../classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142',1,'SVF::CFBasicBlockNode::addNode()'],['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph::addNode()']]],
194
- ['addnodeintoworklist_7454',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
195
- ['addnodetobecollapsed_7455',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
196
- ['addnodetosvfloop_7456',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
197
- ['addnormalgepcgedge_7457',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
198
- ['addnormalgepedge_7458',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
199
- ['addnormalgepstmt_7459',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
200
- ['addnullptrnode_7460',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
201
- ['addnullptrvfgnode_7461',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
202
- ['addobjnode_7462',['addObjNode',['../classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6',1,'SVF::SVFIR::addObjNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1',1,'SVF::SVFIR::addObjNode(const SVFValue *, SVFVar *node, NodeID i)']]],
203
- ['addoffsetvarandgeptypepair_7463',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
204
- ['addopvar_7464',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
205
- ['addotherconstantmap_7465',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
206
- ['addothervalue_7466',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
207
- ['addothervaluemap_7467',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
208
- ['addoutedge_7468',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
209
- ['addoutedgewithkind_7469',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
210
- ['addoutgoingaddredge_7470',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
211
- ['addoutgoingcopyedge_7471',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
212
- ['addoutgoingdirectedge_7472',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
213
- ['addoutgoingedge_7473',['addOutgoingEdge',['../classSVF_1_1CFBasicBlockNode.html#a59dc0f5017e4f1949e1cbf0b4f4b3a0b',1,'SVF::CFBasicBlockNode::addOutgoingEdge()'],['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
214
- ['addoutgoinggepedge_7474',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
215
- ['addoutgoingloadedge_7475',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
216
- ['addoutgoingstoreedge_7476',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
217
- ['addouticfgedge_7477',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
218
- ['addoutofbudgetdpm_7478',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
219
- ['addparforsite_7479',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
220
- ['addphistmt_7480',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
221
- ['addpointsto_7481',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
222
- ['addpred_7482',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
223
- ['addpredbasicblock_7483',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
224
- ['addpreds_7484',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
225
- ['addpts_7485',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
226
- ['addrcgedge_7486',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
227
- ['addrefsideeffectofcallsite_7487',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
228
- ['addrefsideeffectoffunction_7488',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
229
- ['addressvalue_7489',['AddressValue',['../classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce',1,'SVF::AddressValue::AddressValue()'],['../classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5',1,'SVF::AddressValue::AddressValue(const Set< u32_t > &addrs)'],['../classSVF_1_1AddressValue.html#ad66b4fda1ac1a177d3877cf1927aa291',1,'SVF::AddressValue::AddressValue(u32_t addr)'],['../classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc',1,'SVF::AddressValue::AddressValue(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#a5edc442bfe6f4e50c78acb83a906ba0e',1,'SVF::AddressValue::AddressValue(AddressValue &&other) noexcept']]],
230
- ['addretblock_7490',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
231
- ['addretedge_7491',['addRetEdge',['../classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca',1,'SVF::SVFIRBuilder::addRetEdge()'],['../classSVF_1_1ICFG.html#a8a5e7571e804702a2d0af7d420f21b33',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()']]],
232
- ['addretindirectsvfgedge_7492',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
233
- ['addretindirectvfedge_7493',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
234
- ['addretnode_7494',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
235
- ['addretpe_7495',['addRetPE',['../classSVF_1_1RetCFGEdge.html#a66668c7a3bb5a9ad3373a786b53709ef',1,'SVF::RetCFGEdge::addRetPE()'],['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f',1,'SVF::SVFIR::addRetPE()']]],
236
- ['addrevpts_7496',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
237
- ['addrstmt_7497',['AddrStmt',['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
238
- ['addrvfgnode_7498',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
239
- ['addsaberbug_7499',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
240
- ['addscccandidate_7500',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
241
- ['addselectstmt_7501',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
242
- ['addsinglerevpts_7502',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
243
- ['addsinktocurslice_7503',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
244
- ['addspawneefun_7504',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
245
- ['addspawnerfun_7505',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
246
- ['addspawnsite_7506',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
247
- ['addsrctocsid_7507',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
248
- ['addstartroutineofcxtthread_7508',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
249
- ['addstinfo_7509',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
250
- ['addstmtvfgnode_7510',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
251
- ['addstorecgedge_7511',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
252
- ['addstorechi_7512',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
253
- ['addstoreedge_7513',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
254
- ['addstorestmt_7514',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
255
- ['addstorevfgnode_7515',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
256
- ['addsubnode_7516',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
257
- ['addsubnodes_7517',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
258
- ['addsucc_7518',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
259
- ['addsuccbasicblock_7519',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
260
- ['addsuccs_7520',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
261
- ['addsustat_7521',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
262
- ['addsvfgedge_7522',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
263
- ['addsvfgnode_7523',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
264
- ['addsvfgnodesforaddrtakenvars_7524',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
265
- ['addsvfmain_7525',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
266
- ['addsvfstmt_7526',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
267
- ['addsvftypeinfo_7527',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
268
- ['addsymmetricloopjoin_7528',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
269
- ['addtctedge_7529',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
270
- ['addtctnode_7530',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
271
- ['addtdedges_7531',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
272
- ['addthreadforkedge_7532',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
273
- ['addthreadforkedgesetmap_7533',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
274
- ['addthreadforkpe_7534',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
275
- ['addthreadjoinedge_7535',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
276
- ['addthreadjoinedgesetmap_7536',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
277
- ['addthreadjoinpe_7537',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
278
- ['addthreadmhpindirectvfedge_7538',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
279
- ['addtobackwardslice_7539',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
280
- ['addtobb2loopmap_7540',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
281
- ['addtocurbackwardslice_7541',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
282
- ['addtocurforwardslice_7542',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
283
- ['addtoforwardslice_7543',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
284
- ['addtofulljoin_7544',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
285
- ['addtohbpair_7545',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
286
- ['addtohppair_7546',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
287
- ['addtopartial_7547',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
288
- ['addtosinks_7548',['addToSinks',['../classSVF_1_1SVFGStat.html#add8a63f5e0f0057ce07d3992355ce3fa',1,'SVF::SVFGStat::addToSinks()'],['../classSVF_1_1ProgSlice.html#acee5145fb261280a1f8187184e393aed',1,'SVF::ProgSlice::addToSinks()'],['../classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8',1,'SVF::SrcSnkDDA::addToSinks()']]],
289
- ['addtosources_7549',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
290
- ['addtostmt2typemap_7550',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
291
- ['addtosvfstmtlist_7551',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
292
- ['addtotypelocsetsmap_7552',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
293
- ['addtypedef_7553',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
294
- ['addtypeinfo_7554',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
295
- ['addunaryopedge_7555',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
296
- ['addunaryopstmt_7556',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
297
- ['addunaryopvfgnode_7557',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
298
- ['addvalnode_7558',['addValNode',['../classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212',1,'SVF::SVFIR::addValNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4',1,'SVF::SVFIR::addValNode(const SVFValue *, SVFVar *node, NodeID i)']]],
299
- ['addvarargnode_7559',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
300
- ['addvariantgepcgedge_7560',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
301
- ['addvariantgepedge_7561',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
302
- ['addvariantgepstmt_7562',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
303
- ['addvfgedge_7563',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
304
- ['addvfginteredges_7564',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
305
- ['addvfgnode_7565',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
306
- ['addvfgnodes_7566',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
307
- ['addvirtualfunctionvector_7567',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
308
- ['advancetofirstnonzero_7568',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
309
- ['advancetonextnonzero_7569',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
310
- ['alias_7570',['alias',['../classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855',1,'SVF::CFLAlias::alias(const SVFValue *v1, const SVFValue *v2)'],['../classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a',1,'SVF::CFLAlias::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb',1,'SVF::DDAPass::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217',1,'SVF::PointerAnalysis::alias(const SVFValue *V1, const SVFValue *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48',1,'SVF::BVDataPTAImpl::alias(const SVFValue *V1, const SVFValue *V2) override'],['../classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2) override'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6',1,'SVF::CondPTAImpl::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729',1,'SVF::WPAPass::alias()']]],
311
- ['alias_5fbegin_7571',['alias_begin',['../classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065',1,'SVF::SVFModule::alias_begin()'],['../classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852',1,'SVF::SVFModule::alias_begin() const']]],
312
- ['alias_5fend_7572',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
313
- ['aliasddaclient_7573',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
314
- ['aliased_7574',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
315
- ['aliasquery_7575',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
316
- ['allocate_7576',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
317
- ['allocateforbb_7577',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
318
- ['allocategepobjectid_7578',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
319
- ['allocateobjectid_7579',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
320
- ['allocatevalueid_7580',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
321
- ['allpathreachablesolve_7581',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
322
- ['analyze_7582',['analyze',['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1CFLBase.html#a2aac58e19676290042874c262f1edd4d',1,'SVF::CFLBase::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a7b3f1ca7f8996edc3ed80fdff536d519',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
323
- ['analyzeforkjoinpair_7583',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
324
- ['analyzeheapobjtype_7584',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
325
- ['analyzeinterleaving_7585',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
326
- ['analyzeintraproceduallock_7586',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
327
- ['analyzelockspancxtstmt_7587',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
328
- ['analyzeobjtype_7588',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
329
- ['analyzestaticobjtype_7589',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
330
- ['analyzevtables_7590',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
331
- ['and_7591',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
332
- ['andersen_7592',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
333
- ['andersenbase_7593',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
334
- ['andersenscd_7594',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
335
- ['andersensfr_7595',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
336
- ['andersenstat_7596',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
337
- ['andersenwavediff_7597',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
338
- ['annotatedrcheck_7598',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
339
- ['annotateslice_7599',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
340
- ['annotator_7600',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
341
- ['answerqueries_7601',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
342
- ['applyedgemask_7602',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
343
- ['applyphi_7603',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
344
- ['applyselect_7604',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
345
- ['applysummary_7605',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
346
- ['arg_5fempty_7606',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
347
- ['arg_5fsize_7607',['arg_size',['../classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e',1,'SVF::SVFFunction::arg_size()'],['../classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0',1,'SVF::SVFCallInst::arg_size()'],['../classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8',1,'SVF::CallSite::arg_size()']]],
348
- ['argindeadfunction_7608',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
349
- ['arginprogentryfunction_7609',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
350
- ['argumentvfgnode_7610',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
351
- ['asctime_7611',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
352
- ['asctime_5fr_7612',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
353
- ['assign_7613',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
354
- ['assignstmt_7614',['AssignStmt',['../classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57',1,'SVF::AssignStmt::AssignStmt()'],['../classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6',1,'SVF::AssignStmt::AssignStmt(const AssignStmt &)'],['../classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620',1,'SVF::AssignStmt::AssignStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)'],['../classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb',1,'SVF::AssignStmt::AssignStmt(GEdgeFlag k)']]],
355
- ['atend_7615',['atEnd',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aea5c1fe642e6cc0ac3243f8a7b3fe613',1,'SVF::PointsTo::PointsToIterator::atEnd()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f',1,'SVF::CoreBitVector::CoreBitVectorIterator::atEnd()']]],
356
- ['atkey_7616',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
357
- ['atvfnodeend_7617',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
358
- ['atvfnodestart_7618',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
3
+ ['abstract_5fconsequence_7269',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db',1,'SVF::RelationSolver']]],
4
+ ['abstractvalue_7270',['AbstractValue',['../classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60',1,'SVF::AbstractValue::AbstractValue(AbstractValueK kind)'],['../classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378',1,'SVF::AbstractValue::AbstractValue(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a77574a2e9822d339124cf46eedcfb253',1,'SVF::AbstractValue::AbstractValue(AbstractValue &&) noexcept=default']]],
5
+ ['accept_7271',['accept',['../classSVF_1_1CFBasicBlockGWTOComp.html#abcf38d30d6739751c20ad612d26349a9',1,'SVF::CFBasicBlockGWTOComp::accept()'],['../classSVF_1_1CFBasicBlockGWTONode.html#a2668c86630ba496424411bad5fec9190',1,'SVF::CFBasicBlockGWTONode::accept()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#ae02e497f73b7217df31bc1bb86996132',1,'SVF::CFBasicBlockGWTOCycle::accept()'],['../classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd',1,'SVF::CFBasicBlockGWTO::accept()']]],
6
+ ['accessglobal_7272',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
7
+ ['accesspair_7273',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)']]],
8
+ ['accesspath_7274',['AccessPath',['../classSVF_1_1AccessPath.html#a90827f966d3018fe663ffe5c8110509e',1,'SVF::AccessPath::AccessPath(APOffset o=0)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
9
+ ['accumulateconstantbyteoffset_7275',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#aeef864ea656824c228f755a183364901',1,'SVF::GepStmt']]],
10
+ ['accumulateconstantoffset_7276',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
11
+ ['actualinofindcs_7277',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
12
+ ['actualinsvfgnode_7278',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
13
+ ['actualoutofindcs_7279',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
14
+ ['actualoutsvfgnode_7280',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
15
+ ['actualparmvfgnode_7281',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
16
+ ['actualretvfgnode_7282',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallICFGNode *c)']]],
17
+ ['add_5fitem_5fto_5farray_7283',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
18
+ ['add_5fitem_5fto_5fobject_7284',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
19
+ ['addabsexecbug_7285',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
20
+ ['addactualinsvfgnode_7286',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
21
+ ['addactualoutsvfgnode_7287',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
22
+ ['addactualparms_7288',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
23
+ ['addactualparmvfgnode_7289',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
24
+ ['addactualret_7290',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
25
+ ['addactualretvfgnode_7291',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
26
+ ['addaddrcgedge_7292',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
27
+ ['addaddredge_7293',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
28
+ ['addaddrstmt_7294',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
29
+ ['addaddrvfgnode_7295',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
30
+ ['addaliasset_7296',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
31
+ ['addarc_7297',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
32
+ ['addarc_5fh_7298',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
33
+ ['addargument_7299',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
34
+ ['addargumentmap_7300',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
35
+ ['addattribute_7301',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
36
+ ['addbackicfgedge_7302',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
37
+ ['addbackwardvisited_7303',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
38
+ ['addbasicblock_7304',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
39
+ ['addbasicblockmap_7305',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
40
+ ['addbicfledge_7306',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
41
+ ['addbigepcfledge_7307',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
42
+ ['addbinaryopedge_7308',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
43
+ ['addbinaryopstmt_7309',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
44
+ ['addbinaryopvfgnode_7310',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
45
+ ['addblackholeaddredge_7311',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
46
+ ['addblackholeaddrstmt_7312',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
47
+ ['addblackholeobjnode_7313',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
48
+ ['addblackholeptrnode_7314',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
49
+ ['addbranchstmt_7315',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
50
+ ['addbranchvfgnode_7316',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
51
+ ['addcallblock_7317',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
52
+ ['addcalledge_7318',['addCallEdge',['../classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6',1,'SVF::SVFIRBuilder::addCallEdge()'],['../classSVF_1_1ICFG.html#a2ad6c1e49cc847df18342cbbe6224863',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()']]],
53
+ ['addcallgraphnode_7319',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
54
+ ['addcallindirectsvfgedge_7320',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
55
+ ['addcallindirectvfedge_7321',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
56
+ ['addcallpe_7322',['addCallPE',['../classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb',1,'SVF::CallCFGEdge::addCallPE()'],['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba',1,'SVF::SVFIR::addCallPE()']]],
57
+ ['addcallsite_7323',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
58
+ ['addcallsiteargs_7324',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
59
+ ['addcallsitechi_7325',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af7991c1393ef3c8b090833bc27036a49',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MemRegion *mr)']]],
60
+ ['addcallsitemu_7326',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#adbaf4715d5d4c9d0be1e934178efe13e',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MemRegion *mr)']]],
61
+ ['addcallsiterets_7327',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
62
+ ['addcandidate_7328',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
63
+ ['addcdgedge_7329',['addCDGEdge',['../classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c',1,'SVF::CDG']]],
64
+ ['addcdgedgefromsrcdst_7330',['addCDGEdgeFromSrcDst',['../classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2',1,'SVF::CDG']]],
65
+ ['addcdgnode_7331',['addCDGNode',['../classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c',1,'SVF::CDG']]],
66
+ ['addcdgnodesfromvector_7332',['addCDGNodesFromVector',['../classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f',1,'SVF::CDG']]],
67
+ ['addcfbbedge_7333',['addCFBBEdge',['../classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d',1,'SVF::CFBasicBlockGraph']]],
68
+ ['addcfbbnode_7334',['addCFBBNode',['../classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67',1,'SVF::CFBasicBlockGraph']]],
69
+ ['addcfledge_7335',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
70
+ ['addcflnode_7336',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
71
+ ['addcmpedge_7337',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
72
+ ['addcmpstmt_7338',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
73
+ ['addcmpvfgnode_7339',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
74
+ ['addcomplexconsforext_7340',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
75
+ ['addcondintralock_7341',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
76
+ ['addconditionalintraedge_7342',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
77
+ ['addconstant_7343',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
78
+ ['addconstantdatamap_7344',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
79
+ ['addconstantobjnode_7345',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
80
+ ['addconstraintnode_7346',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
81
+ ['addcopycgedge_7347',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
82
+ ['addcopyedge_7348',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2',1,'SVF::CFLAlias::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()'],['../classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612',1,'SVF::Steensgaard::addCopyEdge()']]],
83
+ ['addcopystmt_7349',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
84
+ ['addcopyvfgnode_7350',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
85
+ ['addcptstocallsitemods_7351',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
86
+ ['addcptstocallsiterefs_7352',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
87
+ ['addcptstoload_7353',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
88
+ ['addcptstostore_7354',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
89
+ ['addcustomgraphfeatures_7355',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
90
+ ['addcxtlock_7356',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
91
+ ['addcxtofcxtthread_7357',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
92
+ ['addcxtstmttospan_7358',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
93
+ ['addddapts_7359',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
94
+ ['adddirectcallgraphedge_7360',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
95
+ ['adddirectcallsite_7361',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
96
+ ['adddirectforkedge_7362',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
97
+ ['adddirectjoinedge_7363',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
98
+ ['adddirectlyjointid_7364',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
99
+ ['adddirectparforedge_7365',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
100
+ ['adddpmtoloc_7366',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
101
+ ['adddummymemobj_7367',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
102
+ ['adddummyobjnode_7368',['addDummyObjNode',['../classSVF_1_1SVFIR.html#afddb7a152e95ed4c559d12d00f5939e7',1,'SVF::SVFIR::addDummyObjNode(const SVFType *type)'],['../classSVF_1_1SVFIR.html#a35af1a212273ae32651a88b1ed032700',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const SVFType *type)']]],
103
+ ['adddummyvalnode_7369',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
104
+ ['adddummyversionpropsvfgnode_7370',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
105
+ ['addedge_7371',['addEdge',['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ac5fec22ed55d9b885f9381df8621e70a',1,'SVF::SVFIRBuilder::addEdge()'],['../classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af',1,'SVF::POCRSolver::addEdge()'],['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#a25b3c454753f7e1bbec92bbcd7c7655b',1,'SVF::PAGBuilderFromFile::addEdge()']]],
106
+ ['addedges_7372',['addEdges',['../classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85',1,'SVF::POCRSolver::addEdges(const NodeID src, const NodeBS &dstData, const Label ty)'],['../classSVF_1_1POCRSolver.html#abccdf1a69c71d48df3773d8c6f09c63d',1,'SVF::POCRSolver::addEdges(const NodeBS &srcData, const NodeID dst, const Label ty)']]],
107
+ ['addentryicfgedge_7373',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
108
+ ['addextactualparmsvfgnodes_7374',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
109
+ ['addfiobjnode_7375',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
110
+ ['addfldwithtype_7376',['addFldWithType',['../classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c',1,'SVF::StInfo']]],
111
+ ['addfollowerfun_7377',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
112
+ ['addforksite_7378',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
113
+ ['addformalinsvfgnode_7379',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
114
+ ['addformaloutsvfgnode_7380',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
115
+ ['addformalparms_7381',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
116
+ ['addformalparmvfgnode_7382',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
117
+ ['addformalret_7383',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
118
+ ['addformalretvfgnode_7384',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
119
+ ['addforwardvisited_7385',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
120
+ ['addfunargs_7386',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
121
+ ['addfunctionmap_7387',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
122
+ ['addfunctionset_7388',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
123
+ ['addfunctofuncvector_7389',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
124
+ ['addfunentryblock_7390',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
125
+ ['addfunexitblock_7391',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
126
+ ['addfunret_7392',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
127
+ ['addgepedge_7393',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
128
+ ['addgepobjnode_7394',['addGepObjNode',['../classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e',1,'SVF::SVFIR']]],
129
+ ['addgepstmt_7395',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
130
+ ['addgepvalnode_7396',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
131
+ ['addgepvfgnode_7397',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
132
+ ['addglobalblackholeaddredge_7398',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
133
+ ['addglobalicfgnode_7399',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
134
+ ['addglobalpagedge_7400',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
135
+ ['addglobalset_7401',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
136
+ ['addglobalvaluemap_7402',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
137
+ ['addgnode_7403',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
138
+ ['addhareparforedgesetmap_7404',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
139
+ ['addicfgedge_7405',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
140
+ ['addicfginteredges_7406',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
141
+ ['addicfgnode_7407',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
142
+ ['addincomingaddredge_7408',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
143
+ ['addincomingcopyedge_7409',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
144
+ ['addincomingdirectedge_7410',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
145
+ ['addincomingedge_7411',['addIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f',1,'SVF::CFBasicBlockNode::addIncomingEdge()'],['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode::addIncomingEdge()']]],
146
+ ['addincominggepedge_7412',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
147
+ ['addincomingloadedge_7413',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
148
+ ['addincomingstoreedge_7414',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
149
+ ['addind_5fh_7415',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
150
+ ['addindirectcallgraphedge_7416',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
151
+ ['addindirectcallsite_7417',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
152
+ ['addindirectcallsites_7418',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
153
+ ['addindirectforkedge_7419',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
154
+ ['addindirectparforedge_7420',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
155
+ ['addinedge_7421',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
156
+ ['addinedgewithkind_7422',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
157
+ ['addingoingedge_7423',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
158
+ ['addinicfgedge_7424',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
159
+ ['addinstances_7425',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
160
+ ['addinstruction_7426',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
161
+ ['addinstructionmap_7427',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
162
+ ['addinteredgefromaptofp_7428',['addInterEdgeFromAPToFP',['../classSVF_1_1VFG.html#a6fd24c001a6daedf591974ba27140461',1,'SVF::VFG::addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a185ed4079babc0e0f72c4bf223342ee2',1,'SVF::VFG::addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)']]],
163
+ ['addinteredgefromfrtoar_7429',['addInterEdgeFromFRToAR',['../classSVF_1_1VFG.html#abd05b599b383c759455aff99963b7b41',1,'SVF::VFG::addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a4ac1cd5f79c9e33ae599f7eb942a6e01',1,'SVF::VFG::addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)']]],
164
+ ['addinterindirectvfcalledge_7430',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
165
+ ['addinterindirectvfretedge_7431',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
166
+ ['addinterleavingthread_7432',['addInterleavingThread',['../classSVF_1_1MHP.html#a6343dd11dd75d3730dc463321a11445e',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, NodeID tid)'],['../classSVF_1_1MHP.html#a6c77349f168735888d0db4ac5b632da9',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, const CxtThreadStmt &src)']]],
167
+ ['addinterphiforar_7433',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
168
+ ['addinterphiforfp_7434',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
169
+ ['addinterphioperands_7435',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
170
+ ['addintoworklist_7436',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
171
+ ['addintrablock_7437',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
172
+ ['addintradirectvfedge_7438',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
173
+ ['addintraedge_7439',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
174
+ ['addintraindirectvfedge_7440',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
175
+ ['addintralock_7441',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
176
+ ['addintramssaphisvfgnode_7442',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
177
+ ['addintraphivfgnode_7443',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
178
+ ['addjoinsite_7444',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
179
+ ['addloadcgedge_7445',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
180
+ ['addloadcvar_7446',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
181
+ ['addloaddpm_7447',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
182
+ ['addloaddpmandcvar_7448',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
183
+ ['addloadedge_7449',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
184
+ ['addloadmu_7450',['AddLoadMU',['../classSVF_1_1MemSSA.html#a426a9befa6646c88fc5d11a09da2d27a',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af478ee12d362c614096ec9a2183dfbcc',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
185
+ ['addloadstmt_7451',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
186
+ ['addloadvfgnode_7452',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
187
+ ['addmdtag_7453',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
188
+ ['addmodsideeffectofcallsite_7454',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
189
+ ['addmodsideeffectoffunction_7455',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
190
+ ['addmssaphi_7456',['AddMSSAPHI',['../classSVF_1_1MemSSA.html#ae1e97a53e1267cf357515d64fd916e1d',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a7c1fdb3947b503ed5ca16360e52e1cc0',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MemRegion *mr)']]],
191
+ ['addnewcandidate_7457',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
192
+ ['addnewsvfgedge_7458',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
193
+ ['addnode_7459',['addNode',['../classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142',1,'SVF::CFBasicBlockNode::addNode()'],['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph::addNode()']]],
194
+ ['addnodeintoworklist_7460',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
195
+ ['addnodetobecollapsed_7461',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
196
+ ['addnodetosvfloop_7462',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
197
+ ['addnormalgepcgedge_7463',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
198
+ ['addnormalgepedge_7464',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
199
+ ['addnormalgepstmt_7465',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
200
+ ['addnullptrnode_7466',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
201
+ ['addnullptrvfgnode_7467',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
202
+ ['addobjnode_7468',['addObjNode',['../classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6',1,'SVF::SVFIR::addObjNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1',1,'SVF::SVFIR::addObjNode(const SVFValue *, SVFVar *node, NodeID i)']]],
203
+ ['addoffsetvarandgeptypepair_7469',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
204
+ ['addopvar_7470',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
205
+ ['addotherconstantmap_7471',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
206
+ ['addothervalue_7472',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
207
+ ['addothervaluemap_7473',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
208
+ ['addoutedge_7474',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
209
+ ['addoutedgewithkind_7475',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
210
+ ['addoutgoingaddredge_7476',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
211
+ ['addoutgoingcopyedge_7477',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
212
+ ['addoutgoingdirectedge_7478',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
213
+ ['addoutgoingedge_7479',['addOutgoingEdge',['../classSVF_1_1CFBasicBlockNode.html#a59dc0f5017e4f1949e1cbf0b4f4b3a0b',1,'SVF::CFBasicBlockNode::addOutgoingEdge()'],['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
214
+ ['addoutgoinggepedge_7480',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
215
+ ['addoutgoingloadedge_7481',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
216
+ ['addoutgoingstoreedge_7482',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
217
+ ['addouticfgedge_7483',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
218
+ ['addoutofbudgetdpm_7484',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
219
+ ['addparforsite_7485',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
220
+ ['addphistmt_7486',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
221
+ ['addpointsto_7487',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
222
+ ['addpred_7488',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
223
+ ['addpredbasicblock_7489',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
224
+ ['addpreds_7490',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
225
+ ['addpts_7491',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
226
+ ['addrcgedge_7492',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
227
+ ['addrefsideeffectofcallsite_7493',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
228
+ ['addrefsideeffectoffunction_7494',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
229
+ ['addressvalue_7495',['AddressValue',['../classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce',1,'SVF::AddressValue::AddressValue()'],['../classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5',1,'SVF::AddressValue::AddressValue(const Set< u32_t > &addrs)'],['../classSVF_1_1AddressValue.html#ad66b4fda1ac1a177d3877cf1927aa291',1,'SVF::AddressValue::AddressValue(u32_t addr)'],['../classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc',1,'SVF::AddressValue::AddressValue(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#a5edc442bfe6f4e50c78acb83a906ba0e',1,'SVF::AddressValue::AddressValue(AddressValue &&other) noexcept']]],
230
+ ['addretblock_7496',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
231
+ ['addretedge_7497',['addRetEdge',['../classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca',1,'SVF::SVFIRBuilder::addRetEdge()'],['../classSVF_1_1ICFG.html#a8a5e7571e804702a2d0af7d420f21b33',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()']]],
232
+ ['addretindirectsvfgedge_7498',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
233
+ ['addretindirectvfedge_7499',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
234
+ ['addretnode_7500',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
235
+ ['addretpe_7501',['addRetPE',['../classSVF_1_1RetCFGEdge.html#a66668c7a3bb5a9ad3373a786b53709ef',1,'SVF::RetCFGEdge::addRetPE()'],['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f',1,'SVF::SVFIR::addRetPE()']]],
236
+ ['addrevpts_7502',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
237
+ ['addrstmt_7503',['AddrStmt',['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
238
+ ['addrvfgnode_7504',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
239
+ ['addsaberbug_7505',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
240
+ ['addscccandidate_7506',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
241
+ ['addselectstmt_7507',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
242
+ ['addsinglerevpts_7508',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
243
+ ['addsinktocurslice_7509',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
244
+ ['addspawneefun_7510',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
245
+ ['addspawnerfun_7511',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
246
+ ['addspawnsite_7512',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
247
+ ['addsrctocsid_7513',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
248
+ ['addstartroutineofcxtthread_7514',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
249
+ ['addstinfo_7515',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
250
+ ['addstmtvfgnode_7516',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
251
+ ['addstorecgedge_7517',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
252
+ ['addstorechi_7518',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
253
+ ['addstoreedge_7519',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
254
+ ['addstorestmt_7520',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
255
+ ['addstorevfgnode_7521',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
256
+ ['addsubnode_7522',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
257
+ ['addsubnodes_7523',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
258
+ ['addsucc_7524',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
259
+ ['addsuccbasicblock_7525',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
260
+ ['addsuccs_7526',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
261
+ ['addsustat_7527',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
262
+ ['addsvfgedge_7528',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
263
+ ['addsvfgnode_7529',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
264
+ ['addsvfgnodesforaddrtakenvars_7530',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
265
+ ['addsvfmain_7531',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
266
+ ['addsvfstmt_7532',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
267
+ ['addsvftypeinfo_7533',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
268
+ ['addsymmetricloopjoin_7534',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
269
+ ['addtctedge_7535',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
270
+ ['addtctnode_7536',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
271
+ ['addtdedges_7537',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
272
+ ['addthreadforkedge_7538',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
273
+ ['addthreadforkedgesetmap_7539',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
274
+ ['addthreadforkpe_7540',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
275
+ ['addthreadjoinedge_7541',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
276
+ ['addthreadjoinedgesetmap_7542',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
277
+ ['addthreadjoinpe_7543',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
278
+ ['addthreadmhpindirectvfedge_7544',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
279
+ ['addtobackwardslice_7545',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
280
+ ['addtobb2loopmap_7546',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
281
+ ['addtocurbackwardslice_7547',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
282
+ ['addtocurforwardslice_7548',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
283
+ ['addtoforwardslice_7549',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
284
+ ['addtofulljoin_7550',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
285
+ ['addtohbpair_7551',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
286
+ ['addtohppair_7552',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
287
+ ['addtopartial_7553',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
288
+ ['addtosinks_7554',['addToSinks',['../classSVF_1_1SVFGStat.html#add8a63f5e0f0057ce07d3992355ce3fa',1,'SVF::SVFGStat::addToSinks()'],['../classSVF_1_1ProgSlice.html#acee5145fb261280a1f8187184e393aed',1,'SVF::ProgSlice::addToSinks()'],['../classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8',1,'SVF::SrcSnkDDA::addToSinks()']]],
289
+ ['addtosources_7555',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
290
+ ['addtostmt2typemap_7556',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
291
+ ['addtosvfstmtlist_7557',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
292
+ ['addtotypelocsetsmap_7558',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
293
+ ['addtypedef_7559',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
294
+ ['addtypeinfo_7560',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
295
+ ['addunaryopedge_7561',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
296
+ ['addunaryopstmt_7562',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
297
+ ['addunaryopvfgnode_7563',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
298
+ ['addvalnode_7564',['addValNode',['../classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212',1,'SVF::SVFIR::addValNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4',1,'SVF::SVFIR::addValNode(const SVFValue *, SVFVar *node, NodeID i)']]],
299
+ ['addvarargnode_7565',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
300
+ ['addvariantgepcgedge_7566',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
301
+ ['addvariantgepedge_7567',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
302
+ ['addvariantgepstmt_7568',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
303
+ ['addvfgedge_7569',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
304
+ ['addvfginteredges_7570',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
305
+ ['addvfgnode_7571',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
306
+ ['addvfgnodes_7572',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
307
+ ['addvirtualfunctionvector_7573',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
308
+ ['advancetofirstnonzero_7574',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
309
+ ['advancetonextnonzero_7575',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
310
+ ['alias_7576',['alias',['../classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855',1,'SVF::CFLAlias::alias(const SVFValue *v1, const SVFValue *v2)'],['../classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a',1,'SVF::CFLAlias::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb',1,'SVF::DDAPass::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217',1,'SVF::PointerAnalysis::alias(const SVFValue *V1, const SVFValue *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48',1,'SVF::BVDataPTAImpl::alias(const SVFValue *V1, const SVFValue *V2) override'],['../classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2) override'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6',1,'SVF::CondPTAImpl::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729',1,'SVF::WPAPass::alias()']]],
311
+ ['alias_5fbegin_7577',['alias_begin',['../classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065',1,'SVF::SVFModule::alias_begin()'],['../classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852',1,'SVF::SVFModule::alias_begin() const']]],
312
+ ['alias_5fend_7578',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
313
+ ['aliasddaclient_7579',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
314
+ ['aliased_7580',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
315
+ ['aliasquery_7581',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
316
+ ['allocate_7582',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
317
+ ['allocateforbb_7583',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
318
+ ['allocategepobjectid_7584',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
319
+ ['allocateobjectid_7585',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
320
+ ['allocatevalueid_7586',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
321
+ ['allpathreachablesolve_7587',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
322
+ ['analyze_7588',['analyze',['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1CFLBase.html#a2aac58e19676290042874c262f1edd4d',1,'SVF::CFLBase::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a7b3f1ca7f8996edc3ed80fdff536d519',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
323
+ ['analyzeforkjoinpair_7589',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
324
+ ['analyzeheapobjtype_7590',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
325
+ ['analyzeinterleaving_7591',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
326
+ ['analyzeintraproceduallock_7592',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
327
+ ['analyzelockspancxtstmt_7593',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
328
+ ['analyzeobjtype_7594',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
329
+ ['analyzestaticobjtype_7595',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
330
+ ['analyzevtables_7596',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
331
+ ['and_7597',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
332
+ ['andersen_7598',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
333
+ ['andersenbase_7599',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
334
+ ['andersenscd_7600',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
335
+ ['andersensfr_7601',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
336
+ ['andersenstat_7602',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
337
+ ['andersenwavediff_7603',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
338
+ ['annotatedrcheck_7604',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
339
+ ['annotateslice_7605',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
340
+ ['annotator_7606',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
341
+ ['answerqueries_7607',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
342
+ ['applyedgemask_7608',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
343
+ ['applyphi_7609',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
344
+ ['applyselect_7610',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
345
+ ['applysummary_7611',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
346
+ ['arg_5fempty_7612',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
347
+ ['arg_5fsize_7613',['arg_size',['../classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e',1,'SVF::SVFFunction::arg_size()'],['../classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0',1,'SVF::SVFCallInst::arg_size()'],['../classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8',1,'SVF::CallSite::arg_size()']]],
348
+ ['argindeadfunction_7614',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
349
+ ['arginprogentryfunction_7615',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
350
+ ['argumentvfgnode_7616',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
351
+ ['asctime_7617',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
352
+ ['asctime_5fr_7618',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
353
+ ['assign_7619',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
354
+ ['assignstmt_7620',['AssignStmt',['../classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57',1,'SVF::AssignStmt::AssignStmt()'],['../classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6',1,'SVF::AssignStmt::AssignStmt(const AssignStmt &)'],['../classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620',1,'SVF::AssignStmt::AssignStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)'],['../classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb',1,'SVF::AssignStmt::AssignStmt(GEdgeFlag k)']]],
355
+ ['atend_7621',['atEnd',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aea5c1fe642e6cc0ac3243f8a7b3fe613',1,'SVF::PointsTo::PointsToIterator::atEnd()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f',1,'SVF::CoreBitVector::CoreBitVectorIterator::atEnd()']]],
356
+ ['atkey_7622',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
357
+ ['atvfnodeend_7623',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
358
+ ['atvfnodestart_7624',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
359
359
  ];