svf-tools 1.0.340 → 1.0.344

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 (487) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +6 -6
  3. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +9 -9
  5. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
  8. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +7 -7
  9. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +5 -5
  10. package/SVF-doxygen/html/html/DDAClient_8h_source.html +3 -3
  11. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
  12. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +3 -3
  13. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +3 -3
  14. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +3 -3
  15. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  16. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +7 -7
  17. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
  18. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +6 -6
  20. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +11 -11
  21. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +15 -15
  22. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/ICFGNode_8h.html +7 -7
  24. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +69 -69
  25. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
  26. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +64 -61
  27. package/SVF-doxygen/html/html/ICFG_8h_source.html +46 -46
  28. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +9 -9
  29. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +6 -6
  30. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
  34. package/SVF-doxygen/html/html/MHP_8cpp_source.html +9 -9
  35. package/SVF-doxygen/html/html/MHP_8h_source.html +6 -6
  36. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +9 -9
  37. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
  39. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +27 -27
  40. package/SVF-doxygen/html/html/MemRegion_8h_source.html +18 -18
  41. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +9 -9
  42. package/SVF-doxygen/html/html/MemSSA_8h_source.html +12 -12
  43. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -2
  45. package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
  46. package/SVF-doxygen/html/html/PCG_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/html/PCG_8h_source.html +4 -4
  48. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +10 -10
  49. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +17 -17
  50. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +5 -5
  51. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  52. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  53. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
  54. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +17 -17
  55. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  56. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
  57. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +3 -3
  58. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +17 -17
  59. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  60. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +9 -9
  61. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +32 -32
  62. package/SVF-doxygen/html/html/SVFG_8h_source.html +27 -27
  63. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -3
  64. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +13 -13
  65. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +9 -9
  66. package/SVF-doxygen/html/html/SVFIR_8h_source.html +32 -32
  67. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +20 -20
  68. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +14 -14
  69. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -8
  70. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
  71. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
  72. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +7 -7
  73. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  74. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +4 -4
  75. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +2 -2
  77. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +16 -15
  78. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  79. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +30 -28
  80. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +44 -42
  81. package/SVF-doxygen/html/html/TCT_8h_source.html +3 -3
  82. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +15 -15
  83. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +20 -20
  84. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +5 -5
  85. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
  86. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  87. package/SVF-doxygen/html/html/VFGNode_8h_source.html +11 -11
  88. package/SVF-doxygen/html/html/VFG_8cpp_source.html +20 -20
  89. package/SVF-doxygen/html/html/VFG_8h_source.html +19 -19
  90. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +4 -4
  91. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
  92. package/SVF-doxygen/html/html/annotated.html +17 -17
  93. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +3 -3
  94. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +23 -23
  95. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +3 -3
  96. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +23 -23
  97. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +3 -3
  98. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +22 -22
  99. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +3 -3
  100. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +24 -24
  101. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +3 -3
  102. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient-members.html +1 -1
  103. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +7 -7
  104. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +12 -12
  105. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +47 -47
  106. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +12 -12
  107. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +34 -34
  108. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +12 -12
  109. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +32 -32
  110. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +12 -12
  111. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +32 -32
  112. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +12 -12
  113. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +32 -32
  114. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +12 -12
  115. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +34 -34
  116. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +12 -12
  117. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +32 -32
  118. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +12 -12
  119. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +32 -32
  120. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +12 -12
  121. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +38 -38
  122. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +6 -5
  123. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +15 -12
  125. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +5 -3
  126. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  127. package/SVF-doxygen/html/html/classSVF_1_1CallCHI-members.html +3 -3
  128. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
  129. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +4 -4
  130. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode-members.html +158 -0
  131. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +852 -0
  132. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.png +0 -0
  133. package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +3 -3
  134. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
  135. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +4 -4
  136. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +31 -31
  137. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +6 -5
  138. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  139. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +12 -12
  140. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +31 -31
  141. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
  142. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +14 -14
  143. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +60 -60
  144. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +3 -3
  145. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver-members.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +16 -16
  147. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG-members.html +21 -21
  148. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +51 -51
  149. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +5 -5
  150. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
  151. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -3
  152. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +12 -12
  153. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +33 -33
  154. package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +5 -5
  155. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +20 -20
  156. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +11 -11
  157. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +52 -52
  158. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +12 -12
  159. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +43 -43
  160. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +12 -12
  161. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +33 -33
  162. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis-members.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +21 -21
  164. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +3 -3
  165. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +19 -19
  166. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +3 -3
  167. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +18 -18
  168. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +4 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode-members.html +150 -0
  170. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +618 -0
  171. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.png +0 -0
  172. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +4 -2
  173. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode-members.html +149 -0
  174. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +624 -0
  175. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.png +0 -0
  176. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient-members.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +12 -12
  178. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +3 -3
  179. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  180. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
  181. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +4 -4
  182. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -3
  183. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +3 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode-members.html +144 -0
  185. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +413 -0
  186. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.png +0 -0
  187. package/SVF-doxygen/html/html/classSVF_1_1HareParForEdge-members.html +3 -3
  188. package/SVF-doxygen/html/html/classSVF_1_1HareParForEdge.html +11 -11
  189. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +22 -22
  190. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +224 -217
  191. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder-members.html +4 -4
  192. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +74 -71
  193. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +2 -2
  194. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +10 -10
  195. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.png +0 -0
  196. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +11 -11
  197. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +30 -30
  198. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +3 -3
  199. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG-members.html +21 -21
  200. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +51 -51
  201. package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode-members.html +144 -0
  202. package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode.html +399 -0
  203. package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode.png +0 -0
  204. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +2 -2
  205. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +23 -23
  206. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +2 -2
  207. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +21 -21
  208. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +7 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG-members.html +21 -21
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +51 -51
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode-members.html +146 -0
  213. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +494 -0
  214. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.png +0 -0
  215. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +5 -5
  217. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +61 -61
  218. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +4 -4
  219. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +14 -14
  221. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator-members.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +11 -11
  223. package/SVF-doxygen/html/html/classSVF_1_1MHP-members.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +22 -22
  225. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator-members.html +24 -24
  226. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +198 -198
  227. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
  228. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +6 -6
  229. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +5 -5
  230. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +23 -22
  231. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +70 -47
  232. package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +10 -10
  233. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +77 -77
  234. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
  235. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  236. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +4 -4
  237. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +17 -15
  238. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +141 -106
  239. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -3
  240. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +27 -27
  242. package/SVF-doxygen/html/html/classSVF_1_1Options.html +26 -26
  243. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1PCG-members.html +1 -1
  245. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
  246. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph-members.html +15 -15
  248. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +118 -118
  249. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge-members.html +3 -3
  250. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +32 -32
  251. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +5 -5
  252. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +6 -6
  253. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +12 -12
  254. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +109 -109
  255. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice-members.html +2 -2
  256. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +18 -18
  257. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +5 -3
  258. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  259. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode-members.html +153 -0
  260. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +696 -0
  261. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.png +0 -0
  262. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +4 -4
  263. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +30 -30
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +24 -24
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +160 -160
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +24 -24
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +76 -76
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +19 -19
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +133 -133
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +62 -62
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI-members.html +4 -4
  276. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +20 -20
  277. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder-members.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +13 -13
  279. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +1 -1
  280. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +7 -7
  281. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +24 -24
  282. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +12 -12
  283. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +32 -32
  284. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +11 -11
  286. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +17 -16
  287. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +16 -16
  288. package/SVF-doxygen/html/html/classSVF_1_1TCT-members.html +1 -1
  289. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +22 -22
  290. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +4 -4
  291. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +19 -19
  292. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +4 -4
  293. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +19 -19
  294. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph-members.html +40 -40
  295. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +220 -220
  296. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +10 -10
  297. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge-members.html +3 -3
  298. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +11 -11
  299. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge-members.html +3 -3
  300. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +11 -11
  301. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +12 -12
  302. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +42 -42
  303. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +3 -3
  304. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +10 -9
  305. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +9 -9
  307. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +96 -96
  308. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +3 -3
  309. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +4 -4
  310. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +12 -12
  311. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +37 -37
  312. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +12 -12
  313. package/SVF-doxygen/html/html/classes.html +16 -16
  314. package/SVF-doxygen/html/html/functions_a.html +59 -59
  315. package/SVF-doxygen/html/html/functions_c.html +74 -71
  316. package/SVF-doxygen/html/html/functions_eval_c.html +5 -2
  317. package/SVF-doxygen/html/html/functions_f.html +14 -14
  318. package/SVF-doxygen/html/html/functions_func.html +56 -56
  319. package/SVF-doxygen/html/html/functions_func_c.html +28 -28
  320. package/SVF-doxygen/html/html/functions_func_f.html +6 -6
  321. package/SVF-doxygen/html/html/functions_func_g.html +88 -88
  322. package/SVF-doxygen/html/html/functions_func_h.html +17 -17
  323. package/SVF-doxygen/html/html/functions_func_i.html +31 -29
  324. package/SVF-doxygen/html/html/functions_func_m.html +1 -1
  325. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  326. package/SVF-doxygen/html/html/functions_func_r.html +6 -6
  327. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  328. package/SVF-doxygen/html/html/functions_func_t.html +7 -7
  329. package/SVF-doxygen/html/html/functions_func_u.html +3 -3
  330. package/SVF-doxygen/html/html/functions_g.html +88 -88
  331. package/SVF-doxygen/html/html/functions_h.html +16 -16
  332. package/SVF-doxygen/html/html/functions_i.html +37 -35
  333. package/SVF-doxygen/html/html/functions_m.html +2 -2
  334. package/SVF-doxygen/html/html/functions_n.html +3 -3
  335. package/SVF-doxygen/html/html/functions_o.html +10 -10
  336. package/SVF-doxygen/html/html/functions_p.html +21 -30
  337. package/SVF-doxygen/html/html/functions_r.html +6 -6
  338. package/SVF-doxygen/html/html/functions_s.html +15 -14
  339. package/SVF-doxygen/html/html/functions_t.html +13 -15
  340. package/SVF-doxygen/html/html/functions_type.html +1 -1
  341. package/SVF-doxygen/html/html/functions_type_c.html +24 -24
  342. package/SVF-doxygen/html/html/functions_type_f.html +3 -3
  343. package/SVF-doxygen/html/html/functions_type_i.html +2 -2
  344. package/SVF-doxygen/html/html/functions_type_p.html +1 -1
  345. package/SVF-doxygen/html/html/functions_type_s.html +1 -1
  346. package/SVF-doxygen/html/html/functions_type_v.html +2 -2
  347. package/SVF-doxygen/html/html/functions_u.html +3 -3
  348. package/SVF-doxygen/html/html/functions_v.html +5 -5
  349. package/SVF-doxygen/html/html/functions_vars_a.html +2 -2
  350. package/SVF-doxygen/html/html/functions_vars_c.html +11 -11
  351. package/SVF-doxygen/html/html/functions_vars_f.html +5 -5
  352. package/SVF-doxygen/html/html/functions_vars_g.html +1 -1
  353. package/SVF-doxygen/html/html/functions_vars_i.html +3 -3
  354. package/SVF-doxygen/html/html/functions_vars_p.html +0 -3
  355. package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
  356. package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
  357. package/SVF-doxygen/html/html/functions_w.html +5 -9
  358. package/SVF-doxygen/html/html/hierarchy.html +7 -7
  359. package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
  360. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +11 -11
  361. package/SVF-doxygen/html/html/search/all_1.js +58 -58
  362. package/SVF-doxygen/html/html/search/all_10.js +13 -14
  363. package/SVF-doxygen/html/html/search/all_12.js +5 -5
  364. package/SVF-doxygen/html/html/search/all_13.js +9 -8
  365. package/SVF-doxygen/html/html/search/all_14.js +6 -6
  366. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  367. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  368. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  369. package/SVF-doxygen/html/html/search/all_3.js +37 -35
  370. package/SVF-doxygen/html/html/search/all_6.js +12 -12
  371. package/SVF-doxygen/html/html/search/all_7.js +62 -61
  372. package/SVF-doxygen/html/html/search/all_8.js +17 -17
  373. package/SVF-doxygen/html/html/search/all_9.js +19 -19
  374. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  375. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  376. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  377. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  378. package/SVF-doxygen/html/html/search/classes_2.js +1 -1
  379. package/SVF-doxygen/html/html/search/classes_5.js +2 -2
  380. package/SVF-doxygen/html/html/search/classes_6.js +1 -1
  381. package/SVF-doxygen/html/html/search/classes_8.js +2 -2
  382. package/SVF-doxygen/html/html/search/classes_e.js +1 -1
  383. package/SVF-doxygen/html/html/search/enumvalues_2.js +2 -1
  384. package/SVF-doxygen/html/html/search/functions_0.js +55 -55
  385. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  386. package/SVF-doxygen/html/html/search/functions_11.js +4 -4
  387. package/SVF-doxygen/html/html/search/functions_12.js +1 -1
  388. package/SVF-doxygen/html/html/search/functions_2.js +10 -10
  389. package/SVF-doxygen/html/html/search/functions_5.js +4 -4
  390. package/SVF-doxygen/html/html/search/functions_6.js +61 -61
  391. package/SVF-doxygen/html/html/search/functions_7.js +17 -17
  392. package/SVF-doxygen/html/html/search/functions_8.js +16 -16
  393. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  394. package/SVF-doxygen/html/html/search/functions_e.js +2 -2
  395. package/SVF-doxygen/html/html/search/functions_f.js +4 -4
  396. package/SVF-doxygen/html/html/search/typedefs_0.js +1 -1
  397. package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
  398. package/SVF-doxygen/html/html/search/typedefs_14.js +1 -1
  399. package/SVF-doxygen/html/html/search/typedefs_2.js +21 -21
  400. package/SVF-doxygen/html/html/search/typedefs_5.js +3 -3
  401. package/SVF-doxygen/html/html/search/typedefs_8.js +2 -2
  402. package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
  403. package/SVF-doxygen/html/html/search/variables_1.js +2 -2
  404. package/SVF-doxygen/html/html/search/variables_10.js +0 -1
  405. package/SVF-doxygen/html/html/search/variables_12.js +1 -1
  406. package/SVF-doxygen/html/html/search/variables_13.js +1 -0
  407. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  408. package/SVF-doxygen/html/html/search/variables_3.js +4 -4
  409. package/SVF-doxygen/html/html/search/variables_6.js +5 -5
  410. package/SVF-doxygen/html/html/search/variables_7.js +1 -1
  411. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  412. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  413. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +23 -23
  414. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  415. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  416. package/include/DDA/ContextDDA.h +3 -3
  417. package/include/DDA/DDAClient.h +2 -2
  418. package/include/DDA/DDAVFSolver.h +2 -2
  419. package/include/DDA/FlowDDA.h +2 -2
  420. package/include/Graphs/ICFG.h +32 -32
  421. package/include/Graphs/ICFGNode.h +33 -33
  422. package/include/Graphs/ICFGStat.h +11 -11
  423. package/include/Graphs/PTACallGraph.h +19 -19
  424. package/include/Graphs/SVFG.h +16 -16
  425. package/include/Graphs/SVFGNode.h +14 -14
  426. package/include/Graphs/SVFGOPT.h +1 -1
  427. package/include/Graphs/ThreadCallGraph.h +25 -25
  428. package/include/Graphs/VFG.h +10 -10
  429. package/include/Graphs/VFGNode.h +8 -8
  430. package/include/MSSA/MSSAMuChi.h +6 -6
  431. package/include/MSSA/MemRegion.h +24 -24
  432. package/include/MSSA/MemSSA.h +10 -10
  433. package/include/MTA/LockResultValidator.h +2 -2
  434. package/include/MTA/MHP.h +4 -4
  435. package/include/MTA/PCG.h +1 -1
  436. package/include/MTA/TCT.h +2 -2
  437. package/include/MemoryModel/PointerAnalysis.h +12 -12
  438. package/include/MemoryModel/SVFIR.h +22 -22
  439. package/include/MemoryModel/SVFStatements.h +11 -11
  440. package/include/MemoryModel/SymbolTableInfo.h +15 -9
  441. package/include/SABER/LeakChecker.h +4 -4
  442. package/include/SABER/ProgSlice.h +2 -2
  443. package/include/SABER/SaberCheckerAPI.h +4 -4
  444. package/include/SABER/SaberSVFGBuilder.h +1 -1
  445. package/include/SABER/SrcSnkDDA.h +1 -1
  446. package/include/SVF-FE/ICFGBuilder.h +4 -4
  447. package/include/SVF-FE/SVFIRBuilder.h +5 -5
  448. package/include/Util/Options.h +1 -1
  449. package/lib/DDA/ContextDDA.cpp +3 -3
  450. package/lib/DDA/DDAClient.cpp +1 -1
  451. package/lib/DDA/FlowDDA.cpp +1 -1
  452. package/lib/Graphs/ICFG.cpp +88 -71
  453. package/lib/Graphs/PTACallGraph.cpp +5 -5
  454. package/lib/Graphs/SVFG.cpp +7 -7
  455. package/lib/Graphs/ThreadCallGraph.cpp +6 -6
  456. package/lib/Graphs/VFG.cpp +6 -6
  457. package/lib/MSSA/MemRegion.cpp +17 -17
  458. package/lib/MSSA/MemSSA.cpp +3 -3
  459. package/lib/MTA/LockAnalysis.cpp +4 -4
  460. package/lib/MTA/MHP.cpp +5 -5
  461. package/lib/MTA/MTAResultValidator.cpp +1 -1
  462. package/lib/MTA/PCG.cpp +1 -1
  463. package/lib/MemoryModel/PointerAnalysis.cpp +10 -10
  464. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  465. package/lib/MemoryModel/SVFIR.cpp +5 -5
  466. package/lib/MemoryModel/SVFStatements.cpp +53 -49
  467. package/lib/MemoryModel/SVFVariables.cpp +10 -10
  468. package/lib/MemoryModel/SymbolTableInfo.cpp +12 -7
  469. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  470. package/lib/SABER/FileChecker.cpp +2 -2
  471. package/lib/SABER/LeakChecker.cpp +8 -8
  472. package/lib/SABER/ProgSlice.cpp +2 -2
  473. package/lib/SVF-FE/CallGraphBuilder.cpp +4 -4
  474. package/lib/SVF-FE/Graph2Json.cpp +5 -5
  475. package/lib/SVF-FE/ICFGBuilder.cpp +31 -25
  476. package/lib/SVF-FE/SVFIRBuilder.cpp +8 -8
  477. package/lib/SVF-FE/SymbolTableBuilder.cpp +2 -2
  478. package/lib/Util/Options.cpp +3 -3
  479. package/lib/Util/PTAStat.cpp +3 -3
  480. package/lib/Util/SVFUtil.cpp +2 -0
  481. package/lib/Util/TypeBasedHeapCloning.cpp +1 -1
  482. package/lib/WPA/Andersen.cpp +3 -3
  483. package/lib/WPA/FlowSensitive.cpp +2 -2
  484. package/lib/WPA/TypeAnalysis.cpp +1 -1
  485. package/lib/WPA/VersionedFlowSensitive.cpp +4 -4
  486. package/lib/WPA/WPAPass.cpp +4 -4
  487. package/package.json +1 -1
