svf-tools 1.0.317 → 1.0.321

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 (547) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +6 -6
  2. package/SVF-doxygen/html/html/Andersen_8cpp.html +1 -1
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
  5. package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +138 -0
  6. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +178 -0
  7. package/SVF-doxygen/html/html/CHGBuilder_8h.html +95 -0
  8. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +109 -0
  9. package/SVF-doxygen/html/html/CHG_8cpp.html +10 -64
  10. package/SVF-doxygen/html/html/CHG_8cpp_source.html +31 -108
  11. package/SVF-doxygen/html/html/CHG_8h.html +9 -3
  12. package/SVF-doxygen/html/html/CHG_8h_source.html +82 -76
  13. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +37 -33
  14. package/SVF-doxygen/html/html/ConsG_8h_source.html +32 -32
  15. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
  16. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  17. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/DCHG_8h.html +1 -1
  19. package/SVF-doxygen/html/html/DCHG_8h_source.html +8 -8
  20. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +5 -5
  21. package/SVF-doxygen/html/html/DDAClient_8h_source.html +2 -2
  22. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +5 -5
  23. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  24. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +12 -12
  25. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/ExternalPAG_8cpp.html +1 -1
  27. package/SVF-doxygen/html/html/ExternalPAG_8cpp_source.html +22 -22
  28. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +4 -4
  32. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +7 -7
  33. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +11 -11
  34. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +3 -3
  35. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +16 -16
  36. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +6 -6
  37. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +3 -3
  39. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +4 -4
  42. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +20 -21
  45. package/SVF-doxygen/html/html/IRGraph_8h_source.html +37 -40
  46. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  47. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  48. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +6 -6
  49. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  50. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +18 -18
  51. package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
  52. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -3
  53. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  54. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +2 -2
  55. package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  57. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  58. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +11 -11
  60. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +13 -13
  61. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +5 -5
  62. package/SVF-doxygen/html/html/PointerAnalysis_8cpp.html +1 -2
  63. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +30 -33
  64. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +31 -31
  65. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  66. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +4 -4
  67. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +1 -1
  68. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +9 -9
  69. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +48 -48
  70. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +36 -36
  71. package/SVF-doxygen/html/html/SVFG_8h_source.html +25 -25
  72. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp.html +0 -1
  73. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +5 -6
  74. package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +1 -7
  75. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +90 -85
  76. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +70 -62
  77. package/SVF-doxygen/html/html/SVFIR_8h_source.html +168 -182
  78. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +39 -23
  79. package/SVF-doxygen/html/html/SVFStatements_8h.html +6 -0
  80. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +146 -94
  81. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +2 -2
  82. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +5 -5
  84. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  86. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  87. package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
  88. package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  90. package/SVF-doxygen/html/html/TypeAnalysis_8cpp.html +1 -1
  91. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +9 -9
  92. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +7 -7
  93. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/VFGNode_8h.html +2 -0
  95. package/SVF-doxygen/html/html/VFGNode_8h_source.html +143 -126
  96. package/SVF-doxygen/html/html/VFG_8cpp_source.html +136 -129
  97. package/SVF-doxygen/html/html/VFG_8h_source.html +144 -133
  98. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +6 -6
  99. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  100. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
  101. package/SVF-doxygen/html/html/annotated.html +265 -261
  102. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +75 -74
  103. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +10 -9
  104. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +75 -74
  105. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +10 -9
  106. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +73 -72
  107. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +31 -30
  108. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +75 -74
  109. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +35 -34
  110. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge-members.html +1 -1
  111. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +5 -5
  112. package/SVF-doxygen/html/html/classSVF_1_1AddrPE-members.html +42 -39
  113. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +27 -22
  114. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +77 -76
  115. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +23 -22
  116. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  117. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +18 -18
  118. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +8 -8
  119. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  120. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +6 -6
  121. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +69 -68
  122. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +30 -29
  123. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +20 -20
  124. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE-members.html +49 -28
  125. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +295 -34
  126. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.png +0 -0
  127. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +76 -75
  128. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +12 -11
  129. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +70 -22
  130. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +633 -89
  131. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.png +0 -0
  132. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +164 -0
  133. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +694 -0
  134. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.png +0 -0
  135. package/SVF-doxygen/html/html/classSVF_1_1CHEdge-members.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1CHEdge.html +15 -15
  137. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder-members.html +100 -0
  138. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +777 -0
  139. package/SVF-doxygen/html/html/classSVF_1_1CHGraph-members.html +31 -46
  140. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +103 -651
  141. package/SVF-doxygen/html/html/classSVF_1_1CHNode.html +54 -54
  142. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge-members.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  144. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge-members.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +4 -4
  146. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge-members.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +48 -45
  149. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +33 -28
  150. package/SVF-doxygen/html/html/classSVF_1_1CmpPE-members.html +49 -28
  151. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +295 -34
  152. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.png +0 -0
  153. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +79 -78
  154. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +13 -12
  155. package/SVF-doxygen/html/html/classSVF_1_1CommonCHGraph.html +11 -11
  156. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +6 -6
  157. package/SVF-doxygen/html/html/classSVF_1_1ConstraintEdge-members.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1ConstraintEdge.html +2 -2
  159. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +90 -86
  160. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +7 -7
  161. package/SVF-doxygen/html/html/classSVF_1_1CopyCGEdge-members.html +1 -1
  162. package/SVF-doxygen/html/html/classSVF_1_1CopyCGEdge.html +2 -2
  163. package/SVF-doxygen/html/html/classSVF_1_1CopyPE-members.html +45 -42
  164. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +27 -22
  165. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +80 -79
  166. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +11 -10
  167. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge-members.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +6 -6
  170. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +7 -7
  172. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +4 -4
  173. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +14 -14
  174. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge-members.html +1 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +4 -4
  176. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +72 -71
  177. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +10 -9
  178. package/SVF-doxygen/html/html/classSVF_1_1ExternalPAG.html +22 -22
  179. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +5 -5
  181. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +22 -22
  182. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +9 -9
  183. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +14 -14
  184. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +76 -75
  185. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +10 -9
  186. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +76 -75
  187. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +10 -9
  188. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +76 -75
  189. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +38 -37
  190. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +79 -78
  191. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +38 -37
  192. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +4 -4
  193. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge-members.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +11 -11
  195. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  196. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +8 -7
  197. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  198. package/SVF-doxygen/html/html/classSVF_1_1GepCGEdge-members.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1GepCGEdge.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1GepPE-members.html +45 -42
  201. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +22 -17
  202. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +80 -79
  203. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +23 -22
  204. package/SVF-doxygen/html/html/classSVF_1_1HareParForEdge-members.html +1 -1
  205. package/SVF-doxygen/html/html/classSVF_1_1HareParForEdge.html +2 -2
  206. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge-members.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +4 -4
  209. package/SVF-doxygen/html/html/classSVF_1_1IRGraph-members.html +36 -37
  210. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +149 -163
  211. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge-members.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +88 -87
  214. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +10 -9
  215. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +86 -85
  216. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +46 -45
  217. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge-members.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  219. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge-members.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +4 -4
  221. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge-members.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  223. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +85 -84
  224. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +10 -9
  225. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +84 -83
  226. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +33 -32
  227. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
  228. package/SVF-doxygen/html/html/classSVF_1_1LoadCGEdge-members.html +1 -1
  229. package/SVF-doxygen/html/html/classSVF_1_1LoadCGEdge.html +2 -2
  230. package/SVF-doxygen/html/html/classSVF_1_1LoadPE-members.html +45 -42
  231. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +27 -22
  232. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +80 -79
  233. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +11 -10
  234. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +24 -24
  235. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +70 -69
  236. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +10 -9
  237. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +81 -80
  238. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +10 -9
  239. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  240. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
  241. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
  242. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +9 -9
  243. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +143 -0
  244. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +669 -0
  245. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.png +0 -0
  246. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge-members.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +2 -2
  248. package/SVF-doxygen/html/html/classSVF_1_1NormalGepPE-members.html +47 -44
  249. package/SVF-doxygen/html/html/classSVF_1_1NormalGepPE.html +34 -29
  250. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +66 -65
  251. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +37 -36
  252. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +6 -6
  253. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +17 -16
  254. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +77 -76
  255. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +44 -43
  256. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge-members.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +2 -2
  258. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +11 -11
  259. package/SVF-doxygen/html/html/classSVF_1_1PhiPE-members.html +153 -0
  260. package/SVF-doxygen/html/html/classSVF_1_1PhiPE.html +717 -0
  261. package/SVF-doxygen/html/html/classSVF_1_1PhiPE.png +0 -0
  262. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +77 -79
  263. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +2 -2
  264. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge-members.html +1 -1
  265. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  266. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge-members.html +1 -1
  267. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +4 -4
  268. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge-members.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +48 -45
  271. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +33 -28
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +90 -86
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +81 -71
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +16 -16
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +105 -101
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +149 -138
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +106 -119
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +621 -1090
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +14 -12
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +401 -288
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt-members.html +41 -35
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +174 -37
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  284. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +14 -14
  286. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +2 -2
  287. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +76 -75
  288. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +14 -13
  289. package/SVF-doxygen/html/html/classSVF_1_1StoreCGEdge-members.html +1 -1
  290. package/SVF-doxygen/html/html/classSVF_1_1StoreCGEdge.html +2 -2
  291. package/SVF-doxygen/html/html/classSVF_1_1StorePE-members.html +45 -42
  292. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +27 -22
  293. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +80 -79
  294. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +11 -10
  295. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge-members.html +1 -1
  296. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html +2 -2
  297. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +49 -46
  298. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +22 -17
  299. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +49 -46
  300. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +22 -17
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge-members.html +1 -1
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +2 -2
  304. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge-members.html +1 -1
  305. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +2 -2
  306. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge-members.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  308. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +12 -12
  309. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +9 -9
  310. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE-members.html +56 -43
  311. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +329 -30
  312. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +34 -32
  313. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +63 -30
  314. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +52 -48
  315. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +515 -441
  316. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge-members.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +4 -4
  318. package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +65 -64
  319. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +22 -18
  320. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.png +0 -0
  321. package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge-members.html +1 -1
  322. package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge.html +2 -2
  323. package/SVF-doxygen/html/html/classSVF_1_1VariantGepPE-members.html +47 -44
  324. package/SVF-doxygen/html/html/classSVF_1_1VariantGepPE.html +28 -23
  325. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +11 -11
  326. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +7 -7
  327. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +8 -8
  328. package/SVF-doxygen/html/html/classes.html +95 -94
  329. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  330. package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -2
  331. package/SVF-doxygen/html/html/dir_5840dc76920ee0f379cd88b55fa041fd.html +1 -1
  332. package/SVF-doxygen/html/html/dir_770a542efe75a1b68c109cb4e4290224.html +1 -3
  333. package/SVF-doxygen/html/html/dir_fa02919a30fec2d2c2d591b4d920d648.html +2 -2
  334. package/SVF-doxygen/html/html/files.html +18 -19
  335. package/SVF-doxygen/html/html/functions_0x7e.html +0 -3
  336. package/SVF-doxygen/html/html/functions_a.html +35 -36
  337. package/SVF-doxygen/html/html/functions_b.html +24 -17
  338. package/SVF-doxygen/html/html/functions_c.html +44 -43
  339. package/SVF-doxygen/html/html/functions_d.html +0 -3
  340. package/SVF-doxygen/html/html/functions_e.html +7 -9
  341. package/SVF-doxygen/html/html/functions_eval_b.html +4 -0
  342. package/SVF-doxygen/html/html/functions_eval_p.html +3 -0
  343. package/SVF-doxygen/html/html/functions_f.html +6 -15
  344. package/SVF-doxygen/html/html/functions_func.html +40 -38
  345. package/SVF-doxygen/html/html/functions_func_0x7e.html +0 -3
  346. package/SVF-doxygen/html/html/functions_func_b.html +14 -8
  347. package/SVF-doxygen/html/html/functions_func_c.html +32 -28
  348. package/SVF-doxygen/html/html/functions_func_d.html +0 -3
  349. package/SVF-doxygen/html/html/functions_func_e.html +0 -3
  350. package/SVF-doxygen/html/html/functions_func_g.html +92 -60
  351. package/SVF-doxygen/html/html/functions_func_h.html +3 -9
  352. package/SVF-doxygen/html/html/functions_func_i.html +12 -16
  353. package/SVF-doxygen/html/html/functions_func_m.html +6 -0
  354. package/SVF-doxygen/html/html/functions_func_o.html +11 -4
  355. package/SVF-doxygen/html/html/functions_func_p.html +6 -6
  356. package/SVF-doxygen/html/html/functions_func_r.html +3 -4
  357. package/SVF-doxygen/html/html/functions_func_s.html +6 -9
  358. package/SVF-doxygen/html/html/functions_func_t.html +14 -11
  359. package/SVF-doxygen/html/html/functions_g.html +91 -59
  360. package/SVF-doxygen/html/html/functions_h.html +2 -11
  361. package/SVF-doxygen/html/html/functions_i.html +12 -16
  362. package/SVF-doxygen/html/html/functions_l.html +6 -6
  363. package/SVF-doxygen/html/html/functions_m.html +9 -0
  364. package/SVF-doxygen/html/html/functions_n.html +6 -6
  365. package/SVF-doxygen/html/html/functions_o.html +31 -16
  366. package/SVF-doxygen/html/html/functions_p.html +23 -18
  367. package/SVF-doxygen/html/html/functions_r.html +4 -8
  368. package/SVF-doxygen/html/html/functions_rela.html +3 -0
  369. package/SVF-doxygen/html/html/functions_s.html +14 -16
  370. package/SVF-doxygen/html/html/functions_t.html +18 -15
  371. package/SVF-doxygen/html/html/functions_type_b.html +0 -6
  372. package/SVF-doxygen/html/html/functions_type_c.html +2 -7
  373. package/SVF-doxygen/html/html/functions_type_o.html +3 -0
  374. package/SVF-doxygen/html/html/functions_type_p.html +4 -1
  375. package/SVF-doxygen/html/html/functions_type_u.html +0 -6
  376. package/SVF-doxygen/html/html/functions_type_v.html +3 -0
  377. package/SVF-doxygen/html/html/functions_type_w.html +1 -0
  378. package/SVF-doxygen/html/html/functions_u.html +4 -13
  379. package/SVF-doxygen/html/html/functions_v.html +8 -5
  380. package/SVF-doxygen/html/html/functions_vars_a.html +0 -3
  381. package/SVF-doxygen/html/html/functions_vars_b.html +6 -3
  382. package/SVF-doxygen/html/html/functions_vars_c.html +5 -4
  383. package/SVF-doxygen/html/html/functions_vars_e.html +1 -2
  384. package/SVF-doxygen/html/html/functions_vars_f.html +0 -9
  385. package/SVF-doxygen/html/html/functions_vars_h.html +0 -3
  386. package/SVF-doxygen/html/html/functions_vars_m.html +3 -0
  387. package/SVF-doxygen/html/html/functions_vars_o.html +8 -3
  388. package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
  389. package/SVF-doxygen/html/html/functions_vars_r.html +0 -3
  390. package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
  391. package/SVF-doxygen/html/html/functions_vars_u.html +0 -3
  392. package/SVF-doxygen/html/html/functions_vars_v.html +3 -3
  393. package/SVF-doxygen/html/html/functions_w.html +9 -4
  394. package/SVF-doxygen/html/html/globals_d.html +0 -4
  395. package/SVF-doxygen/html/html/globals_e.html +6 -9
  396. package/SVF-doxygen/html/html/globals_func_d.html +0 -3
  397. package/SVF-doxygen/html/html/globals_func_e.html +6 -9
  398. package/SVF-doxygen/html/html/globals_func_g.html +2 -5
  399. package/SVF-doxygen/html/html/globals_g.html +0 -3
  400. package/SVF-doxygen/html/html/globals_o.html +0 -9
  401. package/SVF-doxygen/html/html/globals_p.html +1 -1
  402. package/SVF-doxygen/html/html/globals_r.html +3 -3
  403. package/SVF-doxygen/html/html/globals_s.html +3 -3
  404. package/SVF-doxygen/html/html/globals_vars.html +2 -5
  405. package/SVF-doxygen/html/html/globals_z.html +1 -1
  406. package/SVF-doxygen/html/html/hierarchy.html +105 -101
  407. package/SVF-doxygen/html/html/menudata.js +0 -1
  408. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  409. package/SVF-doxygen/html/html/namespaceSVF.html +27 -37
  410. package/SVF-doxygen/html/html/namespacemembers_p.html +0 -3
  411. package/SVF-doxygen/html/html/namespacemembers_type_p.html +0 -3
  412. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  413. package/SVF-doxygen/html/html/search/all_1.js +20 -21
  414. package/SVF-doxygen/html/html/search/all_10.js +11 -10
  415. package/SVF-doxygen/html/html/search/all_12.js +6 -7
  416. package/SVF-doxygen/html/html/search/all_13.js +13 -13
  417. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  418. package/SVF-doxygen/html/html/search/all_15.js +2 -4
  419. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  420. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  421. package/SVF-doxygen/html/html/search/all_1a.js +1 -1
  422. package/SVF-doxygen/html/html/search/all_1b.js +0 -1
  423. package/SVF-doxygen/html/html/search/all_2.js +13 -10
  424. package/SVF-doxygen/html/html/search/all_3.js +15 -15
  425. package/SVF-doxygen/html/html/search/all_4.js +2 -4
  426. package/SVF-doxygen/html/html/search/all_5.js +3 -6
  427. package/SVF-doxygen/html/html/search/all_6.js +1 -4
  428. package/SVF-doxygen/html/html/search/all_7.js +34 -34
  429. package/SVF-doxygen/html/html/search/all_8.js +2 -5
  430. package/SVF-doxygen/html/html/search/all_9.js +4 -5
  431. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  432. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  433. package/SVF-doxygen/html/html/search/all_d.js +6 -3
  434. package/SVF-doxygen/html/html/search/all_e.js +6 -6
  435. package/SVF-doxygen/html/html/search/all_f.js +7 -8
  436. package/SVF-doxygen/html/html/search/classes_1.js +2 -0
  437. package/SVF-doxygen/html/html/search/classes_2.js +1 -0
  438. package/SVF-doxygen/html/html/search/classes_4.js +1 -2
  439. package/SVF-doxygen/html/html/search/classes_a.js +1 -0
  440. package/SVF-doxygen/html/html/search/classes_d.js +1 -0
  441. package/SVF-doxygen/html/html/search/enumvalues_1.js +1 -0
  442. package/SVF-doxygen/html/html/search/enumvalues_d.js +1 -0
  443. package/SVF-doxygen/html/html/search/files_2.js +2 -1
  444. package/SVF-doxygen/html/html/search/files_4.js +1 -3
  445. package/SVF-doxygen/html/html/search/functions_0.js +20 -20
  446. package/SVF-doxygen/html/html/search/functions_1.js +10 -8
  447. package/SVF-doxygen/html/html/search/functions_10.js +2 -3
  448. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  449. package/SVF-doxygen/html/html/search/functions_12.js +1 -1
  450. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  451. package/SVF-doxygen/html/html/search/functions_16.js +0 -1
  452. package/SVF-doxygen/html/html/search/functions_2.js +8 -8
  453. package/SVF-doxygen/html/html/search/functions_3.js +2 -4
  454. package/SVF-doxygen/html/html/search/functions_4.js +0 -2
  455. package/SVF-doxygen/html/html/search/functions_6.js +34 -34
  456. package/SVF-doxygen/html/html/search/functions_7.js +2 -4
  457. package/SVF-doxygen/html/html/search/functions_8.js +3 -4
  458. package/SVF-doxygen/html/html/search/functions_b.js +2 -0
  459. package/SVF-doxygen/html/html/search/functions_d.js +4 -6
  460. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  461. package/SVF-doxygen/html/html/search/functions_f.js +2 -2
  462. package/SVF-doxygen/html/html/search/related_0.js +1 -2
  463. package/SVF-doxygen/html/html/search/related_1.js +2 -1
  464. package/SVF-doxygen/html/html/search/related_2.js +1 -1
  465. package/SVF-doxygen/html/html/search/related_3.js +1 -2
  466. package/SVF-doxygen/html/html/search/related_4.js +2 -1
  467. package/SVF-doxygen/html/html/search/related_5.js +1 -4
  468. package/SVF-doxygen/html/html/search/related_6.js +4 -1
  469. package/SVF-doxygen/html/html/search/related_7.js +1 -5
  470. package/SVF-doxygen/html/html/search/related_8.js +5 -2
  471. package/SVF-doxygen/html/html/search/related_9.js +2 -1
  472. package/SVF-doxygen/html/html/search/related_a.html +26 -0
  473. package/SVF-doxygen/html/html/search/related_a.js +4 -0
  474. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  475. package/SVF-doxygen/html/html/search/typedefs_1.js +0 -2
  476. package/SVF-doxygen/html/html/search/typedefs_13.js +0 -2
  477. package/SVF-doxygen/html/html/search/typedefs_14.js +1 -0
  478. package/SVF-doxygen/html/html/search/typedefs_15.js +1 -1
  479. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -3
  480. package/SVF-doxygen/html/html/search/typedefs_d.js +2 -2
  481. package/SVF-doxygen/html/html/search/typedefs_e.js +1 -0
  482. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -2
  483. package/SVF-doxygen/html/html/search/variables_1.js +0 -1
  484. package/SVF-doxygen/html/html/search/variables_10.js +2 -1
  485. package/SVF-doxygen/html/html/search/variables_12.js +0 -1
  486. package/SVF-doxygen/html/html/search/variables_13.js +2 -1
  487. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  488. package/SVF-doxygen/html/html/search/variables_15.js +1 -2
  489. package/SVF-doxygen/html/html/search/variables_16.js +1 -1
  490. package/SVF-doxygen/html/html/search/variables_1a.js +1 -1
  491. package/SVF-doxygen/html/html/search/variables_2.js +2 -1
  492. package/SVF-doxygen/html/html/search/variables_3.js +2 -2
  493. package/SVF-doxygen/html/html/search/variables_4.js +0 -1
  494. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  495. package/SVF-doxygen/html/html/search/variables_6.js +1 -4
  496. package/SVF-doxygen/html/html/search/variables_8.js +0 -1
  497. package/SVF-doxygen/html/html/search/variables_b.js +1 -1
  498. package/SVF-doxygen/html/html/search/variables_d.js +2 -1
  499. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  500. package/SVF-doxygen/html/html/search/variables_f.js +2 -1
  501. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +14 -14
  502. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +16 -16
  503. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  504. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +18 -18
  505. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +11 -11
  506. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +29 -29
  507. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +2 -2
  508. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +1 -1
  509. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +1 -1
  510. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +3 -3
  511. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +2 -2
  512. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +2 -2
  513. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +1 -1
  514. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +1 -1
  515. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +2 -2
  516. package/SVF-doxygen/html/html/svf-ex_8cpp.html +5 -6
  517. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +5 -5
  518. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  519. package/include/{SVF-FE → Graphs}/CHG.h +37 -20
  520. package/include/Graphs/GenericGraph.h +1 -1
  521. package/include/Graphs/IRGraph.h +6 -15
  522. package/include/Graphs/SVFGOPT.h +3 -2
  523. package/include/Graphs/VFG.h +42 -41
  524. package/include/Graphs/VFGNode.h +60 -7
  525. package/include/MemoryModel/SVFIR.h +93 -159
  526. package/include/MemoryModel/SVFStatements.h +253 -21
  527. package/include/SVF-FE/CHGBuilder.h +69 -0
  528. package/include/SVF-FE/DCHG.h +1 -1
  529. package/include/SVF-FE/SVFIRBuilder.h +21 -8
  530. package/lib/Graphs/CHG.cpp +280 -0
  531. package/lib/Graphs/ConsG.cpp +9 -0
  532. package/lib/Graphs/IRGraph.cpp +23 -8
  533. package/lib/Graphs/VFG.cpp +45 -19
  534. package/lib/MSSA/SVFGBuilder.cpp +3 -2
  535. package/lib/MemoryModel/PAGBuilderFromFile.cpp +9 -3
  536. package/lib/MemoryModel/PointerAnalysis.cpp +3 -5
  537. package/lib/MemoryModel/SVFIR.cpp +68 -12
  538. package/lib/MemoryModel/SVFStatements.cpp +65 -4
  539. package/lib/SVF-FE/{CHG.cpp → CHGBuilder.cpp} +82 -324
  540. package/lib/SVF-FE/SVFIRBuilder.cpp +58 -57
  541. package/lib/WPA/Andersen.cpp +1 -1
  542. package/lib/WPA/TypeAnalysis.cpp +1 -1
  543. package/package.json +1 -1
  544. package/tools/Example/svf-ex.cpp +1 -1
  545. package/include/Graphs/ExternalPAG.h +0 -147
  546. package/include/SVF-FE/CommonCHG.h +0 -49
  547. package/lib/Graphs/ExternalPAG.cpp +0 -623
