svf-tools 1.0.855 → 1.0.857

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 (502) hide show
  1. package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
  2. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +154 -163
  4. package/SVF-doxygen/html/Andersen_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/Andersen_8h_source.html +13 -13
  6. package/SVF-doxygen/html/CFBasicBlockGWTO_8h.html +109 -0
  7. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +185 -0
  8. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/CFLAlias_8h_source.html +4 -4
  10. package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/CFLBase_8h_source.html +1 -1
  12. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/CFLStat_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/CFLVF_8h_source.html +2 -2
  15. package/SVF-doxygen/html/CSC_8h.html +3 -3
  16. package/SVF-doxygen/html/CSC_8h_source.html +5 -5
  17. package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
  18. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +14 -14
  19. package/SVF-doxygen/html/ContextDDA_8h_source.html +6 -6
  20. package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
  21. package/SVF-doxygen/html/DDAClient_8h_source.html +1 -1
  22. package/SVF-doxygen/html/DDAPass_8cpp_source.html +7 -7
  23. package/SVF-doxygen/html/DDAPass_8h.html +3 -3
  24. package/SVF-doxygen/html/DDAPass_8h_source.html +4 -4
  25. package/SVF-doxygen/html/DDAStat_8cpp_source.html +10 -10
  26. package/SVF-doxygen/html/DDAStat_8h_source.html +1 -1
  27. package/SVF-doxygen/html/DDAVFSolver_8h.html +2 -2
  28. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/FSMPTA_8h_source.html +5 -5
  31. package/SVF-doxygen/html/FlowDDA_8h_source.html +11 -11
  32. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +236 -238
  33. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/FlowSensitive_8h_source.html +7 -7
  35. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  36. package/SVF-doxygen/html/ICFGWTO_8h.html +109 -0
  37. package/SVF-doxygen/html/ICFGWTO_8h_source.html +177 -0
  38. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  41. package/SVF-doxygen/html/MTAStat_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/MTA_8cpp_source.html +3 -3
  43. package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/MemRegion_8h.html +3 -3
  45. package/SVF-doxygen/html/MemRegion_8h_source.html +4 -4
  46. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/Options_8cpp_source.html +10 -10
  48. package/SVF-doxygen/html/PCG_8h_source.html +4 -4
  49. package/SVF-doxygen/html/PTAStat_8cpp_source.html +99 -87
  50. package/SVF-doxygen/html/PTAStat_8h_source.html +2 -2
  51. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +30 -30
  52. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +15 -15
  53. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +42 -42
  54. package/SVF-doxygen/html/PointerAnalysis_8h.html +5 -5
  55. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +409 -418
  56. package/SVF-doxygen/html/SCC_8h.html +2 -2
  57. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  58. package/SVF-doxygen/html/SVFGBuilder_8h_source.html +3 -3
  59. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +16 -19
  60. package/SVF-doxygen/html/SVFGStat_8h.html +1 -1
  61. package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
  62. package/SVF-doxygen/html/SVFG_8h_source.html +1 -1
  63. package/SVF-doxygen/html/SVFStat_8cpp_source.html +196 -186
  64. package/SVF-doxygen/html/SVFStat_8h_source.html +44 -41
  65. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +5 -5
  66. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
  67. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
  68. package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
  69. package/SVF-doxygen/html/TCT_8h.html +2 -2
  70. package/SVF-doxygen/html/TCT_8h_source.html +9 -9
  71. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +3 -3
  72. package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +1 -1
  73. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +3 -3
  74. package/SVF-doxygen/html/TypeAnalysis_8h_source.html +6 -6
  75. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/VFG_8h_source.html +1 -1
  77. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +77 -79
  78. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +6 -6
  79. package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
  80. package/SVF-doxygen/html/WPAPass_8cpp_source.html +12 -12
  81. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  82. package/SVF-doxygen/html/WPAStat_8h_source.html +9 -9
  83. package/SVF-doxygen/html/WTO_8h.html +25 -13
  84. package/SVF-doxygen/html/WTO_8h_source.html +794 -853
  85. package/SVF-doxygen/html/annotated.html +402 -397
  86. package/SVF-doxygen/html/classSVF_1_1Andersen-members.html +121 -123
  87. package/SVF-doxygen/html/classSVF_1_1Andersen.html +11 -17
  88. package/SVF-doxygen/html/classSVF_1_1AndersenBase-members.html +100 -102
  89. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +11 -17
  90. package/SVF-doxygen/html/classSVF_1_1AndersenSCD-members.html +124 -126
  91. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +2 -8
  92. package/SVF-doxygen/html/classSVF_1_1AndersenSFR-members.html +129 -131
  93. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -7
  94. package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +21 -20
  95. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +155 -161
  96. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff-members.html +122 -124
  97. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +2 -8
  98. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl-members.html +58 -60
  99. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +26 -32
  100. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +57 -50
  101. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +203 -1663
  102. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.png +0 -0
  103. package/SVF-doxygen/html/classSVF_1_1CFLAlias-members.html +78 -80
  104. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +4 -10
  105. package/SVF-doxygen/html/classSVF_1_1CFLBase-members.html +75 -77
  106. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -7
  107. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +2 -2
  108. package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +19 -18
  109. package/SVF-doxygen/html/classSVF_1_1CFLStat.html +5 -2
  110. package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +77 -79
  111. package/SVF-doxygen/html/classSVF_1_1CFLVF.html +2 -8
  112. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl-members.html +50 -52
  113. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +9 -15
  114. package/SVF-doxygen/html/classSVF_1_1ConstraintNode-members.html +34 -34
  115. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +25 -65
  116. package/SVF-doxygen/html/classSVF_1_1ContextDDA-members.html +97 -99
  117. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +18 -24
  118. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  119. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +6 -6
  120. package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +18 -17
  121. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +12 -9
  122. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1FSMPTA-members.html +140 -142
  124. package/SVF-doxygen/html/classSVF_1_1FSMPTA.html +2 -8
  125. package/SVF-doxygen/html/classSVF_1_1FlowDDA-members.html +102 -104
  126. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +15 -21
  127. package/SVF-doxygen/html/classSVF_1_1FlowSensitive-members.html +133 -135
  128. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +18 -24
  129. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +24 -23
  130. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +241 -240
  131. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  132. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +9 -10
  133. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  134. package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +19 -18
  135. package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +4 -1
  136. package/SVF-doxygen/html/classSVF_1_1ICFGWTO-members.html +140 -0
  137. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.html +379 -0
  138. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.png +0 -0
  139. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
  140. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  141. package/SVF-doxygen/html/classSVF_1_1MTA.html +3 -3
  142. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  143. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +20 -19
  145. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +6 -3
  146. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +5 -5
  147. package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +24 -23
  148. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +7 -4
  149. package/SVF-doxygen/html/classSVF_1_1PCG.html +3 -3
  150. package/SVF-doxygen/html/classSVF_1_1POCRAlias-members.html +78 -80
  151. package/SVF-doxygen/html/classSVF_1_1POCRAlias.html +0 -6
  152. package/SVF-doxygen/html/classSVF_1_1POCRHybrid-members.html +78 -80
  153. package/SVF-doxygen/html/classSVF_1_1POCRHybrid.html +0 -6
  154. package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +19 -18
  155. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +100 -85
  156. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis-members.html +34 -36
  157. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +291 -356
  158. package/SVF-doxygen/html/classSVF_1_1SCCDetection.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html +1 -1
  160. package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +41 -40
  161. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +18 -18
  162. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +1 -1
  163. package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +13 -12
  164. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +208 -168
  165. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
  166. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
  167. package/SVF-doxygen/html/classSVF_1_1Steensgaard-members.html +109 -111
  168. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +4 -10
  169. package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
  170. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  171. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis-members.html +103 -105
  172. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +9 -15
  173. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  174. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive-members.html +158 -160
  175. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +6 -12
  176. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +24 -23
  177. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +84 -83
  178. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +12 -12
  179. package/SVF-doxygen/html/classSVF_1_1WTO-members.html +137 -0
  180. package/SVF-doxygen/html/classSVF_1_1WTO.html +1998 -0
  181. package/SVF-doxygen/html/classSVF_1_1WTOComponent-members.html +97 -0
  182. package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +515 -0
  183. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor-members.html +93 -0
  184. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +421 -0
  185. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.png +0 -0
  186. package/SVF-doxygen/html/classSVF_1_1WTOCycle-members.html +98 -0
  187. package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +630 -0
  188. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth-members.html +24 -23
  189. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +338 -317
  190. package/SVF-doxygen/html/classSVF_1_1WTONode-members.html +91 -0
  191. package/SVF-doxygen/html/classSVF_1_1WTONode.html +390 -0
  192. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder-members.html +96 -0
  193. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +332 -0
  194. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.png +0 -0
  195. package/SVF-doxygen/html/classes.html +383 -377
  196. package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +0 -2
  197. package/SVF-doxygen/html/dir_f63327fc9cf9e35b7653a5e341daceab.html +4 -2
  198. package/SVF-doxygen/html/dir_fc0329f850c815763e0c5b05933e8d55.html +4 -0
  199. package/SVF-doxygen/html/files.html +31 -29
  200. package/SVF-doxygen/html/functions.html +18 -30
  201. package/SVF-doxygen/html/functions_a.html +17 -14
  202. package/SVF-doxygen/html/functions_b.html +25 -25
  203. package/SVF-doxygen/html/functions_c.html +37 -51
  204. package/SVF-doxygen/html/functions_e.html +7 -4
  205. package/SVF-doxygen/html/functions_enum.html +2 -2
  206. package/SVF-doxygen/html/functions_eval_c.html +1 -1
  207. package/SVF-doxygen/html/functions_eval_n.html +1 -1
  208. package/SVF-doxygen/html/functions_f.html +26 -21
  209. package/SVF-doxygen/html/functions_func.html +14 -11
  210. package/SVF-doxygen/html/functions_func_b.html +6 -10
  211. package/SVF-doxygen/html/functions_func_c.html +30 -36
  212. package/SVF-doxygen/html/functions_func_e.html +5 -5
  213. package/SVF-doxygen/html/functions_func_f.html +8 -3
  214. package/SVF-doxygen/html/functions_func_g.html +15 -25
  215. package/SVF-doxygen/html/functions_func_h.html +3 -3
  216. package/SVF-doxygen/html/functions_func_i.html +18 -14
  217. package/SVF-doxygen/html/functions_func_n.html +6 -6
  218. package/SVF-doxygen/html/functions_func_o.html +16 -16
  219. package/SVF-doxygen/html/functions_func_p.html +4 -7
  220. package/SVF-doxygen/html/functions_func_s.html +1 -1
  221. package/SVF-doxygen/html/functions_func_t.html +7 -10
  222. package/SVF-doxygen/html/functions_func_v.html +4 -5
  223. package/SVF-doxygen/html/functions_func_w.html +16 -4
  224. package/SVF-doxygen/html/functions_func_~.html +10 -10
  225. package/SVF-doxygen/html/functions_g.html +14 -21
  226. package/SVF-doxygen/html/functions_h.html +9 -6
  227. package/SVF-doxygen/html/functions_i.html +32 -29
  228. package/SVF-doxygen/html/functions_l.html +3 -3
  229. package/SVF-doxygen/html/functions_n.html +25 -23
  230. package/SVF-doxygen/html/functions_o.html +31 -29
  231. package/SVF-doxygen/html/functions_p.html +21 -15
  232. package/SVF-doxygen/html/functions_r.html +1 -1
  233. package/SVF-doxygen/html/functions_rela_o.html +3 -3
  234. package/SVF-doxygen/html/functions_s.html +26 -23
  235. package/SVF-doxygen/html/functions_t.html +14 -20
  236. package/SVF-doxygen/html/functions_type_b.html +4 -0
  237. package/SVF-doxygen/html/functions_type_c.html +3 -9
  238. package/SVF-doxygen/html/functions_type_e.html +3 -0
  239. package/SVF-doxygen/html/functions_type_g.html +3 -0
  240. package/SVF-doxygen/html/functions_type_i.html +7 -8
  241. package/SVF-doxygen/html/functions_type_n.html +13 -9
  242. package/SVF-doxygen/html/functions_type_s.html +3 -0
  243. package/SVF-doxygen/html/functions_type_w.html +19 -6
  244. package/SVF-doxygen/html/functions_v.html +8 -9
  245. package/SVF-doxygen/html/functions_vars.html +18 -30
  246. package/SVF-doxygen/html/functions_vars_h.html +3 -0
  247. package/SVF-doxygen/html/functions_vars_p.html +3 -0
  248. package/SVF-doxygen/html/functions_vars_t.html +0 -3
  249. package/SVF-doxygen/html/functions_vars_w.html +4 -0
  250. package/SVF-doxygen/html/functions_w.html +47 -20
  251. package/SVF-doxygen/html/functions_~.html +10 -10
  252. package/SVF-doxygen/html/hierarchy.html +621 -614
  253. package/SVF-doxygen/html/namespaceSVF.html +127 -7
  254. package/SVF-doxygen/html/namespacemembers_c.html +9 -0
  255. package/SVF-doxygen/html/namespacemembers_i.html +14 -5
  256. package/SVF-doxygen/html/namespacemembers_type_c.html +9 -0
  257. package/SVF-doxygen/html/namespacemembers_type_i.html +9 -0
  258. package/SVF-doxygen/html/search/all_0.js +124 -127
  259. package/SVF-doxygen/html/search/all_1.js +495 -495
  260. package/SVF-doxygen/html/search/all_10.js +325 -325
  261. package/SVF-doxygen/html/search/all_11.js +225 -225
  262. package/SVF-doxygen/html/search/all_12.js +555 -554
  263. package/SVF-doxygen/html/search/all_13.js +201 -203
  264. package/SVF-doxygen/html/search/all_14.js +67 -67
  265. package/SVF-doxygen/html/search/all_15.js +168 -168
  266. package/SVF-doxygen/html/search/all_16.js +73 -63
  267. package/SVF-doxygen/html/search/all_17.js +1 -1
  268. package/SVF-doxygen/html/search/all_18.js +1 -1
  269. package/SVF-doxygen/html/search/all_19.js +11 -11
  270. package/SVF-doxygen/html/search/all_1a.js +175 -175
  271. package/SVF-doxygen/html/search/all_2.js +172 -173
  272. package/SVF-doxygen/html/search/all_3.js +648 -649
  273. package/SVF-doxygen/html/search/all_4.js +230 -230
  274. package/SVF-doxygen/html/search/all_5.js +120 -119
  275. package/SVF-doxygen/html/search/all_6.js +227 -226
  276. package/SVF-doxygen/html/search/all_7.js +1046 -1048
  277. package/SVF-doxygen/html/search/all_8.js +196 -191
  278. package/SVF-doxygen/html/search/all_9.js +579 -574
  279. package/SVF-doxygen/html/search/all_a.js +46 -46
  280. package/SVF-doxygen/html/search/all_b.js +26 -26
  281. package/SVF-doxygen/html/search/all_c.js +115 -115
  282. package/SVF-doxygen/html/search/all_d.js +197 -197
  283. package/SVF-doxygen/html/search/all_e.js +207 -207
  284. package/SVF-doxygen/html/search/all_f.js +116 -116
  285. package/SVF-doxygen/html/search/classes_0.js +26 -26
  286. package/SVF-doxygen/html/search/classes_1.js +9 -9
  287. package/SVF-doxygen/html/search/classes_10.js +74 -74
  288. package/SVF-doxygen/html/search/classes_11.js +14 -15
  289. package/SVF-doxygen/html/search/classes_12.js +2 -2
  290. package/SVF-doxygen/html/search/classes_13.js +10 -10
  291. package/SVF-doxygen/html/search/classes_14.js +20 -14
  292. package/SVF-doxygen/html/search/classes_15.js +1 -1
  293. package/SVF-doxygen/html/search/classes_2.js +78 -81
  294. package/SVF-doxygen/html/search/classes_3.js +37 -37
  295. package/SVF-doxygen/html/search/classes_4.js +9 -9
  296. package/SVF-doxygen/html/search/classes_5.js +28 -28
  297. package/SVF-doxygen/html/search/classes_6.js +104 -104
  298. package/SVF-doxygen/html/search/classes_7.js +38 -34
  299. package/SVF-doxygen/html/search/classes_8.js +58 -57
  300. package/SVF-doxygen/html/search/classes_9.js +1 -1
  301. package/SVF-doxygen/html/search/classes_a.js +12 -12
  302. package/SVF-doxygen/html/search/classes_b.js +29 -29
  303. package/SVF-doxygen/html/search/classes_c.js +6 -6
  304. package/SVF-doxygen/html/search/classes_d.js +18 -18
  305. package/SVF-doxygen/html/search/classes_e.js +36 -36
  306. package/SVF-doxygen/html/search/classes_f.js +25 -25
  307. package/SVF-doxygen/html/search/defines_0.js +3 -3
  308. package/SVF-doxygen/html/search/defines_1.js +2 -2
  309. package/SVF-doxygen/html/search/defines_2.js +30 -30
  310. package/SVF-doxygen/html/search/defines_3.js +20 -20
  311. package/SVF-doxygen/html/search/defines_4.js +2 -2
  312. package/SVF-doxygen/html/search/defines_5.js +4 -4
  313. package/SVF-doxygen/html/search/defines_6.js +2 -2
  314. package/SVF-doxygen/html/search/defines_7.js +5 -5
  315. package/SVF-doxygen/html/search/defines_8.js +11 -11
  316. package/SVF-doxygen/html/search/defines_9.js +9 -9
  317. package/SVF-doxygen/html/search/defines_a.js +2 -2
  318. package/SVF-doxygen/html/search/defines_b.js +1 -1
  319. package/SVF-doxygen/html/search/defines_c.js +3 -3
  320. package/SVF-doxygen/html/search/defines_d.js +2 -2
  321. package/SVF-doxygen/html/search/defines_e.js +7 -7
  322. package/SVF-doxygen/html/search/defines_f.js +3 -3
  323. package/SVF-doxygen/html/search/enums_0.js +3 -3
  324. package/SVF-doxygen/html/search/enums_1.js +2 -2
  325. package/SVF-doxygen/html/search/enums_10.js +1 -1
  326. package/SVF-doxygen/html/search/enums_11.js +1 -1
  327. package/SVF-doxygen/html/search/enums_2.js +8 -8
  328. package/SVF-doxygen/html/search/enums_3.js +1 -1
  329. package/SVF-doxygen/html/search/enums_4.js +3 -3
  330. package/SVF-doxygen/html/search/enums_5.js +1 -1
  331. package/SVF-doxygen/html/search/enums_6.js +2 -2
  332. package/SVF-doxygen/html/search/enums_7.js +2 -2
  333. package/SVF-doxygen/html/search/enums_8.js +4 -4
  334. package/SVF-doxygen/html/search/enums_9.js +1 -1
  335. package/SVF-doxygen/html/search/enums_a.js +1 -1
  336. package/SVF-doxygen/html/search/enums_b.js +7 -7
  337. package/SVF-doxygen/html/search/enums_c.js +1 -1
  338. package/SVF-doxygen/html/search/enums_d.js +4 -4
  339. package/SVF-doxygen/html/search/enums_e.js +2 -2
  340. package/SVF-doxygen/html/search/enums_f.js +4 -4
  341. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  342. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  343. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  344. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  345. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  346. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  347. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  348. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  349. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  350. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  351. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  352. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  353. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  354. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  355. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  356. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  357. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  358. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  359. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  360. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  361. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  362. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  363. package/SVF-doxygen/html/search/files_0.js +14 -14
  364. package/SVF-doxygen/html/search/files_1.js +7 -7
  365. package/SVF-doxygen/html/search/files_10.js +8 -8
  366. package/SVF-doxygen/html/search/files_11.js +8 -8
  367. package/SVF-doxygen/html/search/files_12.js +2 -2
  368. package/SVF-doxygen/html/search/files_2.js +58 -57
  369. package/SVF-doxygen/html/search/files_3.js +14 -14
  370. package/SVF-doxygen/html/search/files_4.js +5 -5
  371. package/SVF-doxygen/html/search/files_5.js +13 -13
  372. package/SVF-doxygen/html/search/files_6.js +9 -9
  373. package/SVF-doxygen/html/search/files_7.js +15 -14
  374. package/SVF-doxygen/html/search/files_8.js +13 -13
  375. package/SVF-doxygen/html/search/files_9.js +18 -18
  376. package/SVF-doxygen/html/search/files_a.js +3 -3
  377. package/SVF-doxygen/html/search/files_b.js +2 -2
  378. package/SVF-doxygen/html/search/files_c.js +20 -20
  379. package/SVF-doxygen/html/search/files_d.js +4 -4
  380. package/SVF-doxygen/html/search/files_e.js +62 -62
  381. package/SVF-doxygen/html/search/files_f.js +8 -8
  382. package/SVF-doxygen/html/search/functions_0.js +13 -13
  383. package/SVF-doxygen/html/search/functions_1.js +365 -364
  384. package/SVF-doxygen/html/search/functions_10.js +139 -140
  385. package/SVF-doxygen/html/search/functions_11.js +140 -140
  386. package/SVF-doxygen/html/search/functions_12.js +289 -289
  387. package/SVF-doxygen/html/search/functions_13.js +71 -72
  388. package/SVF-doxygen/html/search/functions_14.js +39 -39
  389. package/SVF-doxygen/html/search/functions_15.js +71 -71
  390. package/SVF-doxygen/html/search/functions_16.js +36 -32
  391. package/SVF-doxygen/html/search/functions_17.js +3 -3
  392. package/SVF-doxygen/html/search/functions_18.js +175 -175
  393. package/SVF-doxygen/html/search/functions_2.js +90 -91
  394. package/SVF-doxygen/html/search/functions_3.js +260 -262
  395. package/SVF-doxygen/html/search/functions_4.js +78 -78
  396. package/SVF-doxygen/html/search/functions_5.js +53 -53
  397. package/SVF-doxygen/html/search/functions_6.js +61 -60
  398. package/SVF-doxygen/html/search/functions_7.js +854 -857
  399. package/SVF-doxygen/html/search/functions_8.js +148 -148
  400. package/SVF-doxygen/html/search/functions_9.js +422 -421
  401. package/SVF-doxygen/html/search/functions_a.js +30 -30
  402. package/SVF-doxygen/html/search/functions_b.js +2 -2
  403. package/SVF-doxygen/html/search/functions_c.js +25 -25
  404. package/SVF-doxygen/html/search/functions_d.js +79 -79
  405. package/SVF-doxygen/html/search/functions_e.js +35 -35
  406. package/SVF-doxygen/html/search/functions_f.js +56 -56
  407. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  408. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  409. package/SVF-doxygen/html/search/related_0.js +2 -2
  410. package/SVF-doxygen/html/search/related_1.js +2 -2
  411. package/SVF-doxygen/html/search/related_2.js +3 -3
  412. package/SVF-doxygen/html/search/related_3.js +2 -2
  413. package/SVF-doxygen/html/search/related_4.js +2 -2
  414. package/SVF-doxygen/html/search/related_5.js +1 -1
  415. package/SVF-doxygen/html/search/related_6.js +2 -2
  416. package/SVF-doxygen/html/search/related_7.js +4 -4
  417. package/SVF-doxygen/html/search/related_8.js +2 -2
  418. package/SVF-doxygen/html/search/related_9.js +4 -4
  419. package/SVF-doxygen/html/search/related_a.js +19 -19
  420. package/SVF-doxygen/html/search/related_b.js +4 -4
  421. package/SVF-doxygen/html/search/related_c.js +2 -2
  422. package/SVF-doxygen/html/search/related_d.js +12 -12
  423. package/SVF-doxygen/html/search/related_e.js +2 -2
  424. package/SVF-doxygen/html/search/related_f.js +2 -2
  425. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  426. package/SVF-doxygen/html/search/typedefs_1.js +27 -26
  427. package/SVF-doxygen/html/search/typedefs_10.js +63 -62
  428. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  429. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  430. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  431. package/SVF-doxygen/html/search/typedefs_14.js +11 -8
  432. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  433. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  434. package/SVF-doxygen/html/search/typedefs_4.js +18 -17
  435. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  436. package/SVF-doxygen/html/search/typedefs_6.js +57 -56
  437. package/SVF-doxygen/html/search/typedefs_7.js +47 -44
  438. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  439. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  440. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  441. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  442. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  443. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  444. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  445. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  446. package/SVF-doxygen/html/search/variables_0.js +148 -151
  447. package/SVF-doxygen/html/search/variables_1.js +76 -76
  448. package/SVF-doxygen/html/search/variables_10.js +99 -98
  449. package/SVF-doxygen/html/search/variables_11.js +45 -45
  450. package/SVF-doxygen/html/search/variables_12.js +91 -91
  451. package/SVF-doxygen/html/search/variables_13.js +73 -74
  452. package/SVF-doxygen/html/search/variables_14.js +14 -14
  453. package/SVF-doxygen/html/search/variables_15.js +49 -49
  454. package/SVF-doxygen/html/search/variables_16.js +10 -9
  455. package/SVF-doxygen/html/search/variables_17.js +1 -1
  456. package/SVF-doxygen/html/search/variables_18.js +2 -2
  457. package/SVF-doxygen/html/search/variables_2.js +38 -38
  458. package/SVF-doxygen/html/search/variables_3.js +142 -142
  459. package/SVF-doxygen/html/search/variables_4.js +50 -50
  460. package/SVF-doxygen/html/search/variables_5.js +37 -37
  461. package/SVF-doxygen/html/search/variables_6.js +66 -66
  462. package/SVF-doxygen/html/search/variables_7.js +34 -34
  463. package/SVF-doxygen/html/search/variables_8.js +8 -7
  464. package/SVF-doxygen/html/search/variables_9.js +78 -78
  465. package/SVF-doxygen/html/search/variables_a.js +4 -4
  466. package/SVF-doxygen/html/search/variables_b.js +10 -10
  467. package/SVF-doxygen/html/search/variables_c.js +45 -45
  468. package/SVF-doxygen/html/search/variables_d.js +55 -55
  469. package/SVF-doxygen/html/search/variables_e.js +123 -123
  470. package/SVF-doxygen/html/search/variables_f.js +30 -30
  471. package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +97 -0
  472. package/SVF-doxygen/html/structSVF_1_1has__edgetype.png +0 -0
  473. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html +97 -0
  474. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.png +0 -0
  475. package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +97 -0
  476. package/SVF-doxygen/html/structSVF_1_1has__nodetype.png +0 -0
  477. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html +97 -0
  478. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.png +0 -0
  479. package/SVF-doxygen/html/svf-ex_8cpp.html +2 -2
  480. package/SVF-doxygen/html/svf-ex_8cpp_source.html +3 -3
  481. package/package.json +1 -1
  482. package/svf/include/AbstractExecution/CFBasicBlockGWTO.h +83 -0
  483. package/svf/include/AbstractExecution/ICFGWTO.h +78 -0
  484. package/svf/include/DDA/DDAPass.h +2 -2
  485. package/svf/include/DDA/DDAVFSolver.h +2 -2
  486. package/svf/include/Graphs/SVFGStat.h +1 -1
  487. package/svf/include/Graphs/WTO.h +859 -0
  488. package/svf/include/MSSA/MemRegion.h +3 -3
  489. package/svf/include/MTA/TCT.h +2 -2
  490. package/svf/include/MemoryModel/PointerAnalysis.h +5 -14
  491. package/svf/include/Util/SVFStat.h +3 -0
  492. package/svf/include/WPA/CSC.h +3 -3
  493. package/svf/lib/DDA/DDAStat.cpp +2 -2
  494. package/svf/lib/Graphs/SVFGStat.cpp +2 -4
  495. package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  496. package/svf/lib/Util/PTAStat.cpp +14 -4
  497. package/svf/lib/Util/SVFStat.cpp +13 -3
  498. package/svf/lib/WPA/AndersenStat.cpp +3 -8
  499. package/svf/lib/WPA/FlowSensitiveStat.cpp +1 -2
  500. package/svf/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -2
  501. package/svf/include/AbstractExecution/WTO.h +0 -897
  502. /package/svf/include/{Util → Graphs}/SCC.h +0 -0