@@ -79,16 +79,16 @@ var searchData=
79
79
  ['forksitesbegin',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
80
80
  ['forksitesend',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
81
81
  ['formalinofaddresstakenfunc',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
82
- ['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a109121a6d83e2c3b09bd3e4de0e61fa8',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
82
+ ['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
83
83
  ['formalinsvfgnodeset',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
84
84
  ['formaloutofaddresstakenfunc',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
85
- ['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#aeab06b16f89bb9a50d4812d3d50791dc',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
85
+ ['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
86
86
  ['formaloutsvfgnodeset',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
87
87
  ['formalouttodefmap',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
88
- ['formalparmnodevec',['FormalParmNodeVec',['../classSVF_1_1FunEntryBlockNode.html#a44354534e0f2fc7626e5ed11126f2549',1,'SVF::FunEntryBlockNode']]],
88
+ ['formalparmnodevec',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
89
89
  ['formalparmsvfgnode',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
90
90
  ['formalparmvfgnode',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
91
- ['formalret',['formalRet',['../classSVF_1_1FunExitBlockNode.html#ae759d153ed7d3296b67574c888b99e4f',1,'SVF::FunExitBlockNode']]],
91
+ ['formalret',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
92
92
  ['formalretsvfgnode',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
93
93
  ['formalretvfgnode',['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)']]],
94
94
  ['forwardslice',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
@@ -98,7 +98,7 @@ var searchData=
98
98
  ['forwardvisited',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
99
99
  ['fparm',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
100
100
  ['fpin',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
101
- ['fpnodes',['FPNodes',['../classSVF_1_1FunEntryBlockNode.html#afc829a259f3c15524a71cef27d294949',1,'SVF::FunEntryBlockNode']]],
101
+ ['fpnodes',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
102
102
  ['fpout',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
103
103
  ['free',['FREE',['../util_8h.html#aa279a8302d25fa9dfeb3e00161aee784',1,'FREE(): util.h'],['../util_8h.html#a3110dcad20c2a6616d360901b94e06a1',1,'free(void *): util.h']]],
104
104
  ['freelist',['freelist',['../structDdLevelQueue.html#aa70e5645d52749160c718d38ea0c06ba',1,'DdLevelQueue']]],
@@ -124,7 +124,7 @@ var searchData=
124
124
  ['fullreachable',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
125
125
  ['fullsvfg',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
126
126
  ['fullsvfg_5fopt',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
127
- ['fun',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1FunExitBlockNode.html#a0d18e92e60f6060ee188d4e4947f8097',1,'SVF::FunExitBlockNode::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_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623',1,'SVF::SVFFunction::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
127
+ ['fun',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1FunExitICFGNode.html#adfcebc33f3c36b8145074d370dfa1cb9',1,'SVF::FunExitICFGNode::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_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623',1,'SVF::SVFFunction::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
128
128
  ['funargslistmap',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
129
129
  ['func2loopinfomap',['func2LoopInfoMap',['../classSVF_1_1MTA.html#a427ebcf1f00b601087e5b098c18cc29a',1,'SVF::MTA']]],
130
130
  ['func2scevmap',['func2ScevMap',['../classSVF_1_1MTA.html#a7a879943a817d0283971b5588cfa83d5',1,'SVF::MTA']]],
@@ -149,11 +149,11 @@ var searchData=
149
149
  ['fundeftodeclsmap',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
150
150
  ['fundeftodeclsmapty',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#a69310319ea60cec5c8f3dea128a3f7c3',1,'SVF::LLVMModuleSet']]],
151
151
  ['funentryblock',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
152
- ['funentryblocknode',['FunEntryBlockNode',['../classSVF_1_1FunEntryBlockNode.html',1,'SVF::FunEntryBlockNode'],['../classSVF_1_1FunEntryBlockNode.html#ad515c9a6d982b08afc8ecdf716ae4083',1,'SVF::FunEntryBlockNode::FunEntryBlockNode()']]],
153
- ['funentrynode',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#ace06f0de65274270f993b810e27943db',1,'SVF::FormalINSVFGNode']]],
152
+ ['funentryicfgnode',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF::FunEntryICFGNode'],['../classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31',1,'SVF::FunEntryICFGNode::FunEntryICFGNode()']]],
153
+ ['funentrynode',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
154
154
  ['funexitblock',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
155
- ['funexitblocknode',['FunExitBlockNode',['../classSVF_1_1FunExitBlockNode.html',1,'SVF::FunExitBlockNode'],['../classSVF_1_1FunExitBlockNode.html#add93917bcec04f3925563f8890041151',1,'SVF::FunExitBlockNode::FunExitBlockNode()']]],
156
- ['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#a0d888af907e0c434b968653e09f05938',1,'SVF::FormalOUTSVFGNode']]],
155
+ ['funexiticfgnode',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF::FunExitICFGNode'],['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode::FunExitICFGNode()']]],
156
+ ['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
157
157
  ['funhasret',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
158
158
  ['funptrddaclient',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
159
159
  ['funptrtocallsitesmap',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
@@ -169,9 +169,9 @@ var searchData=
169
169
  ['funtoformalinmap',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
170
170
  ['funtoformaloutmap',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
171
171
  ['funtofunentrynodemap',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
172
- ['funtofunentrynodemapty',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a05067e577bfcdcd37b94198ee97e7eb7',1,'SVF::ICFG']]],
172
+ ['funtofunentrynodemapty',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
173
173
  ['funtofunexitnodemap',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
174
- ['funtofunexitnodemapty',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a456ecdf6f28e6325613833ac07a9ca4d',1,'SVF::ICFG']]],
174
+ ['funtofunexitnodemapty',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
175
175
  ['funtoidmapty',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ada2191cb0e3798ba29aa442dca762290',1,'SVF::SymbolTableInfo']]],
176
176
  ['funtointermap',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
177
177
  ['funtoloopinfomap',['FunToLoopInfoMap',['../classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d',1,'SVF::MTA::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7',1,'SVF::PTACFInfoBuilder::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89',1,'SVF::PTACFInfoBuilder::funToLoopInfoMap()']]],
@@ -74,13 +74,13 @@ var searchData=
74
74
  ['get_5fid',['get_id',['../classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a',1,'SVF::CondVar']]],
75
75
  ['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1',1,'SVF::ExtAPI']]],
76
76
  ['getactualindef',['getActualINDef',['../classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df',1,'SVF::SVFGOPT']]],
77
- ['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#ab767c329e7fccf9efe16818515199d65',1,'SVF::SVFG']]],
78
- ['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#af0c86a9e83a1f2427dd8e80287be37ed',1,'SVF::SVFG']]],
77
+ ['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975',1,'SVF::SVFG']]],
78
+ ['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f',1,'SVF::SVFG']]],
79
79
  ['getactualparmatforksite',['getActualParmAtForkSite',['../classSVF_1_1ThreadAPI.html#a6bc40bc0b35c23e9d1874c844511449d',1,'SVF::ThreadAPI::getActualParmAtForkSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ae8224e28db2323874fb9da8b05d3ab80',1,'SVF::ThreadAPI::getActualParmAtForkSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#aaeeb386d80b51d729322317065606454',1,'SVF::SVFUtil::getActualParmAtForkSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a01119ea4e3a10ebecdef4d390a1c4c88',1,'SVF::SVFUtil::getActualParmAtForkSite(const Instruction *inst)']]],
80
- ['getactualparms',['getActualParms',['../classSVF_1_1CallBlockNode.html#abfc30a2fc6e996c2e1b0902abc7c813b',1,'SVF::CallBlockNode']]],
81
- ['getactualparmvfgnode',['getActualParmVFGNode',['../classSVF_1_1VFG.html#a01b8694a5ab7acf8df0213225550791b',1,'SVF::VFG']]],
80
+ ['getactualparms',['getActualParms',['../classSVF_1_1CallICFGNode.html#ab43c000436d0f6d978f4fff831671d5c',1,'SVF::CallICFGNode']]],
81
+ ['getactualparmvfgnode',['getActualParmVFGNode',['../classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e',1,'SVF::VFG']]],
82
82
  ['getactualpts',['getActualPts',['../classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa',1,'SVF::PersistentPointsToCache']]],
83
- ['getactualret',['getActualRet',['../classSVF_1_1RetBlockNode.html#aa9ecd6854337dfa67a828d2416f3813f',1,'SVF::RetBlockNode']]],
83
+ ['getactualret',['getActualRet',['../classSVF_1_1RetICFGNode.html#a9815b38f376af31b14ea2e0f3afd3427',1,'SVF::RetICFGNode']]],
84
84
  ['getactualretvfgnode',['getActualRetVFGNode',['../classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38',1,'SVF::VFG']]],
85
85
  ['getaddrcgedges',['getAddrCGEdges',['../classSVF_1_1ConstraintGraph.html#adee52f15f5ff58dd455e419c2643f89b',1,'SVF::ConstraintGraph']]],
86
86
  ['getaddrinedges',['getAddrInEdges',['../classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077',1,'SVF::ConstraintNode']]],
@@ -131,36 +131,36 @@ var searchData=
131
131
  ['getcachedadpointsto',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
132
132
  ['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
133
133
  ['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
134
- ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31',1,'SVF::RetBlockNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#a2a7fe720d48d02d4facf3eedb08e3a67',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3',1,'SVF::TCT::getCallBlockNode()']]],
134
+ ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetICFGNode.html#afd2a06f0749c359c544048ae40085695',1,'SVF::RetICFGNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#ab0ab4b42b42b16dd75fc7db16a3df5a8',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#afea9de8f27e501fdc2723cc14a8dc93f',1,'SVF::TCT::getCallBlockNode()']]],
135
135
  ['getcalledfunction',['getCalledFunction',['../classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf',1,'SVF::CallSite']]],
136
- ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#acf542e7e581ffa8453066f4c8cdfb65c',1,'SVF::PTACallGraph']]],
137
- ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#abfa1f3777d16597392385cf7d8bac472',1,'SVF::PTACallGraph']]],
136
+ ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e',1,'SVF::PTACallGraph']]],
137
+ ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737',1,'SVF::PTACallGraph']]],
138
138
  ['getcalledvalue',['getCalledValue',['../classSVF_1_1CallSite.html#a9526f6c3829f8897d1ca617feda8451a',1,'SVF::CallSite']]],
139
139
  ['getcallee',['getCallee',['../classSVF_1_1MHP.html#a71183ff98500d1ce49170bab61fe664e',1,'SVF::MHP::getCallee()'],['../classSVF_1_1ForkJoinAnalysis.html#afcf119c89e93a24923dd0d97ddec7ee1',1,'SVF::ForkJoinAnalysis::getCallee()'],['../classSVF_1_1ThreadAPI.html#a08c83946d87ab935bd8bf6fea20792ba',1,'SVF::ThreadAPI::getCallee(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ab2c517ddae02fbb80f56ddc609b2f5ef',1,'SVF::ThreadAPI::getCallee(const CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d',1,'SVF::SVFUtil::getCallee(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af26c7636bfef7ab2a36cccdcf12c3538',1,'SVF::SVFUtil::getCallee(const Instruction *inst)']]],
140
140
  ['getcalleeofcallsite',['getCalleeOfCallSite',['../classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f',1,'SVF::PTACallGraph']]],
141
- ['getcallees',['getCallees',['../classSVF_1_1PTACallGraph.html#a486f79252c216eb5a9f4c09261a24ae2',1,'SVF::PTACallGraph']]],
142
- ['getcaller',['getCaller',['../classSVF_1_1CallBlockNode.html#a5bab98a0b8cf0a804d53abd994e922c0',1,'SVF::CallBlockNode::getCaller()'],['../classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51',1,'SVF::ActualRetVFGNode::getCaller()'],['../classSVF_1_1CallSite.html#afd501405e1d3cc673fced6dc56f3b759',1,'SVF::CallSite::getCaller()']]],
141
+ ['getcallees',['getCallees',['../classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec',1,'SVF::PTACallGraph']]],
142
+ ['getcaller',['getCaller',['../classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e',1,'SVF::CallICFGNode::getCaller()'],['../classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51',1,'SVF::ActualRetVFGNode::getCaller()'],['../classSVF_1_1CallSite.html#afd501405e1d3cc673fced6dc56f3b759',1,'SVF::CallSite::getCaller()']]],
143
143
  ['getcallerofcallsite',['getCallerOfCallSite',['../classSVF_1_1PTACallGraph.html#a42035e9669204ddd5d38583db21af3d7',1,'SVF::PTACallGraph']]],
144
144
  ['getcallgraph',['getCallGraph',['../classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2',1,'SVF::VFG::getCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8',1,'SVF::SrcSnkDDA::getCallgraph()']]],
145
145
  ['getcallgraphnode',['getCallGraphNode',['../classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1',1,'SVF::PTACallGraph::getCallGraphNode(NodeID id) const'],['../classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077',1,'SVF::PTACallGraph::getCallGraphNode(const SVFFunction *fun) const']]],
146
146
  ['getcallgraphscc',['getCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248',1,'SVF::PointerAnalysis']]],
147
147
  ['getcallgraphsccrepnode',['getCallGraphSCCRepNode',['../classSVF_1_1PointerAnalysis.html#ae8190ce12fb0c6360953f4b05047fbe8',1,'SVF::PointerAnalysis']]],
148
148
  ['getcallgraphsccrevtopoorder',['getCallGraphSCCRevTopoOrder',['../classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401',1,'SVF::MRGenerator']]],
149
- ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#a288c5cc9fb6595d367f23d1c0c05a57a',1,'SVF::ICFG']]],
150
- ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226',1,'SVF::RetPE::getCallInst()']]],
149
+ ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1',1,'SVF::ICFG']]],
150
+ ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42',1,'SVF::RetPE::getCallInst()']]],
151
151
  ['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
152
- ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f',1,'SVF::CallBlockNode::getCallSite()'],['../classSVF_1_1RetBlockNode.html#a436cd30be9fba449fee6bc6dcc18bb18',1,'SVF::RetBlockNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a100fc9476699f36255f538bc07123157',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#a7bce9987b6377a24436b878dcd9c76c9',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203',1,'SVF::ProgSlice::getCallSite()']]],
153
- ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5',1,'SVF::SVFIR']]],
152
+ ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf',1,'SVF::CallICFGNode::getCallSite()'],['../classSVF_1_1RetICFGNode.html#a8f0490ea9491afdf81641e9928f5a5f7',1,'SVF::RetICFGNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a8ae327bc7bf72f892d87730edfc67d0d',1,'SVF::ProgSlice::getCallSite()']]],
153
+ ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac',1,'SVF::SVFIR']]],
154
154
  ['getcallsiteargsmap',['getCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7',1,'SVF::SVFIR']]],
155
- ['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#a373b57017e99ee8466d1c8a363adaeef',1,'SVF::MRGenerator']]],
155
+ ['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#ad402506c2938d4b5440119e6091e4057',1,'SVF::MRGenerator']]],
156
156
  ['getcallsitechinum',['getCallSiteChiNum',['../classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc',1,'SVF::MemSSA']]],
157
- ['getcallsiteid',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#afb2daec804e81f0beb72fbc805d1c82a',1,'SVF::PTACallGraph::getCallSiteID()'],['../classSVF_1_1VFG.html#a9bc8e7ee74b652ed7708e95c16a63728',1,'SVF::VFG::getCallSiteID()'],['../classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa',1,'SVF::CallIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452',1,'SVF::RetIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6',1,'SVF::CallDirSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a',1,'SVF::RetDirSVFGEdge::getCallSiteId()']]],
158
- ['getcallsitemodmrset',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#acb78098bf1fc8c3a80720a3dff3a0a1d',1,'SVF::MRGenerator']]],
157
+ ['getcallsiteid',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#a711bd8ad385f8454fbfcd20f134efe1b',1,'SVF::PTACallGraph::getCallSiteID()'],['../classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387',1,'SVF::VFG::getCallSiteID()'],['../classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa',1,'SVF::CallIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452',1,'SVF::RetIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6',1,'SVF::CallDirSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a',1,'SVF::RetDirSVFGEdge::getCallSiteId()']]],
158
+ ['getcallsitemodmrset',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538',1,'SVF::MRGenerator']]],
159
159
  ['getcallsitemunum',['getCallSiteMuNum',['../classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5',1,'SVF::MemSSA']]],
160
160
  ['getcallsitepair',['getCallSitePair',['../classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610',1,'SVF::PTACallGraph']]],
161
- ['getcallsiterefmrset',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#a7ede01d58bb2490ded5895ca5bd45948',1,'SVF::MRGenerator']]],
162
- ['getcallsiteret',['getCallSiteRet',['../classSVF_1_1SVFIR.html#a70aa4d730ef1d38ef9c46f5014465bdd',1,'SVF::SVFIR']]],
163
- ['getcallsiteretpts',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#aac03d1d2e10543e100530f99165b4388',1,'SVF::MRGenerator']]],
161
+ ['getcallsiterefmrset',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682',1,'SVF::MRGenerator']]],
162
+ ['getcallsiteret',['getCallSiteRet',['../classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6',1,'SVF::SVFIR']]],
163
+ ['getcallsiteretpts',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#ab19c541dd4c3a0e691287da5dd43540d',1,'SVF::MRGenerator']]],
164
164
  ['getcallsiterets',['getCallSiteRets',['../classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22',1,'SVF::SVFIR']]],
165
165
  ['getcallsiteset',['getCallSiteSet',['../classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb',1,'SVF::SVFIR::getCallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#adc8e9a6cd5d27391beb1a88706e77a77',1,'SVF::SymbolTableInfo::getCallSiteSet()']]],
166
166
  ['getcallsitetochisetmap',['getCallSiteToChiSetMap',['../classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d',1,'SVF::MemSSA']]],
@@ -168,13 +168,13 @@ var searchData=
168
168
  ['getcandidatequeries',['getCandidateQueries',['../classSVF_1_1DDAClient.html#a6f50b9a26f66e716acf163cc77030e5f',1,'SVF::DDAClient::getCandidateQueries()'],['../classSVF_1_1DDAVFSolver.html#a73bbf4f763316e8d5db62d163da35a18',1,'SVF::DDAVFSolver::getCandidateQueries()']]],
169
169
  ['getcandidates',['getCandidates',['../classSVF_1_1WPAMinimumSolver.html#a2dc1f9588dd3ac376f8bb17a144c6fb2',1,'SVF::WPAMinimumSolver']]],
170
170
  ['getcanonicaltype',['getCanonicalType',['../classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c',1,'SVF::DCHGraph']]],
171
- ['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a7cddeb9065b5a3db24b0cb886a959a14',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#ab956b55910ed74c4c81df622d38d746b',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a6a1ad5d1fa9e6884f3ffc4adf7578b91',1,'SVF::ForkJoinAnalysis::getCBN()']]],
171
+ ['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a97eef42fa816256818b44382604b53c8',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#aca4903cf3e3ef5b2ed5959e5e6181d55',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a94d65f9e22a13772042b2af652cf5538',1,'SVF::ForkJoinAnalysis::getCBN()']]],
172
172
  ['getcfcond',['getCFCond',['../classSVF_1_1PathCondAllocator.html#a8c926057571ca14743e106a5a6ce7ae9',1,'SVF::PathCondAllocator']]],
173
173
  ['getcheckerapi',['getCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036',1,'SVF::SaberCheckerAPI']]],
174
174
  ['getchgraph',['getCHGraph',['../classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5',1,'SVF::PointerAnalysis']]],
175
175
  ['getchildrenbegin',['getChildrenBegin',['../classSVF_1_1TCT.html#a511c2ee4cfdc01a720135b2cd493fe3b',1,'SVF::TCT']]],
176
176
  ['getchildrenend',['getChildrenEnd',['../classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a',1,'SVF::TCT']]],
177
- ['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#ae7b0f618fb36bbc8e9439d70b377cf6b',1,'SVF::MemSSA::getCHISet(const CallBlockNode *cs)']]],
177
+ ['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#a959e932912b924ec91e1526947493204',1,'SVF::MemSSA::getCHISet(const CallICFGNode *cs)']]],
178
178
  ['getclassnamefromtype',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b',1,'SVF::cppUtil']]],
179
179
  ['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
180
180
  ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
@@ -298,34 +298,34 @@ var searchData=
298
298
  ['getflatternedfieldtype',['getFlatternedFieldType',['../classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4',1,'SVF::SymbolTableInfo::getFlatternedFieldType()'],['../classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764',1,'SVF::StInfo::getFlatternedFieldType()']]],
299
299
  ['getfollowers',['getFollowers',['../classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9',1,'SVF::PCG']]],
300
300
  ['getforkedfun',['getForkedFun',['../classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456',1,'SVF::ThreadAPI::getForkedFun(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aff38fda045d0016660710ab9124da13c',1,'SVF::ThreadAPI::getForkedFun(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac',1,'SVF::SVFUtil::getForkedFun(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83',1,'SVF::SVFUtil::getForkedFun(const Instruction *inst)']]],
301
- ['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#af33e1701215e9818b22f11789746821e',1,'SVF::ThreadCallGraph']]],
302
- ['getforkedgeend',['getForkEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a43513b641e4f05ec165db78e3ac55fef',1,'SVF::ThreadCallGraph']]],
301
+ ['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#a8721610a39212613ad55bbd46a35c576',1,'SVF::ThreadCallGraph']]],
302
+ ['getforkedgeend',['getForkEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a8351e7ab445cb7faf0209d1fbc63fce1',1,'SVF::ThreadCallGraph']]],
303
303
  ['getforkedthread',['getForkedThread',['../classSVF_1_1ForkJoinAnalysis.html#acd4308b99446c277ccb3407103fe21d0',1,'SVF::ForkJoinAnalysis::getForkedThread()'],['../classSVF_1_1ThreadAPI.html#a11dc55f35c18bd1f46d00c21c7dc695e',1,'SVF::ThreadAPI::getForkedThread(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a25a4bc5f173773340b430324a4d3bbdd',1,'SVF::ThreadAPI::getForkedThread(CallSite cs) const']]],
304
304
  ['getformalinsvfgnodes',['getFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5',1,'SVF::SVFG']]],
305
305
  ['getformaloutdef',['getFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a8d0b44ba9f3e6f9344a10d085d7be2b4',1,'SVF::SVFGOPT']]],
306
306
  ['getformaloutsvfgnodes',['getFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7',1,'SVF::SVFG']]],
307
- ['getformalparms',['getFormalParms',['../classSVF_1_1FunEntryBlockNode.html#a2206a196a4bfcc4475c1a0b48e16b180',1,'SVF::FunEntryBlockNode']]],
307
+ ['getformalparms',['getFormalParms',['../classSVF_1_1FunEntryICFGNode.html#a0807f2ce6c0949cafa9c5a1817fbca6c',1,'SVF::FunEntryICFGNode']]],
308
308
  ['getformalparmvfgnode',['getFormalParmVFGNode',['../classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6',1,'SVF::VFG']]],
309
- ['getformalret',['getFormalRet',['../classSVF_1_1FunExitBlockNode.html#af1f343711d10adacf264f1aaebf44d54',1,'SVF::FunExitBlockNode']]],
309
+ ['getformalret',['getFormalRet',['../classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767',1,'SVF::FunExitICFGNode']]],
310
310
  ['getformalretvfgnode',['getFormalRetVFGNode',['../classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8',1,'SVF::VFG']]],
311
311
  ['getforwardslicesize',['getForwardSliceSize',['../classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b',1,'SVF::ProgSlice']]],
312
- ['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../classSVF_1_1FunEntryBlockNode.html#ac0f34c048695a1ed822bc7fec0dfe028',1,'SVF::FunEntryBlockNode::getFun()'],['../classSVF_1_1FunExitBlockNode.html#a1463cde3f7e218c4bef996b2e1e9aef4',1,'SVF::FunExitBlockNode::getFun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01',1,'SVF::InterMSSAPHISVFGNode::getFun()'],['../classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27',1,'SVF::VFGNode::getFun()'],['../classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8',1,'SVF::FormalParmVFGNode::getFun()'],['../classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93',1,'SVF::FormalRetVFGNode::getFun()'],['../classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f',1,'SVF::InterPHIVFGNode::getFun()']]],
312
+ ['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../classSVF_1_1FunEntryICFGNode.html#ac2451fdc53f319bc92528af7edc94b2d',1,'SVF::FunEntryICFGNode::getFun()'],['../classSVF_1_1FunExitICFGNode.html#a54dfbbebbfe18a8a493656d6ad8663be',1,'SVF::FunExitICFGNode::getFun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01',1,'SVF::InterMSSAPHISVFGNode::getFun()'],['../classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27',1,'SVF::VFGNode::getFun()'],['../classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8',1,'SVF::FormalParmVFGNode::getFun()'],['../classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93',1,'SVF::FormalRetVFGNode::getFun()'],['../classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f',1,'SVF::InterPHIVFGNode::getFun()']]],
313
313
  ['getfunargslist',['getFunArgsList',['../classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a',1,'SVF::SVFIR']]],
314
314
  ['getfunargsmap',['getFunArgsMap',['../classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c',1,'SVF::SVFIR']]],
315
315
  ['getfuncentrychiset',['getFuncEntryChiSet',['../classSVF_1_1MemSSA.html#a10743fe9c116ee624387c0473815b800',1,'SVF::MemSSA']]],
316
316
  ['getfunction',['getFunction',['../classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09',1,'SVF::PTACallGraphNode::getFunction()'],['../classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e',1,'SVF::SVFVar::getFunction()'],['../classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6',1,'SVF::MRGenerator::getFunction()'],['../classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f',1,'SVF::RetMU::getFunction()'],['../classSVF_1_1EntryCHI.html#ae021640611362449382668665710154c',1,'SVF::EntryCHI::getFunction()'],['../namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757',1,'SVF::SVFUtil::getFunction()']]],
317
317
  ['getfunctiontype',['getFunctionType',['../classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f',1,'SVF::CallSite']]],
318
- ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108',1,'SVF::ICFG']]],
318
+ ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025',1,'SVF::ICFG']]],
319
319
  ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
320
- ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925',1,'SVF::ICFG']]],
321
- ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25',1,'SVF::FormalINSVFGNode']]],
320
+ ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a11a2c1f54747069b924ee2870163dc05',1,'SVF::ICFG']]],
321
+ ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e',1,'SVF::FormalINSVFGNode']]],
322
322
  ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
323
- ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb',1,'SVF::ICFG']]],
324
- ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19',1,'SVF::ICFG']]],
325
- ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3',1,'SVF::FormalOUTSVFGNode']]],
323
+ ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26',1,'SVF::ICFG']]],
324
+ ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050',1,'SVF::ICFG']]],
325
+ ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d',1,'SVF::FormalOUTSVFGNode']]],
326
326
  ['getfunmrset',['getFunMRSet',['../classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879',1,'SVF::MRGenerator']]],
327
327
  ['getfunnameofvcallsite',['getFunNameOfVCallSite',['../namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a',1,'SVF::cppUtil']]],
328
- ['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3',1,'SVF::PointerAnalysis::getFunPtr()'],['../classSVF_1_1SVFIR.html#a533a01d01fab9e45cd1780f9bbd50b0f',1,'SVF::SVFIR::getFunPtr()']]],
328
+ ['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#adbceaf90526e44192c2fa4aac5468f5f',1,'SVF::PointerAnalysis::getFunPtr()'],['../classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6',1,'SVF::SVFIR::getFunPtr()']]],
329
329
  ['getfunreachablebbs',['getFunReachableBBs',['../namespaceSVF_1_1SVFUtil.html#a61b29238f1f32978c7b6aded4b73244d',1,'SVF::SVFUtil']]],
330
330
  ['getfunret',['getFunRet',['../classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f',1,'SVF::SVFIR']]],
331
331
  ['getfunretmunum',['getFunRetMuNum',['../classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f',1,'SVF::MemSSA']]],
@@ -341,7 +341,7 @@ var searchData=
341
341
  ['getgepobjvar',['getGepObjVar',['../classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a',1,'SVF::ConstraintGraph::getGepObjVar()'],['../classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b',1,'SVF::PointerAnalysis::getGepObjVar()'],['../classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101',1,'SVF::SVFIR::getGepObjVar(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916',1,'SVF::SVFIR::getGepObjVar(NodeID id, const LocationSet &ls)']]],
342
342
  ['getgepoutedges',['getGepOutEdges',['../classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8',1,'SVF::ConstraintNode']]],
343
343
  ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58',1,'SVF::SVFIRBuilder::getGepValVar()']]],
344
- ['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#ae3b8f1b45c75b5fc231da76d3a49ad57',1,'SVF::ICFG']]],
344
+ ['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f',1,'SVF::ICFG']]],
345
345
  ['getglobalrep',['getGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12',1,'SVF::LLVMModuleSet::getGlobalRep()'],['../namespaceSVF_1_1SVFUtil.html#a4b55d5252da1f316f505cf6ce2078b28',1,'SVF::SVFUtil::getGlobalRep()']]],
346
346
  ['getglobalsvfstmtset',['getGlobalSVFStmtSet',['../classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687',1,'SVF::SVFIR']]],
347
347
  ['getglobalvarfield',['getGlobalVarField',['../classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae',1,'SVF::SVFIRBuilder']]],
@@ -363,13 +363,13 @@ var searchData=
363
363
  ['getindcallmap',['getIndCallMap',['../classSVF_1_1PTACallGraph.html#ad49fa2a288945f6910deb11acdf6a42d',1,'SVF::PTACallGraph::getIndCallMap()'],['../classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe',1,'SVF::PointerAnalysis::getIndCallMap()']]],
364
364
  ['getindcallsites',['getIndCallSites',['../classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8',1,'SVF::SVFIR']]],
365
365
  ['getindcallsitesinvokingcallee',['getIndCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a9a4b0c6672288b9201ab254b4c49548d',1,'SVF::PTACallGraph']]],
366
- ['getindcscallees',['getIndCSCallees',['../classSVF_1_1PTACallGraph.html#a88bec70a6bf5c1c41bc4efd035ef0e08',1,'SVF::PTACallGraph::getIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#a9e473e97a0bad49996faacbc05be7e68',1,'SVF::PointerAnalysis::getIndCSCallees()']]],
366
+ ['getindcscallees',['getIndCSCallees',['../classSVF_1_1PTACallGraph.html#ac106536778c829d6925d6ed2149aeb44',1,'SVF::PTACallGraph::getIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#ae0efd57376195eacded85d58abee5b46',1,'SVF::PointerAnalysis::getIndCSCallees()']]],
367
367
  ['getindexedtype',['getIndexedType',['../classllvm_1_1generic__bridge__gep__type__iterator.html#acc10ad7ecc64270225cb5e8f52689673',1,'llvm::generic_bridge_gep_type_iterator']]],
368
368
  ['getindirectcalls',['getIndirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07',1,'SVF::PTACallGraphEdge::getIndirectCalls()'],['../classSVF_1_1PTACallGraphEdge.html#a51dbd8a7b9d0a4602215f71e3fdfee5f',1,'SVF::PTACallGraphEdge::getIndirectCalls() const']]],
369
369
  ['getindirectcallsites',['getIndirectCallsites',['../classSVF_1_1ConstraintGraph.html#a48a71f212e368769218a6f332822c976',1,'SVF::ConstraintGraph::getIndirectCallsites()'],['../classSVF_1_1PointerAnalysis.html#a9d3e7753643166465b0d647a75bc145a',1,'SVF::PointerAnalysis::getIndirectCallsites()'],['../classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0',1,'SVF::SVFIR::getIndirectCallsites()']]],
370
370
  ['getinedges',['getInEdges',['../classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b',1,'SVF::GenericNode']]],
371
371
  ['getinsensitiveedgeset',['getInsensitiveEdgeSet',['../classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41',1,'SVF::ContextDDA']]],
372
- ['getinst',['getInst',['../classSVF_1_1IntraBlockNode.html#ac4d046229e38c7501d7aca638f13f07b',1,'SVF::IntraBlockNode::getInst()'],['../classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532',1,'SVF::StmtVFGNode::getInst()'],['../classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db',1,'SVF::SVFStmt::getInst()']]],
372
+ ['getinst',['getInst',['../classSVF_1_1IntraICFGNode.html#a6f9112d3a9d423bbcd391fbbdea3e785',1,'SVF::IntraICFGNode::getInst()'],['../classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532',1,'SVF::StmtVFGNode::getInst()'],['../classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db',1,'SVF::SVFStmt::getInst()']]],
373
373
  ['getinstances',['getInstances',['../classSVF_1_1CHGraph.html#a894a69fa143d3f460d433646a0521b6f',1,'SVF::CHGraph']]],
374
374
  ['getinstancesanddescendants',['getInstancesAndDescendants',['../classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30',1,'SVF::CHGBuilder']]],
375
375
  ['getinstruction',['getInstruction',['../classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1',1,'SVF::CallSite']]],
@@ -380,18 +380,18 @@ var searchData=
380
380
  ['getinternalnode',['getInternalNode',['../classSVF_1_1PointsTo.html#aeda7466cdd9f77978981e2a518baa863',1,'SVF::PointsTo']]],
381
381
  ['getinterslist',['getIntersList',['../classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652',1,'SVF::IntraDisjointMRG']]],
382
382
  ['getintervfedgeatindcsfromaintofin',['getInterVFEdgeAtIndCSFromAInToFIn',['../classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782',1,'SVF::SVFG']]],
383
- ['getintervfedgeatindcsfromaptofp',['getInterVFEdgeAtIndCSFromAPToFP',['../classSVF_1_1SVFG.html#a9b133773dae3e7c613516ba16cfdfa2c',1,'SVF::SVFG']]],
383
+ ['getintervfedgeatindcsfromaptofp',['getInterVFEdgeAtIndCSFromAPToFP',['../classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe',1,'SVF::SVFG']]],
384
384
  ['getintervfedgeatindcsfromfouttoaout',['getInterVFEdgeAtIndCSFromFOutToAOut',['../classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3',1,'SVF::SVFG']]],
385
385
  ['getintervfedgeatindcsfromfrtoar',['getInterVFEdgeAtIndCSFromFRToAR',['../classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14',1,'SVF::SVFG']]],
386
- ['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#af3bb18f904512cd6f450853666810229',1,'SVF::SVFG']]],
387
- ['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a5f03c3befe1df9fa62221fc6989d387a',1,'SVF::ICFG']]],
388
- ['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#a485fcd76a8a864c9b686e68a3ca66dfc',1,'SVF::ICFG']]],
386
+ ['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534',1,'SVF::SVFG']]],
387
+ ['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd',1,'SVF::ICFG']]],
388
+ ['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3',1,'SVF::ICFG']]],
389
389
  ['getintralockset',['getIntraLockSet',['../classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab',1,'SVF::LockAnalysis']]],
390
390
  ['getintrapagedge',['getIntraPAGEdge',['../classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255',1,'SVF::SVFIR::getIntraPAGEdge(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)'],['../classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd',1,'SVF::SVFIR::getIntraPAGEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)']]],
391
391
  ['getintraphivfgnode',['getIntraPHIVFGNode',['../classSVF_1_1VFG.html#a688c0cc4a67c7cd9afbef2f0c264c85b',1,'SVF::VFG']]],
392
392
  ['getintravfgedge',['getIntraVFGEdge',['../classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50',1,'SVF::VFG']]],
393
- ['getjoinedgebegin',['getJoinEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#ad6215527f01188f8e65fe8616e92dbc2',1,'SVF::ThreadCallGraph']]],
394
- ['getjoinedgeend',['getJoinEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a17b7b3f0bdb4a52166b8509bd90499ba',1,'SVF::ThreadCallGraph']]],
393
+ ['getjoinedgebegin',['getJoinEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84',1,'SVF::ThreadCallGraph']]],
394
+ ['getjoinedgeend',['getJoinEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a811d7d13c05c71bd816621a9a8765365',1,'SVF::ThreadCallGraph']]],
395
395
  ['getjoinedthread',['getJoinedThread',['../classSVF_1_1ForkJoinAnalysis.html#ada1e56dfe2d64ea6310142a346c86ed4',1,'SVF::ForkJoinAnalysis::getJoinedThread()'],['../classSVF_1_1ThreadAPI.html#ac9f3cc080275ce7d76dd2f56fc7c6434',1,'SVF::ThreadAPI::getJoinedThread(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#adf4350f4ef5a8d845806ab99591efa93',1,'SVF::ThreadAPI::getJoinedThread(CallSite cs) const']]],
396
396
  ['getjoinloop',['getJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a3449439792a54c847c67b3041094db49',1,'SVF::ForkJoinAnalysis::getJoinLoop()'],['../classSVF_1_1TCT.html#a52a707bf6f278e810f440c279f5261dc',1,'SVF::TCT::getJoinLoop()']]],
397
397
  ['getjoinsites',['getJoinSites',['../classSVF_1_1ThreadCallGraph.html#aa8be8d48d680b3f2e61b2d8af5e9eddc',1,'SVF::ThreadCallGraph']]],
@@ -442,9 +442,9 @@ var searchData=
442
442
  ['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
443
443
  ['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
444
444
  ['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
445
- ['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198',1,'SVF::MRGenerator']]],
446
- ['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs)'],['../classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs, const Value *V)'],['../classSVF_1_1MRGenerator.html#a83f957962bf3c7621661ce87b095e841',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs1, const CallBlockNode *cs2)'],['../classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst)'],['../classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const MemoryLocation &Loc)'],['../classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const Value *V)'],['../classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst1, const CallInst *callInst2)']]],
447
- ['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56',1,'SVF::MRGenerator']]],
445
+ ['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80',1,'SVF::MRGenerator']]],
446
+ ['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs)'],['../classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs, const Value *V)'],['../classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs1, const CallICFGNode *cs2)'],['../classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst)'],['../classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const MemoryLocation &Loc)'],['../classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const Value *V)'],['../classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst1, const CallInst *callInst2)']]],
447
+ ['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99',1,'SVF::MRGenerator']]],
448
448
  ['getmodsideeffectoffunction',['getModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914',1,'SVF::MRGenerator']]],
