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
@@ -19,15 +19,15 @@ var searchData=
19
19
  ['calculatenodedegrees',['calculateNodeDegrees',['../classSVF_1_1SVFGStat.html#a570b8466e99ce5f68e02546d1ef21971',1,'SVF::SVFGStat']]],
20
20
  ['call',['Call',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00',1,'SVF::SVFStmt']]],
21
21
  ['callbase',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
22
- ['callblocknode',['CallBlockNode',['../classSVF_1_1CallBlockNode.html',1,'SVF::CallBlockNode'],['../classSVF_1_1CallBlockNode.html#a4f5af7780f4290ae69724fd3050dab1a',1,'SVF::CallBlockNode::CallBlockNode()'],['../classSVF_1_1RetBlockNode.html#aa135efaadc44746c585cb295b8b2bf77',1,'SVF::RetBlockNode::callBlockNode()']]],
22
+ ['callblocknode',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
23
23
  ['callbrinst',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
24
24
  ['callcf',['CallCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e',1,'SVF::ICFGEdge']]],
25
25
  ['callcfgedge',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF::CallCFGEdge'],['../classSVF_1_1CallCFGEdge.html#ab62ae6ed463def78bb2cdc01527d4b02',1,'SVF::CallCFGEdge::CallCFGEdge()']]],
26
- ['callchi',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF::CallCHI< Cond >'],['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()'],['../classSVF_1_1CallCHI.html#a5a03b5679ded2115a396ef04b388d6f5',1,'SVF::CallCHI::CallCHI()']]],
26
+ ['callchi',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF::CallCHI< Cond >'],['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()'],['../classSVF_1_1CallCHI.html#a011044a63529bdd773dd2ad447668029',1,'SVF::CallCHI::CallCHI()']]],
27
27
  ['calldirsvfgedge',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF::CallDirSVFGEdge'],['../classSVF_1_1CallDirSVFGEdge.html#a76db2165a2f956cbb43f63f2949679f4',1,'SVF::CallDirSVFGEdge::CallDirSVFGEdge()']]],
28
28
  ['calldirvf',['CallDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a',1,'SVF::VFGEdge']]],
29
29
  ['calledgelabelcounter',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
30
- ['calledgemap',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a47bfbae96294592f4e6060deddbe5700',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#aa9661d26d1ae9c829a9296d1b6d874f4',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
30
+ ['calledgemap',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
31
31
  ['callgraph',['callGraph',['../classSVF_1_1MRGenerator.html#a05005a166c39b1adea492655d77db519',1,'SVF::MRGenerator::callGraph()'],['../classSVF_1_1VFG.html#a0c8cf98b652b5eb97d22e2636576f92f',1,'SVF::VFG::callgraph()'],['../classSVF_1_1PCG.html#ae9026f717c442198ffa90ff66f482c92',1,'SVF::PCG::callgraph()'],['../classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6',1,'SVF::CallGraphBuilder::callgraph()']]],
32
32
  ['callgraphbuilder',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF::CallGraphBuilder'],['../classSVF_1_1CallGraphBuilder.html#ae5c2b2deb4a621cb38a31c8895052856',1,'SVF::CallGraphBuilder::CallGraphBuilder()']]],
33
33
  ['callgraphbuilder_2ecpp',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
@@ -41,49 +41,50 @@ var searchData=
41
41
  ['callgraphsccdetection',['callGraphSCCDetection',['../classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795',1,'SVF::PointerAnalysis']]],
42
42
  ['callgraphsolvebasedoncha',['callGraphSolveBasedOnCHA',['../classSVF_1_1TypeAnalysis.html#aec579b7854aa6a994632d3f7c5d621db',1,'SVF::TypeAnalysis']]],
43
43
  ['callgraphstat',['callgraphStat',['../classSVF_1_1PTAStat.html#a1772bc87370b5625f71edd4476277064',1,'SVF::PTAStat']]],
44
+ ['callicfgnode',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF::CallICFGNode'],['../classSVF_1_1CallICFGNode.html#a7c514653ca97c9a97f5a26a57a2955e1',1,'SVF::CallICFGNode::CallICFGNode()']]],
44
45
  ['callindsvfgedge',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF::CallIndSVFGEdge'],['../classSVF_1_1CallIndSVFGEdge.html#a9651aa6a85a7ee9e626dd66a5410b191',1,'SVF::CallIndSVFGEdge::CallIndSVFGEdge()']]],
45
46
  ['callindvf',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
46
- ['callinst',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a4a32f56cda476a323db8c7ebd2831431',1,'SVF::InterPHIVFGNode::callInst()'],['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF::CallInst()']]],
47
- ['callinstset',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#aca11d1b778309a72e9d345bd02324459',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#a866cab5d550f60984d66068474755e2d',1,'SVF::PCG::CallInstSet()'],['../classSVF_1_1TCTEdge.html#a7b3463c5a458ac6472f2a4e531b80a94',1,'SVF::TCTEdge::CallInstSet()']]],
48
- ['callinsttocallgraphedgesmap',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph::callinstToCallGraphEdgesMap()'],['../classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9',1,'SVF::PTACallGraph::CallInstToCallGraphEdgesMap()']]],
49
- ['callinsttoforkedgesmap',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ad0d6585b7d26cd4597466a79e2fedacd',1,'SVF::ThreadCallGraph']]],
47
+ ['callinst',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()'],['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF::CallInst()']]],
48
+ ['callinstset',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#a866cab5d550f60984d66068474755e2d',1,'SVF::PCG::CallInstSet()'],['../classSVF_1_1TCTEdge.html#a7b3463c5a458ac6472f2a4e531b80a94',1,'SVF::TCTEdge::CallInstSet()']]],
49
+ ['callinsttocallgraphedgesmap',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph::callinstToCallGraphEdgesMap()'],['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph::CallInstToCallGraphEdgesMap()']]],
50
+ ['callinsttoforkedgesmap',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
50
51
  ['callinsttohareparforedgesmap',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
51
- ['callinsttojoinedgesmap',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a2f24d314b211151182bee38b61731749',1,'SVF::ThreadCallGraph']]],
52
- ['callinsttoparforedgesmap',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ac6eb68444968f7bfc3e1e16099454cab',1,'SVF::ThreadCallGraph']]],
52
+ ['callinsttojoinedgesmap',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
53
+ ['callinsttoparforedgesmap',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
53
54
  ['callinsttothreadforkedgesmap',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
54
55
  ['callinsttothreadjoinedgesmap',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
55
56
  ['callmssachi',['CallMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4',1,'SVF::MSSADEF']]],
56
57
  ['callmssamu',['CallMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18',1,'SVF::MSSAMU']]],
57
- ['callmu',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF::CallMU< Cond >'],['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()'],['../classSVF_1_1CallMU.html#a267c7345f42e1aaa0ca7ffdcb85b45b3',1,'SVF::CallMU::CallMU()']]],
58
- ['callpe',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF::CallPE'],['../classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331',1,'SVF::CallPE::CallPE()'],['../classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e',1,'SVF::CallPE::CallPE(const CallPE &)'],['../classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049',1,'SVF::CallPE::CallPE(SVFVar *s, SVFVar *d, const CallBlockNode *i, GEdgeKind k=SVFStmt::Call)']]],
58
+ ['callmu',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF::CallMU< Cond >'],['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()'],['../classSVF_1_1CallMU.html#abb981eb0739d7b3fdcc271b693e708ae',1,'SVF::CallMU::CallMU()']]],
59
+ ['callpe',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF::CallPE'],['../classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331',1,'SVF::CallPE::CallPE()'],['../classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e',1,'SVF::CallPE::CallPE(const CallPE &)'],['../classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091',1,'SVF::CallPE::CallPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Call)']]],
59
60
  ['callpebegin',['callPEBegin',['../classSVF_1_1FormalParmVFGNode.html#ac2711b6bf2b27386def742aa0959ba35',1,'SVF::FormalParmVFGNode']]],
60
61
  ['callpeend',['callPEEnd',['../classSVF_1_1FormalParmVFGNode.html#ae9a11d1c9c646baecc4e510eb10fa515',1,'SVF::FormalParmVFGNode']]],
61
62
  ['callpes',['callPEs',['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode']]],
62
63
  ['callpeset',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
63
64
  ['callretedge',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
64
- ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF::CallSite'],['../classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df',1,'SVF::CallSite::CallSite(Instruction *I)'],['../classSVF_1_1CallSite.html#afb7abd481e9e7c88c203738514a02c98',1,'SVF::CallSite::CallSite(Value *I)'],['../classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d',1,'SVF::CallCHI::callsite()']]],
65
+ ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF::CallSite'],['../classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df',1,'SVF::CallSite::CallSite(Instruction *I)'],['../classSVF_1_1CallSite.html#afb7abd481e9e7c88c203738514a02c98',1,'SVF::CallSite::CallSite(Value *I)'],['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
65
66
  ['callsite2dummyvalpn',['CallSite2DummyValPN',['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()']]],
66
67
  ['callsiteargslistmap',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
67
- ['callsitehasret',['callsiteHasRet',['../classSVF_1_1SVFIR.html#a170bef1e9a07ce0449faf66706ae6e61',1,'SVF::SVFIR']]],
68
+ ['callsitehasret',['callsiteHasRet',['../classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f',1,'SVF::SVFIR']]],
68
69
  ['callsiteid',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
69
- ['callsitepair',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a1d1ea71cb29e190ad3c6817810bd57c7',1,'SVF::PTACallGraph']]],
70
+ ['callsitepair',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
70
71
  ['callsiteretmap',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
71
- ['callsiteset',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR::callSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e',1,'SVF::SymbolTableInfo::callSiteSet()'],['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a1f5f2ecf1e893759633ffec1b23d5650',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b',1,'SVF::SVFIR::CallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864',1,'SVF::SymbolTableInfo::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#af254f2a00cabb91c61a0a592bdb7f0f1',1,'SVF::SrcSnkDDA::CallSiteSet()']]],
72
+ ['callsiteset',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR::callSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e',1,'SVF::SymbolTableInfo::callSiteSet()'],['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864',1,'SVF::SymbolTableInfo::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()']]],
72
73
  ['callsitetoactualinmap',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
73
- ['callsitetoactualinsmapty',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a9ccf41f90af56c89f2acb59a6ca9b0dc',1,'SVF::SVFG']]],
74
+ ['callsitetoactualinsmapty',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
74
75
  ['callsitetoactualoutmap',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
75
- ['callsitetoactualoutsmapty',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a8c7dea646606e723e6cf5055611e43c8',1,'SVF::SVFG']]],
76
- ['callsitetochisetmap',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#ab985012d7730beed71a5e77595d29548',1,'SVF::MemSSA::CallSiteToCHISetMap()'],['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA::callsiteToChiSetMap()']]],
76
+ ['callsitetoactualoutsmapty',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
77
+ ['callsitetochisetmap',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA::CallSiteToCHISetMap()'],['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA::callsiteToChiSetMap()']]],
77
78
  ['callsitetochnodesmap',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
78
- ['callsitetofunptrmap',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
79
+ ['callsitetofunptrmap',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
79
80
  ['callsitetoidmap',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
80
81
  ['callsitetoidmapty',['CallSiteToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a52fa7c8a2c7064b415f373fdea0fdf69',1,'SVF::SymbolTableInfo']]],
81
82
  ['callsitetomodmrsmap',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
82
83
  ['callsitetomodpointstomap',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
83
- ['callsitetomrsmap',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819',1,'SVF::MRGenerator']]],
84
- ['callsitetomusetmap',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#af7d3abb0b38f83c6f0a3c6a9e1ebff97',1,'SVF::MemSSA::CallSiteToMUSetMap()'],['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA::callsiteToMuSetMap()']]],
85
- ['callsitetonodebsmap',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046',1,'SVF::MRGenerator']]],
86
- ['callsitetopointstomap',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388',1,'SVF::MRGenerator']]],
84
+ ['callsitetomrsmap',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
85
+ ['callsitetomusetmap',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA::CallSiteToMUSetMap()'],['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA::callsiteToMuSetMap()']]],
86
+ ['callsitetonodebsmap',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
87
+ ['callsitetopointstomap',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
87
88
  ['callsitetorefmrsmap',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
88
89
  ['callsitetorefpointstomap',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
89
90
  ['callsitetovfunsetmap',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
@@ -175,7 +176,7 @@ var searchData=
175
176
  ['classnametoinstanddescsmap',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
176
177
  ['classnametonodemap',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#aa040bc0a5653843419d24777343e1650',1,'SVF::CHGraph']]],
177
178
  ['classnum',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
178
- ['classof',['classof',['../classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6',1,'SVF::CHGraph::classof()'],['../classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3',1,'SVF::ConstraintEdge::classof()'],['../classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965',1,'SVF::AddrCGEdge::classof(const AddrCGEdge *)'],['../classSVF_1_1AddrCGEdge.html#ac635af9bdde40ea73c267998b9e4b6c4',1,'SVF::AddrCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1AddrCGEdge.html#a1eeac9d23b4c3c789697c992e9ef8dbd',1,'SVF::AddrCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434',1,'SVF::CopyCGEdge::classof(const CopyCGEdge *)'],['../classSVF_1_1CopyCGEdge.html#a7bd7d0f76d235db2f7d8a846da5bd20d',1,'SVF::CopyCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1CopyCGEdge.html#aee721f02965d46fcd1f8acc4a98df108',1,'SVF::CopyCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1StoreCGEdge.html#a7fdb88d66ee7489f2e2de5e91ed5f25b',1,'SVF::StoreCGEdge::classof(const StoreCGEdge *)'],['../classSVF_1_1StoreCGEdge.html#a2cc6943983c51fac45e312741404e8e9',1,'SVF::StoreCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1StoreCGEdge.html#a1d7f40c84a7601620784dfafec6112b6',1,'SVF::StoreCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1LoadCGEdge.html#a1e4ddf7950685fa18fc0bb8669cc1961',1,'SVF::LoadCGEdge::classof(const LoadCGEdge *)'],['../classSVF_1_1LoadCGEdge.html#ab7d9fa1d9ed23f3f7579ba26dad46032',1,'SVF::LoadCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1LoadCGEdge.html#aa1b47bbe3ac2de21a5dc7a72bb486953',1,'SVF::LoadCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6',1,'SVF::GepCGEdge::classof(const GepCGEdge *)'],['../classSVF_1_1GepCGEdge.html#a13ca016474348064693416fcd183d4ab',1,'SVF::GepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1GepCGEdge.html#aeceef279a35e9a92ecaff32372f0c112',1,'SVF::GepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092',1,'SVF::NormalGepCGEdge::classof(const NormalGepCGEdge *)'],['../classSVF_1_1NormalGepCGEdge.html#abaa71e2b1e7f9a6d7920a89eb397dccc',1,'SVF::NormalGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#ac6c37d7442a4b48cdce8b2eef67ee87d',1,'SVF::NormalGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a025e8e6526f339c12e357958138be903',1,'SVF::NormalGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd',1,'SVF::VariantGepCGEdge::classof(const VariantGepCGEdge *)'],['../classSVF_1_1VariantGepCGEdge.html#ae83d829f94cb886ddf36cddb75fb17df',1,'SVF::VariantGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a0342be6f165cbabc58e1dba75e6a0b79',1,'SVF::VariantGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#aba0cc74af291252bc8911c81832bef68',1,'SVF::VariantGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c',1,'SVF::IntraCFGEdge::classof(const IntraCFGEdge *)'],['../classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb',1,'SVF::IntraCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f',1,'SVF::IntraCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff',1,'SVF::CallCFGEdge::classof(const CallCFGEdge *)'],['../classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678',1,'SVF::CallCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2',1,'SVF::CallCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a',1,'SVF::RetCFGEdge::classof(const RetCFGEdge *)'],['../classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe',1,'SVF::RetCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef',1,'SVF::RetCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1GlobalBlockNode.html#a42b0e52fb503c704bec4b1506991ed75',1,'SVF::GlobalBlockNode::classof(const GlobalBlockNode *)'],['../classSVF_1_1GlobalBlockNode.html#aab88b3a34534158e3f67e81f047248d0',1,'SVF::GlobalBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1GlobalBlockNode.html#a26f244ed2fdbc1cb7abdb97373465caf',1,'SVF::GlobalBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1IntraBlockNode.html#afec0f1abe96e4f6e0e3f9e4d075bf308',1,'SVF::IntraBlockNode::classof(const IntraBlockNode *)'],['../classSVF_1_1IntraBlockNode.html#aab3d8287388f8d4b5e22e8496bb37f8d',1,'SVF::IntraBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1IntraBlockNode.html#a7a4180f1fc1b33da820c676aa8c4613d',1,'SVF::IntraBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1InterBlockNode.html#aba751d4e1585e5e42bf505574f8b288a',1,'SVF::InterBlockNode::classof(const InterBlockNode *)'],['../classSVF_1_1InterBlockNode.html#a2a0f22695ebcceefe2c57a4ba9255e35',1,'SVF::InterBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1InterBlockNode.html#a4ab1005f23a3f3a0e2e275a9be183553',1,'SVF::InterBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158',1,'SVF::FunEntryBlockNode::classof(const FunEntryBlockNode *)'],['../classSVF_1_1FunEntryBlockNode.html#a86f816aea050a089d7a86dbc774deba3',1,'SVF::FunEntryBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1FunEntryBlockNode.html#a590bf75c1e200b6e9a66b852a6002c32',1,'SVF::FunEntryBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunEntryBlockNode.html#a0c124155eaac6adf80029dbf708294ff',1,'SVF::FunEntryBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunExitBlockNode.html#a5fdc1edafbd26a57c1c563f8df439cfc',1,'SVF::FunExitBlockNode::classof(const FunEntryBlockNode *)'],['../classSVF_1_1FunExitBlockNode.html#abeae6aae021670c80206c1f5a82ccd97',1,'SVF::FunExitBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunExitBlockNode.html#aceef01ea3cc4d85385705df32b6f67da',1,'SVF::FunExitBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1FunExitBlockNode.html#a6cda85f67241db56f0a8ca4830c574f0',1,'SVF::FunExitBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1CallBlockNode.html#a1c688ff81489957e775cb2463c59d1ef',1,'SVF::CallBlockNode::classof(const CallBlockNode *)'],['../classSVF_1_1CallBlockNode.html#a43a5f89377aef18e7e6d31731b8bf11d',1,'SVF::CallBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1CallBlockNode.html#a8ac74fdb13bee140b0568f40c3a94b2a',1,'SVF::CallBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1CallBlockNode.html#a1fab44c7854d6bc5fe0ab9ad236b64c3',1,'SVF::CallBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947',1,'SVF::RetBlockNode::classof(const RetBlockNode *)'],['../classSVF_1_1RetBlockNode.html#a06433b4ec10e147df00c1e36990cdaab',1,'SVF::RetBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1RetBlockNode.html#aed4047d93fee5e00c58e5bff0cbc06e0',1,'SVF::RetBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1RetBlockNode.html#a383ea0e36372dad2a0603428a8c26f7d',1,'SVF::RetBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21',1,'SVF::PTACallGraphEdge::classof(const PTACallGraphEdge *)'],['../classSVF_1_1PTACallGraphEdge.html#afb092fc0502837b52ebcaa3c0dedb736',1,'SVF::PTACallGraphEdge::classof(const GenericCallGraphEdgeTy *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a65d58ce28f0bec8ba20191257a80221f',1,'SVF::IndirectSVFGEdge::classof(const IndirectSVFGEdge *)'],['../classSVF_1_1IndirectSVFGEdge.html#ad1635bdd79cae91c5a58b5e540f19df1',1,'SVF::IndirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a62352957241f7ac5faba6b502d0ed0f1',1,'SVF::IndirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402',1,'SVF::IntraIndSVFGEdge::classof(const IntraIndSVFGEdge *)'],['../classSVF_1_1IntraIndSVFGEdge.html#ac749c96247b6070479ccd597266c1d84',1,'SVF::IntraIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ad123c668b35ad004f3897565ac69c054',1,'SVF::IntraIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#a54de415e46849515629ace05fe2afed4',1,'SVF::IntraIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd',1,'SVF::CallIndSVFGEdge::classof(const CallIndSVFGEdge *)'],['../classSVF_1_1CallIndSVFGEdge.html#ad6a01c5fc68ce5777a801aa7668b47e9',1,'SVF::CallIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a54c3c37723424cb98ac6d01e9ed25c39',1,'SVF::CallIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#ad50e4be3af1da84aa8a58b56faba36df',1,'SVF::CallIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a436d46d2a475a291ecc56cc2f26b910f',1,'SVF::RetIndSVFGEdge::classof(const RetIndSVFGEdge *)'],['../classSVF_1_1RetIndSVFGEdge.html#ae3cedf9206a460394f761c8b785fb1f8',1,'SVF::RetIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a4b9b7308ea5e74ff175f6b1fedc873e2',1,'SVF::RetIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a0c7696c378afe92f8cf1612564ab98c3',1,'SVF::RetIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc',1,'SVF::ThreadMHPIndSVFGEdge::classof(const ThreadMHPIndSVFGEdge *)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a0db2e69a5182d1c30b44e87711558bd9',1,'SVF::ThreadMHPIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a564a1648b45d3563d69401a7f8e31906',1,'SVF::ThreadMHPIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#acb948e40582b6cc8b4360f2205b5c926',1,'SVF::ThreadMHPIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84',1,'SVF::MRSVFGNode::classof(const MRSVFGNode *)'],['../classSVF_1_1MRSVFGNode.html#a9b843265a6f95eea56a5a62eede8893c',1,'SVF::MRSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MRSVFGNode.html#a5f14facdcee7fec54c45b5956af553be',1,'SVF::MRSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310',1,'SVF::FormalINSVFGNode::classof(const FormalINSVFGNode *)'],['../classSVF_1_1FormalINSVFGNode.html#a93393ca0fb82c738b9357e93572b026a',1,'SVF::FormalINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalINSVFGNode.html#a637ece0b4dcb990d3a3a5d5bbee4ef8d',1,'SVF::FormalINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639',1,'SVF::FormalOUTSVFGNode::classof(const FormalOUTSVFGNode *)'],['../classSVF_1_1FormalOUTSVFGNode.html#a48fc0991af02d9e0b8700cf96a8ca35c',1,'SVF::FormalOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#a3b1387416f3ca61eed5581c9112cfcde',1,'SVF::FormalOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b',1,'SVF::ActualINSVFGNode::classof(const ActualINSVFGNode *)'],['../classSVF_1_1ActualINSVFGNode.html#aae28a748413002046d02a4003229fc88',1,'SVF::ActualINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualINSVFGNode.html#a476ef9fb19b3da1149945f9fe27cd9f1',1,'SVF::ActualINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3',1,'SVF::ActualOUTSVFGNode::classof(const ActualOUTSVFGNode *)'],['../classSVF_1_1ActualOUTSVFGNode.html#a12cb923163baad086ca7a6365c74cc6b',1,'SVF::ActualOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a06dfaac3d2a41fa297a7707fc1240f8f',1,'SVF::ActualOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ac55ddd2788fff5bcff8afc5c0b49ad2d',1,'SVF::MSSAPHISVFGNode::classof(const MSSAPHISVFGNode *)'],['../classSVF_1_1MSSAPHISVFGNode.html#a44089a90d2c8bdb7ea8d8f2904c9d768',1,'SVF::MSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#abcb8ba7fc0574b75aa3582f35cdb47f5',1,'SVF::MSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ab91626e88e8c28553c44b5939cfd65b3',1,'SVF::MSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc',1,'SVF::IntraMSSAPHISVFGNode::classof(const IntraMSSAPHISVFGNode *)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ada532ff4ffbd7592ae1b89b1e234ba21',1,'SVF::IntraMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a1382366ed10250d8f9a21c1f28bcad1c',1,'SVF::IntraMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a4d0c0866ed958cdbb5fd9310696f24ba',1,'SVF::IntraMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a885dabe57bcf57d10dbdb40fd658b075',1,'SVF::IntraMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f',1,'SVF::InterMSSAPHISVFGNode::classof(const InterMSSAPHISVFGNode *)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a084a26ee34913e89b8b28fac43cda5f2',1,'SVF::InterMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a14866d7c95c5d3d8215ffec2172d208b',1,'SVF::InterMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a7674d5c0f395624085f0764dba78cb93',1,'SVF::InterMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#ac1b291caedbd584d0e37702b682fa440',1,'SVF::InterMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e',1,'SVF::DummyVersionPropSVFGNode::classof(const DummyVersionPropSVFGNode *)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a684f1f5c9f9f5059127d3024cc5d71e9',1,'SVF::DummyVersionPropSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#aa1ac53d368232b002cdd8f8a91f284da',1,'SVF::DummyVersionPropSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d',1,'SVF::ThreadForkEdge::classof(const ThreadForkEdge *)'],['../classSVF_1_1ThreadForkEdge.html#ae40d52a9080627661aad198adf5f411a',1,'SVF::ThreadForkEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37',1,'SVF::ThreadJoinEdge::classof(const ThreadJoinEdge *)'],['../classSVF_1_1ThreadJoinEdge.html#ae4095b55b035bbf42d0a75afada4244d',1,'SVF::ThreadJoinEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1HareParForEdge.html#ab1dba5dff1e71bce578dc7b0009ba518',1,'SVF::HareParForEdge::classof(const HareParForEdge *)'],['../classSVF_1_1HareParForEdge.html#af9cc260c4a767f9ebd4a454dff4f88be',1,'SVF::HareParForEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89',1,'SVF::ThreadCallGraph::classof(const ThreadCallGraph *)'],['../classSVF_1_1ThreadCallGraph.html#a5d991e4511fc909dc170a4b03e71d77e',1,'SVF::ThreadCallGraph::classof(const PTACallGraph *g)'],['../classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf',1,'SVF::DirectSVFGEdge::classof(const DirectSVFGEdge *)'],['../classSVF_1_1DirectSVFGEdge.html#ade837b89b661ab92b4f852c4a1d07e91',1,'SVF::DirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1DirectSVFGEdge.html#a6e8eba3ca95255ce6d370f70ef1af723',1,'SVF::DirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe',1,'SVF::IntraDirSVFGEdge::classof(const IntraDirSVFGEdge *)'],['../classSVF_1_1IntraDirSVFGEdge.html#a05f6b2a386ffdc58f89fc9f650a03ce0',1,'SVF::IntraDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a6a6a756f3f4d3b8bb162014ad8a013d6',1,'SVF::IntraDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a83ecbb860bb65c348716a7b6eb0eb6e4',1,'SVF::IntraDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352',1,'SVF::CallDirSVFGEdge::classof(const CallDirSVFGEdge *)'],['../classSVF_1_1CallDirSVFGEdge.html#a9af19b582b2fc0ad587c186bbe1ae3c5',1,'SVF::CallDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#afc2b7f68c04cb9d0140576c8bb4e3527',1,'SVF::CallDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#ac4459c3e162af07af327a95b63ad24ba',1,'SVF::CallDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb',1,'SVF::RetDirSVFGEdge::classof(const RetDirSVFGEdge *)'],['../classSVF_1_1RetDirSVFGEdge.html#ad794858b1424836850d55e66376de2c3',1,'SVF::RetDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a072bfed40d4fc766f107da70428f4872',1,'SVF::RetDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a00d19ac1f96d9d66597d717eea58aeae',1,'SVF::RetDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1StmtVFGNode.html#ade2eb6475fdc3d2fa107c9adf508b72a',1,'SVF::StmtVFGNode::classof(const StmtVFGNode *)'],['../classSVF_1_1StmtVFGNode.html#a07b6320e6b57de790737585ad7e0dfc9',1,'SVF::StmtVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StmtVFGNode.html#a52b07152246113f9b55a9bcacf92e1b4',1,'SVF::StmtVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627',1,'SVF::LoadVFGNode::classof(const LoadVFGNode *)'],['../classSVF_1_1LoadVFGNode.html#a6809c239925254fdf505bd907ce8a773',1,'SVF::LoadVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a9bbb5bb491000f973ab2e2d391105eef',1,'SVF::LoadVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a649006bd37ea9a4e0add926acf6711e7',1,'SVF::LoadVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1StoreVFGNode.html#a61b6a4c05576d942024cc002905d5831',1,'SVF::StoreVFGNode::classof(const StoreVFGNode *)'],['../classSVF_1_1StoreVFGNode.html#acc772ccaec8d50c6c794ddf6433cc8da',1,'SVF::StoreVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a557a5eadd147cae44223a9a9b9f22a0a',1,'SVF::StoreVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a41e8b1729da33dd6572288cab334c0eb',1,'SVF::StoreVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CopyVFGNode.html#adefcc30434a12173cfbdb05145ff2959',1,'SVF::CopyVFGNode::classof(const CopyVFGNode *)'],['../classSVF_1_1CopyVFGNode.html#af2a5123c24452b533b8cf3c737abfa61',1,'SVF::CopyVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#ae9c59423e3f5b86eecd07e4d7f6297eb',1,'SVF::CopyVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#a53e14acb8134334f2f8444235ba3dae9',1,'SVF::CopyVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7',1,'SVF::CmpVFGNode::classof(const CmpVFGNode *)'],['../classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713',1,'SVF::CmpVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CmpVFGNode.html#add2c095c6ae13c5d7a72f4551c2490a2',1,'SVF::CmpVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17',1,'SVF::BinaryOPVFGNode::classof(const BinaryOPVFGNode *)'],['../classSVF_1_1BinaryOPVFGNode.html#aea93da7b12eec71280459e1c4a41306f',1,'SVF::BinaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a9da4b2fca555fbb6a1867e9bc4749046',1,'SVF::BinaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8',1,'SVF::UnaryOPVFGNode::classof(const UnaryOPVFGNode *)'],['../classSVF_1_1UnaryOPVFGNode.html#a11ff85d796e547f0258ec30cf23b7310',1,'SVF::UnaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a1aec02a86416e9baf8819086bbb53080',1,'SVF::UnaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181',1,'SVF::BranchVFGNode::classof(const BranchVFGNode *)'],['../classSVF_1_1BranchVFGNode.html#aa578e56a2a4d145ba63628367786b9f0',1,'SVF::BranchVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BranchVFGNode.html#a5cf9cbe215078178e12e06d859483336',1,'SVF::BranchVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241',1,'SVF::GepVFGNode::classof(const GepVFGNode *)'],['../classSVF_1_1GepVFGNode.html#aae7c25ec33e4531778be58c28a0575c4',1,'SVF::GepVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1GepVFGNode.html#aa668a8000407a07937a5f4e4a6bfe31a',1,'SVF::GepVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1GepVFGNode.html#a70e2627cc05920864a97d054b2631985',1,'SVF::GepVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa',1,'SVF::PHIVFGNode::classof(const PHIVFGNode *)'],['../classSVF_1_1PHIVFGNode.html#a4699fc06762e2d2573bbe3c0fd903da4',1,'SVF::PHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1PHIVFGNode.html#a1c5073aade64acbac65e8a8add61e231',1,'SVF::PHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e',1,'SVF::IntraPHIVFGNode::classof(const IntraPHIVFGNode *)'],['../classSVF_1_1IntraPHIVFGNode.html#ae8c46b54a0a19b9516829b8ea897b946',1,'SVF::IntraPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a379b6f3452bdc6b5a3913fc7680ef70e',1,'SVF::IntraPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a7b8058dbbb9fc70db5f0de179e7e0196',1,'SVF::IntraPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177',1,'SVF::AddrVFGNode::classof(const AddrVFGNode *)'],['../classSVF_1_1AddrVFGNode.html#a5510202381d0eb7af55353f8cc3be0d0',1,'SVF::AddrVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#a24dde3e1cf8a66736233cd0a8dc91b82',1,'SVF::AddrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#af5ff980dea82f57e146e01d04882abbb',1,'SVF::AddrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2',1,'SVF::ArgumentVFGNode::classof(const ArgumentVFGNode *)'],['../classSVF_1_1ArgumentVFGNode.html#aef245c92b68e42d5a74bcc98fc026ac2',1,'SVF::ArgumentVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ArgumentVFGNode.html#a7a81455d628934b84ce30a055a774673',1,'SVF::ArgumentVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502',1,'SVF::ActualParmVFGNode::classof(const ActualParmVFGNode *)'],['../classSVF_1_1ActualParmVFGNode.html#abe1fd545e784375dc8da98db6b5869f8',1,'SVF::ActualParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#acd3b55d18cb1227f7631df8e4912fdb3',1,'SVF::ActualParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#a7f18a3d0eec50fafd505b8d6f8ebca5d',1,'SVF::ActualParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f',1,'SVF::FormalParmVFGNode::classof(const FormalParmVFGNode *)'],['../classSVF_1_1FormalParmVFGNode.html#ae4cac828eec4ac2f55ff9d580c855b34',1,'SVF::FormalParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#ad53fc9b2922c6c0145864bce59991d54',1,'SVF::FormalParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#a691dc39c5ed3f3fa1ea518b5ec802c60',1,'SVF::FormalParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608',1,'SVF::ActualRetVFGNode::classof(const ActualRetVFGNode *)'],['../classSVF_1_1ActualRetVFGNode.html#a086f5a2156e90eee2ffa846954a79bb3',1,'SVF::ActualRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#af3bf2a8f3a9398ec92a3418347af6b1a',1,'SVF::ActualRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#a8aa10464c4295855c22921a6acb4bcda',1,'SVF::ActualRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129',1,'SVF::FormalRetVFGNode::classof(const FormalRetVFGNode)'],['../classSVF_1_1FormalRetVFGNode.html#ab5732a6cea2efbd352d1d8330f366f49',1,'SVF::FormalRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a75f6357396c84bfc08c9b08f95ae6b40',1,'SVF::FormalRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a444f13c4680b3762d0f2a55f98037acb',1,'SVF::FormalRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b',1,'SVF::InterPHIVFGNode::classof(const InterPHIVFGNode *)'],['../classSVF_1_1InterPHIVFGNode.html#a9363508afb598d53d0deaedefdd8a01c',1,'SVF::InterPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#a6e134096deb0f33f8b137d7d16f88ba0',1,'SVF::InterPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#aae63bc1eb14d56d2f82e12eb1829a7a1',1,'SVF::InterPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1NullPtrVFGNode.html#ad3fb6de5ce7d31e881e95bf60528847d',1,'SVF::NullPtrVFGNode::classof(const NullPtrVFGNode *)'],['../classSVF_1_1NullPtrVFGNode.html#a79b84b61e6e2c967fc3c1b8d9dad41c5',1,'SVF::NullPtrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1NullPtrVFGNode.html#abd9d77737434262b5bb801ebf9c8e9a8',1,'SVF::NullPtrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f',1,'SVF::DiffPTData::classof(const DiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1DiffPTData.html#af182fd3695fee155abac8c2f0c402a17',1,'SVF::DiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd',1,'SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1DFPTData.html#abea003e1262f3e03967939e4028694a4',1,'SVF::DFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6',1,'SVF::VersionedPTData::classof(const VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1VersionedPTData.html#a69ceac8acdf820486a45fc4444f78d04',1,'SVF::VersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3',1,'SVF::MutablePTData::classof(const MutablePTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutablePTData.html#a577a7fce1affd462afeb9fefa4bdb4a8',1,'SVF::MutablePTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098',1,'SVF::MutableDiffPTData::classof(const MutableDiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableDiffPTData.html#af27d457e1905876631bcf74e434257ae',1,'SVF::MutableDiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0',1,'SVF::MutableDFPTData::classof(const MutableDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableDFPTData.html#acb338bbe5773001a15b81e596a764222',1,'SVF::MutableDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2',1,'SVF::MutableIncDFPTData::classof(const MutableIncDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableIncDFPTData.html#aa4c262f0d62e902912d4cd7999731d3d',1,'SVF::MutableIncDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf',1,'SVF::MutableVersionedPTData::classof(const MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1MutableVersionedPTData.html#a646111552a7112b8e48c00e766ce8d9b',1,'SVF::MutableVersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f',1,'SVF::PersistentPTData::classof(const PersistentPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentPTData.html#a4e896ec87d07e5b75401de4367d67458',1,'SVF::PersistentPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c',1,'SVF::PersistentDiffPTData::classof(const PersistentDiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentDiffPTData.html#a4f4b1869210228e9d1b4f3900b41bb88',1,'SVF::PersistentDiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968',1,'SVF::PersistentDFPTData::classof(const PersistentDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentDFPTData.html#a575a441ddbe233d34937792b66d2b39c',1,'SVF::PersistentDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb',1,'SVF::PersistentIncDFPTData::classof(const PersistentIncDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentIncDFPTData.html#a47c2fbf8b959aae3166b9757b12880a7',1,'SVF::PersistentIncDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da',1,'SVF::PersistentVersionedPTData::classof(const PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1PersistentVersionedPTData.html#a1f85475cb6690bb1caa003c5a3aec92f',1,'SVF::PersistentVersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74',1,'SVF::BVDataPTAImpl::classof()'],['../classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe',1,'SVF::CondPTAImpl::classof()'],['../classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50',1,'SVF::SVFStmt::classof(const SVFStmt *)'],['../classSVF_1_1SVFStmt.html#a00339663741d9f581d2f3ecae5a3e7e3',1,'SVF::SVFStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7',1,'SVF::AssignStmt::classof(const AssignStmt *)'],['../classSVF_1_1AssignStmt.html#ad5e2d41b8cd548628b59227368388ed0',1,'SVF::AssignStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1AssignStmt.html#a8b2837153dcf9f7e2adc3b30b2dd0245',1,'SVF::AssignStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f',1,'SVF::AddrStmt::classof(const AddrStmt *)'],['../classSVF_1_1AddrStmt.html#aeec83dc4e79ee62c92c75aa778a475ad',1,'SVF::AddrStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1AddrStmt.html#a6876ffc2c97c5ba64155891b55a7884c',1,'SVF::AddrStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyStmt.html#a253c81c922bef6e2d520262c2f7793c4',1,'SVF::CopyStmt::classof(const CopyStmt *)'],['../classSVF_1_1CopyStmt.html#a5e883bb0bc30cf8b7d325b66f7a42848',1,'SVF::CopyStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1CopyStmt.html#a12e960569a9f4beae99195a0fe2d3b68',1,'SVF::CopyStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1StoreStmt.html#ae3c219e8af92e222f55c930009db6e67',1,'SVF::StoreStmt::classof(const StoreStmt *)'],['../classSVF_1_1StoreStmt.html#a31f69e402887eff60e2055799ed561b9',1,'SVF::StoreStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1StoreStmt.html#ab71bf959fce0e702556dd753636298b2',1,'SVF::StoreStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadStmt.html#a03d6f1ee2f52b34d905b204eb53d6560',1,'SVF::LoadStmt::classof(const LoadStmt *)'],['../classSVF_1_1LoadStmt.html#ac252b1e9b7c01108d1aff602fbe1ef40',1,'SVF::LoadStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1LoadStmt.html#ab30f370a8a2a3e63765c1e4843f07826',1,'SVF::LoadStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176',1,'SVF::GepStmt::classof(const GepStmt *)'],['../classSVF_1_1GepStmt.html#a92016e7d6061e4a157c9cd39ad94cc20',1,'SVF::GepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1GepStmt.html#ac47064e21e2afdf7bd85c6acba44367f',1,'SVF::GepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1NormalGepStmt.html#a3826905ca0b4d6a7e58bc2e9418d9773',1,'SVF::NormalGepStmt::classof(const NormalGepStmt *)'],['../classSVF_1_1NormalGepStmt.html#a2609aa1080824b3568856660b11b253e',1,'SVF::NormalGepStmt::classof(const GepStmt *edge)'],['../classSVF_1_1NormalGepStmt.html#a60e0f787049a81bcf2818a5da7664e18',1,'SVF::NormalGepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1NormalGepStmt.html#a0b2bdc521dbd26cce257d469d9d33a82',1,'SVF::NormalGepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1VariantGepStmt.html#a68a168d7000b6185704f61725ffef6af',1,'SVF::VariantGepStmt::classof(const VariantGepStmt *)'],['../classSVF_1_1VariantGepStmt.html#a78379cf0aaefc10dab7485be04891405',1,'SVF::VariantGepStmt::classof(const GepStmt *edge)'],['../classSVF_1_1VariantGepStmt.html#adbb95a6bffb72191772a57e8c1d2d3a3',1,'SVF::VariantGepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1VariantGepStmt.html#a90734f6349eafc43dca830671283c292',1,'SVF::VariantGepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73',1,'SVF::CallPE::classof(const CallPE *)'],['../classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5',1,'SVF::CallPE::classof(const SVFStmt *edge)'],['../classSVF_1_1CallPE.html#a0d89c20d1d3ccee5f3e45a32085117aa',1,'SVF::CallPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21',1,'SVF::RetPE::classof(const RetPE *)'],['../classSVF_1_1RetPE.html#a9cd78a723ed55ed6f334a329576a7471',1,'SVF::RetPE::classof(const SVFStmt *edge)'],['../classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119',1,'SVF::RetPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9',1,'SVF::MultiOpndStmt::classof(const MultiOpndStmt *)'],['../classSVF_1_1MultiOpndStmt.html#a5de8ff8363cb3f0b1427b69aa1058470',1,'SVF::MultiOpndStmt::classof(const SVFStmt *node)'],['../classSVF_1_1MultiOpndStmt.html#ad20128715a7aaf173d60fe8f14575678',1,'SVF::MultiOpndStmt::classof(const GenericPAGEdgeTy *node)'],['../classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9',1,'SVF::PhiStmt::classof(const PhiStmt *)'],['../classSVF_1_1PhiStmt.html#ac214292370d79324f6da8624fe2c7139',1,'SVF::PhiStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1PhiStmt.html#ae547394a731d29b44565d3e56a326354',1,'SVF::PhiStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1PhiStmt.html#a904591799ce401e8d3ee6aa634325ba3',1,'SVF::PhiStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61',1,'SVF::CmpStmt::classof(const CmpStmt *)'],['../classSVF_1_1CmpStmt.html#a16a5fddf61f6a13ee34dde0c4267d0e5',1,'SVF::CmpStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1CmpStmt.html#a679ec89e3fa17a17dcc8fafeb30d3a61',1,'SVF::CmpStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1CmpStmt.html#af9f7fe4aa92bb443cd517f06a8fb94cd',1,'SVF::CmpStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5',1,'SVF::BinaryOPStmt::classof(const BinaryOPStmt *)'],['../classSVF_1_1BinaryOPStmt.html#abc24c2d50b164a637ad0cec371cb7e63',1,'SVF::BinaryOPStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1BinaryOPStmt.html#a7cae2a90a33225c90eb035cf9e663d3d',1,'SVF::BinaryOPStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1BinaryOPStmt.html#ac8831079a5a9c6d50fbd09ff545e7cfd',1,'SVF::BinaryOPStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95',1,'SVF::UnaryOPStmt::classof(const UnaryOPStmt *)'],['../classSVF_1_1UnaryOPStmt.html#a2a4b7e3a4c5be8a253b542f144f830b7',1,'SVF::UnaryOPStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1UnaryOPStmt.html#add29b76e0ef73da2606bac97f74a7896',1,'SVF::UnaryOPStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847',1,'SVF::BranchStmt::classof(const BranchStmt *)'],['../classSVF_1_1BranchStmt.html#a55b867cd85dbbe43e2f7c1bad5dce647',1,'SVF::BranchStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1BranchStmt.html#adf97a239f15b635580cef475980e8d82',1,'SVF::BranchStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d',1,'SVF::TDForkPE::classof(const TDForkPE *)'],['../classSVF_1_1TDForkPE.html#a68f16df5a9b44dd2492c33fb0a1b5f0c',1,'SVF::TDForkPE::classof(const SVFStmt *edge)'],['../classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018',1,'SVF::TDForkPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDJoinPE.html#ace17257476d0ee089a9f9cb8dc63e3f2',1,'SVF::TDJoinPE::classof(const TDJoinPE *)'],['../classSVF_1_1TDJoinPE.html#a18e24262f5be7835bc830ea410acc19d',1,'SVF::TDJoinPE::classof(const SVFStmt *edge)'],['../classSVF_1_1TDJoinPE.html#a22303af690086961b8d2356b345f882b',1,'SVF::TDJoinPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c',1,'SVF::ValVar::classof(const ValVar *)'],['../classSVF_1_1ValVar.html#a71e5f4eaf74f852d3354ac6b0b65f39c',1,'SVF::ValVar::classof(const SVFVar *node)'],['../classSVF_1_1ValVar.html#a371f38564932cc04c6c4a00a99bf6c6a',1,'SVF::ValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b',1,'SVF::ObjVar::classof(const ObjVar *)'],['../classSVF_1_1ObjVar.html#a78ee2be4a346728be947ce29d3820c13',1,'SVF::ObjVar::classof(const SVFVar *node)'],['../classSVF_1_1ObjVar.html#a42b68822afc39d415db8c29079caf9c8',1,'SVF::ObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035',1,'SVF::GepValVar::classof(const GepValVar *)'],['../classSVF_1_1GepValVar.html#aea2c58dc4124157a23c2cc0fe050f158',1,'SVF::GepValVar::classof(const ValVar *node)'],['../classSVF_1_1GepValVar.html#a8f8f8e21cdfcccd7523dc2371c696ad8',1,'SVF::GepValVar::classof(const SVFVar *node)'],['../classSVF_1_1GepValVar.html#a0aab756122dcce24faf556f0b7057dc1',1,'SVF::GepValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe',1,'SVF::GepObjVar::classof(const GepObjVar *)'],['../classSVF_1_1GepObjVar.html#ab6105a2f7bbd9a4e611d96f0bcac0e6c',1,'SVF::GepObjVar::classof(const ObjVar *node)'],['../classSVF_1_1GepObjVar.html#ad7fc6e6ed6fca8641c44b91ab29524bd',1,'SVF::GepObjVar::classof(const SVFVar *node)'],['../classSVF_1_1GepObjVar.html#ac3583a2d4d4ceaf820d23b43a893ac92',1,'SVF::GepObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619',1,'SVF::FIObjVar::classof(const FIObjVar *)'],['../classSVF_1_1FIObjVar.html#a07ed7216777acb05861044542cc2fe66',1,'SVF::FIObjVar::classof(const ObjVar *node)'],['../classSVF_1_1FIObjVar.html#a1f6ba91fe429f55598cef983a2b3a538',1,'SVF::FIObjVar::classof(const SVFVar *node)'],['../classSVF_1_1FIObjVar.html#a73cd80e57f81d34b6295e110e3d43acc',1,'SVF::FIObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1RetPN.html#acedd9e576a077f96c0638065d4c70bcf',1,'SVF::RetPN::classof(const RetPN *)'],['../classSVF_1_1RetPN.html#a5e9d174902aa6dcfae418697363967b9',1,'SVF::RetPN::classof(const SVFVar *node)'],['../classSVF_1_1RetPN.html#a70b218109d2cc7850bbab5a4504784db',1,'SVF::RetPN::classof(const ValVar *node)'],['../classSVF_1_1RetPN.html#a69ee6310b7236bc1230fa63440b0f551',1,'SVF::RetPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c',1,'SVF::VarArgPN::classof(const VarArgPN *)'],['../classSVF_1_1VarArgPN.html#a2adee91065fef72cb8f64924aa83ec0a',1,'SVF::VarArgPN::classof(const SVFVar *node)'],['../classSVF_1_1VarArgPN.html#a3a7f82ff9fe4426ae8d967460995e2cd',1,'SVF::VarArgPN::classof(const ValVar *node)'],['../classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7',1,'SVF::DummyValVar::classof(const DummyValVar *)'],['../classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3',1,'SVF::DummyValVar::classof(const SVFVar *node)'],['../classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f',1,'SVF::DummyValVar::classof(const ValVar *node)'],['../classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442',1,'SVF::DummyValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69',1,'SVF::DummyObjVar::classof(const DummyObjVar *)'],['../classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695',1,'SVF::DummyObjVar::classof(const SVFVar *node)'],['../classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f',1,'SVF::DummyObjVar::classof(const ObjVar *node)'],['../classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849',1,'SVF::DummyObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneDummyObjVar.html#a304eeab4eb7c441e49cfa3be008b11f6',1,'SVF::CloneDummyObjVar::classof(const CloneDummyObjVar *)'],['../classSVF_1_1CloneDummyObjVar.html#a6eb2439f433fe48a338b09a6ab017f7c',1,'SVF::CloneDummyObjVar::classof(const SVFVar *node)'],['../classSVF_1_1CloneDummyObjVar.html#a982180a5ea7595f2d2320799056ff56d',1,'SVF::CloneDummyObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneGepObjVar.html#a5f46eff05b965deeeed531bd9a87b464',1,'SVF::CloneGepObjVar::classof(const CloneGepObjVar *)'],['../classSVF_1_1CloneGepObjVar.html#a2dc4176254a15071a35f8218036cd5bb',1,'SVF::CloneGepObjVar::classof(const SVFVar *node)'],['../classSVF_1_1CloneGepObjVar.html#a705b0eaaa7875c6e059cecd2d77f6968',1,'SVF::CloneGepObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneFIObjVar.html#a96a659f0a876b417ebdf6057db65c870',1,'SVF::CloneFIObjVar::classof(const CloneFIObjVar *)'],['../classSVF_1_1CloneFIObjVar.html#a71c3a2f27967bec62f65bed3d38e2c35',1,'SVF::CloneFIObjVar::classof(const SVFVar *node)'],['../classSVF_1_1CloneFIObjVar.html#a06ddad01d54e2676c7036c2e901235cb',1,'SVF::CloneFIObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5',1,'SVF::LoadMU::classof(const LoadMU *)'],['../classSVF_1_1LoadMU.html#a2b3f73c38c479e05984e01710227e50f',1,'SVF::LoadMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30',1,'SVF::CallMU::classof(const CallMU *)'],['../classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9',1,'SVF::CallMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1RetMU.html#ace8b780beda75de78d08247335e1738a',1,'SVF::RetMU::classof(const RetMU *)'],['../classSVF_1_1RetMU.html#ae6608c348426d99a5d3963ceaca2eb8b',1,'SVF::RetMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d',1,'SVF::MSSACHI::classof(const MSSACHI *chi)'],['../classSVF_1_1MSSACHI.html#a450055eb758896fb2e3e4f67febe7782',1,'SVF::MSSACHI::classof(const MSSADEF *chi)'],['../classSVF_1_1StoreCHI.html#a66a4ea0b8b61d39a552f7da000732263',1,'SVF::StoreCHI::classof(const StoreCHI *chi)'],['../classSVF_1_1StoreCHI.html#a7a01d165b24d05f0a218c2abfaad8422',1,'SVF::StoreCHI::classof(const MSSACHI< Cond > *chi)'],['../classSVF_1_1StoreCHI.html#a4324f81324dd6d6c6ba6d1af32e29985',1,'SVF::StoreCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad',1,'SVF::CallCHI::classof(const CallCHI *chi)'],['../classSVF_1_1CallCHI.html#a039209d842c18ef9d4a86a5a725a775b',1,'SVF::CallCHI::classof(const MSSACHI< Cond > *chi)'],['../classSVF_1_1CallCHI.html#aeea8fd6c5904874604bb0ced9b080c29',1,'SVF::CallCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa',1,'SVF::EntryCHI::classof(const EntryCHI *chi)'],['../classSVF_1_1EntryCHI.html#a55404375929d591f93d09f5a9e896cf6',1,'SVF::EntryCHI::classof(const MSSACHI< Cond > *chi)'],['../classSVF_1_1EntryCHI.html#aa5ed214cd44d8847c7539c7e3de3d276',1,'SVF::EntryCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1MSSAPHI.html#adab25ebd69f699c019118bc1e099d4f9',1,'SVF::MSSAPHI::classof(const MSSAPHI *phi)'],['../classSVF_1_1MSSAPHI.html#a48d3a719b97991be8ba94149a1d30091',1,'SVF::MSSAPHI::classof(const MSSADEF *phi)'],['../classSVF_1_1TCTEdge.html#a38d3af1f146d4e70574874c7ec28f6f3',1,'SVF::TCTEdge::classof(const TCTEdge *)'],['../classSVF_1_1TCTEdge.html#a13088f28a806a095ede56240b9fa87a2',1,'SVF::TCTEdge::classof(const GenericTCTEdgeTy *edge)'],['../classSVF_1_1DCHGraph.html#af9970ff0ef4a8f4c638da9f519d14a21',1,'SVF::DCHGraph::classof()'],['../classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e',1,'SVF::BranchCondExpr::classof(const BranchCondExpr *)'],['../classSVF_1_1BranchCondExpr.html#a410279631ba4a555a6b823be2465b0de',1,'SVF::BranchCondExpr::classof(const CondExpr *cond)'],['../classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5',1,'SVF::SVFValue::classof()'],['../classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0',1,'SVF::AndersenBase::classof(const AndersenBase *)'],['../classSVF_1_1AndersenBase.html#a0167fa7b59571c07b2cbec08905f6629',1,'SVF::AndersenBase::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5',1,'SVF::Andersen::classof(const Andersen *)'],['../classSVF_1_1Andersen.html#a60214d7c6c9aac8e498644b048660ab9',1,'SVF::Andersen::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958',1,'SVF::FlowSensitive::classof(const FlowSensitive *)'],['../classSVF_1_1FlowSensitive.html#a12dea7b6057daddcc5c0d975aebf3f11',1,'SVF::FlowSensitive::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910',1,'SVF::FlowSensitiveTBHC::classof(const FlowSensitiveTBHC *)'],['../classSVF_1_1FlowSensitiveTBHC.html#a0b213f9c4011642309c550503802dad5',1,'SVF::FlowSensitiveTBHC::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Steensgaard.html#a7e7493bd144746edb4fbe1292e8ba55f',1,'SVF::Steensgaard::classof(const Steensgaard *)'],['../classSVF_1_1Steensgaard.html#acfd677c395809baea0a32f59646beb0f',1,'SVF::Steensgaard::classof(const AndersenBase *pta)'],['../classSVF_1_1Steensgaard.html#a69daef869bfaaf0dfa2dccaf575dd9a0',1,'SVF::Steensgaard::classof(const PointerAnalysis *pta)'],['../classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3',1,'SVF::TypeAnalysis::classof(const TypeAnalysis *)'],['../classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f',1,'SVF::TypeAnalysis::classof(const PointerAnalysis *pta)'],['../classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8',1,'SVF::VersionedFlowSensitive::classof(const VersionedFlowSensitive *)'],['../classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6',1,'SVF::VersionedFlowSensitive::classof(const PointerAnalysis *pta)']]],
179
+ ['classof',['classof',['../classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6',1,'SVF::CHGraph::classof()'],['../classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3',1,'SVF::ConstraintEdge::classof()'],['../classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965',1,'SVF::AddrCGEdge::classof(const AddrCGEdge *)'],['../classSVF_1_1AddrCGEdge.html#ac635af9bdde40ea73c267998b9e4b6c4',1,'SVF::AddrCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1AddrCGEdge.html#a1eeac9d23b4c3c789697c992e9ef8dbd',1,'SVF::AddrCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434',1,'SVF::CopyCGEdge::classof(const CopyCGEdge *)'],['../classSVF_1_1CopyCGEdge.html#a7bd7d0f76d235db2f7d8a846da5bd20d',1,'SVF::CopyCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1CopyCGEdge.html#aee721f02965d46fcd1f8acc4a98df108',1,'SVF::CopyCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1StoreCGEdge.html#a7fdb88d66ee7489f2e2de5e91ed5f25b',1,'SVF::StoreCGEdge::classof(const StoreCGEdge *)'],['../classSVF_1_1StoreCGEdge.html#a2cc6943983c51fac45e312741404e8e9',1,'SVF::StoreCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1StoreCGEdge.html#a1d7f40c84a7601620784dfafec6112b6',1,'SVF::StoreCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1LoadCGEdge.html#a1e4ddf7950685fa18fc0bb8669cc1961',1,'SVF::LoadCGEdge::classof(const LoadCGEdge *)'],['../classSVF_1_1LoadCGEdge.html#ab7d9fa1d9ed23f3f7579ba26dad46032',1,'SVF::LoadCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1LoadCGEdge.html#aa1b47bbe3ac2de21a5dc7a72bb486953',1,'SVF::LoadCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6',1,'SVF::GepCGEdge::classof(const GepCGEdge *)'],['../classSVF_1_1GepCGEdge.html#a13ca016474348064693416fcd183d4ab',1,'SVF::GepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1GepCGEdge.html#aeceef279a35e9a92ecaff32372f0c112',1,'SVF::GepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092',1,'SVF::NormalGepCGEdge::classof(const NormalGepCGEdge *)'],['../classSVF_1_1NormalGepCGEdge.html#abaa71e2b1e7f9a6d7920a89eb397dccc',1,'SVF::NormalGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#ac6c37d7442a4b48cdce8b2eef67ee87d',1,'SVF::NormalGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a025e8e6526f339c12e357958138be903',1,'SVF::NormalGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd',1,'SVF::VariantGepCGEdge::classof(const VariantGepCGEdge *)'],['../classSVF_1_1VariantGepCGEdge.html#ae83d829f94cb886ddf36cddb75fb17df',1,'SVF::VariantGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a0342be6f165cbabc58e1dba75e6a0b79',1,'SVF::VariantGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#aba0cc74af291252bc8911c81832bef68',1,'SVF::VariantGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c',1,'SVF::IntraCFGEdge::classof(const IntraCFGEdge *)'],['../classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb',1,'SVF::IntraCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f',1,'SVF::IntraCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff',1,'SVF::CallCFGEdge::classof(const CallCFGEdge *)'],['../classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678',1,'SVF::CallCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2',1,'SVF::CallCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a',1,'SVF::RetCFGEdge::classof(const RetCFGEdge *)'],['../classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe',1,'SVF::RetCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef',1,'SVF::RetCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1GlobalICFGNode.html#a06d0940d1b923991144c827e145a028e',1,'SVF::GlobalICFGNode::classof(const GlobalICFGNode *)'],['../classSVF_1_1GlobalICFGNode.html#a982efb288d9b6ec41cd64be562e4be6d',1,'SVF::GlobalICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1GlobalICFGNode.html#af6b336561b3924b438d0e4d7c5fd34e3',1,'SVF::GlobalICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1IntraICFGNode.html#a295649753e583729a9f3bfd9e8a1e87f',1,'SVF::IntraICFGNode::classof(const IntraICFGNode *)'],['../classSVF_1_1IntraICFGNode.html#a9ce3f760813e3108dda53ff3f558a23d',1,'SVF::IntraICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1IntraICFGNode.html#a00e015884ec85772b161cc7b4a5bfbd8',1,'SVF::IntraICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1InterICFGNode.html#a67ef8b6f4d8961c54145df0ce8a5c843',1,'SVF::InterICFGNode::classof(const InterICFGNode *)'],['../classSVF_1_1InterICFGNode.html#adfe73a4bcd2a3074bef97661a787bfa3',1,'SVF::InterICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1InterICFGNode.html#a6b43bc8bf2bd2cd78e6cd5064cf7c470',1,'SVF::InterICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunEntryICFGNode.html#ad7f8c8f10b067b6766d7c7974f2b751c',1,'SVF::FunEntryICFGNode::classof(const FunEntryICFGNode *)'],['../classSVF_1_1FunEntryICFGNode.html#a1964b1b95d37b8b250a4779c7d4214b4',1,'SVF::FunEntryICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1FunEntryICFGNode.html#a3f0f02c9fb1ab2406ed970f0e0e7942e',1,'SVF::FunEntryICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunEntryICFGNode.html#a5225463cf5c8601d919ab810bc3276ef',1,'SVF::FunEntryICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunExitICFGNode.html#ab81f7f50638b8ce85f83ca3b7b566213',1,'SVF::FunExitICFGNode::classof(const FunEntryICFGNode *)'],['../classSVF_1_1FunExitICFGNode.html#acace98ae1961dcd498678694b7ba4699',1,'SVF::FunExitICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunExitICFGNode.html#a9731fdd29f15eab3a900eb72d3447e13',1,'SVF::FunExitICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1FunExitICFGNode.html#ab980476a746eecd8d1018e43b40db635',1,'SVF::FunExitICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9',1,'SVF::CallICFGNode::classof(const CallICFGNode *)'],['../classSVF_1_1CallICFGNode.html#ad064bfbbc08c297d66071ff7a9c0c991',1,'SVF::CallICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1CallICFGNode.html#a678d5ffc5c2bc44f82f8bd6d97daefc6',1,'SVF::CallICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1CallICFGNode.html#a406c851efb93f7b838f3246deb2610ec',1,'SVF::CallICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1RetICFGNode.html#a495a6ff3a561fac9a5157308c68a5ea8',1,'SVF::RetICFGNode::classof(const RetICFGNode *)'],['../classSVF_1_1RetICFGNode.html#abc490a79a39229d10010816bbd105326',1,'SVF::RetICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1RetICFGNode.html#a5ce46692509e51b32afb060cce5701dd',1,'SVF::RetICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1RetICFGNode.html#a9a1d69cec6f240971767eee3c1c6ac41',1,'SVF::RetICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21',1,'SVF::PTACallGraphEdge::classof(const PTACallGraphEdge *)'],['../classSVF_1_1PTACallGraphEdge.html#afb092fc0502837b52ebcaa3c0dedb736',1,'SVF::PTACallGraphEdge::classof(const GenericCallGraphEdgeTy *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a65d58ce28f0bec8ba20191257a80221f',1,'SVF::IndirectSVFGEdge::classof(const IndirectSVFGEdge *)'],['../classSVF_1_1IndirectSVFGEdge.html#ad1635bdd79cae91c5a58b5e540f19df1',1,'SVF::IndirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a62352957241f7ac5faba6b502d0ed0f1',1,'SVF::IndirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402',1,'SVF::IntraIndSVFGEdge::classof(const IntraIndSVFGEdge *)'],['../classSVF_1_1IntraIndSVFGEdge.html#ac749c96247b6070479ccd597266c1d84',1,'SVF::IntraIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ad123c668b35ad004f3897565ac69c054',1,'SVF::IntraIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#a54de415e46849515629ace05fe2afed4',1,'SVF::IntraIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd',1,'SVF::CallIndSVFGEdge::classof(const CallIndSVFGEdge *)'],['../classSVF_1_1CallIndSVFGEdge.html#ad6a01c5fc68ce5777a801aa7668b47e9',1,'SVF::CallIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a54c3c37723424cb98ac6d01e9ed25c39',1,'SVF::CallIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#ad50e4be3af1da84aa8a58b56faba36df',1,'SVF::CallIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a436d46d2a475a291ecc56cc2f26b910f',1,'SVF::RetIndSVFGEdge::classof(const RetIndSVFGEdge *)'],['../classSVF_1_1RetIndSVFGEdge.html#ae3cedf9206a460394f761c8b785fb1f8',1,'SVF::RetIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a4b9b7308ea5e74ff175f6b1fedc873e2',1,'SVF::RetIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a0c7696c378afe92f8cf1612564ab98c3',1,'SVF::RetIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc',1,'SVF::ThreadMHPIndSVFGEdge::classof(const ThreadMHPIndSVFGEdge *)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a0db2e69a5182d1c30b44e87711558bd9',1,'SVF::ThreadMHPIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a564a1648b45d3563d69401a7f8e31906',1,'SVF::ThreadMHPIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#acb948e40582b6cc8b4360f2205b5c926',1,'SVF::ThreadMHPIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84',1,'SVF::MRSVFGNode::classof(const MRSVFGNode *)'],['../classSVF_1_1MRSVFGNode.html#a9b843265a6f95eea56a5a62eede8893c',1,'SVF::MRSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MRSVFGNode.html#a5f14facdcee7fec54c45b5956af553be',1,'SVF::MRSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310',1,'SVF::FormalINSVFGNode::classof(const FormalINSVFGNode *)'],['../classSVF_1_1FormalINSVFGNode.html#a93393ca0fb82c738b9357e93572b026a',1,'SVF::FormalINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalINSVFGNode.html#a637ece0b4dcb990d3a3a5d5bbee4ef8d',1,'SVF::FormalINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639',1,'SVF::FormalOUTSVFGNode::classof(const FormalOUTSVFGNode *)'],['../classSVF_1_1FormalOUTSVFGNode.html#a48fc0991af02d9e0b8700cf96a8ca35c',1,'SVF::FormalOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#a3b1387416f3ca61eed5581c9112cfcde',1,'SVF::FormalOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b',1,'SVF::ActualINSVFGNode::classof(const ActualINSVFGNode *)'],['../classSVF_1_1ActualINSVFGNode.html#aae28a748413002046d02a4003229fc88',1,'SVF::ActualINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualINSVFGNode.html#a476ef9fb19b3da1149945f9fe27cd9f1',1,'SVF::ActualINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3',1,'SVF::ActualOUTSVFGNode::classof(const ActualOUTSVFGNode *)'],['../classSVF_1_1ActualOUTSVFGNode.html#a12cb923163baad086ca7a6365c74cc6b',1,'SVF::ActualOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a06dfaac3d2a41fa297a7707fc1240f8f',1,'SVF::ActualOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ac55ddd2788fff5bcff8afc5c0b49ad2d',1,'SVF::MSSAPHISVFGNode::classof(const MSSAPHISVFGNode *)'],['../classSVF_1_1MSSAPHISVFGNode.html#a44089a90d2c8bdb7ea8d8f2904c9d768',1,'SVF::MSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#abcb8ba7fc0574b75aa3582f35cdb47f5',1,'SVF::MSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ab91626e88e8c28553c44b5939cfd65b3',1,'SVF::MSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc',1,'SVF::IntraMSSAPHISVFGNode::classof(const IntraMSSAPHISVFGNode *)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ada532ff4ffbd7592ae1b89b1e234ba21',1,'SVF::IntraMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a1382366ed10250d8f9a21c1f28bcad1c',1,'SVF::IntraMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a4d0c0866ed958cdbb5fd9310696f24ba',1,'SVF::IntraMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a885dabe57bcf57d10dbdb40fd658b075',1,'SVF::IntraMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f',1,'SVF::InterMSSAPHISVFGNode::classof(const InterMSSAPHISVFGNode *)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a084a26ee34913e89b8b28fac43cda5f2',1,'SVF::InterMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a14866d7c95c5d3d8215ffec2172d208b',1,'SVF::InterMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a7674d5c0f395624085f0764dba78cb93',1,'SVF::InterMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#ac1b291caedbd584d0e37702b682fa440',1,'SVF::InterMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e',1,'SVF::DummyVersionPropSVFGNode::classof(const DummyVersionPropSVFGNode *)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a684f1f5c9f9f5059127d3024cc5d71e9',1,'SVF::DummyVersionPropSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#aa1ac53d368232b002cdd8f8a91f284da',1,'SVF::DummyVersionPropSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d',1,'SVF::ThreadForkEdge::classof(const ThreadForkEdge *)'],['../classSVF_1_1ThreadForkEdge.html#ae40d52a9080627661aad198adf5f411a',1,'SVF::ThreadForkEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37',1,'SVF::ThreadJoinEdge::classof(const ThreadJoinEdge *)'],['../classSVF_1_1ThreadJoinEdge.html#ae4095b55b035bbf42d0a75afada4244d',1,'SVF::ThreadJoinEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1HareParForEdge.html#ab1dba5dff1e71bce578dc7b0009ba518',1,'SVF::HareParForEdge::classof(const HareParForEdge *)'],['../classSVF_1_1HareParForEdge.html#af9cc260c4a767f9ebd4a454dff4f88be',1,'SVF::HareParForEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89',1,'SVF::ThreadCallGraph::classof(const ThreadCallGraph *)'],['../classSVF_1_1ThreadCallGraph.html#a5d991e4511fc909dc170a4b03e71d77e',1,'SVF::ThreadCallGraph::classof(const PTACallGraph *g)'],['../classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf',1,'SVF::DirectSVFGEdge::classof(const DirectSVFGEdge *)'],['../classSVF_1_1DirectSVFGEdge.html#ade837b89b661ab92b4f852c4a1d07e91',1,'SVF::DirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1DirectSVFGEdge.html#a6e8eba3ca95255ce6d370f70ef1af723',1,'SVF::DirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe',1,'SVF::IntraDirSVFGEdge::classof(const IntraDirSVFGEdge *)'],['../classSVF_1_1IntraDirSVFGEdge.html#a05f6b2a386ffdc58f89fc9f650a03ce0',1,'SVF::IntraDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a6a6a756f3f4d3b8bb162014ad8a013d6',1,'SVF::IntraDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a83ecbb860bb65c348716a7b6eb0eb6e4',1,'SVF::IntraDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352',1,'SVF::CallDirSVFGEdge::classof(const CallDirSVFGEdge *)'],['../classSVF_1_1CallDirSVFGEdge.html#a9af19b582b2fc0ad587c186bbe1ae3c5',1,'SVF::CallDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#afc2b7f68c04cb9d0140576c8bb4e3527',1,'SVF::CallDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#ac4459c3e162af07af327a95b63ad24ba',1,'SVF::CallDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb',1,'SVF::RetDirSVFGEdge::classof(const RetDirSVFGEdge *)'],['../classSVF_1_1RetDirSVFGEdge.html#ad794858b1424836850d55e66376de2c3',1,'SVF::RetDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a072bfed40d4fc766f107da70428f4872',1,'SVF::RetDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a00d19ac1f96d9d66597d717eea58aeae',1,'SVF::RetDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1StmtVFGNode.html#ade2eb6475fdc3d2fa107c9adf508b72a',1,'SVF::StmtVFGNode::classof(const StmtVFGNode *)'],['../classSVF_1_1StmtVFGNode.html#a07b6320e6b57de790737585ad7e0dfc9',1,'SVF::StmtVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StmtVFGNode.html#a52b07152246113f9b55a9bcacf92e1b4',1,'SVF::StmtVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627',1,'SVF::LoadVFGNode::classof(const LoadVFGNode *)'],['../classSVF_1_1LoadVFGNode.html#a6809c239925254fdf505bd907ce8a773',1,'SVF::LoadVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a9bbb5bb491000f973ab2e2d391105eef',1,'SVF::LoadVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a649006bd37ea9a4e0add926acf6711e7',1,'SVF::LoadVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1StoreVFGNode.html#a61b6a4c05576d942024cc002905d5831',1,'SVF::StoreVFGNode::classof(const StoreVFGNode *)'],['../classSVF_1_1StoreVFGNode.html#acc772ccaec8d50c6c794ddf6433cc8da',1,'SVF::StoreVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a557a5eadd147cae44223a9a9b9f22a0a',1,'SVF::StoreVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a41e8b1729da33dd6572288cab334c0eb',1,'SVF::StoreVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CopyVFGNode.html#adefcc30434a12173cfbdb05145ff2959',1,'SVF::CopyVFGNode::classof(const CopyVFGNode *)'],['../classSVF_1_1CopyVFGNode.html#af2a5123c24452b533b8cf3c737abfa61',1,'SVF::CopyVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#ae9c59423e3f5b86eecd07e4d7f6297eb',1,'SVF::CopyVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#a53e14acb8134334f2f8444235ba3dae9',1,'SVF::CopyVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7',1,'SVF::CmpVFGNode::classof(const CmpVFGNode *)'],['../classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713',1,'SVF::CmpVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CmpVFGNode.html#add2c095c6ae13c5d7a72f4551c2490a2',1,'SVF::CmpVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17',1,'SVF::BinaryOPVFGNode::classof(const BinaryOPVFGNode *)'],['../classSVF_1_1BinaryOPVFGNode.html#aea93da7b12eec71280459e1c4a41306f',1,'SVF::BinaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a9da4b2fca555fbb6a1867e9bc4749046',1,'SVF::BinaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8',1,'SVF::UnaryOPVFGNode::classof(const UnaryOPVFGNode *)'],['../classSVF_1_1UnaryOPVFGNode.html#a11ff85d796e547f0258ec30cf23b7310',1,'SVF::UnaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a1aec02a86416e9baf8819086bbb53080',1,'SVF::UnaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181',1,'SVF::BranchVFGNode::classof(const BranchVFGNode *)'],['../classSVF_1_1BranchVFGNode.html#aa578e56a2a4d145ba63628367786b9f0',1,'SVF::BranchVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BranchVFGNode.html#a5cf9cbe215078178e12e06d859483336',1,'SVF::BranchVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241',1,'SVF::GepVFGNode::classof(const GepVFGNode *)'],['../classSVF_1_1GepVFGNode.html#aae7c25ec33e4531778be58c28a0575c4',1,'SVF::GepVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1GepVFGNode.html#aa668a8000407a07937a5f4e4a6bfe31a',1,'SVF::GepVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1GepVFGNode.html#a70e2627cc05920864a97d054b2631985',1,'SVF::GepVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa',1,'SVF::PHIVFGNode::classof(const PHIVFGNode *)'],['../classSVF_1_1PHIVFGNode.html#a4699fc06762e2d2573bbe3c0fd903da4',1,'SVF::PHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1PHIVFGNode.html#a1c5073aade64acbac65e8a8add61e231',1,'SVF::PHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e',1,'SVF::IntraPHIVFGNode::classof(const IntraPHIVFGNode *)'],['../classSVF_1_1IntraPHIVFGNode.html#ae8c46b54a0a19b9516829b8ea897b946',1,'SVF::IntraPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a379b6f3452bdc6b5a3913fc7680ef70e',1,'SVF::IntraPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a7b8058dbbb9fc70db5f0de179e7e0196',1,'SVF::IntraPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177',1,'SVF::AddrVFGNode::classof(const AddrVFGNode *)'],['../classSVF_1_1AddrVFGNode.html#a5510202381d0eb7af55353f8cc3be0d0',1,'SVF::AddrVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#a24dde3e1cf8a66736233cd0a8dc91b82',1,'SVF::AddrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#af5ff980dea82f57e146e01d04882abbb',1,'SVF::AddrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2',1,'SVF::ArgumentVFGNode::classof(const ArgumentVFGNode *)'],['../classSVF_1_1ArgumentVFGNode.html#aef245c92b68e42d5a74bcc98fc026ac2',1,'SVF::ArgumentVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ArgumentVFGNode.html#a7a81455d628934b84ce30a055a774673',1,'SVF::ArgumentVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502',1,'SVF::ActualParmVFGNode::classof(const ActualParmVFGNode *)'],['../classSVF_1_1ActualParmVFGNode.html#abe1fd545e784375dc8da98db6b5869f8',1,'SVF::ActualParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#acd3b55d18cb1227f7631df8e4912fdb3',1,'SVF::ActualParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#a7f18a3d0eec50fafd505b8d6f8ebca5d',1,'SVF::ActualParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f',1,'SVF::FormalParmVFGNode::classof(const FormalParmVFGNode *)'],['../classSVF_1_1FormalParmVFGNode.html#ae4cac828eec4ac2f55ff9d580c855b34',1,'SVF::FormalParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#ad53fc9b2922c6c0145864bce59991d54',1,'SVF::FormalParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#a691dc39c5ed3f3fa1ea518b5ec802c60',1,'SVF::FormalParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608',1,'SVF::ActualRetVFGNode::classof(const ActualRetVFGNode *)'],['../classSVF_1_1ActualRetVFGNode.html#a086f5a2156e90eee2ffa846954a79bb3',1,'SVF::ActualRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#af3bf2a8f3a9398ec92a3418347af6b1a',1,'SVF::ActualRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#a8aa10464c4295855c22921a6acb4bcda',1,'SVF::ActualRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129',1,'SVF::FormalRetVFGNode::classof(const FormalRetVFGNode)'],['../classSVF_1_1FormalRetVFGNode.html#ab5732a6cea2efbd352d1d8330f366f49',1,'SVF::FormalRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a75f6357396c84bfc08c9b08f95ae6b40',1,'SVF::FormalRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a444f13c4680b3762d0f2a55f98037acb',1,'SVF::FormalRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b',1,'SVF::InterPHIVFGNode::classof(const InterPHIVFGNode *)'],['../classSVF_1_1InterPHIVFGNode.html#a9363508afb598d53d0deaedefdd8a01c',1,'SVF::InterPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#a6e134096deb0f33f8b137d7d16f88ba0',1,'SVF::InterPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#aae63bc1eb14d56d2f82e12eb1829a7a1',1,'SVF::InterPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1NullPtrVFGNode.html#ad3fb6de5ce7d31e881e95bf60528847d',1,'SVF::NullPtrVFGNode::classof(const NullPtrVFGNode *)'],['../classSVF_1_1NullPtrVFGNode.html#a79b84b61e6e2c967fc3c1b8d9dad41c5',1,'SVF::NullPtrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1NullPtrVFGNode.html#abd9d77737434262b5bb801ebf9c8e9a8',1,'SVF::NullPtrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f',1,'SVF::DiffPTData::classof(const DiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1DiffPTData.html#af182fd3695fee155abac8c2f0c402a17',1,'SVF::DiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd',1,'SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1DFPTData.html#abea003e1262f3e03967939e4028694a4',1,'SVF::DFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6',1,'SVF::VersionedPTData::classof(const VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1VersionedPTData.html#a69ceac8acdf820486a45fc4444f78d04',1,'SVF::VersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3',1,'SVF::MutablePTData::classof(const MutablePTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutablePTData.html#a577a7fce1affd462afeb9fefa4bdb4a8',1,'SVF::MutablePTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098',1,'SVF::MutableDiffPTData::classof(const MutableDiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableDiffPTData.html#af27d457e1905876631bcf74e434257ae',1,'SVF::MutableDiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0',1,'SVF::MutableDFPTData::classof(const MutableDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableDFPTData.html#acb338bbe5773001a15b81e596a764222',1,'SVF::MutableDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2',1,'SVF::MutableIncDFPTData::classof(const MutableIncDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableIncDFPTData.html#aa4c262f0d62e902912d4cd7999731d3d',1,'SVF::MutableIncDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf',1,'SVF::MutableVersionedPTData::classof(const MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1MutableVersionedPTData.html#a646111552a7112b8e48c00e766ce8d9b',1,'SVF::MutableVersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f',1,'SVF::PersistentPTData::classof(const PersistentPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentPTData.html#a4e896ec87d07e5b75401de4367d67458',1,'SVF::PersistentPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c',1,'SVF::PersistentDiffPTData::classof(const PersistentDiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentDiffPTData.html#a4f4b1869210228e9d1b4f3900b41bb88',1,'SVF::PersistentDiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968',1,'SVF::PersistentDFPTData::classof(const PersistentDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentDFPTData.html#a575a441ddbe233d34937792b66d2b39c',1,'SVF::PersistentDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb',1,'SVF::PersistentIncDFPTData::classof(const PersistentIncDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentIncDFPTData.html#a47c2fbf8b959aae3166b9757b12880a7',1,'SVF::PersistentIncDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da',1,'SVF::PersistentVersionedPTData::classof(const PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1PersistentVersionedPTData.html#a1f85475cb6690bb1caa003c5a3aec92f',1,'SVF::PersistentVersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74',1,'SVF::BVDataPTAImpl::classof()'],['../classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe',1,'SVF::CondPTAImpl::classof()'],['../classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50',1,'SVF::SVFStmt::classof(const SVFStmt *)'],['../classSVF_1_1SVFStmt.html#a00339663741d9f581d2f3ecae5a3e7e3',1,'SVF::SVFStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7',1,'SVF::AssignStmt::classof(const AssignStmt *)'],['../classSVF_1_1AssignStmt.html#ad5e2d41b8cd548628b59227368388ed0',1,'SVF::AssignStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1AssignStmt.html#a8b2837153dcf9f7e2adc3b30b2dd0245',1,'SVF::AssignStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f',1,'SVF::AddrStmt::classof(const AddrStmt *)'],['../classSVF_1_1AddrStmt.html#aeec83dc4e79ee62c92c75aa778a475ad',1,'SVF::AddrStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1AddrStmt.html#a6876ffc2c97c5ba64155891b55a7884c',1,'SVF::AddrStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyStmt.html#a253c81c922bef6e2d520262c2f7793c4',1,'SVF::CopyStmt::classof(const CopyStmt *)'],['../classSVF_1_1CopyStmt.html#a5e883bb0bc30cf8b7d325b66f7a42848',1,'SVF::CopyStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1CopyStmt.html#a12e960569a9f4beae99195a0fe2d3b68',1,'SVF::CopyStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1StoreStmt.html#ae3c219e8af92e222f55c930009db6e67',1,'SVF::StoreStmt::classof(const StoreStmt *)'],['../classSVF_1_1StoreStmt.html#a31f69e402887eff60e2055799ed561b9',1,'SVF::StoreStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1StoreStmt.html#ab71bf959fce0e702556dd753636298b2',1,'SVF::StoreStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadStmt.html#a03d6f1ee2f52b34d905b204eb53d6560',1,'SVF::LoadStmt::classof(const LoadStmt *)'],['../classSVF_1_1LoadStmt.html#ac252b1e9b7c01108d1aff602fbe1ef40',1,'SVF::LoadStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1LoadStmt.html#ab30f370a8a2a3e63765c1e4843f07826',1,'SVF::LoadStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176',1,'SVF::GepStmt::classof(const GepStmt *)'],['../classSVF_1_1GepStmt.html#a92016e7d6061e4a157c9cd39ad94cc20',1,'SVF::GepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1GepStmt.html#ac47064e21e2afdf7bd85c6acba44367f',1,'SVF::GepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1NormalGepStmt.html#a3826905ca0b4d6a7e58bc2e9418d9773',1,'SVF::NormalGepStmt::classof(const NormalGepStmt *)'],['../classSVF_1_1NormalGepStmt.html#a2609aa1080824b3568856660b11b253e',1,'SVF::NormalGepStmt::classof(const GepStmt *edge)'],['../classSVF_1_1NormalGepStmt.html#a60e0f787049a81bcf2818a5da7664e18',1,'SVF::NormalGepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1NormalGepStmt.html#a0b2bdc521dbd26cce257d469d9d33a82',1,'SVF::NormalGepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1VariantGepStmt.html#a68a168d7000b6185704f61725ffef6af',1,'SVF::VariantGepStmt::classof(const VariantGepStmt *)'],['../classSVF_1_1VariantGepStmt.html#a78379cf0aaefc10dab7485be04891405',1,'SVF::VariantGepStmt::classof(const GepStmt *edge)'],['../classSVF_1_1VariantGepStmt.html#adbb95a6bffb72191772a57e8c1d2d3a3',1,'SVF::VariantGepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1VariantGepStmt.html#a90734f6349eafc43dca830671283c292',1,'SVF::VariantGepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73',1,'SVF::CallPE::classof(const CallPE *)'],['../classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5',1,'SVF::CallPE::classof(const SVFStmt *edge)'],['../classSVF_1_1CallPE.html#a0d89c20d1d3ccee5f3e45a32085117aa',1,'SVF::CallPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21',1,'SVF::RetPE::classof(const RetPE *)'],['../classSVF_1_1RetPE.html#a9cd78a723ed55ed6f334a329576a7471',1,'SVF::RetPE::classof(const SVFStmt *edge)'],['../classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119',1,'SVF::RetPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9',1,'SVF::MultiOpndStmt::classof(const MultiOpndStmt *)'],['../classSVF_1_1MultiOpndStmt.html#a5de8ff8363cb3f0b1427b69aa1058470',1,'SVF::MultiOpndStmt::classof(const SVFStmt *node)'],['../classSVF_1_1MultiOpndStmt.html#ad20128715a7aaf173d60fe8f14575678',1,'SVF::MultiOpndStmt::classof(const GenericPAGEdgeTy *node)'],['../classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9',1,'SVF::PhiStmt::classof(const PhiStmt *)'],['../classSVF_1_1PhiStmt.html#ac214292370d79324f6da8624fe2c7139',1,'SVF::PhiStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1PhiStmt.html#ae547394a731d29b44565d3e56a326354',1,'SVF::PhiStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1PhiStmt.html#a904591799ce401e8d3ee6aa634325ba3',1,'SVF::PhiStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61',1,'SVF::CmpStmt::classof(const CmpStmt *)'],['../classSVF_1_1CmpStmt.html#a16a5fddf61f6a13ee34dde0c4267d0e5',1,'SVF::CmpStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1CmpStmt.html#a679ec89e3fa17a17dcc8fafeb30d3a61',1,'SVF::CmpStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1CmpStmt.html#af9f7fe4aa92bb443cd517f06a8fb94cd',1,'SVF::CmpStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5',1,'SVF::BinaryOPStmt::classof(const BinaryOPStmt *)'],['../classSVF_1_1BinaryOPStmt.html#abc24c2d50b164a637ad0cec371cb7e63',1,'SVF::BinaryOPStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1BinaryOPStmt.html#a7cae2a90a33225c90eb035cf9e663d3d',1,'SVF::BinaryOPStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1BinaryOPStmt.html#ac8831079a5a9c6d50fbd09ff545e7cfd',1,'SVF::BinaryOPStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95',1,'SVF::UnaryOPStmt::classof(const UnaryOPStmt *)'],['../classSVF_1_1UnaryOPStmt.html#a2a4b7e3a4c5be8a253b542f144f830b7',1,'SVF::UnaryOPStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1UnaryOPStmt.html#add29b76e0ef73da2606bac97f74a7896',1,'SVF::UnaryOPStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847',1,'SVF::BranchStmt::classof(const BranchStmt *)'],['../classSVF_1_1BranchStmt.html#a55b867cd85dbbe43e2f7c1bad5dce647',1,'SVF::BranchStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1BranchStmt.html#adf97a239f15b635580cef475980e8d82',1,'SVF::BranchStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d',1,'SVF::TDForkPE::classof(const TDForkPE *)'],['../classSVF_1_1TDForkPE.html#a68f16df5a9b44dd2492c33fb0a1b5f0c',1,'SVF::TDForkPE::classof(const SVFStmt *edge)'],['../classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018',1,'SVF::TDForkPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDJoinPE.html#ace17257476d0ee089a9f9cb8dc63e3f2',1,'SVF::TDJoinPE::classof(const TDJoinPE *)'],['../classSVF_1_1TDJoinPE.html#a18e24262f5be7835bc830ea410acc19d',1,'SVF::TDJoinPE::classof(const SVFStmt *edge)'],['../classSVF_1_1TDJoinPE.html#a22303af690086961b8d2356b345f882b',1,'SVF::TDJoinPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c',1,'SVF::ValVar::classof(const ValVar *)'],['../classSVF_1_1ValVar.html#a71e5f4eaf74f852d3354ac6b0b65f39c',1,'SVF::ValVar::classof(const SVFVar *node)'],['../classSVF_1_1ValVar.html#a371f38564932cc04c6c4a00a99bf6c6a',1,'SVF::ValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b',1,'SVF::ObjVar::classof(const ObjVar *)'],['../classSVF_1_1ObjVar.html#a78ee2be4a346728be947ce29d3820c13',1,'SVF::ObjVar::classof(const SVFVar *node)'],['../classSVF_1_1ObjVar.html#a42b68822afc39d415db8c29079caf9c8',1,'SVF::ObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035',1,'SVF::GepValVar::classof(const GepValVar *)'],['../classSVF_1_1GepValVar.html#aea2c58dc4124157a23c2cc0fe050f158',1,'SVF::GepValVar::classof(const ValVar *node)'],['../classSVF_1_1GepValVar.html#a8f8f8e21cdfcccd7523dc2371c696ad8',1,'SVF::GepValVar::classof(const SVFVar *node)'],['../classSVF_1_1GepValVar.html#a0aab756122dcce24faf556f0b7057dc1',1,'SVF::GepValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe',1,'SVF::GepObjVar::classof(const GepObjVar *)'],['../classSVF_1_1GepObjVar.html#ab6105a2f7bbd9a4e611d96f0bcac0e6c',1,'SVF::GepObjVar::classof(const ObjVar *node)'],['../classSVF_1_1GepObjVar.html#ad7fc6e6ed6fca8641c44b91ab29524bd',1,'SVF::GepObjVar::classof(const SVFVar *node)'],['../classSVF_1_1GepObjVar.html#ac3583a2d4d4ceaf820d23b43a893ac92',1,'SVF::GepObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619',1,'SVF::FIObjVar::classof(const FIObjVar *)'],['../classSVF_1_1FIObjVar.html#a07ed7216777acb05861044542cc2fe66',1,'SVF::FIObjVar::classof(const ObjVar *node)'],['../classSVF_1_1FIObjVar.html#a1f6ba91fe429f55598cef983a2b3a538',1,'SVF::FIObjVar::classof(const SVFVar *node)'],['../classSVF_1_1FIObjVar.html#a73cd80e57f81d34b6295e110e3d43acc',1,'SVF::FIObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1RetPN.html#acedd9e576a077f96c0638065d4c70bcf',1,'SVF::RetPN::classof(const RetPN *)'],['../classSVF_1_1RetPN.html#a5e9d174902aa6dcfae418697363967b9',1,'SVF::RetPN::classof(const SVFVar *node)'],['../classSVF_1_1RetPN.html#a70b218109d2cc7850bbab5a4504784db',1,'SVF::RetPN::classof(const ValVar *node)'],['../classSVF_1_1RetPN.html#a69ee6310b7236bc1230fa63440b0f551',1,'SVF::RetPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c',1,'SVF::VarArgPN::classof(const VarArgPN *)'],['../classSVF_1_1VarArgPN.html#a2adee91065fef72cb8f64924aa83ec0a',1,'SVF::VarArgPN::classof(const SVFVar *node)'],['../classSVF_1_1VarArgPN.html#a3a7f82ff9fe4426ae8d967460995e2cd',1,'SVF::VarArgPN::classof(const ValVar *node)'],['../classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7',1,'SVF::DummyValVar::classof(const DummyValVar *)'],['../classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3',1,'SVF::DummyValVar::classof(const SVFVar *node)'],['../classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f',1,'SVF::DummyValVar::classof(const ValVar *node)'],['../classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442',1,'SVF::DummyValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69',1,'SVF::DummyObjVar::classof(const DummyObjVar *)'],['../classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695',1,'SVF::DummyObjVar::classof(const SVFVar *node)'],['../classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f',1,'SVF::DummyObjVar::classof(const ObjVar *node)'],['../classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849',1,'SVF::DummyObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneDummyObjVar.html#a304eeab4eb7c441e49cfa3be008b11f6',1,'SVF::CloneDummyObjVar::classof(const CloneDummyObjVar *)'],['../classSVF_1_1CloneDummyObjVar.html#a6eb2439f433fe48a338b09a6ab017f7c',1,'SVF::CloneDummyObjVar::classof(const SVFVar *node)'],['../classSVF_1_1CloneDummyObjVar.html#a982180a5ea7595f2d2320799056ff56d',1,'SVF::CloneDummyObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneGepObjVar.html#a5f46eff05b965deeeed531bd9a87b464',1,'SVF::CloneGepObjVar::classof(const CloneGepObjVar *)'],['../classSVF_1_1CloneGepObjVar.html#a2dc4176254a15071a35f8218036cd5bb',1,'SVF::CloneGepObjVar::classof(const SVFVar *node)'],['../classSVF_1_1CloneGepObjVar.html#a705b0eaaa7875c6e059cecd2d77f6968',1,'SVF::CloneGepObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneFIObjVar.html#a96a659f0a876b417ebdf6057db65c870',1,'SVF::CloneFIObjVar::classof(const CloneFIObjVar *)'],['../classSVF_1_1CloneFIObjVar.html#a71c3a2f27967bec62f65bed3d38e2c35',1,'SVF::CloneFIObjVar::classof(const SVFVar *node)'],['../classSVF_1_1CloneFIObjVar.html#a06ddad01d54e2676c7036c2e901235cb',1,'SVF::CloneFIObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5',1,'SVF::LoadMU::classof(const LoadMU *)'],['../classSVF_1_1LoadMU.html#a2b3f73c38c479e05984e01710227e50f',1,'SVF::LoadMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30',1,'SVF::CallMU::classof(const CallMU *)'],['../classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9',1,'SVF::CallMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1RetMU.html#ace8b780beda75de78d08247335e1738a',1,'SVF::RetMU::classof(const RetMU *)'],['../classSVF_1_1RetMU.html#ae6608c348426d99a5d3963ceaca2eb8b',1,'SVF::RetMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d',1,'SVF::MSSACHI::classof(const MSSACHI *chi)'],['../classSVF_1_1MSSACHI.html#a450055eb758896fb2e3e4f67febe7782',1,'SVF::MSSACHI::classof(const MSSADEF *chi)'],['../classSVF_1_1StoreCHI.html#a66a4ea0b8b61d39a552f7da000732263',1,'SVF::StoreCHI::classof(const StoreCHI *chi)'],['../classSVF_1_1StoreCHI.html#a7a01d165b24d05f0a218c2abfaad8422',1,'SVF::StoreCHI::classof(const MSSACHI< Cond > *chi)'],['../classSVF_1_1StoreCHI.html#a4324f81324dd6d6c6ba6d1af32e29985',1,'SVF::StoreCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad',1,'SVF::CallCHI::classof(const CallCHI *chi)'],['../classSVF_1_1CallCHI.html#a039209d842c18ef9d4a86a5a725a775b',1,'SVF::CallCHI::classof(const MSSACHI< Cond > *chi)'],['../classSVF_1_1CallCHI.html#aeea8fd6c5904874604bb0ced9b080c29',1,'SVF::CallCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa',1,'SVF::EntryCHI::classof(const EntryCHI *chi)'],['../classSVF_1_1EntryCHI.html#a55404375929d591f93d09f5a9e896cf6',1,'SVF::EntryCHI::classof(const MSSACHI< Cond > *chi)'],['../classSVF_1_1EntryCHI.html#aa5ed214cd44d8847c7539c7e3de3d276',1,'SVF::EntryCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1MSSAPHI.html#adab25ebd69f699c019118bc1e099d4f9',1,'SVF::MSSAPHI::classof(const MSSAPHI *phi)'],['../classSVF_1_1MSSAPHI.html#a48d3a719b97991be8ba94149a1d30091',1,'SVF::MSSAPHI::classof(const MSSADEF *phi)'],['../classSVF_1_1TCTEdge.html#a38d3af1f146d4e70574874c7ec28f6f3',1,'SVF::TCTEdge::classof(const TCTEdge *)'],['../classSVF_1_1TCTEdge.html#a13088f28a806a095ede56240b9fa87a2',1,'SVF::TCTEdge::classof(const GenericTCTEdgeTy *edge)'],['../classSVF_1_1DCHGraph.html#af9970ff0ef4a8f4c638da9f519d14a21',1,'SVF::DCHGraph::classof()'],['../classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e',1,'SVF::BranchCondExpr::classof(const BranchCondExpr *)'],['../classSVF_1_1BranchCondExpr.html#a410279631ba4a555a6b823be2465b0de',1,'SVF::BranchCondExpr::classof(const CondExpr *cond)'],['../classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5',1,'SVF::SVFValue::classof()'],['../classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0',1,'SVF::AndersenBase::classof(const AndersenBase *)'],['../classSVF_1_1AndersenBase.html#a0167fa7b59571c07b2cbec08905f6629',1,'SVF::AndersenBase::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5',1,'SVF::Andersen::classof(const Andersen *)'],['../classSVF_1_1Andersen.html#a60214d7c6c9aac8e498644b048660ab9',1,'SVF::Andersen::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958',1,'SVF::FlowSensitive::classof(const FlowSensitive *)'],['../classSVF_1_1FlowSensitive.html#a12dea7b6057daddcc5c0d975aebf3f11',1,'SVF::FlowSensitive::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910',1,'SVF::FlowSensitiveTBHC::classof(const FlowSensitiveTBHC *)'],['../classSVF_1_1FlowSensitiveTBHC.html#a0b213f9c4011642309c550503802dad5',1,'SVF::FlowSensitiveTBHC::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Steensgaard.html#a7e7493bd144746edb4fbe1292e8ba55f',1,'SVF::Steensgaard::classof(const Steensgaard *)'],['../classSVF_1_1Steensgaard.html#acfd677c395809baea0a32f59646beb0f',1,'SVF::Steensgaard::classof(const AndersenBase *pta)'],['../classSVF_1_1Steensgaard.html#a69daef869bfaaf0dfa2dccaf575dd9a0',1,'SVF::Steensgaard::classof(const PointerAnalysis *pta)'],['../classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3',1,'SVF::TypeAnalysis::classof(const TypeAnalysis *)'],['../classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f',1,'SVF::TypeAnalysis::classof(const PointerAnalysis *pta)'],['../classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8',1,'SVF::VersionedFlowSensitive::classof(const VersionedFlowSensitive *)'],['../classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6',1,'SVF::VersionedFlowSensitive::classof(const PointerAnalysis *pta)']]],
179
180
  ['cleanconscg',['cleanConsCG',['../classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e',1,'SVF::AndersenBase']]],
180
181
  ['cleanlcdcandidate',['cleanLCDCandidate',['../classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2',1,'SVF::AndersenLCD']]],
181
182
  ['clear',['clear',['../classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac',1,'SVF::SVFGStat::clear()'],['../classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5',1,'SVF::PTData::clear()'],['../classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36',1,'SVF::CondStdSet::clear()'],['../classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b',1,'SVF::CondPointsToSet::clear()'],['../classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951',1,'SVF::MutablePTData::clear()'],['../classSVF_1_1MutableDiffPTData.html#a8ae9624ac7fb1502eaa43173dacbe7b7',1,'SVF::MutableDiffPTData::clear()'],['../classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381',1,'SVF::MutableDFPTData::clear()'],['../classSVF_1_1MutableVersionedPTData.html#ab476e1b59aead37b440fd5735df3814b',1,'SVF::MutableVersionedPTData::clear()'],['../classSVF_1_1PersistentPointsToCache.html#ae9017daca63227066bb1be6dedef8b0f',1,'SVF::PersistentPointsToCache::clear()'],['../classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad',1,'SVF::FIFOWorkList::clear()'],['../classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb',1,'SVF::FILOWorkList::clear()'],['../classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd',1,'SVF::CSC::clear()']]],
@@ -225,7 +226,7 @@ var searchData=
225
226
  ['collapsetime',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
226
227
  ['collectarrayinfo',['collectArrayInfo',['../classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e',1,'SVF::SymbolTableInfo']]],
227
228
  ['collectbbcallingprogexit',['collectBBCallingProgExit',['../classSVF_1_1PathCondAllocator.html#a391cb347cf98f33c261e59975900048e',1,'SVF::PathCondAllocator']]],
228
- ['collectcallsitepts',['collectCallSitePts',['../classSVF_1_1MRGenerator.html#ac43b3f895efd160c7dd5860c0dfd1625',1,'SVF::MRGenerator']]],
229
+ ['collectcallsitepts',['collectCallSitePts',['../classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece',1,'SVF::MRGenerator']]],
229
230
  ['collectcallsitetargets',['collectCallsiteTargets',['../classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68',1,'SVF::MTAResultValidator']]],
230
231
  ['collectcandidatequeries',['collectCandidateQueries',['../classSVF_1_1DDAClient.html#ab3fdab96c5bf55feb82b688c92510c36',1,'SVF::DDAClient::collectCandidateQueries()'],['../classSVF_1_1FunptrDDAClient.html#ac158889bf01d3fcb4f58c44577e398ab',1,'SVF::FunptrDDAClient::collectCandidateQueries()'],['../classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360',1,'SVF::AliasDDAClient::collectCandidateQueries()']]],
231
232
  ['collectcxtinsenedgeforrecur',['collectCxtInsenEdgeForRecur',['../classSVF_1_1DDAPass.html#af8bc7f84e7dc8c7032eec6162a837ba6',1,'SVF::DDAPass']]],
@@ -307,9 +308,9 @@ var searchData=
307
308
  ['condtoterminstmap',['CondToTermInstMap',['../classSVF_1_1CondManager.html#a3cd3149a0bb5b605e61f0935bd234f3b',1,'SVF::CondManager']]],
308
309
  ['condvar',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF::CondVar< Cond >'],['../classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f',1,'SVF::CondVar::CondVar(const Cond &cond, NodeID id)'],['../classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674',1,'SVF::CondVar::CondVar(const CondVar &conVar)'],['../classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69',1,'SVF::CondVar::CondVar()']]],
309
310
  ['connectainandfin',['connectAInAndFIn',['../classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62',1,'SVF::SVFG::connectAInAndFIn()'],['../classSVF_1_1SVFGOPT.html#aa39900e11f5689f8bd70f3ec45865225',1,'SVF::SVFGOPT::connectAInAndFIn()']]],
310
- ['connectaparamandfparam',['connectAParamAndFParam',['../classSVF_1_1SVFGOPT.html#a00b0b986f81495becae90098517739e4',1,'SVF::SVFGOPT::connectAParamAndFParam()'],['../classSVF_1_1VFG.html#acbc1f5ae3b9016b1ce97314a2b8b54c0',1,'SVF::VFG::connectAParamAndFParam()']]],
311
+ ['connectaparamandfparam',['connectAParamAndFParam',['../classSVF_1_1SVFGOPT.html#a5e65ac95b96fb87a11a765c51f366ec1',1,'SVF::SVFGOPT::connectAParamAndFParam()'],['../classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3',1,'SVF::VFG::connectAParamAndFParam()']]],
311
312
  ['connectcaller2calleeparams',['connectCaller2CalleeParams',['../classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf',1,'SVF::Andersen']]],
312
- ['connectcallerandcallee',['connectCallerAndCallee',['../classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4',1,'SVF::SVFG::connectCallerAndCallee()'],['../classSVF_1_1VFG.html#aa1e09df7b3724bf18e450b16735998ab',1,'SVF::VFG::connectCallerAndCallee()'],['../classSVF_1_1FlowSensitive.html#ad7640ada31b5cb542e492e27ab4fe1af',1,'SVF::FlowSensitive::connectCallerAndCallee()']]],
313
+ ['connectcallerandcallee',['connectCallerAndCallee',['../classSVF_1_1SVFG.html#aefca97f043b3e220ef6012a049b83fdf',1,'SVF::SVFG::connectCallerAndCallee()'],['../classSVF_1_1VFG.html#aa055ce3c4fe1cde5529cd63dd1ef2ed6',1,'SVF::VFG::connectCallerAndCallee()'],['../classSVF_1_1FlowSensitive.html#ad7640ada31b5cb542e492e27ab4fe1af',1,'SVF::FlowSensitive::connectCallerAndCallee()']]],
313
314
  ['connectdirectvfgedges',['connectDirectVFGEdges',['../classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0',1,'SVF::VFG']]],
314
315
  ['connectdirsvfgedgetimeend',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
315
316
  ['connectdirsvfgedgetimestart',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
@@ -324,7 +325,7 @@ var searchData=
324
325
  ['connectinheritedgeviastore',['connectInheritEdgeViaStore',['../classSVF_1_1CHGBuilder.html#acbdf97de6a24cec8d0ae020e3bfb79e6',1,'SVF::CHGBuilder']]],
325
326
  ['connectmhpedges',['connectMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d',1,'SVF::MTASVFGBuilder']]],
326
327
  ['connectvcalloncha',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1',1,'SVF::Options']]],
327
- ['connectvcalltovfns',['connectVCallToVFns',['../classSVF_1_1PointerAnalysis.html#a8ff3f219b9f118a4f06360750408c9cb',1,'SVF::PointerAnalysis']]],
328
+ ['connectvcalltovfns',['connectVCallToVFns',['../classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3',1,'SVF::PointerAnalysis']]],
328
329
  ['conscg',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
329
330
  ['conscgdotgraph',['ConsCGDotGraph',['../classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a',1,'SVF::Options']]],
330
331
  ['conservative',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
@@ -334,10 +335,11 @@ var searchData=
334
335
  ['consgnode_2eh',['ConsGNode.h',['../ConsGNode_8h.html',1,'']]],
335
336
  ['const_5falias_5fiterator',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
336
337
  ['const_5farray_5fobj',['CONST_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047',1,'SVF::ObjTypeInfo']]],
338
+ ['const_5fdata',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
337
339
  ['const_5fglobal_5fiterator',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
340
+ ['const_5fglobal_5fobj',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
338
341
  ['const_5finst_5fiterator',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
339
342
  ['const_5fiterator',['const_iterator',['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()']]],
340
- ['const_5fobj',['CONST_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af11159d515b7cf1146b5342f64ee2da1',1,'SVF::ObjTypeInfo']]],
341
343
  ['const_5fpred_5fiterator',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
342
344
  ['const_5fstruct_5fobj',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
343
345
  ['constant',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
@@ -434,7 +436,7 @@ var searchData=
434
436
  ['createsteensgaard',['createSteensgaard',['../classSVF_1_1Steensgaard.html#acd5f31c3b1f9b47def458637f8e9389e',1,'SVF::Steensgaard']]],
435
437
  ['createvfswpa',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ae7cf16ad79c13104dd9981e6b984057e',1,'SVF::VersionedFlowSensitive']]],
436
438
  ['cross',['cross',['../cuddInt_8c.html#a73050ff1210fb3cff7be47e75d647f03',1,'cuddInt.c']]],
437
- ['cs',['cs',['../classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a9fd322ebb9aec43f9f49feb2b593c9b6',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallBlockNode.html#a4236d60c129adc0d959bed14dce71053',1,'SVF::CallBlockNode::cs()'],['../classSVF_1_1RetBlockNode.html#a9ed7b40bb07977642484362673e7ba2d',1,'SVF::RetBlockNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e',1,'SVF::ActualRetVFGNode::cs()']]],
439
+ ['cs',['cs',['../classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a9fd322ebb9aec43f9f49feb2b593c9b6',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallICFGNode.html#ae1af4091b0f7f2c34f4909b96ab17586',1,'SVF::CallICFGNode::cs()'],['../classSVF_1_1RetICFGNode.html#abd7b5e9cdb73b6e52b4fcb8b5e1b2b23',1,'SVF::RetICFGNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643',1,'SVF::ActualRetVFGNode::cs()']]],
438
440
  ['csc',['CSC',['../classSVF_1_1CSC.html',1,'SVF::CSC'],['../classSVF_1_1CSC.html#a4ffb05984b0509d97ec713fc6bfc4b6e',1,'SVF::CSC::CSC()'],['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR::csc()']]],
439
441
  ['csc_2ecpp',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
440
442
  ['csc_2eh',['CSC.h',['../CSC_8h.html',1,'']]],
@@ -446,9 +448,9 @@ var searchData=
446
448
  ['csnumtoinst',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#ab2d02695cc8e6fc9e9a46d9d26466fb1',1,'SVF::MTAResultValidator']]],
447
449
  ['csnumtoinstmap',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
448
450
  ['cssummary_5fwpa',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
449
- ['cstoargslistmap',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef',1,'SVF::SVFIR']]],
451
+ ['cstoargslistmap',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
450
452
  ['cstocallnodemap',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
451
- ['cstocallnodemapty',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a13694bd3990dd29ebce641a7c827a370',1,'SVF::ICFG']]],
453
+ ['cstocallnodemapty',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#ac603cd3bb9c52c4261bba04e2c8ea193',1,'SVF::ICFG']]],
452
454
  ['cstocallsiteargsptsmap',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
453
455
  ['cstocallsiteretptsmap',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
454
456
  ['cstochavfnsmap',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
@@ -457,10 +459,10 @@ var searchData=
457
459
  ['cstoidmap',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
458
460
  ['cstomodsmap',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
459
461
  ['cstorefsmap',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
460
- ['cstoretmap',['CSToRetMap',['../classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42',1,'SVF::SVFIR']]],
462
+ ['cstoretmap',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
461
463
  ['cstoretnodemap',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
462
- ['cstoretnodemapty',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a3d519765c4bbc1479b64ef211f845edd',1,'SVF::ICFG']]],
463
- ['csworklist',['CSWorkList',['../classSVF_1_1LeakChecker.html#ae4622afe7eae8f6d8a3616de70c09fe0',1,'SVF::LeakChecker']]],
464
+ ['cstoretnodemapty',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a8ca1b5e8478ffefed30d3dc138a67a8e',1,'SVF::ICFG']]],
465
+ ['csworklist',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
464
466
  ['ctiraliaseval',['CTirAliasEval',['../classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77',1,'SVF::Options']]],
465
467
  ['ctplist',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
466
468
  ['ctptonodemap',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],