svf-tools 1.0.749 → 1.0.751

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 (550) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
  8. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +12 -12
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  11. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +4 -4
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -11
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +10 -10
  20. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  21. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +6 -6
  22. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +6 -6
  23. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +10 -10
  25. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
  26. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +22 -22
  32. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +9 -9
  36. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  37. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +9 -9
  39. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -9
  40. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  41. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +3 -3
  42. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
  43. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +15 -15
  44. package/SVF-doxygen/html/html/ICFG_8h_source.html +2 -2
  45. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +6 -6
  46. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +5 -5
  48. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +1 -60
  49. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1194 -1254
  50. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +38 -38
  51. package/SVF-doxygen/html/html/LLVMUtil_8cpp.html +0 -8
  52. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +25 -44
  53. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  54. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  55. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +20 -20
  57. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +5 -5
  58. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  59. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +2 -2
  60. package/SVF-doxygen/html/html/MHP_8cpp_source.html +20 -20
  61. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  62. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +5 -5
  63. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  64. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  65. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
  66. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  67. package/SVF-doxygen/html/html/MTA_8cpp_source.html +8 -8
  68. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +20 -20
  71. package/SVF-doxygen/html/html/MemRegion_8h_source.html +5 -5
  72. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +27 -27
  73. package/SVF-doxygen/html/html/MemSSA_8h_source.html +4 -4
  74. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  77. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  78. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +5 -5
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +21 -21
  83. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  84. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  85. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +2 -2
  88. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +35 -35
  89. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +33 -33
  90. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
  91. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  93. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +70 -70
  99. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +11 -11
  100. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +69 -69
  101. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +11 -11
  102. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +38 -38
  103. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +22 -22
  104. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +21 -21
  105. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +21 -21
  106. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +23 -23
  107. package/SVF-doxygen/html/html/SVFIR_8h_source.html +18 -18
  108. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  110. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +7 -7
  111. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +46 -46
  112. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1116 -1114
  113. package/SVF-doxygen/html/html/SVFType_8h.html +23 -25
  114. package/SVF-doxygen/html/html/SVFType_8h_source.html +134 -137
  115. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  116. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  117. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +126 -247
  118. package/SVF-doxygen/html/html/SVFValue_8h.html +1 -1
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1061 -1103
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +6 -6
  121. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +26 -26
  124. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +8 -8
  125. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  126. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  128. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +10 -10
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  130. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +6 -6
  131. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  132. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  133. package/SVF-doxygen/html/html/TCT_8cpp_source.html +17 -17
  134. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  135. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +9 -9
  136. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  137. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +4 -4
  138. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  139. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  140. package/SVF-doxygen/html/html/VFGNode_8h_source.html +14 -14
  141. package/SVF-doxygen/html/html/VFG_8cpp_source.html +24 -24
  142. package/SVF-doxygen/html/html/VFG_8h_source.html +18 -18
  143. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  144. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  145. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +7 -7
  146. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  147. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  149. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  150. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +23 -23
  151. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +5 -5
  152. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +9 -9
  153. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +2 -2
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +51 -51
  158. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  159. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +70 -70
  160. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +53 -53
  162. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  163. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
  165. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -8
  167. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +8 -8
  168. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +40 -40
  174. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  175. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +99 -99
  176. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +3 -3
  178. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +17 -17
  179. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +10 -10
  180. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +23 -23
  181. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  182. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  184. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +5 -5
  185. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  186. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  187. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  189. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +6 -6
  191. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +21 -21
  192. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +8 -8
  194. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +9 -9
  195. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +16 -16
  197. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  199. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +2 -2
  201. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +56 -56
  202. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
  203. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +6 -6
  204. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
  205. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +3 -3
  206. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  214. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1168 -1215
  215. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +9 -9
  216. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +23 -23
  217. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +19 -19
  218. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  219. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +19 -19
  220. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  221. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +19 -19
  222. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  224. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  225. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  226. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +4 -4
  227. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  228. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +2 -2
  229. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +26 -26
  230. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +48 -48
  232. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  233. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  235. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
  236. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +48 -48
  239. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -20
  240. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  241. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +40 -40
  246. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +35 -36
  247. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +34 -71
  248. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +37 -38
  249. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +139 -178
  250. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +38 -39
  251. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +19 -58
  252. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +42 -43
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +70 -71
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +34 -35
  256. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +21 -59
  257. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +36 -37
  258. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +27 -66
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +38 -39
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +25 -66
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +40 -41
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +31 -79
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +38 -39
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +19 -58
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +41 -42
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +206 -241
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +9 -9
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +39 -40
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +37 -73
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +22 -22
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +57 -57
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +59 -59
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +39 -39
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +37 -38
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +60 -101
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +36 -37
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +19 -55
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +34 -35
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +15 -53
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +7 -7
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +43 -41
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +32 -33
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +44 -51
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +47 -48
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +56 -57
  291. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +26 -26
  292. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  293. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +40 -40
  294. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  296. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +22 -22
  297. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  299. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +26 -26
  300. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +25 -25
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +9 -9
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  304. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  305. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +46 -46
  306. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  307. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +24 -24
  308. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +2 -2
  309. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  310. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +5 -5
  312. package/SVF-doxygen/html/html/functions_func_p.html +2 -16
  313. package/SVF-doxygen/html/html/functions_func_t.html +1 -1
  314. package/SVF-doxygen/html/html/functions_p.html +0 -14
  315. package/SVF-doxygen/html/html/functions_t.html +1 -1
  316. package/SVF-doxygen/html/html/globals_func.html +0 -3
  317. package/SVF-doxygen/html/html/globals_s.html +3 -6
  318. package/SVF-doxygen/html/html/namespaceSVF.html +29 -96
  319. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +4 -4
  320. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +6 -6
  321. package/SVF-doxygen/html/html/namespacemembers_d.html +2 -5
  322. package/SVF-doxygen/html/html/namespacemembers_func_d.html +2 -5
  323. package/SVF-doxygen/html/html/search/all_10.js +325 -325
  324. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  325. package/SVF-doxygen/html/html/search/all_12.js +545 -546
  326. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  327. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  328. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  329. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  330. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  331. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  332. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  333. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  334. package/SVF-doxygen/html/html/search/all_4.js +26 -27
  335. package/SVF-doxygen/html/html/search/all_5.js +156 -156
  336. package/SVF-doxygen/html/html/search/all_6.js +223 -223
  337. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  338. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  339. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  340. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  341. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  342. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  343. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  344. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  345. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  346. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  347. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  348. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  349. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  350. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  351. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  352. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  353. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  354. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  355. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  356. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  357. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  358. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  359. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  360. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  361. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  362. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  363. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  364. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  365. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  366. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  367. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  368. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  369. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  370. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  371. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  372. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  373. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  374. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  375. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  376. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  377. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  378. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  379. package/SVF-doxygen/html/html/search/defines_b.js +2 -2
  380. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  381. package/SVF-doxygen/html/html/search/defines_d.js +6 -6
  382. package/SVF-doxygen/html/html/search/defines_e.js +3 -3
  383. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  384. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  385. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  386. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  387. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  388. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  389. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  390. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  391. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  392. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  393. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  394. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  395. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  396. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  397. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  398. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  399. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  400. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  401. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  402. package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
  403. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  404. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  405. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  406. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  407. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  408. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  409. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  410. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  411. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  412. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  413. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  414. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  415. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  416. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  417. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  418. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  419. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  420. package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -17
  421. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  422. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  423. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  424. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  425. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  426. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  427. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  428. package/SVF-doxygen/html/html/search/files_2.js +50 -50
  429. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  430. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  431. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  432. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  433. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  434. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  435. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  436. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  437. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  438. package/SVF-doxygen/html/html/search/files_c.js +19 -19
  439. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  440. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  441. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  442. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  443. package/SVF-doxygen/html/html/search/functions_1.js +80 -80
  444. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  445. package/SVF-doxygen/html/html/search/functions_11.js +281 -282
  446. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  447. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  448. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  449. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  450. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  451. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  452. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  453. package/SVF-doxygen/html/html/search/functions_3.js +71 -72
  454. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  455. package/SVF-doxygen/html/html/search/functions_5.js +55 -55
  456. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  457. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  458. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  459. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  460. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  461. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  462. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  463. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  464. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  465. package/SVF-doxygen/html/html/search/functions_f.js +143 -143
  466. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  467. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  468. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  469. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  470. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  471. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  472. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  473. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  474. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  475. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  476. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  477. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  478. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  479. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  480. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  481. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  482. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  483. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  484. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  485. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  486. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  487. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  488. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  489. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  490. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  491. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  492. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  493. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  494. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  495. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  496. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  497. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  498. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  499. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  500. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  501. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  502. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  503. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  504. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  505. package/SVF-doxygen/html/html/search/variables_0.js +146 -146
  506. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  507. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  508. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  509. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  510. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  511. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  512. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  513. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  514. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  515. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  516. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  517. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  518. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  519. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  520. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  521. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  522. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  523. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  524. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  525. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  526. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  527. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  528. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  529. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  530. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  531. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  532. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  533. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  534. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  535. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  536. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  537. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  538. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  539. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +13 -13
  540. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  541. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  542. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +3 -3
  543. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  544. package/package.json +1 -1
  545. package/svf/include/SVFIR/SVFStatements.h +12 -9
  546. package/svf/include/SVFIR/SVFType.h +0 -6
  547. package/svf/include/SVFIR/SVFValue.h +2 -31
  548. package/svf/lib/SVFIR/SVFValue.cpp +0 -95
  549. package/svf-llvm/lib/LLVMModule.cpp +0 -58
  550. package/svf-llvm/lib/LLVMUtil.cpp +13 -28