449
449
  ['getmodule',['getModule',['../classSVF_1_1DDAClient.html#ad9484fac56de8beaf120b1611d23dddc',1,'SVF::DDAClient::getModule()'],['../classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433',1,'SVF::PointerAnalysis::getModule()'],['../classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701',1,'SVF::SVFIR::getModule()'],['../classSVF_1_1SymbolTableInfo.html#a40387a4893ae5caf58d6f786533d2f44',1,'SVF::SymbolTableInfo::getModule()'],['../classSVF_1_1LockResultValidator.html#a7b8a2bf9962bd57e103039ead85821d2',1,'SVF::LockResultValidator::getModule()'],['../classSVF_1_1MTAResultValidator.html#aecaf875c6c88f7ba6fa45540e8436f57',1,'SVF::MTAResultValidator::getModule()'],['../classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c',1,'SVF::LLVMModuleSet::getModule()']]],
450
450
  ['getmoduleidentifier',['getModuleIdentifier',['../classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344',1,'SVF::SVFModule']]],
@@ -461,7 +461,7 @@ var searchData=
461
461
  ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a',1,'SVF::IntraDisjointMRG']]],
462
462
  ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
463
463
  ['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
464
- ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
464
+ ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb',1,'SVF::MemSSA::getMUSet(const CallICFGNode *cs)']]],
465
465
  ['getmutdfptdataty',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
466
466
  ['getmutptdataty',['getMutPTDataTy',['../classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1',1,'SVF::CondPTAImpl']]],
467
467
  ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9',1,'SVF::SVFValue::getName()']]],
@@ -509,10 +509,10 @@ var searchData=
509
509
  ['getopvernum',['getOpVerNum',['../classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f',1,'SVF::MSSAPHISVFGNode::getOpVerNum()'],['../classSVF_1_1CmpVFGNode.html#ad95b04c10a54b38344863e6552fc7775',1,'SVF::CmpVFGNode::getOpVerNum()'],['../classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd',1,'SVF::BinaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5',1,'SVF::UnaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2',1,'SVF::PHIVFGNode::getOpVerNum()'],['../classSVF_1_1MSSAPHI.html#adbefc58750f87cf1c30dd5d445b50feb',1,'SVF::MSSAPHI::getOpVerNum()']]],
510
510
  ['getoraddblockicfgnode',['getOrAddBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe',1,'SVF::ICFGBuilder']]],
511
511
  ['getoraddbranchcond',['getOrAddBranchCond',['../classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab',1,'SVF::CondManager']]],
512
- ['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#ae9958bebe253db187d403929bc508eac',1,'SVF::ICFGBuilder']]],
513
- ['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1fe9bfb1f0cb64fba6b54d598b6d7a74',1,'SVF::ICFGBuilder']]],
514
- ['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a28bcef712806344a3bcd664ef3d1e48b',1,'SVF::ICFGBuilder']]],
515
- ['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#a2f89ca8d506f90f0b90d18b0f63d8481',1,'SVF::ICFGBuilder']]],
512
+ ['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da',1,'SVF::ICFGBuilder']]],
513
+ ['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac',1,'SVF::ICFGBuilder']]],
514
+ ['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da',1,'SVF::ICFGBuilder']]],
515
+ ['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#afbf56b40d45f14b3a846d840f44d1681',1,'SVF::ICFGBuilder']]],
516
516
  ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