@@ -1,229 +1,230 @@
1
1
  var searchData=
2
2
  [
3
- ['f_1830',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter::F()'],['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp']]],
4
- ['fadd_1831',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
5
- ['false_1832',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
6
- ['fastcluster_2ecpp_1833',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
7
- ['fastcluster_2eh_1834',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
8
- ['fastcluster_5fdm_2ecpp_2einc_1835',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
9
- ['fastcluster_5fr_5fdm_2ecpp_2einc_1836',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
10
- ['fastclustertime_1837',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
11
- ['fbar_1838',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'Fbar(): PEGGrammar.txt'],['../PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447',1,'Fbar(M ? copybar) *: PEGGrammar.txt']]],
12
- ['fc_5fisnan_1839',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
13
- ['fcmp_5ffalse_1840',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
14
- ['fcmp_5foeq_1841',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
15
- ['fcmp_5foge_1842',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
16
- ['fcmp_5fogt_1843',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
17
- ['fcmp_5fole_1844',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
18
- ['fcmp_5folt_1845',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
19
- ['fcmp_5fone_1846',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
20
- ['fcmp_5ford_1847',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
21
- ['fcmp_5ftrue_1848',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
22
- ['fcmp_5fueq_1849',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
23
- ['fcmp_5fuge_1850',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
24
- ['fcmp_5fugt_1851',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
25
- ['fcmp_5fule_1852',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
26
- ['fcmp_5fult_1853',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
27
- ['fcmp_5fune_1854',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
28
- ['fcmp_5funo_1855',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
29
- ['fdiv_1856',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
30
- ['fdp_1857',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
31
- ['fenceinst_1858',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
32
- ['fgets_1859',['fgets',['../extapi_8c.html#a55c10fd7c7152a709388daa21827771c',1,'extapi.c']]],
33
- ['fgets_5funlocked_1860',['fgets_unlocked',['../extapi_8c.html#a87b04d1bbd1a0518769a58c9cbb88a24',1,'extapi.c']]],
34
- ['field_5fname_5fitem_1861',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
35
- ['fieldexpand_1862',['fieldExpand',['../classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129',1,'SVF::AndersenSFR']]],
36
- ['fieldreps_1863',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()'],['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()']]],
37
- ['fields_5fdda_1864',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
38
- ['fieldtypes_1865',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
39
- ['fifoworklist_1866',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF::FIFOWorkList< Data >'],['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList::FIFOWorkList()']]],
40
- ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_1867',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
41
- ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_1868',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
42
- ['fifoworklist_3c_20cxtlockproc_20_3e_1869',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
43
- ['fifoworklist_3c_20cxtstmt_20_3e_1870',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
44
- ['fifoworklist_3c_20cxtthreadproc_20_3e_1871',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
45
- ['fifoworklist_3c_20cxtthreadstmt_20_3e_1872',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
46
- ['fifoworklist_3c_20dpitem_20_3e_1873',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
47
- ['fifoworklist_3c_20nodeid_20_3e_1874',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
48
- ['file_1875',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
49
- ['filechecker_1876',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF::FileChecker'],['../classSVF_1_1FileChecker.html#a283b5e46aba5e964f0a54abc33fcb7b6',1,'SVF::FileChecker::FileChecker()'],['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'FILECHECKER(): saber.cpp']]],
50
- ['filechecker_2ecpp_1877',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
51
- ['filechecker_2eh_1878',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
52
- ['filename_1879',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
53
- ['fileneverclose_1880',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
54
- ['fileneverclosebug_1881',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF::FileNeverCloseBug'],['../classSVF_1_1FileNeverCloseBug.html#ad4fb019d5add0b9436b24b22a3cdf9a4',1,'SVF::FileNeverCloseBug::FileNeverCloseBug()']]],
55
- ['filepartialclose_1882',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
56
- ['filepartialclosebug_1883',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF::FilePartialCloseBug'],['../classSVF_1_1FilePartialCloseBug.html#a2eb864f62fa684a42973c15be52ba7d3',1,'SVF::FilePartialCloseBug::FilePartialCloseBug()']]],
57
- ['fill_1884',['fill',['../classSVF_1_1SVFIRReader.html#a32576e92aefc3da7d6c0c38dd8060f74',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFVar *var)'],['../classSVF_1_1SVFIRReader.html#aebf4875565c42da3470d407aa49d2a68',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ValVar *var)'],['../classSVF_1_1SVFIRReader.html#a1df7181316cdd6f9d7f5c140cfdfe7b6',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ObjVar *var)'],['../classSVF_1_1SVFIRReader.html#a6091e7d2f0468b9f74772be6fbe35a33',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GepValVar *var)'],['../classSVF_1_1SVFIRReader.html#a377ec7ca5795b77f07c91d21981d187c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GepObjVar *var)'],['../classSVF_1_1SVFIRReader.html#ac00e03acddd9739850aa9d7ad8f4400c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, FIObjVar *var)'],['../classSVF_1_1SVFIRReader.html#afdfc5943976b1b455529ba1e8774cec2',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetPN *var)'],['../classSVF_1_1SVFIRReader.html#ac7162280b685ccf05e4a19ad900e4dc9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, VarArgPN *var)'],['../classSVF_1_1SVFIRReader.html#ab63f6a77769ec1aa0a64ba173c185b7f',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, DummyValVar *var)'],['../classSVF_1_1SVFIRReader.html#a79c3742a62b4ce0217ba98fab761fa1e',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, DummyObjVar *var)'],['../classSVF_1_1SVFIRReader.html#ace0a08b438a90f70e7f0a18f23f38ba6',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a2bd4c016f69c7a1d30056325768bb87c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, AssignStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a6f15fa6f314bd4e3cd315237da2763c1',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, AddrStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a4fb3de95b0eb32313db43ce96abb1f8b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CopyStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#af04cc067637011d34c3e95b4bee88027',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, StoreStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ac1de74623f18ec0aa054d48d2214c7f8',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, LoadStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#af23fe5b588833ab8a345d43b51157556',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GepStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a14afe435c4d158b0039681f5d5adfe5b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CallPE *stmt)'],['../classSVF_1_1SVFIRReader.html#acd7d69e18f7b662f164fc2892998cc73',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetPE *stmt)'],['../classSVF_1_1SVFIRReader.html#a654b4ee7ddbf4cc5cc7f3b272e414434',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, MultiOpndStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a4cfcd0ecb0a81781b015bc3d25ae878d',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, PhiStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ac7f7ad8ccf2c9a5d67786d8aa38bb539',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SelectStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ac49e9fd8a6e6545a8916dc7e5e4201ae',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CmpStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a97a2717f9958e58608e66792eeb15472',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, BinaryOPStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a9605711e1d135976595a3abcd780cd69',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, UnaryOPStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a5ee16ccdcf75a16ffacebf3fca2a9f5d',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, BranchStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ad52bee45c0fcc7838e38aca7c5d475a7',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, TDForkPE *stmt)'],['../classSVF_1_1SVFIRReader.html#ace66807c318a858213e1e3d44c1e1bbe',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, TDJoinPE *stmt)'],['../classSVF_1_1SVFIRReader.html#a9dbcdea77c84caf4cf881e89a3c2d231',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, MemObj *memObj)'],['../classSVF_1_1SVFIRReader.html#a176a1ff069006c017494f91ad05642bc',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, StInfo *stInfo)'],['../classSVF_1_1SVFIRReader.html#acf9e9edfa997b49db0ddcc8bee88de85',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#aae553c2b868da823e642752c9de22599',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GlobalICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#aca545d1111cf07398d55f5f82a6f67bb',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, IntraICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#ae6604a3495c358b4df63bb5c207ad0d7',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, InterICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a98038235ad90de4d505ca455d6feb1c1',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, FunEntryICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a9b74f9b0b0a52e96cf2bd725cdb9e233',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, FunExitICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a30ee5ca1a71edbaaaf33261299c6254c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CallICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a6ca829f40040468fc32ba9ef574e8ff9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#aacf9aba24c28d04215dc123c74e90b3e',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ICFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a5273c848cdc3a6e94fbf77658cdd40cd',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, IntraCFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a3ef93a33b584cd114d367b41182ede04',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CallCFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a43e27f53c548384ac0637768ec3951f9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetCFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a228da6b0463643ec7a6dc0bfe86f877c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFLoop *loop)'],['../classSVF_1_1SVFIRReader.html#a65bc048625750b174737a5b0ea8beca0',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFValue *value)'],['../classSVF_1_1SVFIRReader.html#a982b36cc4775ac07c3b3e633a94b53d9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFFunction *value)'],['../classSVF_1_1SVFIRReader.html#ad795f39dec33e5bba18f467954b0f9bc',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFBasicBlock *value)'],['../classSVF_1_1SVFIRReader.html#ac000935d1688e4a4563b46e88d10362c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFInstruction *value)'],['../classSVF_1_1SVFIRReader.html#a5810b45cd96b9d8d1099b896721311d7',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFCallInst *value)'],['../classSVF_1_1SVFIRReader.html#a47dbf6259ba5e6fb3c69449df304287b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFVirtualCallInst *value)'],['../classSVF_1_1SVFIRReader.html#a95c65bb8af80cf8ce4d4b3c0921a18b5',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstant *value)'],['../classSVF_1_1SVFIRReader.html#ae0b2a053ab5177069c133a07e04d032f',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFGlobalValue *value)'],['../classSVF_1_1SVFIRReader.html#a47561f44604abaee6a92ac2d81900c57',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFArgument *value)'],['../classSVF_1_1SVFIRReader.html#a40d5cdd65718a83977fe16c3906b64f0',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantData *value)'],['../classSVF_1_1SVFIRReader.html#a8925adb05c9ba7cfbd66220710e62ea9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantInt *value)'],['../classSVF_1_1SVFIRReader.html#ac6e618f3601e75920341c76c7f149d58',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantFP *value)'],['../classSVF_1_1SVFIRReader.html#a2b433c784021a03d1a8ac7e00c1440da',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantNullPtr *value)'],['../classSVF_1_1SVFIRReader.html#a083c60aa4ddf150c986f83a47b7e6f96',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFBlackHoleValue *value)'],['../classSVF_1_1SVFIRReader.html#ae1c74cdf9ea07e341dfb1d2417dce438',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFOtherValue *value)'],['../classSVF_1_1SVFIRReader.html#a196e8a7e049f1b05c1850935945f0d1b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFMetadataAsValue *value)'],['../classSVF_1_1SVFIRReader.html#a00f212053173302d16147b112b1a6932',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFType *type)'],['../classSVF_1_1SVFIRReader.html#a582a615756cca1d15e17d7231eb92d12',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFPointerType *type)'],['../classSVF_1_1SVFIRReader.html#a88509de3dba3a3b682d41a01e90fe735',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFIntegerType *type)'],['../classSVF_1_1SVFIRReader.html#a9dc45cad914d7747d6eefab3e6812461',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFFunctionType *type)'],['../classSVF_1_1SVFIRReader.html#a194e81a5fed8671bf827052589207a39',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFStructType *type)'],['../classSVF_1_1SVFIRReader.html#a0f658fc5ff51693e4d33174decd12dbf',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFArrayType *type)'],['../classSVF_1_1SVFIRReader.html#a76404422ef0e6823086a7eb82ce4f965',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFOtherType *type)'],['../classSVF_1_1SVFIRReader.html#a36badbddd8e280a71382d28f1285c310',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GenericNode< NodeTy, EdgeTy > *node)'],['../classSVF_1_1SVFIRReader.html#a7ac2376301fc3f4d3b3b11cdff7b8820',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GenericEdge< NodeTy > *edge)']]],
58
- ['fillattribute_1885',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8',1,'SVF::CFGNormalizer']]],
59
- ['fillobjs_1886',['fillObjs',['../classSVF_1_1ReaderIDToObjMap.html#a8d677d0e7e3722fd9c47f02b33363b47',1,'SVF::ReaderIDToObjMap::fillObjs()'],['../classSVF_1_1ReaderPtrPool.html#acadb656fef08773e3d3a196cc34bc59d',1,'SVF::ReaderPtrPool::fillObjs()'],['../classSVF_1_1GenericGraphReader.html#ad522d9c637abd8bfce92d2d0a565584b',1,'SVF::GenericGraphReader::fillObjs()'],['../classSVF_1_1ICFGReader.html#ab3710363e551435141f18a1f74ce8022',1,'SVF::ICFGReader::fillObjs()']]],
60
- ['filoworklist_1887',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF::FILOWorkList< Data >'],['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList::FILOWorkList()']]],
61
- ['filterfun_1888',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
62
- ['finalbit_1889',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
63
- ['finalcond_1890',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
64
- ['finalize_1891',['finalize',['../classSVF_1_1CFLAlias.html#a1b7e49b3f42d625f1f25258044f8b885',1,'SVF::CFLAlias::finalize()'],['../classSVF_1_1CFLBase.html#a7ee2fdf1c0cdf019c863870dc51c0b5d',1,'SVF::CFLBase::finalize()'],['../classSVF_1_1CFLVF.html#a6047084ea0cfe2827130facdd54e4806',1,'SVF::CFLVF::finalize()'],['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a638f58c3bf6efdb3787fafaa4e6f19ca',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#a911aa7dd8d696b96a85d85af852e1e58',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
65
- ['find_1892',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a6db4368f5e5767d3e3f0e83f78707b31',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
66
- ['find_5ffirst_1893',['find_first',['../classSVF_1_1PointsTo.html#a17c66a466bbea93598bca73d82c95479',1,'SVF::PointsTo::find_first()'],['../structSVF_1_1SparseBitVectorElement.html#a2281ff5a0a492064cff864d4c246cbc2',1,'SVF::SparseBitVectorElement::find_first()'],['../classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963',1,'SVF::SparseBitVector::find_first()']]],
67
- ['find_5flast_1894',['find_last',['../structSVF_1_1SparseBitVectorElement.html#a1d79c099887fcf01f5c0743b38caf39d',1,'SVF::SparseBitVectorElement::find_last()'],['../classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba',1,'SVF::SparseBitVector::find_last()']]],
68
- ['find_5fnext_1895',['find_next',['../structSVF_1_1SparseBitVectorElement.html#a60a023744119cd0424511ea1e83b76e1',1,'SVF::SparseBitVectorElement']]],
69
- ['findlowerbound_1896',['FindLowerBound',['../classSVF_1_1SparseBitVector.html#aaac61c8dd5477ecc6e76c664bf45c0b0',1,'SVF::SparseBitVector']]],
70
- ['findlowerboundconst_1897',['FindLowerBoundConst',['../classSVF_1_1SparseBitVector.html#ab4787f96a5f7cab926f9c7426aa92fc1',1,'SVF::SparseBitVector']]],
71
- ['findlowerboundimpl_1898',['FindLowerBoundImpl',['../classSVF_1_1SparseBitVector.html#ad53d20775e5445a438f579743aa77cf3',1,'SVF::SparseBitVector']]],
72
- ['findnearestcommonpdominator_1899',['findNearestCommonPDominator',['../classSVF_1_1SVFLoopAndDomInfo.html#a49dff199b71a991c4525ed819ec92bed',1,'SVF::SVFLoopAndDomInfo']]],
73
- ['findpt_1900',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],
74
- ['finfo_1901',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
75
- ['fiobjnode_1902',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
76
- ['fiobjvar_1903',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF::FIObjVar'],['../classSVF_1_1FIObjVar.html#a56026a66f2cdadca0c985b88c185204c',1,'SVF::FIObjVar::FIObjVar(NodeID i, PNODEK ty=FIObjNode)'],['../classSVF_1_1FIObjVar.html#a249efb32d80b9ea0a31e526a0868e876',1,'SVF::FIObjVar::FIObjVar(const SVFValue *val, NodeID i, const MemObj *mem, PNODEK ty=FIObjNode)']]],
77
- ['first_5ffcmp_5fpredicate_1904',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
78
- ['first_5ffield_1905',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
79
- ['first_5ficmp_5fpredicate_1906',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
80
- ['firstcommonbit_1907',['firstCommonBit',['../classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f',1,'SVF::CoreBitVector']]],
81
- ['firstfieldeqbase_1908',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
82
- ['firstrhstoprods_1909',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
83
- ['fja_1910',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
84
- ['flags_1911',['flags',['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()']]],
85
- ['flatten_1912',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
86
- ['flattenelementtypes_1913',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
87
- ['fldidx_1914',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
88
- ['fldidx2typemap_1915',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
89
- ['fldidxvec_1916',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
90
- ['flexsymmap_1917',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
91
- ['flippedaddressmask_1918',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]],
92
- ['flowbudget_1919',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
93
- ['flowdda_1920',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF::FlowDDA'],['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()'],['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA::FlowDDA()']]],
94
- ['flowdda_2ecpp_1921',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
95
- ['flowdda_2eh_1922',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
96
- ['flows_5fdda_1923',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
97
- ['flowsensitive_1924',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF::FlowSensitive'],['../classSVF_1_1FlowSensitive.html#aac88b67b49cbd72912ff586d30197ffb',1,'SVF::FlowSensitive::FlowSensitive()']]],
98
- ['flowsensitive_2ecpp_1925',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
99
- ['flowsensitive_2eh_1926',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
100
- ['flowsensitivestat_1927',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF::FlowSensitiveStat'],['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive::FlowSensitiveStat()'],['../classSVF_1_1FlowSensitiveStat.html#a2a7ae289b0400e63fa217f8717f4ffa9',1,'SVF::FlowSensitiveStat::FlowSensitiveStat()']]],
101
- ['flowsensitivestat_2ecpp_1928',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
102
- ['fmt_1929',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
103
- ['fmul_1930',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
104
- ['fneg_1931',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
105
- ['followers_1932',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
106
- ['followersbegin_1933',['followersBegin',['../classSVF_1_1PCG.html#a78e0fcf6657bddc055f02e126fbf5626',1,'SVF::PCG']]],
107
- ['followersend_1934',['followersEnd',['../classSVF_1_1PCG.html#ad4fe2747c89e6406c33eea95826de0d7',1,'SVF::PCG']]],
108
- ['for_1935',['for',['../cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc',1,'cJSON.cpp']]],
109
- ['forkedgeset_1936',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
110
- ['forkjoinanalysis_1937',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF::ForkJoinAnalysis'],['../classSVF_1_1ForkJoinAnalysis.html#a431ec90a12a62bb892e8b78f66a8f9dc',1,'SVF::ForkJoinAnalysis::ForkJoinAnalysis()']]],
111
- ['forksite_1938',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
112
- ['forksites_1939',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
113
- ['forksitesbegin_1940',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
114
- ['forksitesend_1941',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
115
- ['formalinofaddresstakenfunc_1942',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
116
- ['formalinsvfgnode_1943',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
117
- ['formalinsvfgnodeset_1944',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
118
- ['formaloutofaddresstakenfunc_1945',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
119
- ['formaloutsvfgnode_1946',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
120
- ['formaloutsvfgnodeset_1947',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
121
- ['formalouttodefmap_1948',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
122
- ['formalparmnodevec_1949',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
123
- ['formalparmsvfgnode_1950',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
124
- ['formalparmvfgnode_1951',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
125
- ['formalret_1952',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
126
- ['formalretsvfgnode_1953',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
127
- ['formalretvfgnode_1954',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF::FormalRetVFGNode'],['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
128
- ['format_1955',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
129
- ['forwardslice_1956',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
130
- ['forwardslicebegin_1957',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
131
- ['forwardsliceend_1958',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
132
- ['forwardtraverse_1959',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver::forwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5',1,'SVF::GraphReachSolver::forwardTraverse()']]],
133
- ['forwardvisited_1960',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
134
- ['fparm_1961',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
135
- ['fpin_1962',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
136
- ['fpnodes_1963',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
137
- ['fpout_1964',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
138
- ['freezeinst_1965',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
139
- ['frem_1966',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
140
- ['freopen_1967',['freopen',['../extapi_8c.html#acda43fbb34d834cbd461d206b6df17fe',1,'extapi.c']]],
141
- ['freopen64_1968',['freopen64',['../extapi_8c.html#af03756fc9a14bdfa7e473514b8be069a',1,'extapi.c']]],
142
- ['fret_1969',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
143
- ['fromfile_1970',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
144
- ['fromstring_1971',['fromString',['../classOption.html#a1a2432713251f4422296c0c42efb9d9c',1,'Option::fromString(const std::string &s, bool &value)'],['../classOption.html#a90cb730780483d0b45378ffbab1b7226',1,'Option::fromString(const std::string s, std::string &value)'],['../classOption.html#a40a506940beb76487183260d6c73eabf',1,'Option::fromString(const std::string s, u32_t &value)']]],
145
- ['front_1972',['front',['../classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5',1,'SVF::SVFFunction::front()'],['../classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e',1,'SVF::SVFBasicBlock::front()'],['../classSVF_1_1FIFOWorkList.html#af58263ff13106f215a027badae017e52',1,'SVF::FIFOWorkList::front()']]],
146
- ['fsanno_1973',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
147
- ['fscs_5fwpa_1974',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
148
- ['fsdataflow_5fwpa_1975',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
149
- ['fsmpta_1976',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF::FSMPTA'],['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA::FSMPTA()']]],
150
- ['fsmpta_2ecpp_1977',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
151
- ['fsmpta_2eh_1978',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]],
152
- ['fsmptatime_1979',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
153
- ['fspta_1980',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
154
- ['fssparse_5fwpa_1981',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
155
- ['fstimelimit_1982',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
156
- ['fsub_1983',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
157
- ['fullbufferoverflowbug_1984',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF::FullBufferOverflowBug'],['../classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54',1,'SVF::FullBufferOverflowBug::FullBufferOverflowBug()']]],
158
- ['fullbufoverflow_1985',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
159
- ['fulljoin_1986',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
160
- ['fullnullptrdereference_1987',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
161
- ['fullnullptrdereferencebug_1988',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF::FullNullPtrDereferenceBug'],['../classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a',1,'SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug()']]],
162
- ['fullreachable_1989',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
163
- ['fullsvfg_1990',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
164
- ['fullsvfg_5fopt_1991',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
165
- ['fun_1992',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1PTACallGraphNode.html#a1453299fc45dc51d2c9842ff4de1b860',1,'SVF::PTACallGraphNode::fun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978',1,'SVF::InterMSSAPHISVFGNode::fun()'],['../classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c',1,'SVF::FormalParmVFGNode::fun()'],['../classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3',1,'SVF::FormalRetVFGNode::fun()'],['../classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740',1,'SVF::InterPHIVFGNode::fun()'],['../classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c',1,'SVF::RetMU::fun()'],['../classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c',1,'SVF::EntryCHI::fun()'],['../classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7',1,'SVF::SVFBasicBlock::fun()'],['../classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4',1,'SVF::SVFArgument::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
166
- ['funargslistmap_1993',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
167
- ['funcallblock_1994',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
168
- ['funcname_1995',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
169
- ['funcpair_1996',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
170
- ['funcpairtobool_1997',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
171
- ['funcpointerprint_1998',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
172
- ['function_1999',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
173
- ['function_5fobj_2000',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
174
- ['functiondoesnotret_2001',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],
175
- ['functionset_2002',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()'],['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule::FunctionSet()']]],
176
- ['functionsettype_2003',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
177
- ['functiontoformalinsmapty_2004',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
178
- ['functiontoformaloutsmapty_2005',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
179
- ['functiontype_2006',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
180
- ['functointermap_2007',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
181
- ['functoptsmap_2008',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
182
- ['functype_2009',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
183
- ['funcvector_2010',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
184
- ['fundecltodefmap_2011',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
185
- ['fundecltodefmapty_2012',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
186
- ['fundeftodeclsmap_2013',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
187
- ['fundeftodeclsmapty_2014',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
188
- ['funentryblock_2015',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
189
- ['funentryicfgnode_2016',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF::FunEntryICFGNode'],['../classSVF_1_1FunEntryICFGNode.html#a7dd691564b9d7f760678a99977a2d655',1,'SVF::FunEntryICFGNode::FunEntryICFGNode(NodeID id)'],['../classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31',1,'SVF::FunEntryICFGNode::FunEntryICFGNode(NodeID id, const SVFFunction *f)']]],
190
- ['funentrynode_2017',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
191
- ['funexitblock_2018',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
192
- ['funexiticfgnode_2019',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF::FunExitICFGNode'],['../classSVF_1_1FunExitICFGNode.html#a6abaea905a008e27d61ef31bd877dc0e',1,'SVF::FunExitICFGNode::FunExitICFGNode(NodeID id)'],['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode::FunExitICFGNode(NodeID id, const SVFFunction *f)']]],
193
- ['funexitnode_2020',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
194
- ['funhasret_2021',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
195
- ['funnameofvcall_2022',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
196
- ['funptrddaclient_2023',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
197
- ['funptrtocallsitesmap_2024',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
198
- ['funretblock_2025',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]],
199
- ['funretmap_2026',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
200
- ['funset_2027',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
201
- ['funtoargslistmap_2028',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
202
- ['funtocallgraphnodemap_2029',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
203
- ['funtoentrychisetmap_2030',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
204
- ['funtoexitbbsmap_2031',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator::funToExitBBsMap()'],['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator::FunToExitBBsMap()']]],
205
- ['funtoformalinmap_2032',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
206
- ['funtoformaloutmap_2033',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
207
- ['funtofunentrynodemap_2034',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
208
- ['funtofunentrynodemapty_2035',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
209
- ['funtofunexitnodemap_2036',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
210
- ['funtofunexitnodemapty_2037',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
211
- ['funtoidmapty_2038',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
212
- ['funtointermap_2039',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
213
- ['funtomodsmap_2040',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
214
- ['funtomrsmap_2041',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
215
- ['funtonodebsmap_2042',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
216
- ['funtopagedgesetmap_2043',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
217
- ['funtopointstomap_2044',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()'],['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()']]],
218
- ['funtopointstosmap_2045',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
219
- ['funtoptsmap_2046',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
220
- ['funtorefsmap_2047',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
221
- ['funtoretmap_2048',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
222
- ['funtoreturnmusetmap_2049',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()']]],
223
- ['funtovfgnodesmap_2050',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]],
224
- ['funtovfgnodesmapty_2051',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
225
- ['funvec_2052',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
226
- ['funworklist_2053',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]],
227
- ['fwprocesscurnode_2054',['FWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc',1,'SVF::SrcSnkDDA::FWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5',1,'SVF::SrcSnkSolver::FWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087',1,'SVF::GraphReachSolver::FWProcessCurNode()']]],
228
- ['fwprocessoutgoingedge_2055',['FWProcessOutgoingEdge',['../classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127',1,'SVF::SrcSnkDDA::FWProcessOutgoingEdge()'],['../classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484',1,'SVF::SrcSnkSolver::FWProcessOutgoingEdge()'],['../classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92',1,'SVF::GraphReachSolver::FWProcessOutgoingEdge()']]]
3
+ ['f_1826',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter::F()'],['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp']]],
4
+ ['fadd_1827',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
5
+ ['false_1828',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
6
+ ['fastcluster_2ecpp_1829',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
7
+ ['fastcluster_2eh_1830',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
8
+ ['fastcluster_5fdm_2ecpp_2einc_1831',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
9
+ ['fastcluster_5fr_5fdm_2ecpp_2einc_1832',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
10
+ ['fastclustertime_1833',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
11
+ ['fbar_1834',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'Fbar(): PEGGrammar.txt'],['../PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447',1,'Fbar(M ? copybar) *: PEGGrammar.txt']]],
12
+ ['fc_5fisnan_1835',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
13
+ ['fcmp_5ffalse_1836',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
14
+ ['fcmp_5foeq_1837',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
15
+ ['fcmp_5foge_1838',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
16
+ ['fcmp_5fogt_1839',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
17
+ ['fcmp_5fole_1840',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
18
+ ['fcmp_5folt_1841',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
19
+ ['fcmp_5fone_1842',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
20
+ ['fcmp_5ford_1843',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
21
+ ['fcmp_5ftrue_1844',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
22
+ ['fcmp_5fueq_1845',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
23
+ ['fcmp_5fuge_1846',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
24
+ ['fcmp_5fugt_1847',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
25
+ ['fcmp_5fule_1848',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
26
+ ['fcmp_5fult_1849',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
27
+ ['fcmp_5fune_1850',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
28
+ ['fcmp_5funo_1851',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
29
+ ['fdiv_1852',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
30
+ ['fdp_1853',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
31
+ ['fenceinst_1854',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
32
+ ['fgets_1855',['fgets',['../extapi_8c.html#a55c10fd7c7152a709388daa21827771c',1,'extapi.c']]],
33
+ ['fgets_5funlocked_1856',['fgets_unlocked',['../extapi_8c.html#a87b04d1bbd1a0518769a58c9cbb88a24',1,'extapi.c']]],
34
+ ['field_5fname_5fitem_1857',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
35
+ ['fieldexpand_1858',['fieldExpand',['../classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129',1,'SVF::AndersenSFR']]],
36
+ ['fieldreps_1859',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()'],['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()']]],
37
+ ['fields_5fdda_1860',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
38
+ ['fieldtypes_1861',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
39
+ ['fifoworklist_1862',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF::FIFOWorkList< Data >'],['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList::FIFOWorkList()']]],
40
+ ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_1863',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
41
+ ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_1864',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
42
+ ['fifoworklist_3c_20cxtlockproc_20_3e_1865',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
43
+ ['fifoworklist_3c_20cxtstmt_20_3e_1866',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
44
+ ['fifoworklist_3c_20cxtthreadproc_20_3e_1867',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
45
+ ['fifoworklist_3c_20cxtthreadstmt_20_3e_1868',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
46
+ ['fifoworklist_3c_20dpitem_20_3e_1869',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
47
+ ['fifoworklist_3c_20nodeid_20_3e_1870',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
48
+ ['file_1871',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
49
+ ['filechecker_1872',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF::FileChecker'],['../classSVF_1_1FileChecker.html#a283b5e46aba5e964f0a54abc33fcb7b6',1,'SVF::FileChecker::FileChecker()'],['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'FILECHECKER(): saber.cpp']]],
50
+ ['filechecker_2ecpp_1873',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
51
+ ['filechecker_2eh_1874',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
52
+ ['filename_1875',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
53
+ ['fileneverclose_1876',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
54
+ ['fileneverclosebug_1877',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF::FileNeverCloseBug'],['../classSVF_1_1FileNeverCloseBug.html#ad4fb019d5add0b9436b24b22a3cdf9a4',1,'SVF::FileNeverCloseBug::FileNeverCloseBug()']]],
55
+ ['filepartialclose_1878',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
56
+ ['filepartialclosebug_1879',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF::FilePartialCloseBug'],['../classSVF_1_1FilePartialCloseBug.html#a2eb864f62fa684a42973c15be52ba7d3',1,'SVF::FilePartialCloseBug::FilePartialCloseBug()']]],
57
+ ['fill_1880',['fill',['../classSVF_1_1SVFIRReader.html#a32576e92aefc3da7d6c0c38dd8060f74',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFVar *var)'],['../classSVF_1_1SVFIRReader.html#aebf4875565c42da3470d407aa49d2a68',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ValVar *var)'],['../classSVF_1_1SVFIRReader.html#a1df7181316cdd6f9d7f5c140cfdfe7b6',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ObjVar *var)'],['../classSVF_1_1SVFIRReader.html#a6091e7d2f0468b9f74772be6fbe35a33',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GepValVar *var)'],['../classSVF_1_1SVFIRReader.html#a377ec7ca5795b77f07c91d21981d187c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GepObjVar *var)'],['../classSVF_1_1SVFIRReader.html#ac00e03acddd9739850aa9d7ad8f4400c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, FIObjVar *var)'],['../classSVF_1_1SVFIRReader.html#afdfc5943976b1b455529ba1e8774cec2',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetPN *var)'],['../classSVF_1_1SVFIRReader.html#ac7162280b685ccf05e4a19ad900e4dc9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, VarArgPN *var)'],['../classSVF_1_1SVFIRReader.html#ab63f6a77769ec1aa0a64ba173c185b7f',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, DummyValVar *var)'],['../classSVF_1_1SVFIRReader.html#a79c3742a62b4ce0217ba98fab761fa1e',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, DummyObjVar *var)'],['../classSVF_1_1SVFIRReader.html#ace0a08b438a90f70e7f0a18f23f38ba6',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a2bd4c016f69c7a1d30056325768bb87c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, AssignStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a6f15fa6f314bd4e3cd315237da2763c1',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, AddrStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a4fb3de95b0eb32313db43ce96abb1f8b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CopyStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#af04cc067637011d34c3e95b4bee88027',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, StoreStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ac1de74623f18ec0aa054d48d2214c7f8',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, LoadStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#af23fe5b588833ab8a345d43b51157556',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GepStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a14afe435c4d158b0039681f5d5adfe5b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CallPE *stmt)'],['../classSVF_1_1SVFIRReader.html#acd7d69e18f7b662f164fc2892998cc73',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetPE *stmt)'],['../classSVF_1_1SVFIRReader.html#a654b4ee7ddbf4cc5cc7f3b272e414434',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, MultiOpndStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a4cfcd0ecb0a81781b015bc3d25ae878d',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, PhiStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ac7f7ad8ccf2c9a5d67786d8aa38bb539',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SelectStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ac49e9fd8a6e6545a8916dc7e5e4201ae',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CmpStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a97a2717f9958e58608e66792eeb15472',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, BinaryOPStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a9605711e1d135976595a3abcd780cd69',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, UnaryOPStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a5ee16ccdcf75a16ffacebf3fca2a9f5d',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, BranchStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#ad52bee45c0fcc7838e38aca7c5d475a7',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, TDForkPE *stmt)'],['../classSVF_1_1SVFIRReader.html#ace66807c318a858213e1e3d44c1e1bbe',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, TDJoinPE *stmt)'],['../classSVF_1_1SVFIRReader.html#a9dbcdea77c84caf4cf881e89a3c2d231',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, MemObj *memObj)'],['../classSVF_1_1SVFIRReader.html#a176a1ff069006c017494f91ad05642bc',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, StInfo *stInfo)'],['../classSVF_1_1SVFIRReader.html#acf9e9edfa997b49db0ddcc8bee88de85',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#aae553c2b868da823e642752c9de22599',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GlobalICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#aca545d1111cf07398d55f5f82a6f67bb',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, IntraICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#ae6604a3495c358b4df63bb5c207ad0d7',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, InterICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a98038235ad90de4d505ca455d6feb1c1',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, FunEntryICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a9b74f9b0b0a52e96cf2bd725cdb9e233',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, FunExitICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a30ee5ca1a71edbaaaf33261299c6254c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CallICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a6ca829f40040468fc32ba9ef574e8ff9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#aacf9aba24c28d04215dc123c74e90b3e',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, ICFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a5273c848cdc3a6e94fbf77658cdd40cd',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, IntraCFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a3ef93a33b584cd114d367b41182ede04',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, CallCFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a43e27f53c548384ac0637768ec3951f9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, RetCFGEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a228da6b0463643ec7a6dc0bfe86f877c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFLoop *loop)'],['../classSVF_1_1SVFIRReader.html#a65bc048625750b174737a5b0ea8beca0',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFValue *value)'],['../classSVF_1_1SVFIRReader.html#a982b36cc4775ac07c3b3e633a94b53d9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFFunction *value)'],['../classSVF_1_1SVFIRReader.html#ad795f39dec33e5bba18f467954b0f9bc',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFBasicBlock *value)'],['../classSVF_1_1SVFIRReader.html#ac000935d1688e4a4563b46e88d10362c',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFInstruction *value)'],['../classSVF_1_1SVFIRReader.html#a5810b45cd96b9d8d1099b896721311d7',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFCallInst *value)'],['../classSVF_1_1SVFIRReader.html#a47dbf6259ba5e6fb3c69449df304287b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFVirtualCallInst *value)'],['../classSVF_1_1SVFIRReader.html#a95c65bb8af80cf8ce4d4b3c0921a18b5',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstant *value)'],['../classSVF_1_1SVFIRReader.html#ae0b2a053ab5177069c133a07e04d032f',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFGlobalValue *value)'],['../classSVF_1_1SVFIRReader.html#a47561f44604abaee6a92ac2d81900c57',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFArgument *value)'],['../classSVF_1_1SVFIRReader.html#a40d5cdd65718a83977fe16c3906b64f0',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantData *value)'],['../classSVF_1_1SVFIRReader.html#a8925adb05c9ba7cfbd66220710e62ea9',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantInt *value)'],['../classSVF_1_1SVFIRReader.html#ac6e618f3601e75920341c76c7f149d58',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantFP *value)'],['../classSVF_1_1SVFIRReader.html#a2b433c784021a03d1a8ac7e00c1440da',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFConstantNullPtr *value)'],['../classSVF_1_1SVFIRReader.html#a083c60aa4ddf150c986f83a47b7e6f96',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFBlackHoleValue *value)'],['../classSVF_1_1SVFIRReader.html#ae1c74cdf9ea07e341dfb1d2417dce438',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFOtherValue *value)'],['../classSVF_1_1SVFIRReader.html#a196e8a7e049f1b05c1850935945f0d1b',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFMetadataAsValue *value)'],['../classSVF_1_1SVFIRReader.html#a00f212053173302d16147b112b1a6932',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFType *type)'],['../classSVF_1_1SVFIRReader.html#a582a615756cca1d15e17d7231eb92d12',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFPointerType *type)'],['../classSVF_1_1SVFIRReader.html#a88509de3dba3a3b682d41a01e90fe735',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFIntegerType *type)'],['../classSVF_1_1SVFIRReader.html#a9dc45cad914d7747d6eefab3e6812461',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFFunctionType *type)'],['../classSVF_1_1SVFIRReader.html#a194e81a5fed8671bf827052589207a39',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFStructType *type)'],['../classSVF_1_1SVFIRReader.html#a0f658fc5ff51693e4d33174decd12dbf',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFArrayType *type)'],['../classSVF_1_1SVFIRReader.html#a76404422ef0e6823086a7eb82ce4f965',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, SVFOtherType *type)'],['../classSVF_1_1SVFIRReader.html#a36badbddd8e280a71382d28f1285c310',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GenericNode< NodeTy, EdgeTy > *node)'],['../classSVF_1_1SVFIRReader.html#a7ac2376301fc3f4d3b3b11cdff7b8820',1,'SVF::SVFIRReader::fill(const cJSON *&fieldJson, GenericEdge< NodeTy > *edge)']]],
58
+ ['fillattribute_1881',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8',1,'SVF::CFGNormalizer']]],
59
+ ['fillobjs_1882',['fillObjs',['../classSVF_1_1ReaderIDToObjMap.html#a8d677d0e7e3722fd9c47f02b33363b47',1,'SVF::ReaderIDToObjMap::fillObjs()'],['../classSVF_1_1ReaderPtrPool.html#acadb656fef08773e3d3a196cc34bc59d',1,'SVF::ReaderPtrPool::fillObjs()'],['../classSVF_1_1GenericGraphReader.html#ad522d9c637abd8bfce92d2d0a565584b',1,'SVF::GenericGraphReader::fillObjs()'],['../classSVF_1_1ICFGReader.html#ab3710363e551435141f18a1f74ce8022',1,'SVF::ICFGReader::fillObjs()']]],
60
+ ['filoworklist_1883',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF::FILOWorkList< Data >'],['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList::FILOWorkList()']]],
61
+ ['filterfun_1884',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
62
+ ['finalbit_1885',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
63
+ ['finalcond_1886',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
64
+ ['finalize_1887',['finalize',['../classSVF_1_1CFLAlias.html#a1b7e49b3f42d625f1f25258044f8b885',1,'SVF::CFLAlias::finalize()'],['../classSVF_1_1CFLBase.html#a7ee2fdf1c0cdf019c863870dc51c0b5d',1,'SVF::CFLBase::finalize()'],['../classSVF_1_1CFLVF.html#a6047084ea0cfe2827130facdd54e4806',1,'SVF::CFLVF::finalize()'],['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a638f58c3bf6efdb3787fafaa4e6f19ca',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#a911aa7dd8d696b96a85d85af852e1e58',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
65
+ ['find_1888',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a6db4368f5e5767d3e3f0e83f78707b31',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
66
+ ['find_5ffirst_1889',['find_first',['../classSVF_1_1PointsTo.html#a17c66a466bbea93598bca73d82c95479',1,'SVF::PointsTo::find_first()'],['../structSVF_1_1SparseBitVectorElement.html#a2281ff5a0a492064cff864d4c246cbc2',1,'SVF::SparseBitVectorElement::find_first()'],['../classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963',1,'SVF::SparseBitVector::find_first()']]],
67
+ ['find_5flast_1890',['find_last',['../structSVF_1_1SparseBitVectorElement.html#a1d79c099887fcf01f5c0743b38caf39d',1,'SVF::SparseBitVectorElement::find_last()'],['../classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba',1,'SVF::SparseBitVector::find_last()']]],
68
+ ['find_5fnext_1891',['find_next',['../structSVF_1_1SparseBitVectorElement.html#a60a023744119cd0424511ea1e83b76e1',1,'SVF::SparseBitVectorElement']]],
69
+ ['findlowerbound_1892',['FindLowerBound',['../classSVF_1_1SparseBitVector.html#aaac61c8dd5477ecc6e76c664bf45c0b0',1,'SVF::SparseBitVector']]],
70
+ ['findlowerboundconst_1893',['FindLowerBoundConst',['../classSVF_1_1SparseBitVector.html#ab4787f96a5f7cab926f9c7426aa92fc1',1,'SVF::SparseBitVector']]],
71
+ ['findlowerboundimpl_1894',['FindLowerBoundImpl',['../classSVF_1_1SparseBitVector.html#ad53d20775e5445a438f579743aa77cf3',1,'SVF::SparseBitVector']]],
72
+ ['findnearestcommonpdominator_1895',['findNearestCommonPDominator',['../classSVF_1_1SVFLoopAndDomInfo.html#a49dff199b71a991c4525ed819ec92bed',1,'SVF::SVFLoopAndDomInfo']]],
73
+ ['findpt_1896',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],
74
+ ['finfo_1897',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
75
+ ['fiobjnode_1898',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
76
+ ['fiobjvar_1899',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF::FIObjVar'],['../classSVF_1_1FIObjVar.html#a56026a66f2cdadca0c985b88c185204c',1,'SVF::FIObjVar::FIObjVar(NodeID i, PNODEK ty=FIObjNode)'],['../classSVF_1_1FIObjVar.html#a249efb32d80b9ea0a31e526a0868e876',1,'SVF::FIObjVar::FIObjVar(const SVFValue *val, NodeID i, const MemObj *mem, PNODEK ty=FIObjNode)']]],
77
+ ['first_5ffcmp_5fpredicate_1900',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
78
+ ['first_5ffield_1901',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
79
+ ['first_5ficmp_5fpredicate_1902',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
80
+ ['firstcommonbit_1903',['firstCommonBit',['../classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f',1,'SVF::CoreBitVector']]],
81
+ ['firstfieldeqbase_1904',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
82
+ ['firstrhstoprods_1905',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
83
+ ['fja_1906',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
84
+ ['flags_1907',['flags',['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()']]],
85
+ ['flatten_1908',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
86
+ ['flattenelementtypes_1909',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
87
+ ['fldidx_1910',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
88
+ ['fldidx2typemap_1911',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
89
+ ['fldidxvec_1912',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
90
+ ['flexsymmap_1913',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
91
+ ['flippedaddressmask_1914',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]],
92
+ ['flowbudget_1915',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
93
+ ['flowdda_1916',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF::FlowDDA'],['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()'],['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA::FlowDDA()']]],
94
+ ['flowdda_2ecpp_1917',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
95
+ ['flowdda_2eh_1918',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
96
+ ['flows_5fdda_1919',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
97
+ ['flowsensitive_1920',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF::FlowSensitive'],['../classSVF_1_1FlowSensitive.html#aac88b67b49cbd72912ff586d30197ffb',1,'SVF::FlowSensitive::FlowSensitive()']]],
98
+ ['flowsensitive_2ecpp_1921',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
99
+ ['flowsensitive_2eh_1922',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
100
+ ['flowsensitivestat_1923',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF::FlowSensitiveStat'],['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive::FlowSensitiveStat()'],['../classSVF_1_1FlowSensitiveStat.html#a2a7ae289b0400e63fa217f8717f4ffa9',1,'SVF::FlowSensitiveStat::FlowSensitiveStat()']]],
101
+ ['flowsensitivestat_2ecpp_1924',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
102
+ ['fmt_1925',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
103
+ ['fmul_1926',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
104
+ ['fneg_1927',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
105
+ ['followers_1928',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
106
+ ['followersbegin_1929',['followersBegin',['../classSVF_1_1PCG.html#a78e0fcf6657bddc055f02e126fbf5626',1,'SVF::PCG']]],
107
+ ['followersend_1930',['followersEnd',['../classSVF_1_1PCG.html#ad4fe2747c89e6406c33eea95826de0d7',1,'SVF::PCG']]],
108
+ ['for_1931',['for',['../cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc',1,'cJSON.cpp']]],
109
+ ['foreachsuccessor_1932',['forEachSuccessor',['../classSVF_1_1CFBasicBlockGWTO.html#adebaf71337c65c3072a7364cbd660761',1,'SVF::CFBasicBlockGWTO::forEachSuccessor()'],['../classSVF_1_1ICFGWTO.html#a0178699f891c6814c04c10da72c0acf2',1,'SVF::ICFGWTO::forEachSuccessor()'],['../classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea',1,'SVF::WTO::forEachSuccessor()']]],
110
+ ['forkedgeset_1933',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
111
+ ['forkjoinanalysis_1934',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF::ForkJoinAnalysis'],['../classSVF_1_1ForkJoinAnalysis.html#a431ec90a12a62bb892e8b78f66a8f9dc',1,'SVF::ForkJoinAnalysis::ForkJoinAnalysis()']]],
112
+ ['forksite_1935',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
113
+ ['forksites_1936',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
114
+ ['forksitesbegin_1937',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
115
+ ['forksitesend_1938',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
116
+ ['formalinofaddresstakenfunc_1939',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
117
+ ['formalinsvfgnode_1940',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
118
+ ['formalinsvfgnodeset_1941',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
119
+ ['formaloutofaddresstakenfunc_1942',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
120
+ ['formaloutsvfgnode_1943',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
121
+ ['formaloutsvfgnodeset_1944',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
122
+ ['formalouttodefmap_1945',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
123
+ ['formalparmnodevec_1946',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
124
+ ['formalparmsvfgnode_1947',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
125
+ ['formalparmvfgnode_1948',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
126
+ ['formalret_1949',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
127
+ ['formalretsvfgnode_1950',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
128
+ ['formalretvfgnode_1951',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF::FormalRetVFGNode'],['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
129
+ ['format_1952',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
130
+ ['forwardslice_1953',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
131
+ ['forwardslicebegin_1954',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
132
+ ['forwardsliceend_1955',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
133
+ ['forwardtraverse_1956',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver::forwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5',1,'SVF::GraphReachSolver::forwardTraverse()']]],
134
+ ['forwardvisited_1957',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
135
+ ['fparm_1958',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
136
+ ['fpin_1959',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
137
+ ['fpnodes_1960',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
138
+ ['fpout_1961',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
139
+ ['freezeinst_1962',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
140
+ ['frem_1963',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
141
+ ['freopen_1964',['freopen',['../extapi_8c.html#acda43fbb34d834cbd461d206b6df17fe',1,'extapi.c']]],
142
+ ['freopen64_1965',['freopen64',['../extapi_8c.html#af03756fc9a14bdfa7e473514b8be069a',1,'extapi.c']]],
143
+ ['fret_1966',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
144
+ ['fromfile_1967',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
145
+ ['fromstring_1968',['fromString',['../classOption.html#a1a2432713251f4422296c0c42efb9d9c',1,'Option::fromString(const std::string &s, bool &value)'],['../classOption.html#a90cb730780483d0b45378ffbab1b7226',1,'Option::fromString(const std::string s, std::string &value)'],['../classOption.html#a40a506940beb76487183260d6c73eabf',1,'Option::fromString(const std::string s, u32_t &value)']]],
146
+ ['front_1969',['front',['../classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5',1,'SVF::SVFFunction::front()'],['../classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e',1,'SVF::SVFBasicBlock::front()'],['../classSVF_1_1FIFOWorkList.html#af58263ff13106f215a027badae017e52',1,'SVF::FIFOWorkList::front()']]],
147
+ ['fsanno_1970',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
148
+ ['fscs_5fwpa_1971',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
149
+ ['fsdataflow_5fwpa_1972',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
150
+ ['fsmpta_1973',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF::FSMPTA'],['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA::FSMPTA()']]],
151
+ ['fsmpta_2ecpp_1974',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
152
+ ['fsmpta_2eh_1975',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]],
153
+ ['fsmptatime_1976',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
154
+ ['fspta_1977',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
155
+ ['fssparse_5fwpa_1978',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
156
+ ['fstimelimit_1979',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
157
+ ['fsub_1980',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
158
+ ['fullbufferoverflowbug_1981',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF::FullBufferOverflowBug'],['../classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54',1,'SVF::FullBufferOverflowBug::FullBufferOverflowBug()']]],
159
+ ['fullbufoverflow_1982',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
160
+ ['fulljoin_1983',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
161
+ ['fullnullptrdereference_1984',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
162
+ ['fullnullptrdereferencebug_1985',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF::FullNullPtrDereferenceBug'],['../classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a',1,'SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug()']]],
163
+ ['fullreachable_1986',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
164
+ ['fullsvfg_1987',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
165
+ ['fullsvfg_5fopt_1988',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
166
+ ['fun_1989',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1PTACallGraphNode.html#a1453299fc45dc51d2c9842ff4de1b860',1,'SVF::PTACallGraphNode::fun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978',1,'SVF::InterMSSAPHISVFGNode::fun()'],['../classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c',1,'SVF::FormalParmVFGNode::fun()'],['../classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3',1,'SVF::FormalRetVFGNode::fun()'],['../classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740',1,'SVF::InterPHIVFGNode::fun()'],['../classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c',1,'SVF::RetMU::fun()'],['../classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c',1,'SVF::EntryCHI::fun()'],['../classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7',1,'SVF::SVFBasicBlock::fun()'],['../classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4',1,'SVF::SVFArgument::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
167
+ ['funargslistmap_1990',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
168
+ ['funcallblock_1991',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
169
+ ['funcname_1992',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
170
+ ['funcpair_1993',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
171
+ ['funcpairtobool_1994',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
172
+ ['funcpointerprint_1995',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
173
+ ['function_1996',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
174
+ ['function_5fobj_1997',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
175
+ ['functiondoesnotret_1998',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],
176
+ ['functionset_1999',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()'],['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule::FunctionSet()']]],
177
+ ['functionsettype_2000',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
178
+ ['functiontoformalinsmapty_2001',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
179
+ ['functiontoformaloutsmapty_2002',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
180
+ ['functiontype_2003',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
181
+ ['functointermap_2004',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
182
+ ['functoptsmap_2005',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
183
+ ['functype_2006',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
184
+ ['funcvector_2007',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
185
+ ['fundecltodefmap_2008',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
186
+ ['fundecltodefmapty_2009',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
187
+ ['fundeftodeclsmap_2010',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
188
+ ['fundeftodeclsmapty_2011',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
189
+ ['funentryblock_2012',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
190
+ ['funentryicfgnode_2013',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF::FunEntryICFGNode'],['../classSVF_1_1FunEntryICFGNode.html#a7dd691564b9d7f760678a99977a2d655',1,'SVF::FunEntryICFGNode::FunEntryICFGNode(NodeID id)'],['../classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31',1,'SVF::FunEntryICFGNode::FunEntryICFGNode(NodeID id, const SVFFunction *f)']]],
191
+ ['funentrynode_2014',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
192
+ ['funexitblock_2015',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
193
+ ['funexiticfgnode_2016',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF::FunExitICFGNode'],['../classSVF_1_1FunExitICFGNode.html#a6abaea905a008e27d61ef31bd877dc0e',1,'SVF::FunExitICFGNode::FunExitICFGNode(NodeID id)'],['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode::FunExitICFGNode(NodeID id, const SVFFunction *f)']]],
194
+ ['funexitnode_2017',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
195
+ ['funhasret_2018',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
196
+ ['funnameofvcall_2019',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
197
+ ['funptrddaclient_2020',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
198
+ ['funptrtocallsitesmap_2021',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
199
+ ['funretblock_2022',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]],
200
+ ['funretmap_2023',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
201
+ ['funset_2024',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
202
+ ['funtoargslistmap_2025',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
203
+ ['funtocallgraphnodemap_2026',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
204
+ ['funtoentrychisetmap_2027',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
205
+ ['funtoexitbbsmap_2028',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator::funToExitBBsMap()'],['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator::FunToExitBBsMap()']]],
206
+ ['funtoformalinmap_2029',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
207
+ ['funtoformaloutmap_2030',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
208
+ ['funtofunentrynodemap_2031',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
209
+ ['funtofunentrynodemapty_2032',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
210
+ ['funtofunexitnodemap_2033',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
211
+ ['funtofunexitnodemapty_2034',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
212
+ ['funtoidmapty_2035',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
213
+ ['funtointermap_2036',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
214
+ ['funtomodsmap_2037',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
215
+ ['funtomrsmap_2038',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
216
+ ['funtonodebsmap_2039',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
217
+ ['funtopagedgesetmap_2040',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
218
+ ['funtopointstomap_2041',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()'],['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()']]],
219
+ ['funtopointstosmap_2042',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
220
+ ['funtoptsmap_2043',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
221
+ ['funtorefsmap_2044',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
222
+ ['funtoretmap_2045',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
223
+ ['funtoreturnmusetmap_2046',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()']]],
224
+ ['funtovfgnodesmap_2047',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]],
225
+ ['funtovfgnodesmapty_2048',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
226
+ ['funvec_2049',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
227
+ ['funworklist_2050',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]],
228
+ ['fwprocesscurnode_2051',['FWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc',1,'SVF::SrcSnkDDA::FWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5',1,'SVF::SrcSnkSolver::FWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087',1,'SVF::GraphReachSolver::FWProcessCurNode()']]],
229
+ ['fwprocessoutgoingedge_2052',['FWProcessOutgoingEdge',['../classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127',1,'SVF::SrcSnkDDA::FWProcessOutgoingEdge()'],['../classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484',1,'SVF::SrcSnkSolver::FWProcessOutgoingEdge()'],['../classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92',1,'SVF::GraphReachSolver::FWProcessOutgoingEdge()']]]
229
230
  ];