@@ -23,7 +23,7 @@ var searchData=
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_1CallCHI.html#a5a03b5679ded2115a396ef04b388d6f5',1,'SVF::CallCHI::CallCHI()'],['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::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#a5a03b5679ded2115a396ef04b388d6f5',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']]],
@@ -45,7 +45,7 @@ var searchData=
45
45
  ['callindvf',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
46
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
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#a16d115dd425ec02ab6d91c711fab7fd9',1,'SVF::PTACallGraph::CallInstToCallGraphEdgesMap()'],['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph::callinstToCallGraphEdgesMap()']]],
48
+ ['callinsttocallgraphedgesmap',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph::callinstToCallGraphEdgesMap()'],['../classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9',1,'SVF::PTACallGraph::CallInstToCallGraphEdgesMap()']]],
49
49
  ['callinsttoforkedgesmap',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ad0d6585b7d26cd4597466a79e2fedacd',1,'SVF::ThreadCallGraph']]],
50
50
  ['callinsttohareparforedgesmap',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
51
51
  ['callinsttojoinedgesmap',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a2f24d314b211151182bee38b61731749',1,'SVF::ThreadCallGraph']]],
@@ -142,8 +142,12 @@ var searchData=
142
142
  ['chedge',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF::CHEdge'],['../classSVF_1_1CHEdge.html#af01c14c28db231b7bfae39344d1ae8ee',1,'SVF::CHEdge::CHEdge()']]],
143
143
  ['chedgesetty',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#ae2c206fb3c7e4d9deec7d8298caf5017',1,'SVF::CHEdge']]],
144
144
  ['chedgetype',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
145
+ ['chg',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
145
146
  ['chg_2ecpp',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
146
147
  ['chg_2eh',['CHG.h',['../CHG_8h.html',1,'']]],
148
+ ['chgbuilder',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF::CHGBuilder'],['../classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733',1,'SVF::CHGraph::CHGBuilder()'],['../classSVF_1_1CHGBuilder.html#a436e4f8b1e1cad85f0c7df938afe8c78',1,'SVF::CHGBuilder::CHGBuilder()']]],
149
+ ['chgbuilder_2ecpp',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
150
+ ['chgbuilder_2eh',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
147
151
  ['chgkind',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
148
152
  ['chgraph',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF::CHGraph'],['../classSVF_1_1PointerAnalysis.html#a251638a947815a8ff91a507486cadfcd',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1CHGraph.html#afacd7d35dad4344a5c2551d951acb442',1,'SVF::CHGraph::CHGraph()']]],
149
153
  ['chi',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
@@ -155,7 +159,7 @@ var searchData=
155
159
  ['chiset',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
156
160
  ['chitype',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
157
161
  ['chnode',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF::CHNode'],['../classSVF_1_1CHNode.html#a1f2c496e378d01841e4dc164942dc145',1,'SVF::CHNode::CHNode()']]],
158
- ['chnodesetty',['CHNodeSetTy',['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph']]],
162
+ ['chnodesetty',['CHNodeSetTy',['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()'],['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()']]],
159
163
  ['cilocktospan',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#acdcc3fc4b90e7f67cfb9601ddc31d5f8',1,'SVF::LockAnalysis::CILockToSpan()'],['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis::ciLocktoSpan()']]],
160
164
  ['cispan',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
161
165
  ['ck_5falloc',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
@@ -171,7 +175,7 @@ var searchData=
171
175
  ['classnametoinstanddescsmap',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
172
176
  ['classnametonodemap',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#aa040bc0a5653843419d24777343e1650',1,'SVF::CHGraph']]],
173
177
  ['classnum',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
174
- ['classof',['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_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_1AddrPE.html#a18319bdaaefeae68bb44224f35834587',1,'SVF::AddrPE::classof(const AddrPE *)'],['../classSVF_1_1AddrPE.html#a381550eba356997751faf5fc85129a70',1,'SVF::AddrPE::classof(const SVFStmt *edge)'],['../classSVF_1_1AddrPE.html#a44f91932a2e9fe72cbb9b7256ff4a37e',1,'SVF::AddrPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyPE.html#a1c5d5a35b955743056d41cbb4745e925',1,'SVF::CopyPE::classof(const CopyPE *)'],['../classSVF_1_1CopyPE.html#a78e68c7beda66c7ebc0f0adc60a8d3b9',1,'SVF::CopyPE::classof(const SVFStmt *edge)'],['../classSVF_1_1CopyPE.html#abab22d86f2cbd57d61165d4622c7ffee',1,'SVF::CopyPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f',1,'SVF::CmpPE::classof(const CmpPE *)'],['../classSVF_1_1CmpPE.html#a9352183f0f30803fc2c5df30e8ce74a7',1,'SVF::CmpPE::classof(const SVFStmt *edge)'],['../classSVF_1_1CmpPE.html#a54984454ad2ffe35fe35fb6528406144',1,'SVF::CmpPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e',1,'SVF::BinaryOPPE::classof(const BinaryOPPE *)'],['../classSVF_1_1BinaryOPPE.html#ab9936f8ce7d3533a9c53ec74311ac94a',1,'SVF::BinaryOPPE::classof(const SVFStmt *edge)'],['../classSVF_1_1BinaryOPPE.html#af4c581b0cfb392d20a0e31bc38cad814',1,'SVF::BinaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPPE.html#a03012d37b857b10f92879db6b7fc6f62',1,'SVF::UnaryOPPE::classof(const UnaryOPPE *)'],['../classSVF_1_1UnaryOPPE.html#a6030a182b88406f68e62219a4b1b067b',1,'SVF::UnaryOPPE::classof(const SVFStmt *edge)'],['../classSVF_1_1UnaryOPPE.html#a333febe0206e6fc2e76d0bc7aeeef154',1,'SVF::UnaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1StorePE.html#af8799cbf5bfd6cded8591b207009c25f',1,'SVF::StorePE::classof(const StorePE *)'],['../classSVF_1_1StorePE.html#a29d76377e47ac055376363d1875ab856',1,'SVF::StorePE::classof(const SVFStmt *edge)'],['../classSVF_1_1StorePE.html#a7729ca8220c1356729a2927224cda5e8',1,'SVF::StorePE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadPE.html#a80b5301d008c271a7381e66f9ad501d4',1,'SVF::LoadPE::classof(const LoadPE *)'],['../classSVF_1_1LoadPE.html#aeba2fc0ac9c4c0529d26b1886d4f7e02',1,'SVF::LoadPE::classof(const SVFStmt *edge)'],['../classSVF_1_1LoadPE.html#a5102ecac4cd7abd74f6b872c0a7b1645',1,'SVF::LoadPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepPE.html#a12fbd8c5a964b509719ab23e01d5bab5',1,'SVF::GepPE::classof(const GepPE *)'],['../classSVF_1_1GepPE.html#afffc3762f77186a6d3a06e54c1e80289',1,'SVF::GepPE::classof(const SVFStmt *edge)'],['../classSVF_1_1GepPE.html#a1812dc119f33ae436d83216ff747ac78',1,'SVF::GepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1NormalGepPE.html#a2d48376e5806de43fa0a916b807fb2c3',1,'SVF::NormalGepPE::classof(const NormalGepPE *)'],['../classSVF_1_1NormalGepPE.html#a8da1dec3385813b3cdd508a92b7a8785',1,'SVF::NormalGepPE::classof(const GepPE *edge)'],['../classSVF_1_1NormalGepPE.html#a9105d0ce485c02d5a4053425906d1c03',1,'SVF::NormalGepPE::classof(const SVFStmt *edge)'],['../classSVF_1_1NormalGepPE.html#abc9a936ef4d5bea4ec8f86e2e28965cf',1,'SVF::NormalGepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1VariantGepPE.html#a36ab4c6979ed0e5470882cb1c391f2ea',1,'SVF::VariantGepPE::classof(const VariantGepPE *)'],['../classSVF_1_1VariantGepPE.html#a7cbd2d1243325cda2574931d653ef4e8',1,'SVF::VariantGepPE::classof(const GepPE *edge)'],['../classSVF_1_1VariantGepPE.html#a9685d458b3c73c1b2dcdf8f93d67fcd2',1,'SVF::VariantGepPE::classof(const SVFStmt *edge)'],['../classSVF_1_1VariantGepPE.html#a1b9fba7adc9ea24dcef5e70c8b446d43',1,'SVF::VariantGepPE::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_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_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae',1,'SVF::ValPN::classof(const ValPN *)'],['../classSVF_1_1ValPN.html#ac025b26e23ae0df6727963286309744e',1,'SVF::ValPN::classof(const SVFVar *node)'],['../classSVF_1_1ValPN.html#a530cc26cbb3562c951575e8437c5ca22',1,'SVF::ValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608',1,'SVF::ObjPN::classof(const ObjPN *)'],['../classSVF_1_1ObjPN.html#a598c5c77468386ae1044a30af6eb4eef',1,'SVF::ObjPN::classof(const SVFVar *node)'],['../classSVF_1_1ObjPN.html#a3b94e2fc7b83b588b27d5bf33ec72b8f',1,'SVF::ObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValPN.html#a795658606384952f8e648e154a06700a',1,'SVF::GepValPN::classof(const GepValPN *)'],['../classSVF_1_1GepValPN.html#a9d9febd06c0802c33eab574458e9e771',1,'SVF::GepValPN::classof(const ValPN *node)'],['../classSVF_1_1GepValPN.html#a32ea9876708addd55d43200a67e2fa90',1,'SVF::GepValPN::classof(const SVFVar *node)'],['../classSVF_1_1GepValPN.html#a99654aefb5ebc08917a2fb09858ae340',1,'SVF::GepValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55',1,'SVF::GepObjPN::classof(const GepObjPN *)'],['../classSVF_1_1GepObjPN.html#a71f93295b7052e2098dd15f76c1aaa8c',1,'SVF::GepObjPN::classof(const ObjPN *node)'],['../classSVF_1_1GepObjPN.html#acc3f9fa7564f419bf6a4ed75cf103eb1',1,'SVF::GepObjPN::classof(const SVFVar *node)'],['../classSVF_1_1GepObjPN.html#aff84e3e6702f0e04ef41aae90d297009',1,'SVF::GepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjPN.html#a2c26eb5e25b2ff2f497e9ee40f84f582',1,'SVF::FIObjPN::classof(const FIObjPN *)'],['../classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832',1,'SVF::FIObjPN::classof(const ObjPN *node)'],['../classSVF_1_1FIObjPN.html#a1245f021c468c46d6136599455350b85',1,'SVF::FIObjPN::classof(const SVFVar *node)'],['../classSVF_1_1FIObjPN.html#a1014cd45e24e44873acd1d76db92d056',1,'SVF::FIObjPN::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#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#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f',1,'SVF::DummyValPN::classof(const DummyValPN *)'],['../classSVF_1_1DummyValPN.html#a7e159b59d32827682d5273e816cf8aca',1,'SVF::DummyValPN::classof(const SVFVar *node)'],['../classSVF_1_1DummyValPN.html#a62c8bdc6ebc3626f6cd7e743f2475ae0',1,'SVF::DummyValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjPN.html#a6b241ddcbe32a27b46c3c7c3d92e4c3c',1,'SVF::DummyObjPN::classof(const DummyObjPN *)'],['../classSVF_1_1DummyObjPN.html#a2f05d6a98837ade60ff4c008ee086409',1,'SVF::DummyObjPN::classof(const SVFVar *node)'],['../classSVF_1_1DummyObjPN.html#a48af6a89137007ec2b329943a891b09c',1,'SVF::DummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneDummyObjPN.html#a98a1f11f0adc875b9c166dae69875e05',1,'SVF::CloneDummyObjPN::classof(const CloneDummyObjPN *)'],['../classSVF_1_1CloneDummyObjPN.html#ad3912fd4f477be5e86f15ca3d0dfc236',1,'SVF::CloneDummyObjPN::classof(const SVFVar *node)'],['../classSVF_1_1CloneDummyObjPN.html#a41abb24caedfd04c87a66f5899419121',1,'SVF::CloneDummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff',1,'SVF::CloneGepObjPN::classof(const CloneGepObjPN *)'],['../classSVF_1_1CloneGepObjPN.html#ae04be94d59e8d352b0ed9f2bab14bec0',1,'SVF::CloneGepObjPN::classof(const SVFVar *node)'],['../classSVF_1_1CloneGepObjPN.html#a4480ad91fff13e921cdb44e56027ae9c',1,'SVF::CloneGepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357',1,'SVF::CloneFIObjPN::classof(const CloneFIObjPN *)'],['../classSVF_1_1CloneFIObjPN.html#a13aaf7159accd345bdad93c1c3491122',1,'SVF::CloneFIObjPN::classof(const SVFVar *node)'],['../classSVF_1_1CloneFIObjPN.html#a4162a2134de52bb0cd0a8ce630881c92',1,'SVF::CloneFIObjPN::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_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6',1,'SVF::CHGraph::classof()'],['../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)']]],
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_1AddrPE.html#a18319bdaaefeae68bb44224f35834587',1,'SVF::AddrPE::classof(const AddrPE *)'],['../classSVF_1_1AddrPE.html#a381550eba356997751faf5fc85129a70',1,'SVF::AddrPE::classof(const SVFStmt *edge)'],['../classSVF_1_1AddrPE.html#a44f91932a2e9fe72cbb9b7256ff4a37e',1,'SVF::AddrPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyPE.html#a1c5d5a35b955743056d41cbb4745e925',1,'SVF::CopyPE::classof(const CopyPE *)'],['../classSVF_1_1CopyPE.html#a78e68c7beda66c7ebc0f0adc60a8d3b9',1,'SVF::CopyPE::classof(const SVFStmt *edge)'],['../classSVF_1_1CopyPE.html#abab22d86f2cbd57d61165d4622c7ffee',1,'SVF::CopyPE::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_1PhiPE.html#a94cd29c0820595436d0a39f4be74699f',1,'SVF::PhiPE::classof(const PhiPE *)'],['../classSVF_1_1PhiPE.html#a577d8e4eb16fa6729191267329a537de',1,'SVF::PhiPE::classof(const SVFStmt *edge)'],['../classSVF_1_1PhiPE.html#abee5c860d2046e000991674bb85cf87d',1,'SVF::PhiPE::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1PhiPE.html#af67cb025a49778a2692e61d57bab3c1c',1,'SVF::PhiPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f',1,'SVF::CmpPE::classof(const CmpPE *)'],['../classSVF_1_1CmpPE.html#a9352183f0f30803fc2c5df30e8ce74a7',1,'SVF::CmpPE::classof(const SVFStmt *edge)'],['../classSVF_1_1CmpPE.html#a0fc5278a19682e352bfb973ead91b7e2',1,'SVF::CmpPE::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1CmpPE.html#a54984454ad2ffe35fe35fb6528406144',1,'SVF::CmpPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e',1,'SVF::BinaryOPPE::classof(const BinaryOPPE *)'],['../classSVF_1_1BinaryOPPE.html#ab9936f8ce7d3533a9c53ec74311ac94a',1,'SVF::BinaryOPPE::classof(const SVFStmt *edge)'],['../classSVF_1_1BinaryOPPE.html#a8df87099c60adf65cfb169e0590eac7e',1,'SVF::BinaryOPPE::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1BinaryOPPE.html#af4c581b0cfb392d20a0e31bc38cad814',1,'SVF::BinaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPPE.html#a03012d37b857b10f92879db6b7fc6f62',1,'SVF::UnaryOPPE::classof(const UnaryOPPE *)'],['../classSVF_1_1UnaryOPPE.html#a6030a182b88406f68e62219a4b1b067b',1,'SVF::UnaryOPPE::classof(const SVFStmt *edge)'],['../classSVF_1_1UnaryOPPE.html#a333febe0206e6fc2e76d0bc7aeeef154',1,'SVF::UnaryOPPE::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_1StorePE.html#af8799cbf5bfd6cded8591b207009c25f',1,'SVF::StorePE::classof(const StorePE *)'],['../classSVF_1_1StorePE.html#a29d76377e47ac055376363d1875ab856',1,'SVF::StorePE::classof(const SVFStmt *edge)'],['../classSVF_1_1StorePE.html#a7729ca8220c1356729a2927224cda5e8',1,'SVF::StorePE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadPE.html#a80b5301d008c271a7381e66f9ad501d4',1,'SVF::LoadPE::classof(const LoadPE *)'],['../classSVF_1_1LoadPE.html#aeba2fc0ac9c4c0529d26b1886d4f7e02',1,'SVF::LoadPE::classof(const SVFStmt *edge)'],['../classSVF_1_1LoadPE.html#a5102ecac4cd7abd74f6b872c0a7b1645',1,'SVF::LoadPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepPE.html#a12fbd8c5a964b509719ab23e01d5bab5',1,'SVF::GepPE::classof(const GepPE *)'],['../classSVF_1_1GepPE.html#afffc3762f77186a6d3a06e54c1e80289',1,'SVF::GepPE::classof(const SVFStmt *edge)'],['../classSVF_1_1GepPE.html#a1812dc119f33ae436d83216ff747ac78',1,'SVF::GepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1NormalGepPE.html#a2d48376e5806de43fa0a916b807fb2c3',1,'SVF::NormalGepPE::classof(const NormalGepPE *)'],['../classSVF_1_1NormalGepPE.html#a8da1dec3385813b3cdd508a92b7a8785',1,'SVF::NormalGepPE::classof(const GepPE *edge)'],['../classSVF_1_1NormalGepPE.html#a9105d0ce485c02d5a4053425906d1c03',1,'SVF::NormalGepPE::classof(const SVFStmt *edge)'],['../classSVF_1_1NormalGepPE.html#abc9a936ef4d5bea4ec8f86e2e28965cf',1,'SVF::NormalGepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1VariantGepPE.html#a36ab4c6979ed0e5470882cb1c391f2ea',1,'SVF::VariantGepPE::classof(const VariantGepPE *)'],['../classSVF_1_1VariantGepPE.html#a7cbd2d1243325cda2574931d653ef4e8',1,'SVF::VariantGepPE::classof(const GepPE *edge)'],['../classSVF_1_1VariantGepPE.html#a9685d458b3c73c1b2dcdf8f93d67fcd2',1,'SVF::VariantGepPE::classof(const SVFStmt *edge)'],['../classSVF_1_1VariantGepPE.html#a1b9fba7adc9ea24dcef5e70c8b446d43',1,'SVF::VariantGepPE::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_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_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae',1,'SVF::ValPN::classof(const ValPN *)'],['../classSVF_1_1ValPN.html#ac025b26e23ae0df6727963286309744e',1,'SVF::ValPN::classof(const SVFVar *node)'],['../classSVF_1_1ValPN.html#a530cc26cbb3562c951575e8437c5ca22',1,'SVF::ValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608',1,'SVF::ObjPN::classof(const ObjPN *)'],['../classSVF_1_1ObjPN.html#a598c5c77468386ae1044a30af6eb4eef',1,'SVF::ObjPN::classof(const SVFVar *node)'],['../classSVF_1_1ObjPN.html#a3b94e2fc7b83b588b27d5bf33ec72b8f',1,'SVF::ObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValPN.html#a795658606384952f8e648e154a06700a',1,'SVF::GepValPN::classof(const GepValPN *)'],['../classSVF_1_1GepValPN.html#a9d9febd06c0802c33eab574458e9e771',1,'SVF::GepValPN::classof(const ValPN *node)'],['../classSVF_1_1GepValPN.html#a32ea9876708addd55d43200a67e2fa90',1,'SVF::GepValPN::classof(const SVFVar *node)'],['../classSVF_1_1GepValPN.html#a99654aefb5ebc08917a2fb09858ae340',1,'SVF::GepValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55',1,'SVF::GepObjPN::classof(const GepObjPN *)'],['../classSVF_1_1GepObjPN.html#a71f93295b7052e2098dd15f76c1aaa8c',1,'SVF::GepObjPN::classof(const ObjPN *node)'],['../classSVF_1_1GepObjPN.html#acc3f9fa7564f419bf6a4ed75cf103eb1',1,'SVF::GepObjPN::classof(const SVFVar *node)'],['../classSVF_1_1GepObjPN.html#aff84e3e6702f0e04ef41aae90d297009',1,'SVF::GepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjPN.html#a2c26eb5e25b2ff2f497e9ee40f84f582',1,'SVF::FIObjPN::classof(const FIObjPN *)'],['../classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832',1,'SVF::FIObjPN::classof(const ObjPN *node)'],['../classSVF_1_1FIObjPN.html#a1245f021c468c46d6136599455350b85',1,'SVF::FIObjPN::classof(const SVFVar *node)'],['../classSVF_1_1FIObjPN.html#a1014cd45e24e44873acd1d76db92d056',1,'SVF::FIObjPN::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#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#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f',1,'SVF::DummyValPN::classof(const DummyValPN *)'],['../classSVF_1_1DummyValPN.html#a7e159b59d32827682d5273e816cf8aca',1,'SVF::DummyValPN::classof(const SVFVar *node)'],['../classSVF_1_1DummyValPN.html#a62c8bdc6ebc3626f6cd7e743f2475ae0',1,'SVF::DummyValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjPN.html#a6b241ddcbe32a27b46c3c7c3d92e4c3c',1,'SVF::DummyObjPN::classof(const DummyObjPN *)'],['../classSVF_1_1DummyObjPN.html#a2f05d6a98837ade60ff4c008ee086409',1,'SVF::DummyObjPN::classof(const SVFVar *node)'],['../classSVF_1_1DummyObjPN.html#a48af6a89137007ec2b329943a891b09c',1,'SVF::DummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneDummyObjPN.html#a98a1f11f0adc875b9c166dae69875e05',1,'SVF::CloneDummyObjPN::classof(const CloneDummyObjPN *)'],['../classSVF_1_1CloneDummyObjPN.html#ad3912fd4f477be5e86f15ca3d0dfc236',1,'SVF::CloneDummyObjPN::classof(const SVFVar *node)'],['../classSVF_1_1CloneDummyObjPN.html#a41abb24caedfd04c87a66f5899419121',1,'SVF::CloneDummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff',1,'SVF::CloneGepObjPN::classof(const CloneGepObjPN *)'],['../classSVF_1_1CloneGepObjPN.html#ae04be94d59e8d352b0ed9f2bab14bec0',1,'SVF::CloneGepObjPN::classof(const SVFVar *node)'],['../classSVF_1_1CloneGepObjPN.html#a4480ad91fff13e921cdb44e56027ae9c',1,'SVF::CloneGepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357',1,'SVF::CloneFIObjPN::classof(const CloneFIObjPN *)'],['../classSVF_1_1CloneFIObjPN.html#a13aaf7159accd345bdad93c1c3491122',1,'SVF::CloneFIObjPN::classof(const SVFVar *node)'],['../classSVF_1_1CloneFIObjPN.html#a4162a2134de52bb0cd0a8ce630881c92',1,'SVF::CloneFIObjPN::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)']]],
175
179
  ['cleanconscg',['cleanConsCG',['../classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e',1,'SVF::AndersenBase']]],
176
180
  ['cleanlcdcandidate',['cleanLCDCandidate',['../classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2',1,'SVF::AndersenLCD']]],
177
181
  ['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()']]],
@@ -210,9 +214,7 @@ var searchData=
210
214
  ['cmp',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
211
215
  ['cmpinst',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
212
216
  ['cmpnodebs',['cmpNodeBS',['../namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5',1,'SVF::SVFUtil']]],
213
- ['cmpnodemap',['cmpNodeMap',['../classSVF_1_1SVFIR.html#ac59e0cbd000c33430bd83b4978c777a3',1,'SVF::SVFIR::cmpNodeMap()'],['../classSVF_1_1SVFIR.html#a12df88c75f40c85bb9d2d230b1b1a58f',1,'SVF::SVFIR::CmpNodeMap()']]],
214
- ['cmppe',['CmpPE',['../classSVF_1_1CmpPE.html',1,'SVF::CmpPE'],['../classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96',1,'SVF::CmpPE::CmpPE()'],['../classSVF_1_1CmpPE.html#ac84eb2426a312cb2a890b0805a99e7f8',1,'SVF::CmpPE::CmpPE(const CmpPE &)'],['../classSVF_1_1CmpPE.html#a821be09841152674695e12db8d8c11e3',1,'SVF::CmpPE::CmpPE(SVFVar *s, SVFVar *d)']]],
215
- ['cmppelist',['CmpPEList',['../classSVF_1_1SVFIR.html#a04bd17589cde5b6f058705a2e8fb5719',1,'SVF::SVFIR']]],
217
+ ['cmppe',['CmpPE',['../classSVF_1_1CmpPE.html',1,'SVF::CmpPE'],['../classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96',1,'SVF::CmpPE::CmpPE()'],['../classSVF_1_1CmpPE.html#ac84eb2426a312cb2a890b0805a99e7f8',1,'SVF::CmpPE::CmpPE(const CmpPE &)'],['../classSVF_1_1CmpPE.html#a13d12e0169603263ce62f724ff2fc020',1,'SVF::CmpPE::CmpPE(SVFVar *s, const OPVars &opnds, u32_t oc)']]],
216
218
  ['cmppts',['cmpPts',['../namespaceSVF_1_1SVFUtil.html#aa5ce14119a6e3b0b6022753ddd5890f3',1,'SVF::SVFUtil']]],
217
219
  ['cmpvfgnode',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF::CmpVFGNode'],['../classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac',1,'SVF::CmpVFGNode::CmpVFGNode()'],['../classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e',1,'SVF::CmpVFGNode::CmpVFGNode(const CmpVFGNode &)'],['../classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258',1,'SVF::CmpVFGNode::CmpVFGNode(NodeID id, const PAGNode *r)']]],
218
220
  ['cnext',['cnext',['../structDdQueueItem.html#a5500eae904c7432f4e08452c93c501fa',1,'DdQueueItem']]],
@@ -260,7 +262,6 @@ var searchData=
260
262
  ['collectvalidationtargets',['collectValidationTargets',['../classSVF_1_1RaceResultValidator.html#adb3030fc7514506e2592e11898217375',1,'SVF::RaceResultValidator']]],
261
263
  ['collectvararg',['collectVararg',['../classSVF_1_1SymbolTableBuilder.html#add1f3d59a4a8234fb398ed52d4b2115e',1,'SVF::SymbolTableBuilder']]],
262
264
  ['collectwpanum',['collectWPANum',['../classSVF_1_1DDAClient.html#a76b4c50a1051ff7c0b162b55473de028',1,'SVF::DDAClient']]],
263
- ['commonchg_2eh',['CommonCHG.h',['../CommonCHG_8h.html',1,'']]],
264
265
  ['commonchgraph',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
265
266
  ['compare',['compare',['../structst__table.html#a7c3c545f36a953ff2d8668c394f4fcb5',1,'st_table::compare()'],['../classSVF_1_1RaceResultValidator.html#a7a16fb7a3f382284dbb080802f6e6f43',1,'SVF::RaceResultValidator::compare()']]],
266
267
  ['complementcache',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
@@ -278,7 +279,7 @@ var searchData=
278
279
  ['computelocksets',['computeLocksets',['../classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75',1,'SVF::MTA']]],
279
280
  ['computemhp',['computeMHP',['../classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487',1,'SVF::MTA']]],
280
281
  ['concretecxt',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
281
- ['cond',['cond',['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e',1,'SVF::CondPointsToSet::CondPtsSetIterator::cond()']]],
282
+ ['cond',['cond',['../classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f',1,'SVF::BranchStmt::cond()'],['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e',1,'SVF::CondPointsToSet::CondPtsSetIterator::cond()']]],
282
283
  ['condand',['condAnd',['../classSVF_1_1PathCondAllocator.html#ab0e41d1eacfc6ee2cf42a9ce69cdcb61',1,'SVF::PathCondAllocator::condAnd()'],['../classSVF_1_1ProgSlice.html#a37d2e74fd977ebf9bfbe881bbe1c4a95',1,'SVF::ProgSlice::condAnd()'],['../classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778',1,'SVF::VFPathCond::condAnd()']]],
283
284
  ['condensedindex',['condensedIndex',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac8c209af1d177cbc8fbbfe4526fe8ce2',1,'SVF::NodeIDAllocator::Clusterer']]],
284
285
  ['condexpr',['CondExpr',['../classSVF_1_1CondExpr.html',1,'SVF::CondExpr'],['../classSVF_1_1CondExpr.html#af925a6e646b64db7aacf301b37b89b05',1,'SVF::CondExpr::CondExpr()']]],
@@ -309,7 +310,6 @@ var searchData=
309
310
  ['connectaparamandfparam',['connectAParamAndFParam',['../classSVF_1_1SVFGOPT.html#a00b0b986f81495becae90098517739e4',1,'SVF::SVFGOPT::connectAParamAndFParam()'],['../classSVF_1_1VFG.html#acbc1f5ae3b9016b1ce97314a2b8b54c0',1,'SVF::VFG::connectAParamAndFParam()']]],
310
311
  ['connectcaller2calleeparams',['connectCaller2CalleeParams',['../classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf',1,'SVF::Andersen']]],
311
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()']]],
312
- ['connectcallsitetoexternalpag',['connectCallsiteToExternalPAG',['../classSVF_1_1ExternalPAG.html#a7a82128508395830433145977dbe37c0',1,'SVF::ExternalPAG']]],
313
313
  ['connectdirectvfgedges',['connectDirectVFGEdges',['../classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0',1,'SVF::VFG']]],
314
314
  ['connectdirsvfgedgetimeend',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
315
315
  ['connectdirsvfgedgetimestart',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
@@ -320,8 +320,8 @@ var searchData=
320
320
  ['connectindirectsvfgedges',['connectIndirectSVFGEdges',['../classSVF_1_1SVFG.html#a164a3df08fc24bacc0b97aee8b6eec38',1,'SVF::SVFG']]],
321
321
  ['connectindsvfgedgetimeend',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
322
322
  ['connectindsvfgedgetimestart',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
323
- ['connectinheritedgeviacall',['connectInheritEdgeViaCall',['../classSVF_1_1CHGraph.html#aba5986ebcbba17f76202d5d14f35585f',1,'SVF::CHGraph']]],
324
- ['connectinheritedgeviastore',['connectInheritEdgeViaStore',['../classSVF_1_1CHGraph.html#a9b7ecdcab366627a2dd636430f0a3b4b',1,'SVF::CHGraph']]],
323
+ ['connectinheritedgeviacall',['connectInheritEdgeViaCall',['../classSVF_1_1CHGBuilder.html#a06db89019c094ad35bea97be1d3b452a',1,'SVF::CHGBuilder']]],
324
+ ['connectinheritedgeviastore',['connectInheritEdgeViaStore',['../classSVF_1_1CHGBuilder.html#acbdf97de6a24cec8d0ae020e3bfb79e6',1,'SVF::CHGBuilder']]],
325
325
  ['connectmhpedges',['connectMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d',1,'SVF::MTASVFGBuilder']]],
326
326
  ['connectvcalloncha',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1',1,'SVF::Options']]],
327
327
  ['connectvcalltovfns',['connectVCallToVFns',['../classSVF_1_1PointerAnalysis.html#a8ff3f219b9f118a4f06360750408c9cb',1,'SVF::PointerAnalysis']]],
@@ -429,7 +429,7 @@ var searchData=
429
429
  ['createfswpa',['createFSWPA',['../classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be',1,'SVF::FlowSensitive']]],
430
430
  ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
431
431
  ['createmuchi',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
432
- ['createnode',['createNode',['../classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58',1,'SVF::CHGraph']]],
432
+ ['createnode',['createNode',['../classSVF_1_1CHGBuilder.html#a8e915f257224b1d8e40d0e4c9b5e1df0',1,'SVF::CHGBuilder']]],
433
433
  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562',1,'SVF::SymbolTableInfo::createObjTypeInfo()'],['../classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3',1,'SVF::SymbolTableBuilder::createObjTypeInfo()']]],
434
434
  ['createrefnode',['createRefNode',['../classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010',1,'SVF::OfflineConsG']]],
435
435
  ['createsteensgaard',['createSteensgaard',['../classSVF_1_1Steensgaard.html#acd5f31c3b1f9b47def458637f8e9389e',1,'SVF::Steensgaard']]],
@@ -441,8 +441,8 @@ var searchData=
441
441
  ['csc_2eh',['CSC.h',['../CSC_8h.html',1,'']]],
442
442
  ['cscallstring_5fwpa',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
443
443
  ['cschamap',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
444
- ['cshasvfnsbasedoncha',['csHasVFnsBasedonCHA',['../classSVF_1_1CHGraph.html#a885a81b08477e6ccdd7df98d249b8c39',1,'SVF::CHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#a0ce9117288d9e0b498f128217fda0cca',1,'SVF::CommonCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a1494aeef22e15baaa160e8d598dd7de0',1,'SVF::DCHGraph::csHasVFnsBasedonCHA()']]],
445
- ['cshasvtblsbasedoncha',['csHasVtblsBasedonCHA',['../classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79',1,'SVF::CHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1',1,'SVF::CommonCHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b',1,'SVF::DCHGraph::csHasVtblsBasedonCHA()']]],
444
+ ['cshasvfnsbasedoncha',['csHasVFnsBasedonCHA',['../classSVF_1_1CommonCHGraph.html#a0ce9117288d9e0b498f128217fda0cca',1,'SVF::CommonCHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a885a81b08477e6ccdd7df98d249b8c39',1,'SVF::CHGraph::csHasVFnsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a1494aeef22e15baaa160e8d598dd7de0',1,'SVF::DCHGraph::csHasVFnsBasedonCHA()']]],
445
+ ['cshasvtblsbasedoncha',['csHasVtblsBasedonCHA',['../classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1',1,'SVF::CommonCHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79',1,'SVF::CHGraph::csHasVtblsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b',1,'SVF::DCHGraph::csHasVtblsBasedonCHA()']]],
446
446
  ['csid',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
447
447
  ['csnumtoinst',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#ab2d02695cc8e6fc9e9a46d9d26466fb1',1,'SVF::MTAResultValidator']]],
448
448
  ['csnumtoinstmap',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
@@ -341,7 +341,7 @@ var searchData=
341
341
  ['dominatortree',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
342
342
  ['domtreenode',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
343
343
  ['dostat',['DOSTAT',['../SVFBasicTypes_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFBasicTypes.h']]],
344
- ['dotgraphtraits',['DOTGraphTraits',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5',1,'llvm::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad540c20d134f28f3b99a32d0e69b2a3f',1,'llvm::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aa51e1638f3a8423a7eb77f7ba153a1c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8',1,'llvm::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1e5cce964fc852f8bdada1edc174bd5a',1,'llvm::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882',1,'llvm::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a1c96cefb862ef290819e689104b18280',1,'llvm::DOTGraphTraits< TCT * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a9ed844169fc8d8f3e42d25dfcc6f451f',1,'llvm::DOTGraphTraits< CHGraph * >::DOTGraphTraits()']]],
344
+ ['dotgraphtraits',['DOTGraphTraits',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a9ed844169fc8d8f3e42d25dfcc6f451f',1,'llvm::DOTGraphTraits< CHGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5',1,'llvm::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad540c20d134f28f3b99a32d0e69b2a3f',1,'llvm::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aa51e1638f3a8423a7eb77f7ba153a1c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8',1,'llvm::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1e5cce964fc852f8bdada1edc174bd5a',1,'llvm::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882',1,'llvm::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a1c96cefb862ef290819e689104b18280',1,'llvm::DOTGraphTraits< TCT * >::DOTGraphTraits()']]],
345
345
  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e',['DOTGraphTraits< CHGraph * >',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'llvm']]],
346
346
  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e',['DOTGraphTraits< ConstraintGraph * >',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'llvm']]],
347
347
  ['dotgraphtraits_3c_20icfg_20_2a_20_3e',['DOTGraphTraits< ICFG * >',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'llvm']]],
@@ -380,7 +380,7 @@ var searchData=
380
380
  ['dummyvalpn',['DummyValPN',['../classSVF_1_1DummyValPN.html',1,'SVF::DummyValPN'],['../classSVF_1_1DummyValPN.html#a952876d7eafcf704435c67ff95f945c6',1,'SVF::DummyValPN::DummyValPN()']]],
381
381
  ['dummyversionpropsvfgnode',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
382
382
  ['dummyvprop',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
383
- ['dump',['dump',['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c',1,'SVF::OfflineConsG::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1CondPointsToSet.html#a01762af2a47a55ef7b926a0c682c6333',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1LocationSet.html#a4e5f29661da66367cea70a0d3fa108b4',1,'SVF::LocationSet::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75',1,'SVF::MTA::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1BranchCondManager.html#a2f745f39ea76d3cce7581cd4e260561d',1,'SVF::BranchCondManager::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()'],['../classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216',1,'SVF::PathStmtDPItem::dump()']]],
383
+ ['dump',['dump',['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c',1,'SVF::OfflineConsG::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1CondPointsToSet.html#a01762af2a47a55ef7b926a0c682c6333',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1LocationSet.html#a4e5f29661da66367cea70a0d3fa108b4',1,'SVF::LocationSet::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75',1,'SVF::MTA::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1BranchCondManager.html#a2f745f39ea76d3cce7581cd4e260561d',1,'SVF::BranchCondManager::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()'],['../classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216',1,'SVF::PathStmtDPItem::dump()']]],
384
384
  ['dumpaliasset',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
385
385
  ['dumpallpts',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a97705b60d294b87ee075a69f04a35d22',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
386
386
  ['dumpalltypes',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
@@ -392,7 +392,6 @@ var searchData=
392
392
  ['dumpcptset',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
393
393
  ['dumpcxt',['dumpCxt',['../classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d',1,'SVF::MTAResultValidator::dumpCxt()'],['../classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b',1,'SVF::TCT::dumpCxt()']]],
394
394
  ['dumpfree',['DumpFree',['../classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90',1,'SVF::Options']]],
395
- ['dumpfunctions',['dumpFunctions',['../classSVF_1_1ExternalPAG.html#acee9fa409f3649dcf2c0f5e6da66ceb0',1,'SVF::ExternalPAG']]],
396
395
  ['dumpgraph',['dumpGraph',['../classSVF_1_1PointerAnalysis.html#a3fd44d3cfc3f4ab18506870c65df32f5',1,'SVF::PointerAnalysis']]],
397
396
  ['dumpicfg',['DumpICFG',['../classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e',1,'SVF::Options']]],
398
397
  ['dumpinterlev',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator']]],
@@ -400,7 +399,6 @@ var searchData=
400
399
  ['dumpmeldversion',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
401
400
  ['dumpmodulestofile',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#ad5ef9421d501b2747d4fb31d4189b53f',1,'SVF::LLVMModuleSet']]],
402
401
  ['dumpmssa',['dumpMSSA',['../classSVF_1_1MemSSA.html#a9f9ac433d9c9348ceb5be8893d814ebd',1,'SVF::MemSSA::dumpMSSA()'],['../classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5',1,'SVF::Options::DumpMSSA()']]],
403
- ['dumppagfunctions',['DumpPAGFunctions',['../ExternalPAG_8h.html#acbba9510c89f3a87e7043cf6327ae7cb',1,'DumpPAGFunctions(): ExternalPAG.h'],['../ExternalPAG_8cpp.html#af98d1169e98f5fca2139efbe0c5b0170',1,'DumpPAGFunctions("dump-function-pags", llvm::cl::desc("Dump SVFIR for functions"), llvm::cl::CommaSeparated): ExternalPAG.cpp']]],
404
402
  ['dumppointstolist',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
405
403
  ['dumppointstoset',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
406
404
  ['dumpptdata',['dumpPTData',['../classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf',1,'SVF::PTData::dumpPTData()'],['../classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279',1,'SVF::MutablePTData::dumpPTData()'],['../classSVF_1_1MutableDiffPTData.html#adf10cc451517f8d3ee7aec8baa61772f',1,'SVF::MutableDiffPTData::dumpPTData()'],['../classSVF_1_1MutableDFPTData.html#a95f4644a82f84674164651db66b084b8',1,'SVF::MutableDFPTData::dumpPTData()'],['../classSVF_1_1MutableVersionedPTData.html#a796c1676dd5180a27dbebae5a99b57b7',1,'SVF::MutableVersionedPTData::dumpPTData()'],['../classSVF_1_1PersistentPTData.html#afb2dd005d3d2ad01bdad4b7a1af5477d',1,'SVF::PersistentPTData::dumpPTData()'],['../classSVF_1_1PersistentDiffPTData.html#ac7caee8468f12e87a70837a8f2e9685c',1,'SVF::PersistentDiffPTData::dumpPTData()'],['../classSVF_1_1PersistentDFPTData.html#a1d168145358e0f69eca023dd9b4363ea',1,'SVF::PersistentDFPTData::dumpPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a364fc243fe230342b209bb0c3a7d0966',1,'SVF::PersistentVersionedPTData::dumpPTData()']]],
@@ -12,7 +12,7 @@ var searchData=
12
12
  ['edgekindmask',['EdgeKindMask',['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge']]],
13
13
  ['edgekindmaskbits',['EdgeKindMaskBits',['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge']]],
14
14
  ['edgenum',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
15
- ['edges',['edges',['../classSVF_1_1ExternalPAG.html#a6b937c69282317ddf07bdcaaf9c560d4',1,'SVF::ExternalPAG::edges()'],['../classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0',1,'SVF::VFPathCond::edges()']]],
15
+ ['edges',['edges',['../classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0',1,'SVF::VFPathCond']]],
16
16
  ['edgeset',['EdgeSet',['../classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57',1,'SVF::VFPathCond::EdgeSet()'],['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF::EdgeSet()']]],
17
17
  ['edgetype',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#afc3616d9a36f7b26473f9211484e3e6c',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::EdgeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a57c4c711251842dd9d969428ba5966f2',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::EdgeType()'],['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge::edgeType()']]],
18
18
  ['edgevector',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
@@ -70,7 +70,7 @@ var searchData=
70
70
  ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
71
71
  ['endtime',['endTime',['../classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7',1,'SVF::PTAStat']]],
72
72
  ['entry',['entry',['../structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35',1,'st_generator::entry()'],['../cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e',1,'entry(): cuddInt.c']]],
73
- ['entrychi',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF::EntryCHI< Cond >'],['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI::EntryCHI()'],['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
73
+ ['entrychi',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF::EntryCHI< Cond >'],['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()'],['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI::EntryCHI()']]],
74
74
  ['entryfuncset',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
75
75
  ['entrymssachi',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]],
76
76
  ['enum_5finout',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
@@ -137,10 +137,7 @@ var searchData=
137
137
  ['extendforward',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
138
138
  ['extendto',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
139
139
  ['extern',['EXTERN',['../util_8c.html#a77366c1bd428629dc898e188bfd182a3',1,'util.c']]],
140
- ['externalpag',['ExternalPAG',['../classSVF_1_1ExternalPAG.html',1,'SVF::ExternalPAG'],['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR::ExternalPAG()'],['../classSVF_1_1ExternalPAG.html#a7401db95a642fc218e6337dce61b98e1',1,'SVF::ExternalPAG::ExternalPAG()']]],
141
- ['externalpag_2ecpp',['ExternalPAG.cpp',['../ExternalPAG_8cpp.html',1,'']]],
142
- ['externalpag_2eh',['ExternalPAG.h',['../ExternalPAG_8h.html',1,'']]],
143
- ['externalpagargs',['ExternalPAGArgs',['../ExternalPAG_8cpp.html#aa6aef64c49ac60c404305e2e3d0bb312',1,'ExternalPAG.cpp']]],
140
+ ['externalpag',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]],
144
141
  ['extf_5ft',['extf_t',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094',1,'SVF::ExtAPI']]],
145
142
  ['extractelementinst',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
146
143
  ['extractsubconds',['extractSubConds',['../classSVF_1_1BranchCondManager.html#aa241ee8c9d8ef17029dba67b737d8beb',1,'SVF::BranchCondManager::extractSubConds()'],['../classSVF_1_1CondManager.html#acd773bd9dbf5161e488c827b0b71481d',1,'SVF::CondManager::extractSubConds()']]],
@@ -48,7 +48,7 @@ var searchData=
48
48
  ['fixvartree',['fixVarTree',['../cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1',1,'cuddInt.c']]],
49
49
  ['fja',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
50
50
  ['fkjntoptascevmap',['fkjnToPTASCEVMap',['../classSVF_1_1ForkJoinAnalysis.html#a4207948054a0f98560922f3f07ada10f',1,'SVF::ForkJoinAnalysis']]],
51
- ['flags',['flags',['../structMove.html#a279868fb9de35a14b9b4a066487a5e68',1,'Move::flags()'],['../structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5',1,'MtrNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe',1,'SVF::ObjTypeInfo::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()']]],
51
+ ['flags',['flags',['../structMove.html#a279868fb9de35a14b9b4a066487a5e68',1,'Move::flags()'],['../structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5',1,'MtrNode::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe',1,'SVF::ObjTypeInfo::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()']]],
52
52
  ['flatten',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
53
53
  ['fldidx',['fldIdx',['../classSVF_1_1FieldInfo.html#a153c0796c619ff5b7c84c6c742851a7a',1,'SVF::FieldInfo::fldIdx()'],['../classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b',1,'SVF::LocationSet::fldIdx()']]],
54
54
  ['fldidx2typemap',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4',1,'SVF::StInfo']]],
@@ -135,11 +135,8 @@ var searchData=
135
135
  ['function',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
136
136
  ['function_5fobj',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
137
137
  ['functiondoesnotret',['functionDoesNotRet',['../namespaceSVF_1_1SVFUtil.html#a7a7e06e90a215086696effb5f5537baf',1,'SVF::SVFUtil']]],
138
- ['functionname',['functionName',['../classSVF_1_1ExternalPAG.html#a3afc6af562a7900d682394acc64d5890',1,'SVF::ExternalPAG']]],
139
138
  ['functionset',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()'],['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule::FunctionSet()']]],
140
139
  ['functionsettype',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a79eb13fae9ea80e9476723c8e15183f6',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
141
- ['functiontoexternalpagentries',['functionToExternalPAGEntries',['../classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41',1,'SVF::ExternalPAG']]],
142
- ['functiontoexternalpagreturns',['functionToExternalPAGReturns',['../classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e',1,'SVF::ExternalPAG']]],
143
140
  ['functiontoformalinsmapty',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
144
141
  ['functiontoformaloutsmapty',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
145
142
  ['functiontype',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],