517
517
  ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
518
518
  ['getoriginalfieldtype',['getOriginalFieldType',['../classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49',1,'SVF::SymbolTableInfo::getOriginalFieldType()'],['../classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85',1,'SVF::StInfo::getOriginalFieldType()']]],
@@ -537,7 +537,7 @@ var searchData=
537
537
  ['getpagsrcnode',['getPAGSrcNode',['../classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849',1,'SVF::StmtVFGNode']]],
538
538
  ['getpagsrcnodeid',['getPAGSrcNodeID',['../classSVF_1_1StmtVFGNode.html#a791a01f5d3528f8a8bf19369b5c61c37',1,'SVF::StmtVFGNode']]],
539
539
  ['getparam',['getParam',['../classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32',1,'SVF::ActualParmVFGNode::getParam()'],['../classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c',1,'SVF::FormalParmVFGNode::getParam()']]],
540
- ['getparent',['getParent',['../classSVF_1_1CallBlockNode.html#aa541f0ab3c35110d5a00ae8bb4af58bc',1,'SVF::CallBlockNode']]],
540
+ ['getparent',['getParent',['../classSVF_1_1CallICFGNode.html#afb35b6c191a5a0b8e92019f6f3dbcc54',1,'SVF::CallICFGNode']]],
541
541
  ['getparentsbegin',['getParentsBegin',['../classSVF_1_1TCT.html#afa5bd475c4dc068a0ecc0ec5caab77a9',1,'SVF::TCT']]],