@@ -1,226 +1,226 @@
1
1
  var searchData=
2
2
  [
3
- ['f_1802',['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_1803',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
5
- ['false_1804',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
6
- ['falsebranch_5foperands_1805',['falseBranch_operands',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd',1,'SVF::ExtAPI::ExtOperation']]],
7
- ['fastcluster_2ecpp_1806',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
8
- ['fastcluster_2eh_1807',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
9
- ['fastcluster_5fdm_2ecpp_2einc_1808',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
10
- ['fastcluster_5fr_5fdm_2ecpp_2einc_1809',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
11
- ['fastclustertime_1810',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
12
- ['fbar_1811',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'Fbar(): PEGGrammar.txt'],['../PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447',1,'Fbar(M ? copybar) *: PEGGrammar.txt']]],
13
- ['fc_5fisnan_1812',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
14
- ['fcmp_5ffalse_1813',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
15
- ['fcmp_5foeq_1814',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
16
- ['fcmp_5foge_1815',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
17
- ['fcmp_5fogt_1816',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
18
- ['fcmp_5fole_1817',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
19
- ['fcmp_5folt_1818',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
20
- ['fcmp_5fone_1819',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
21
- ['fcmp_5ford_1820',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
22
- ['fcmp_5ftrue_1821',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
23
- ['fcmp_5fueq_1822',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
24
- ['fcmp_5fuge_1823',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
25
- ['fcmp_5fugt_1824',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
26
- ['fcmp_5fule_1825',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
27
- ['fcmp_5fult_1826',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
28
- ['fcmp_5fune_1827',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
29
- ['fcmp_5funo_1828',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
30
- ['fdiv_1829',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
31
- ['fdp_1830',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
32
- ['fenceinst_1831',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
33
- ['field_5fname_5fitem_1832',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
34
- ['fieldexpand_1833',['fieldExpand',['../classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129',1,'SVF::AndersenSFR']]],
35
- ['fieldreps_1834',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()'],['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()']]],
36
- ['fields_5fdda_1835',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
37
- ['fieldtypes_1836',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
38
- ['fifoworklist_1837',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF::FIFOWorkList< Data >'],['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList::FIFOWorkList()']]],
39
- ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_1838',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
40
- ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_1839',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
41
- ['fifoworklist_3c_20cxtlockproc_20_3e_1840',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
42
- ['fifoworklist_3c_20cxtstmt_20_3e_1841',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
43
- ['fifoworklist_3c_20cxtthreadproc_20_3e_1842',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
44
- ['fifoworklist_3c_20cxtthreadstmt_20_3e_1843',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
45
- ['fifoworklist_3c_20dpitem_20_3e_1844',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
46
- ['fifoworklist_3c_20nodeid_20_3e_1845',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
47
- ['file_1846',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
48
- ['filechecker_1847',['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']]],
49
- ['filechecker_2ecpp_1848',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
50
- ['filechecker_2eh_1849',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
51
- ['filename_1850',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
52
- ['fileneverclose_1851',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
53
- ['fileneverclosebug_1852',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF::FileNeverCloseBug'],['../classSVF_1_1FileNeverCloseBug.html#ad4fb019d5add0b9436b24b22a3cdf9a4',1,'SVF::FileNeverCloseBug::FileNeverCloseBug()']]],
54
- ['filepartialclose_1853',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
55
- ['filepartialclosebug_1854',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF::FilePartialCloseBug'],['../classSVF_1_1FilePartialCloseBug.html#a2eb864f62fa684a42973c15be52ba7d3',1,'SVF::FilePartialCloseBug::FilePartialCloseBug()']]],
56
- ['fill_1855',['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)']]],
57
- ['fillattribute_1856',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#a06d53343154ade7bc1a21e424f67c7b0',1,'SVF::CFGNormalizer']]],
58
- ['fillobjs_1857',['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()']]],
59
- ['filoworklist_1858',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF::FILOWorkList< Data >'],['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList::FILOWorkList()']]],
60
- ['filterfun_1859',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
61
- ['finalbit_1860',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
62
- ['finalcond_1861',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
63
- ['finalize_1862',['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()']]],
64
- ['find_1863',['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()']]],
65
- ['find_5ffirst_1864',['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()']]],
66
- ['find_5flast_1865',['find_last',['../structSVF_1_1SparseBitVectorElement.html#a1d79c099887fcf01f5c0743b38caf39d',1,'SVF::SparseBitVectorElement::find_last()'],['../classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba',1,'SVF::SparseBitVector::find_last()']]],
67
- ['find_5fnext_1866',['find_next',['../structSVF_1_1SparseBitVectorElement.html#a60a023744119cd0424511ea1e83b76e1',1,'SVF::SparseBitVectorElement']]],
68
- ['findlowerbound_1867',['FindLowerBound',['../classSVF_1_1SparseBitVector.html#aaac61c8dd5477ecc6e76c664bf45c0b0',1,'SVF::SparseBitVector']]],
69
- ['findlowerboundconst_1868',['FindLowerBoundConst',['../classSVF_1_1SparseBitVector.html#ab4787f96a5f7cab926f9c7426aa92fc1',1,'SVF::SparseBitVector']]],
70
- ['findlowerboundimpl_1869',['FindLowerBoundImpl',['../classSVF_1_1SparseBitVector.html#ad53d20775e5445a438f579743aa77cf3',1,'SVF::SparseBitVector']]],
71
- ['findpt_1870',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],
72
- ['finfo_1871',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
73
- ['fiobjnode_1872',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
74
- ['fiobjvar_1873',['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)']]],
75
- ['first_5ffcmp_5fpredicate_1874',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
76
- ['first_5ffield_1875',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
77
- ['first_5ficmp_5fpredicate_1876',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
78
- ['firstcommonbit_1877',['firstCommonBit',['../classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f',1,'SVF::CoreBitVector']]],
79
- ['firstfieldeqbase_1878',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
80
- ['firstrhstoprods_1879',['firstRHSToProds',['../classSVF_1_1CFLGrammar.html#a4422a52119e7b0ee346a93d8820854dd',1,'SVF::CFLGrammar']]],
81
- ['fja_1880',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
82
- ['flags_1881',['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()']]],
83
- ['flatten_1882',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
84
- ['flattenelementtypes_1883',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
85
- ['fldidx_1884',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
86
- ['fldidx2typemap_1885',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
87
- ['fldidxvec_1886',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
88
- ['flexsymmap_1887',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
89
- ['flippedaddressmask_1888',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]],
90
- ['flowbudget_1889',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
91
- ['flowdda_1890',['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()']]],
92
- ['flowdda_2ecpp_1891',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
93
- ['flowdda_2eh_1892',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
94
- ['flows_5fdda_1893',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
95
- ['flowsensitive_1894',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF::FlowSensitive'],['../classSVF_1_1FlowSensitive.html#aac88b67b49cbd72912ff586d30197ffb',1,'SVF::FlowSensitive::FlowSensitive()']]],
96
- ['flowsensitive_2ecpp_1895',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
97
- ['flowsensitive_2eh_1896',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
98
- ['flowsensitivestat_1897',['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()']]],
99
- ['flowsensitivestat_2ecpp_1898',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
100
- ['fmt_1899',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
101
- ['fmul_1900',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
102
- ['fneg_1901',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
103
- ['followers_1902',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
104
- ['followersbegin_1903',['followersBegin',['../classSVF_1_1PCG.html#a78e0fcf6657bddc055f02e126fbf5626',1,'SVF::PCG']]],
105
- ['followersend_1904',['followersEnd',['../classSVF_1_1PCG.html#ad4fe2747c89e6406c33eea95826de0d7',1,'SVF::PCG']]],
106
- ['for_1905',['for',['../cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc',1,'cJSON.cpp']]],
107
- ['forkedgeset_1906',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
108
- ['forkjoinanalysis_1907',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF::ForkJoinAnalysis'],['../classSVF_1_1ForkJoinAnalysis.html#a431ec90a12a62bb892e8b78f66a8f9dc',1,'SVF::ForkJoinAnalysis::ForkJoinAnalysis()']]],
109
- ['forksite_1908',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
110
- ['forksites_1909',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
111
- ['forksitesbegin_1910',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
112
- ['forksitesend_1911',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
113
- ['formalinofaddresstakenfunc_1912',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
114
- ['formalinsvfgnode_1913',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
115
- ['formalinsvfgnodeset_1914',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
116
- ['formaloutofaddresstakenfunc_1915',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
117
- ['formaloutsvfgnode_1916',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
118
- ['formaloutsvfgnodeset_1917',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
119
- ['formalouttodefmap_1918',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
120
- ['formalparmnodevec_1919',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
121
- ['formalparmsvfgnode_1920',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
122
- ['formalparmvfgnode_1921',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
123
- ['formalret_1922',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
124
- ['formalretsvfgnode_1923',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
125
- ['formalretvfgnode_1924',['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)']]],
126
- ['format_1925',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
127
- ['forwardslice_1926',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
128
- ['forwardslicebegin_1927',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
129
- ['forwardsliceend_1928',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
130
- ['forwardtraverse_1929',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver::forwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5',1,'SVF::GraphReachSolver::forwardTraverse()']]],
131
- ['forwardvisited_1930',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
132
- ['fparm_1931',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
133
- ['fpin_1932',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
134
- ['fpnodes_1933',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
135
- ['fpout_1934',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
136
- ['freezeinst_1935',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
137
- ['frem_1936',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
138
- ['fret_1937',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
139
- ['fromfile_1938',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
140
- ['fromstring_1939',['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)']]],
141
- ['front_1940',['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()']]],
142
- ['fsanno_1941',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
143
- ['fscs_5fwpa_1942',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
144
- ['fsdataflow_5fwpa_1943',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
145
- ['fsmpta_1944',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF::FSMPTA'],['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA::FSMPTA()']]],
146
- ['fsmpta_2ecpp_1945',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
147
- ['fsmpta_2eh_1946',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]],
148
- ['fsmptatime_1947',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
149
- ['fspta_1948',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
150
- ['fssparse_5fwpa_1949',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
151
- ['fstimelimit_1950',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
152
- ['fsub_1951',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
153
- ['fullbufferoverflowbug_1952',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF::FullBufferOverflowBug'],['../classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54',1,'SVF::FullBufferOverflowBug::FullBufferOverflowBug()']]],
154
- ['fullbufoverflow_1953',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
155
- ['fulljoin_1954',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
156
- ['fullnullptrdereference_1955',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
157
- ['fullnullptrdereferencebug_1956',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF::FullNullPtrDereferenceBug'],['../classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a',1,'SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug()']]],
158
- ['fullreachable_1957',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
159
- ['fullsvfg_1958',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
160
- ['fullsvfg_5fopt_1959',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
161
- ['fun_1960',['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()']]],
162
- ['funargslistmap_1961',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
163
- ['funcallblock_1962',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
164
- ['funcname_1963',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
165
- ['funcpair_1964',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
166
- ['funcpairtobool_1965',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
167
- ['funcpointerprint_1966',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
168
- ['function_1967',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
169
- ['function_5fobj_1968',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
170
- ['functiondoesnotret_1969',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],
171
- ['functionset_1970',['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()']]],
172
- ['functionsettype_1971',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
173
- ['functiontoformalinsmapty_1972',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
174
- ['functiontoformaloutsmapty_1973',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
175
- ['functiontype_1974',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
176
- ['functointermap_1975',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
177
- ['functoptsmap_1976',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
178
- ['functype_1977',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
179
- ['funcvector_1978',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
180
- ['fundecltodefmap_1979',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
181
- ['fundecltodefmapty_1980',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
182
- ['fundeftodeclsmap_1981',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
183
- ['fundeftodeclsmapty_1982',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
184
- ['funentryblock_1983',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
185
- ['funentryicfgnode_1984',['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)']]],
186
- ['funentrynode_1985',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
187
- ['funexitblock_1986',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
188
- ['funexiticfgnode_1987',['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)']]],
189
- ['funexitnode_1988',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
190
- ['funhasret_1989',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
191
- ['funnameofvcall_1990',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
192
- ['funptrddaclient_1991',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
193
- ['funptrtocallsitesmap_1992',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
194
- ['funret_1993',['FunRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d',1,'SVF::VFGNode']]],
195
- ['funretblock_1994',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]],
196
- ['funretmap_1995',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
197
- ['funset_1996',['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()']]],
198
- ['funtoargslistmap_1997',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
199
- ['funtocallgraphnodemap_1998',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
200
- ['funtoentrychisetmap_1999',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
201
- ['funtoexitbbsmap_2000',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator::funToExitBBsMap()'],['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator::FunToExitBBsMap()']]],
202
- ['funtoformalinmap_2001',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
203
- ['funtoformaloutmap_2002',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
204
- ['funtofunentrynodemap_2003',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
205
- ['funtofunentrynodemapty_2004',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
206
- ['funtofunexitnodemap_2005',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
207
- ['funtofunexitnodemapty_2006',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
208
- ['funtoidmapty_2007',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
209
- ['funtointermap_2008',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
210
- ['funtomodsmap_2009',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
211
- ['funtomrsmap_2010',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
212
- ['funtonodebsmap_2011',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
213
- ['funtopagedgesetmap_2012',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
214
- ['funtopointstomap_2013',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()']]],
215
- ['funtopointstosmap_2014',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
216
- ['funtoptsmap_2015',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
217
- ['funtorefsmap_2016',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
218
- ['funtoretmap_2017',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
219
- ['funtoreturnmusetmap_2018',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()']]],
220
- ['funtovfgnodesmap_2019',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]],
221
- ['funtovfgnodesmapty_2020',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
222
- ['funvec_2021',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
223
- ['funworklist_2022',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]],
224
- ['fwprocesscurnode_2023',['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()']]],
225
- ['fwprocessoutgoingedge_2024',['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_1801',['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_1802',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
5
+ ['false_1803',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
6
+ ['falsebranch_5foperands_1804',['falseBranch_operands',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd',1,'SVF::ExtAPI::ExtOperation']]],
7
+ ['fastcluster_2ecpp_1805',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
8
+ ['fastcluster_2eh_1806',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
9
+ ['fastcluster_5fdm_2ecpp_2einc_1807',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
10
+ ['fastcluster_5fr_5fdm_2ecpp_2einc_1808',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
11
+ ['fastclustertime_1809',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
12
+ ['fbar_1810',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'Fbar(): PEGGrammar.txt'],['../PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447',1,'Fbar(M ? copybar) *: PEGGrammar.txt']]],
13
+ ['fc_5fisnan_1811',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
14
+ ['fcmp_5ffalse_1812',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
15
+ ['fcmp_5foeq_1813',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
16
+ ['fcmp_5foge_1814',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
17
+ ['fcmp_5fogt_1815',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
18
+ ['fcmp_5fole_1816',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
19
+ ['fcmp_5folt_1817',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
20
+ ['fcmp_5fone_1818',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
21
+ ['fcmp_5ford_1819',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
22
+ ['fcmp_5ftrue_1820',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
23
+ ['fcmp_5fueq_1821',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
24
+ ['fcmp_5fuge_1822',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
25
+ ['fcmp_5fugt_1823',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
26
+ ['fcmp_5fule_1824',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
27
+ ['fcmp_5fult_1825',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
28
+ ['fcmp_5fune_1826',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
29
+ ['fcmp_5funo_1827',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
30
+ ['fdiv_1828',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
31
+ ['fdp_1829',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
32
+ ['fenceinst_1830',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
33
+ ['field_5fname_5fitem_1831',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
34
+ ['fieldexpand_1832',['fieldExpand',['../classSVF_1_1AndersenSFR.html#a8efc083695e669d8f62e46e33562e129',1,'SVF::AndersenSFR']]],
35
+ ['fieldreps_1833',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()'],['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()']]],
36
+ ['fields_5fdda_1834',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
37
+ ['fieldtypes_1835',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
38
+ ['fifoworklist_1836',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF::FIFOWorkList< Data >'],['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList::FIFOWorkList()']]],
39
+ ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_1837',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
40
+ ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_1838',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
41
+ ['fifoworklist_3c_20cxtlockproc_20_3e_1839',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
42
+ ['fifoworklist_3c_20cxtstmt_20_3e_1840',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
43
+ ['fifoworklist_3c_20cxtthreadproc_20_3e_1841',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
44
+ ['fifoworklist_3c_20cxtthreadstmt_20_3e_1842',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
45
+ ['fifoworklist_3c_20dpitem_20_3e_1843',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
46
+ ['fifoworklist_3c_20nodeid_20_3e_1844',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
47
+ ['file_1845',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
48
+ ['filechecker_1846',['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']]],
49
+ ['filechecker_2ecpp_1847',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
50
+ ['filechecker_2eh_1848',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
51
+ ['filename_1849',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
52
+ ['fileneverclose_1850',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
53
+ ['fileneverclosebug_1851',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF::FileNeverCloseBug'],['../classSVF_1_1FileNeverCloseBug.html#ad4fb019d5add0b9436b24b22a3cdf9a4',1,'SVF::FileNeverCloseBug::FileNeverCloseBug()']]],
54
+ ['filepartialclose_1852',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
55
+ ['filepartialclosebug_1853',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF::FilePartialCloseBug'],['../classSVF_1_1FilePartialCloseBug.html#a2eb864f62fa684a42973c15be52ba7d3',1,'SVF::FilePartialCloseBug::FilePartialCloseBug()']]],
56
+ ['fill_1854',['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)']]],
57
+ ['fillattribute_1855',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#a06d53343154ade7bc1a21e424f67c7b0',1,'SVF::CFGNormalizer']]],
58
+ ['fillobjs_1856',['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()']]],
59
+ ['filoworklist_1857',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF::FILOWorkList< Data >'],['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList::FILOWorkList()']]],
60
+ ['filterfun_1858',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
61
+ ['finalbit_1859',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
62
+ ['finalcond_1860',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
63
+ ['finalize_1861',['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()']]],
64
+ ['find_1862',['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()']]],
65
+ ['find_5ffirst_1863',['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()']]],
66
+ ['find_5flast_1864',['find_last',['../structSVF_1_1SparseBitVectorElement.html#a1d79c099887fcf01f5c0743b38caf39d',1,'SVF::SparseBitVectorElement::find_last()'],['../classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba',1,'SVF::SparseBitVector::find_last()']]],
67
+ ['find_5fnext_1865',['find_next',['../structSVF_1_1SparseBitVectorElement.html#a60a023744119cd0424511ea1e83b76e1',1,'SVF::SparseBitVectorElement']]],
68
+ ['findlowerbound_1866',['FindLowerBound',['../classSVF_1_1SparseBitVector.html#aaac61c8dd5477ecc6e76c664bf45c0b0',1,'SVF::SparseBitVector']]],
69
+ ['findlowerboundconst_1867',['FindLowerBoundConst',['../classSVF_1_1SparseBitVector.html#ab4787f96a5f7cab926f9c7426aa92fc1',1,'SVF::SparseBitVector']]],
70
+ ['findlowerboundimpl_1868',['FindLowerBoundImpl',['../classSVF_1_1SparseBitVector.html#ad53d20775e5445a438f579743aa77cf3',1,'SVF::SparseBitVector']]],
71
+ ['findpt_1869',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],
72
+ ['finfo_1870',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
73
+ ['fiobjnode_1871',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
74
+ ['fiobjvar_1872',['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)']]],
75
+ ['first_5ffcmp_5fpredicate_1873',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
76
+ ['first_5ffield_1874',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
77
+ ['first_5ficmp_5fpredicate_1875',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
78
+ ['firstcommonbit_1876',['firstCommonBit',['../classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f',1,'SVF::CoreBitVector']]],
79
+ ['firstfieldeqbase_1877',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
80
+ ['firstrhstoprods_1878',['firstRHSToProds',['../classSVF_1_1CFLGrammar.html#a4422a52119e7b0ee346a93d8820854dd',1,'SVF::CFLGrammar']]],
81
+ ['fja_1879',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
82
+ ['flags_1880',['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()']]],
83
+ ['flatten_1881',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
84
+ ['flattenelementtypes_1882',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
85
+ ['fldidx_1883',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
86
+ ['fldidx2typemap_1884',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
87
+ ['fldidxvec_1885',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
88
+ ['flexsymmap_1886',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
89
+ ['flippedaddressmask_1887',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]],
90
+ ['flowbudget_1888',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
91
+ ['flowdda_1889',['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()']]],
92
+ ['flowdda_2ecpp_1890',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
93
+ ['flowdda_2eh_1891',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
94
+ ['flows_5fdda_1892',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
95
+ ['flowsensitive_1893',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF::FlowSensitive'],['../classSVF_1_1FlowSensitive.html#aac88b67b49cbd72912ff586d30197ffb',1,'SVF::FlowSensitive::FlowSensitive()']]],
96
+ ['flowsensitive_2ecpp_1894',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
97
+ ['flowsensitive_2eh_1895',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
98
+ ['flowsensitivestat_1896',['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()']]],
99
+ ['flowsensitivestat_2ecpp_1897',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
100
+ ['fmt_1898',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
101
+ ['fmul_1899',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
102
+ ['fneg_1900',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
103
+ ['followers_1901',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
104
+ ['followersbegin_1902',['followersBegin',['../classSVF_1_1PCG.html#a78e0fcf6657bddc055f02e126fbf5626',1,'SVF::PCG']]],
105
+ ['followersend_1903',['followersEnd',['../classSVF_1_1PCG.html#ad4fe2747c89e6406c33eea95826de0d7',1,'SVF::PCG']]],
106
+ ['for_1904',['for',['../cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc',1,'cJSON.cpp']]],
107
+ ['forkedgeset_1905',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
108
+ ['forkjoinanalysis_1906',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF::ForkJoinAnalysis'],['../classSVF_1_1ForkJoinAnalysis.html#a431ec90a12a62bb892e8b78f66a8f9dc',1,'SVF::ForkJoinAnalysis::ForkJoinAnalysis()']]],
109
+ ['forksite_1907',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
110
+ ['forksites_1908',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
111
+ ['forksitesbegin_1909',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
112
+ ['forksitesend_1910',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
113
+ ['formalinofaddresstakenfunc_1911',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
114
+ ['formalinsvfgnode_1912',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
115
+ ['formalinsvfgnodeset_1913',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
116
+ ['formaloutofaddresstakenfunc_1914',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
117
+ ['formaloutsvfgnode_1915',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
118
+ ['formaloutsvfgnodeset_1916',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
119
+ ['formalouttodefmap_1917',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
120
+ ['formalparmnodevec_1918',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
121
+ ['formalparmsvfgnode_1919',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
122
+ ['formalparmvfgnode_1920',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
123
+ ['formalret_1921',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
124
+ ['formalretsvfgnode_1922',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
125
+ ['formalretvfgnode_1923',['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)']]],
126
+ ['format_1924',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
127
+ ['forwardslice_1925',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
128
+ ['forwardslicebegin_1926',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
129
+ ['forwardsliceend_1927',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
130
+ ['forwardtraverse_1928',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver::forwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5',1,'SVF::GraphReachSolver::forwardTraverse()']]],
131
+ ['forwardvisited_1929',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
132
+ ['fparm_1930',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
133
+ ['fpin_1931',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
134
+ ['fpnodes_1932',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
135
+ ['fpout_1933',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
136
+ ['freezeinst_1934',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
137
+ ['frem_1935',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
138
+ ['fret_1936',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
139
+ ['fromfile_1937',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
140
+ ['fromstring_1938',['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)']]],
141
+ ['front_1939',['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()']]],
142
+ ['fsanno_1940',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
143
+ ['fscs_5fwpa_1941',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
144
+ ['fsdataflow_5fwpa_1942',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
145
+ ['fsmpta_1943',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF::FSMPTA'],['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA::FSMPTA()']]],
146
+ ['fsmpta_2ecpp_1944',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
147
+ ['fsmpta_2eh_1945',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]],
148
+ ['fsmptatime_1946',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
149
+ ['fspta_1947',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
150
+ ['fssparse_5fwpa_1948',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
151
+ ['fstimelimit_1949',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
152
+ ['fsub_1950',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
153
+ ['fullbufferoverflowbug_1951',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF::FullBufferOverflowBug'],['../classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54',1,'SVF::FullBufferOverflowBug::FullBufferOverflowBug()']]],
154
+ ['fullbufoverflow_1952',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
155
+ ['fulljoin_1953',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
156
+ ['fullnullptrdereference_1954',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
157
+ ['fullnullptrdereferencebug_1955',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF::FullNullPtrDereferenceBug'],['../classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a',1,'SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug()']]],
158
+ ['fullreachable_1956',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
159
+ ['fullsvfg_1957',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
160
+ ['fullsvfg_5fopt_1958',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
161
+ ['fun_1959',['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()']]],
162
+ ['funargslistmap_1960',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
163
+ ['funcallblock_1961',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
164
+ ['funcname_1962',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
165
+ ['funcpair_1963',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
166
+ ['funcpairtobool_1964',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
167
+ ['funcpointerprint_1965',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
168
+ ['function_1966',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
169
+ ['function_5fobj_1967',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
170
+ ['functiondoesnotret_1968',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],
171
+ ['functionset_1969',['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()']]],
172
+ ['functionsettype_1970',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
173
+ ['functiontoformalinsmapty_1971',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
174
+ ['functiontoformaloutsmapty_1972',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
175
+ ['functiontype_1973',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
176
+ ['functointermap_1974',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
177
+ ['functoptsmap_1975',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
178
+ ['functype_1976',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
179
+ ['funcvector_1977',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
180
+ ['fundecltodefmap_1978',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
181
+ ['fundecltodefmapty_1979',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
182
+ ['fundeftodeclsmap_1980',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
183
+ ['fundeftodeclsmapty_1981',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
184
+ ['funentryblock_1982',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
185
+ ['funentryicfgnode_1983',['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)']]],
186
+ ['funentrynode_1984',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
187
+ ['funexitblock_1985',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
188
+ ['funexiticfgnode_1986',['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)']]],
189
+ ['funexitnode_1987',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
190
+ ['funhasret_1988',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
191
+ ['funnameofvcall_1989',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
192
+ ['funptrddaclient_1990',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
193
+ ['funptrtocallsitesmap_1991',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
194
+ ['funret_1992',['FunRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d',1,'SVF::VFGNode']]],
195
+ ['funretblock_1993',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]],
196
+ ['funretmap_1994',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
197
+ ['funset_1995',['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()']]],
198
+ ['funtoargslistmap_1996',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
199
+ ['funtocallgraphnodemap_1997',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
200
+ ['funtoentrychisetmap_1998',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
201
+ ['funtoexitbbsmap_1999',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator::funToExitBBsMap()'],['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator::FunToExitBBsMap()']]],
202
+ ['funtoformalinmap_2000',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
203
+ ['funtoformaloutmap_2001',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
204
+ ['funtofunentrynodemap_2002',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
205
+ ['funtofunentrynodemapty_2003',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
206
+ ['funtofunexitnodemap_2004',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
207
+ ['funtofunexitnodemapty_2005',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
208
+ ['funtoidmapty_2006',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
209
+ ['funtointermap_2007',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
210
+ ['funtomodsmap_2008',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
211
+ ['funtomrsmap_2009',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
212
+ ['funtonodebsmap_2010',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
213
+ ['funtopagedgesetmap_2011',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
214
+ ['funtopointstomap_2012',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()']]],
215
+ ['funtopointstosmap_2013',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
216
+ ['funtoptsmap_2014',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
217
+ ['funtorefsmap_2015',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
218
+ ['funtoretmap_2016',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
219
+ ['funtoreturnmusetmap_2017',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()']]],
220
+ ['funtovfgnodesmap_2018',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]],
221
+ ['funtovfgnodesmapty_2019',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
222
+ ['funvec_2020',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
223
+ ['funworklist_2021',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]],
224
+ ['fwprocesscurnode_2022',['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()']]],
225
+ ['fwprocessoutgoingedge_2023',['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()']]]
226
226
  ];