542
542
  ['getparentsend',['getParentsEnd',['../classSVF_1_1TCT.html#a5d6a06c7daff36a14fa1f371a477784d',1,'SVF::TCT']]],
543
543
  ['getparentthread',['getParentThread',['../classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152',1,'SVF::TCT']]],
@@ -571,8 +571,8 @@ var searchData=
571
571
  ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
572
572
  ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()']]],
573
573
  ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
574
- ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77',1,'SVF::MRGenerator']]],
575
- ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc',1,'SVF::MRGenerator']]],
574
+ ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
575
+ ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
576
576
  ['getrefsideeffectoffunction',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
577
577
  ['getreftypeofheapallocorstatic',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a642f8284fbb260dd81fb29d5fadf6822',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
578
578
  ['getregionsize',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
@@ -584,10 +584,10 @@ var searchData=
584
584
  ['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
585
585
  ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
586
586
  ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
587
- ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallBlockNode.html#ad48f8aa952074fba88c54d6e9fad4a17',1,'SVF::CallBlockNode::getRetBlockNode()']]],
588
- ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c',1,'SVF::ICFG']]],
587
+ ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallICFGNode.html#a5854d1a9c772604c6c12f64753dd0cc4',1,'SVF::CallICFGNode::getRetBlockNode()']]],
588
+ ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54',1,'SVF::ICFG']]],
589
589
  ['getretparmatjoinedsite',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
590
- ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d',1,'SVF::ProgSlice']]],
590
+ ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886',1,'SVF::ProgSlice']]],
591
591
  ['getretsym',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e',1,'SVF::SymbolTableInfo']]],
592
592
  ['getreturnmuset',['getReturnMuSet',['../classSVF_1_1MemSSA.html#af8c38a7ff8da4206f19c038024606d93',1,'SVF::MemSSA']]],
593
593
  ['getreturnnode',['getReturnNode',['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()'],['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()']]],
@@ -613,7 +613,7 @@ var searchData=
613
613
  ['getspanfromcxtlock',['getSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#ae7942c801e05357bb63f08c24489daf6',1,'SVF::LockAnalysis']]],
614
614
  ['getspawnees',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
615
615
  ['getspawners',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
616
- ['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4',1,'SVF::LeakChecker']]],
616
+ ['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846',1,'SVF::LeakChecker']]],
617
617
  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
618
618
  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
619
619
  ['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
@@ -698,8 +698,8 @@ var searchData=
698
698
  ['getvfgnodebegin',['getVFGNodeBegin',['../classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94',1,'SVF::VFG']]],
699
699
  ['getvfgnodeend',['getVFGNodeEnd',['../classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2',1,'SVF::VFG']]],
700
700
  ['getvfgnodes',['getVFGNodes',['../classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601',1,'SVF::ICFGNode::getVFGNodes()'],['../classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9',1,'SVF::VFG::getVFGNodes()']]],
701
- ['getvfnsfromcha',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#a0e09e07ee52ba605dc386ae1d7b965e2',1,'SVF::PointerAnalysis']]],
702
- ['getvfnsfrompts',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a8fa5b8a7b410faf63106a879ff72bf51',1,'SVF::PointerAnalysis']]],
701
+ ['getvfnsfromcha',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437',1,'SVF::PointerAnalysis']]],
702
+ ['getvfnsfrompts',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2',1,'SVF::PointerAnalysis']]],
703
703
  ['getvfnsfromvtbls',['getVFnsFromVtbls',['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()'],['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()']]],
704
704
  ['getvfnvector',['getVfnVector',['../classSVF_1_1DCHNode.html#a11ad6b4fc518f6307727f6b76f7f6f53',1,'SVF::DCHNode']]],
705
705
  ['getvfnvectors',['getVfnVectors',['../classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8',1,'SVF::DCHNode']]],
@@ -716,9 +716,10 @@ var searchData=
716
716
  ['global_5fleak',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
717
717
  ['globalalias',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
718
718
  ['globalblock',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
719
- ['globalblocknode',['GlobalBlockNode',['../classSVF_1_1GlobalBlockNode.html',1,'SVF::GlobalBlockNode'],['../classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e',1,'SVF::GlobalBlockNode::GlobalBlockNode()'],['../classSVF_1_1ICFG.html#a37ec47cd95cf25b18720c4267a9fd40c',1,'SVF::ICFG::globalBlockNode()']]],
719
+ ['globalblocknode',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
720
720
  ['globaldeftorepmap',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
721
721
  ['globaldeftorepmapty',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
722
+ ['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF::GlobalICFGNode'],['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode::GlobalICFGNode()']]],
722
723
  ['globalobject',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
723
724
  ['globalset',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
724
725
  ['globalsettype',['GlobalSetType',['../classSVF_1_1SVFModule.html#a5df72b0e3f0697069d65a9c1d7470d35',1,'SVF::SVFModule']]],
@@ -8,7 +8,7 @@ var searchData=
8
8
  ['handleblackhole',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
9
9
  ['handlecall',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
10
10
  ['handlecallrelation',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
11
- ['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a',1,'SVF::MRGenerator']]],
11
+ ['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
12
12
  ['handlece',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
13
13
  ['handlecopygep',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenWaveDiff.html#ad5c85a28967cc3f62e663dc00a8aa8c9',1,'SVF::AndersenWaveDiff::handleCopyGep()'],['../classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5',1,'SVF::AndersenLCD::handleCopyGep()'],['../classSVF_1_1AndersenHLCD.html#a9582cde6cbb510f3fb624109f8ea8f63',1,'SVF::AndersenHLCD::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
14
14
  ['handledibasictype',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
@@ -45,16 +45,16 @@ var searchData=
45
45
  ['hareparforedge',['HareParForEdge',['../classSVF_1_1HareParForEdge.html',1,'SVF::HareParForEdge'],['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge::HareParForEdge()'],['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge::HareParForEdge()']]],
46
46
  ['has_5fstatic',['has_static',['../classSVF_1_1ExtAPI.html#ae439994d7a92c4cb3bf5c9fa80fa31e8',1,'SVF::ExtAPI']]],
47
47
  ['has_5fstatic2',['has_static2',['../classSVF_1_1ExtAPI.html#aab5731ba773144c7cbb5609e9b807eae',1,'SVF::ExtAPI']]],
48
- ['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#afec2a195b5e367ec0d3f292168d10811',1,'SVF::SVFG']]],
49
- ['hasactualoutsvfgnodes',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#abc41243e27c4543ad50b6649839a940c',1,'SVF::SVFG']]],
48
+ ['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
49
+ ['hasactualoutsvfgnodes',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
50
50
  ['hasallcxtinlockspan',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a33740d6dc51d24af2d0c8cb2fbf27db6',1,'SVF::LockAnalysis']]],
51
51
  ['hasblackholeconstobjaddrasdef',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
52
- ['hascallgraphedge',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#afdd308d681cb2a57e9473186f431db61',1,'SVF::PTACallGraph']]],
53
- ['hascallsiteargsmap',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a2a4185af81e7e10f0db74c39ee220101',1,'SVF::SVFIR']]],
54
- ['hascallsitechi',['hasCallSiteChi',['../classSVF_1_1SVFG.html#a1027dcf25e914377e02885b786d00edc',1,'SVF::SVFG']]],
55
- ['hascallsiteid',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#a236d1269b1b560e09f22e0197f6f1ad7',1,'SVF::PTACallGraph']]],
56
- ['hascallsitemu',['hasCallSiteMu',['../classSVF_1_1SVFG.html#afca91771a622290586bfa941132c322e',1,'SVF::SVFG']]],
57
- ['haschi',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a51b8381b80b23590e638489c2a6760a4',1,'SVF::MemSSA::hasCHI(const CallBlockNode *cs) const']]],
52
+ ['hascallgraphedge',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
53
+ ['hascallsiteargsmap',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
54
+ ['hascallsitechi',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
55
+ ['hascallsiteid',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
56
+ ['hascallsitemu',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
57
+ ['haschi',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#ae16120dfc9436861f719e605617f353d',1,'SVF::MemSSA::hasCHI(const CallICFGNode *cs) const']]],
58
58
  ['hasconstantgep',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
59
59
  ['hasconstraintnode',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
60
60
  ['hascptslist',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
@@ -107,7 +107,7 @@ var searchData=
107
107
  ['hasincomingedge',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77',1,'SVF::VFPathCond::hasIncomingEdge()']]],
108
108
  ['hasincomingedges',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
109
109
  ['hasincomingvariantgepedge',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
110
- ['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#ac46ec4fe0094145c5fdb81394f1dd644',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#a8d3a457efb1963f8d87305bf33c02754',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
110
+ ['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
111
111
  ['hasintericfgedge',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
112
112
  ['hasinterleavingthreads',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
113
113
  ['hasintervfgedge',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
@@ -115,9 +115,9 @@ var searchData=
115
115
  ['hasintravfgedge',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
116
116
  ['haslabelededge',['hasLabeledEdge',['../classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)'],['../classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)']]],
117
117
  ['haslcdcandidate',['hasLCDCandidate',['../classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3',1,'SVF::AndersenLCD']]],
118
- ['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a8868281e5f5b5f3a83acf8568971ad40',1,'SVF::MRGenerator']]],
119
- ['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a07dc868039c5e2764b3cc34faff6d94a',1,'SVF::MRGenerator']]],
120
- ['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a480f37f70e9c3ff8ce7750a4d5f6f05b',1,'SVF::MemSSA::hasMU(const CallBlockNode *cs) const']]],
118
+ ['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
119
+ ['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
120
+ ['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
121
121
  ['hasnode',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
122
122
  ['hasnodestobecollapsed',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
123
123
  ['hasnonlabelededge',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
@@ -135,8 +135,8 @@ var searchData=
135
135
  ['hasptrobj',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
136
136
  ['hasptsmap',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
137
137
  ['hasref',['hasRef',['../classSVF_1_1OfflineConsG.html#a576cfa438bb109b7e451b410cd3a8569',1,'SVF::OfflineConsG']]],
138
- ['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#aeed8bcf54d2a72c640e464e256249630',1,'SVF::MRGenerator']]],
139
- ['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a',1,'SVF::MRGenerator']]],
138
+ ['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
139
+ ['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
140
140
  ['hasreturnmu',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
141
141
  ['hassbsinkflag',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
142
142
  ['hassbsourceflag',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
@@ -144,9 +144,9 @@ var searchData=
144
144
  ['hassvfgnode',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
145
145
  ['hassvfstmtlist',['hasSVFStmtList',['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()'],['../classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5',1,'SVF::MRGenerator::hasSVFStmtList()']]],
146
146
  ['hastctnode',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
147
- ['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#ac528526e77b995de0cd5e718503f42ed',1,'SVF::ThreadCallGraph']]],
147
+ ['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
148
148
  ['hasthreadicfgedge',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
149
- ['hasthreadjoinedge',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#ac591fcd46254a0d809dac16ee15ab12e',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallBlockNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a10f3f07059d0534e391093372fcd708d',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallBlockNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
149
+ ['hasthreadjoinedge',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
150
150
  ['hasthreadstmtset',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a6841b147e2a681ea372bdddd53616294',1,'SVF::MHP']]],
151
151
  ['hasthreadvfgedge',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
152
152
  ['hasvalidationtarget',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator']]],