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
@@ -229,7 +229,7 @@ Private Attributes</h2></td></tr>
229
229
  </table>
230
230
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
231
231
  <div class="textblock">
232
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00072">72</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
232
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00104">104</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
233
233
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
234
234
  <a id="aa4af6538c9994ec54a7b82691f846a31"></a>
235
235
  <h2 class="memtitle"><span class="permalink"><a href="#aa4af6538c9994ec54a7b82691f846a31">&#9670;&nbsp;</a></span>FuncVector</h2>
@@ -243,7 +243,7 @@ Private Attributes</h2></td></tr>
243
243
  </table>
244
244
  </div><div class="memdoc">
245
245
 
246
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00082">82</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
246
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00114">114</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
247
247
 
248
248
  </div>
249
249
  </div>
@@ -265,11 +265,11 @@ Private Attributes</h2></td></tr>
265
265
  <tr><td class="fieldname"><a id="a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"></a>TEMPLATE&#160;</td><td class="fielddoc"></td></tr>
266
266
  </table>
267
267
 
268
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00075">75</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
269
- <div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; {</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a> = 0x1, <span class="comment">// pure virtual abstract class</span></div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">MULTI_INHERITANCE</a> = 0x2, <span class="comment">// multi inheritance class</span></div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">TEMPLATE</a> = 0x04 <span class="comment">// template class</span></div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; } <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4">CLASSATTR</a>;</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4">SVF::CHNode::CLASSATTR</a></div><div class="ttdeci">CLASSATTR</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00075">CHG.h:75</a></div></div>
270
- <div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">SVF::CHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00079">CHG.h:79</a></div></div>
271
- <div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00077">CHG.h:77</a></div></div>
272
- <div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">SVF::CHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00078">CHG.h:78</a></div></div>
268
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00107">107</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
269
+ <div class="fragment"><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; {</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a> = 0x1, <span class="comment">// pure virtual abstract class</span></div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">MULTI_INHERITANCE</a> = 0x2, <span class="comment">// multi inheritance class</span></div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">TEMPLATE</a> = 0x04 <span class="comment">// template class</span></div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; } <a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4">CLASSATTR</a>;</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4">SVF::CHNode::CLASSATTR</a></div><div class="ttdeci">CLASSATTR</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00107">CHG.h:107</a></div></div>
270
+ <div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">SVF::CHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00111">CHG.h:111</a></div></div>
271
+ <div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00109">CHG.h:109</a></div></div>
272
+ <div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">SVF::CHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00110">CHG.h:110</a></div></div>
273
273
  </div><!-- fragment -->
274
274
  </div>
275
275
  </div>
@@ -314,11 +314,11 @@ Private Attributes</h2></td></tr>
314
314
  </table>
315
315
  </div><div class="memdoc">
316
316
 
317
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00084">84</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
318
- <div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; :</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">GenericCHNodeTy</a>(i, k), <a class="code" href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">vtable</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">className</a>(name), <a class="code" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">flags</a>(0)</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a08a717043e8b8c3d87742f0ecd3a3cc1"><div class="ttname"><a href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">SVF::CHNode::vtable</a></div><div class="ttdeci">const GlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00156">CHG.h:156</a></div></div>
319
- <div class="ttc" id="classSVF_1_1CHNode_html_a6844c89f715979709dc52d4854373e72"><div class="ttname"><a href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00158">CHG.h:158</a></div></div>
320
- <div class="ttc" id="namespaceSVF_html_a838ed37e84836101711c25a760eec57d"><div class="ttname"><a href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">SVF::GenericCHNodeTy</a></div><div class="ttdeci">GenericNode&lt; CHNode, CHEdge &gt; GenericCHNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00071">CHG.h:71</a></div></div>
321
- <div class="ttc" id="classSVF_1_1CHNode_html_ac7c18617b768a2988cf4eff7e849f397"><div class="ttname"><a href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">SVF::CHNode::className</a></div><div class="ttdeci">std::string className</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00157">CHG.h:157</a></div></div>
317
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00116">116</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
318
+ <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; :</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <a class="code" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">GenericCHNodeTy</a>(i, k), <a class="code" href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">vtable</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">className</a>(name), <a class="code" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">flags</a>(0)</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; {</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a08a717043e8b8c3d87742f0ecd3a3cc1"><div class="ttname"><a href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">SVF::CHNode::vtable</a></div><div class="ttdeci">const GlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00188">CHG.h:188</a></div></div>
319
+ <div class="ttc" id="classSVF_1_1CHNode_html_a6844c89f715979709dc52d4854373e72"><div class="ttname"><a href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00190">CHG.h:190</a></div></div>
320
+ <div class="ttc" id="namespaceSVF_html_a838ed37e84836101711c25a760eec57d"><div class="ttname"><a href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">SVF::GenericCHNodeTy</a></div><div class="ttdeci">GenericNode&lt; CHNode, CHEdge &gt; GenericCHNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00103">CHG.h:103</a></div></div>
321
+ <div class="ttc" id="classSVF_1_1CHNode_html_ac7c18617b768a2988cf4eff7e849f397"><div class="ttname"><a href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">SVF::CHNode::className</a></div><div class="ttdeci">std::string className</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00189">CHG.h:189</a></div></div>
322
322
  </div><!-- fragment -->
323
323
  </div>
324
324
  </div>
@@ -345,8 +345,8 @@ Private Attributes</h2></td></tr>
345
345
  </table>
346
346
  </div><div class="memdoc">
347
347
 
348
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00088">88</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
349
- <div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div></div><!-- fragment -->
348
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00120">120</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
349
+ <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; }</div></div><!-- fragment -->
350
350
  </div>
351
351
  </div>
352
352
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -374,8 +374,8 @@ Private Attributes</h2></td></tr>
374
374
  </table>
375
375
  </div><div class="memdoc">
376
376
 
377
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00135">135</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
378
- <div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>.push_back(vfuncvec);</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a9c81308b3eac1728c122fda39e260a90"><div class="ttname"><a href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode::virtualFunctionVectors</a></div><div class="ttdeci">std::vector&lt; FuncVector &gt; virtualFunctionVectors</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00171">CHG.h:171</a></div></div>
377
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00167">167</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
378
+ <div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>.push_back(vfuncvec);</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a9c81308b3eac1728c122fda39e260a90"><div class="ttname"><a href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode::virtualFunctionVectors</a></div><div class="ttdeci">std::vector&lt; FuncVector &gt; virtualFunctionVectors</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00203">CHG.h:203</a></div></div>
379
379
  </div><!-- fragment -->
380
380
  </div>
381
381
  </div>
@@ -402,8 +402,8 @@ Private Attributes</h2></td></tr>
402
402
  </table>
403
403
  </div><div class="memdoc">
404
404
 
405
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00091">91</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
406
- <div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; {</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">className</a>;</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_ac7c18617b768a2988cf4eff7e849f397"><div class="ttname"><a href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">SVF::CHNode::className</a></div><div class="ttdeci">std::string className</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00157">CHG.h:157</a></div></div>
405
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00123">123</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
406
+ <div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; {</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">className</a>;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_ac7c18617b768a2988cf4eff7e849f397"><div class="ttname"><a href="classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397">SVF::CHNode::className</a></div><div class="ttdeci">std::string className</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00189">CHG.h:189</a></div></div>
407
407
  </div><!-- fragment -->
408
408
  </div>
409
409
  </div>
@@ -433,8 +433,8 @@ Private Attributes</h2></td></tr>
433
433
  </table>
434
434
  </div><div class="memdoc">
435
435
 
436
- <p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00072">72</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
437
- <div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160;{</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="keywordflow">for</span> (vector&lt;FuncVector&gt;::const_iterator it = <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>.begin(),</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; eit = <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; {</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">if</span> ((*it).size() &gt; idx)</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; virtualFunctions.push_back((*it)[idx]);</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; }</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;}</div><div class="ttc" id="classSVF_1_1CHNode_html_a9c81308b3eac1728c122fda39e260a90"><div class="ttname"><a href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode::virtualFunctionVectors</a></div><div class="ttdeci">std::vector&lt; FuncVector &gt; virtualFunctionVectors</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00171">CHG.h:171</a></div></div>
436
+ <p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00182">182</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
437
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160;{</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">for</span> (vector&lt;FuncVector&gt;::const_iterator it = <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>.begin(),</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; eit = <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">if</span> ((*it).size() &gt; idx)</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; virtualFunctions.push_back((*it)[idx]);</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;}</div><div class="ttc" id="classSVF_1_1CHNode_html_a9c81308b3eac1728c122fda39e260a90"><div class="ttname"><a href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode::virtualFunctionVectors</a></div><div class="ttdeci">std::vector&lt; FuncVector &gt; virtualFunctionVectors</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00203">CHG.h:203</a></div></div>
438
438
  </div><!-- fragment -->
439
439
  </div>
440
440
  </div>
@@ -461,8 +461,8 @@ Private Attributes</h2></td></tr>
461
461
  </table>
462
462
  </div><div class="memdoc">
463
463
 
464
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00139">139</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
465
- <div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; {</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a9c81308b3eac1728c122fda39e260a90"><div class="ttname"><a href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode::virtualFunctionVectors</a></div><div class="ttdeci">std::vector&lt; FuncVector &gt; virtualFunctionVectors</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00171">CHG.h:171</a></div></div>
464
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00171">171</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
465
+ <div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">virtualFunctionVectors</a>;</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a9c81308b3eac1728c122fda39e260a90"><div class="ttname"><a href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode::virtualFunctionVectors</a></div><div class="ttdeci">std::vector&lt; FuncVector &gt; virtualFunctionVectors</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00203">CHG.h:203</a></div></div>
466
466
  </div><!-- fragment -->
467
467
  </div>
468
468
  </div>
@@ -489,8 +489,8 @@ Private Attributes</h2></td></tr>
489
489
  </table>
490
490
  </div><div class="memdoc">
491
491
 
492
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00145">145</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
493
- <div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">vtable</a>;</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a08a717043e8b8c3d87742f0ecd3a3cc1"><div class="ttname"><a href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">SVF::CHNode::vtable</a></div><div class="ttdeci">const GlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00156">CHG.h:156</a></div></div>
492
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00177">177</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
493
+ <div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">vtable</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a08a717043e8b8c3d87742f0ecd3a3cc1"><div class="ttname"><a href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">SVF::CHNode::vtable</a></div><div class="ttdeci">const GlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00188">CHG.h:188</a></div></div>
494
494
  </div><!-- fragment -->
495
495
  </div>
496
496
  </div>
@@ -518,8 +518,8 @@ Private Attributes</h2></td></tr>
518
518
  </table>
519
519
  </div><div class="memdoc">
520
520
 
521
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00101">101</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
522
- <div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; {</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">flags</a> &amp; mask) == mask;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a6844c89f715979709dc52d4854373e72"><div class="ttname"><a href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00158">CHG.h:158</a></div></div>
521
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00133">133</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
522
+ <div class="fragment"><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">flags</a> &amp; mask) == mask;</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a6844c89f715979709dc52d4854373e72"><div class="ttname"><a href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00190">CHG.h:190</a></div></div>
523
523
  </div><!-- fragment -->
524
524
  </div>
525
525
  </div>
@@ -546,9 +546,9 @@ Private Attributes</h2></td></tr>
546
546
  </table>
547
547
  </div><div class="memdoc">
548
548
 
549
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00125">125</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
550
- <div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">SVF::CHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00078">CHG.h:78</a></div></div>
551
- <div class="ttc" id="classSVF_1_1CHNode_html_aebcbd36a7efc0dbe9b3c3f680ef033e7"><div class="ttname"><a href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00101">CHG.h:101</a></div></div>
549
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00157">157</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
550
+ <div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">SVF::CHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00110">CHG.h:110</a></div></div>
551
+ <div class="ttc" id="classSVF_1_1CHNode_html_aebcbd36a7efc0dbe9b3c3f680ef033e7"><div class="ttname"><a href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00133">CHG.h:133</a></div></div>
552
552
  </div><!-- fragment -->
553
553
  </div>
554
554
  </div>
@@ -575,9 +575,9 @@ Private Attributes</h2></td></tr>
575
575
  </table>
576
576
  </div><div class="memdoc">
577
577
 
578
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00121">121</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
579
- <div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00077">CHG.h:77</a></div></div>
580
- <div class="ttc" id="classSVF_1_1CHNode_html_aebcbd36a7efc0dbe9b3c3f680ef033e7"><div class="ttname"><a href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00101">CHG.h:101</a></div></div>
578
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00153">153</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
579
+ <div class="fragment"><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; {</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00109">CHG.h:109</a></div></div>
580
+ <div class="ttc" id="classSVF_1_1CHNode_html_aebcbd36a7efc0dbe9b3c3f680ef033e7"><div class="ttname"><a href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00133">CHG.h:133</a></div></div>
581
581
  </div><!-- fragment -->
582
582
  </div>
583
583
  </div>
@@ -604,9 +604,9 @@ Private Attributes</h2></td></tr>
604
604
  </table>
605
605
  </div><div class="memdoc">
606
606
 
607
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00129">129</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
608
- <div class="fragment"><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; {</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">TEMPLATE</a>);</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">SVF::CHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00079">CHG.h:79</a></div></div>
609
- <div class="ttc" id="classSVF_1_1CHNode_html_aebcbd36a7efc0dbe9b3c3f680ef033e7"><div class="ttname"><a href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00101">CHG.h:101</a></div></div>
607
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00161">161</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
608
+ <div class="fragment"><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">TEMPLATE</a>);</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">SVF::CHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00111">CHG.h:111</a></div></div>
609
+ <div class="ttc" id="classSVF_1_1CHNode_html_aebcbd36a7efc0dbe9b3c3f680ef033e7"><div class="ttname"><a href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00133">CHG.h:133</a></div></div>
610
610
  </div><!-- fragment -->
611
611
  </div>
612
612
  </div>
@@ -636,8 +636,8 @@ Private Attributes</h2></td></tr>
636
636
 
637
637
  <p>Flags. </p>
638
638
 
639
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00097">97</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
640
- <div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; {</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">flags</a> |= mask;</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a6844c89f715979709dc52d4854373e72"><div class="ttname"><a href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00158">CHG.h:158</a></div></div>
639
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00129">129</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
640
+ <div class="fragment"><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; {</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">flags</a> |= mask;</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a6844c89f715979709dc52d4854373e72"><div class="ttname"><a href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00190">CHG.h:190</a></div></div>
641
641
  </div><!-- fragment -->
642
642
  </div>
643
643
  </div>
@@ -664,9 +664,9 @@ Private Attributes</h2></td></tr>
664
664
  </table>
665
665
  </div><div class="memdoc">
666
666
 
667
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00113">113</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
668
- <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">SVF::CHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00078">CHG.h:78</a></div></div>
669
- <div class="ttc" id="classSVF_1_1CHNode_html_ab3755d804852b8a98bdf8cd0171f3a2f"><div class="ttname"><a href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00097">CHG.h:97</a></div></div>
667
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00145">145</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
668
+ <div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5">SVF::CHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00110">CHG.h:110</a></div></div>
669
+ <div class="ttc" id="classSVF_1_1CHNode_html_ab3755d804852b8a98bdf8cd0171f3a2f"><div class="ttname"><a href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00129">CHG.h:129</a></div></div>
670
670
  </div><!-- fragment -->
671
671
  </div>
672
672
  </div>
@@ -695,9 +695,9 @@ Private Attributes</h2></td></tr>
695
695
 
696
696
  <p>Attribute. </p>
697
697
 
698
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00109">109</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
699
- <div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; {</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00077">CHG.h:77</a></div></div>
700
- <div class="ttc" id="classSVF_1_1CHNode_html_ab3755d804852b8a98bdf8cd0171f3a2f"><div class="ttname"><a href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00097">CHG.h:97</a></div></div>
698
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00141">141</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
699
+ <div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00109">CHG.h:109</a></div></div>
700
+ <div class="ttc" id="classSVF_1_1CHNode_html_ab3755d804852b8a98bdf8cd0171f3a2f"><div class="ttname"><a href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00129">CHG.h:129</a></div></div>
701
701
  </div><!-- fragment -->
702
702
  </div>
703
703
  </div>
@@ -724,9 +724,9 @@ Private Attributes</h2></td></tr>
724
724
  </table>
725
725
  </div><div class="memdoc">
726
726
 
727
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00117">117</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
728
- <div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; {</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">TEMPLATE</a>);</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">SVF::CHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00079">CHG.h:79</a></div></div>
729
- <div class="ttc" id="classSVF_1_1CHNode_html_ab3755d804852b8a98bdf8cd0171f3a2f"><div class="ttname"><a href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00097">CHG.h:97</a></div></div>
727
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00149">149</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
728
+ <div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(<a class="code" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">TEMPLATE</a>);</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d">SVF::CHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00111">CHG.h:111</a></div></div>
729
+ <div class="ttc" id="classSVF_1_1CHNode_html_ab3755d804852b8a98bdf8cd0171f3a2f"><div class="ttname"><a href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00129">CHG.h:129</a></div></div>
730
730
  </div><!-- fragment -->
731
731
  </div>
732
732
  </div>
@@ -754,8 +754,8 @@ Private Attributes</h2></td></tr>
754
754
  </table>
755
755
  </div><div class="memdoc">
756
756
 
757
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00150">150</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
758
- <div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">vtable</a> = vtbl;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a08a717043e8b8c3d87742f0ecd3a3cc1"><div class="ttname"><a href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">SVF::CHNode::vtable</a></div><div class="ttdeci">const GlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00156">CHG.h:156</a></div></div>
757
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00182">182</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
758
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <a class="code" href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">vtable</a> = vtbl;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; }</div><div class="ttc" id="classSVF_1_1CHNode_html_a08a717043e8b8c3d87742f0ecd3a3cc1"><div class="ttname"><a href="classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1">SVF::CHNode::vtable</a></div><div class="ttdeci">const GlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00188">CHG.h:188</a></div></div>
759
759
  </div><!-- fragment -->
760
760
  </div>
761
761
  </div>
@@ -780,7 +780,7 @@ Private Attributes</h2></td></tr>
780
780
  </table>
781
781
  </div><div class="memdoc">
782
782
 
783
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00157">157</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
783
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00189">189</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
784
784
 
785
785
  </div>
786
786
  </div>
@@ -804,7 +804,7 @@ Private Attributes</h2></td></tr>
804
804
  </table>
805
805
  </div><div class="memdoc">
806
806
 
807
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00158">158</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
807
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00190">190</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
808
808
 
809
809
  </div>
810
810
  </div>
@@ -828,7 +828,7 @@ Private Attributes</h2></td></tr>
828
828
  </table>
829
829
  </div><div class="memdoc">
830
830
 
831
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00171">171</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
831
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00203">203</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
832
832
 
833
833
  </div>
834
834
  </div>
@@ -852,13 +852,13 @@ Private Attributes</h2></td></tr>
852
852
  </table>
853
853
  </div><div class="memdoc">
854
854
 
855
- <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00156">156</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
855
+ <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00188">188</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
856
856
 
857
857
  </div>
858
858
  </div>
859
859
  <hr/>The documentation for this class was generated from the following files:<ul>
860
- <li>/home/runner/work/SVF/SVF/include/SVF-FE/<a class="el" href="CHG_8h_source.html">CHG.h</a></li>
861
- <li>/home/runner/work/SVF/SVF/lib/SVF-FE/<a class="el" href="CHG_8cpp_source.html">CHG.cpp</a></li>
860
+ <li>/home/runner/work/SVF/SVF/include/Graphs/<a class="el" href="CHG_8h_source.html">CHG.h</a></li>
861
+ <li>/home/runner/work/SVF/SVF/lib/Graphs/<a class="el" href="CHG_8cpp_source.html">CHG.cpp</a></li>
862
862
  </ul>
863
863
  </div><!-- contents -->
864
864
  <!-- start footer part -->
@@ -97,7 +97,7 @@ $(function() {
97
97
  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">isRetCFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
98
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993">makeEdgeFlagWithInvokeID</a>(GEdgeKind k, CallSiteID cs)</td><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
99
99
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
101
101
  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td><td class="entry"></td></tr>
102
102
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">SVFGEdgeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td><td class="entry"></td></tr>
103
103
  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56">SVFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td><td class="entry"></td></tr>
@@ -127,8 +127,8 @@ Public Member Functions</h2></td></tr>
127
127
  <tr class="separator:ab47ca533c415841ef75456cbad439589 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
128
  <tr class="memitem:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a> () const</td></tr>
129
129
  <tr class="separator:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
- <tr class="memitem:a88b2086dcebb60bc86bca0fb94f49fca inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
131
- <tr class="separator:a88b2086dcebb60bc86bca0fb94f49fca inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
+ <tr class="memitem:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
131
+ <tr class="separator:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
132
  </table><table class="memberdecls">
133
133
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
134
134
  Static Public Member Functions</h2></td></tr>
@@ -104,7 +104,7 @@ $(function() {
104
104
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4">isThreadMHPIndirectVFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
105
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650">makeEdgeFlagWithInvokeID</a>(GEdgeKind k, CallSiteID cs)</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
106
106
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
108
108
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">RetDirVF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
109
109
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">RetIndVF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
110
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f">SVFGEdgeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
@@ -144,8 +144,8 @@ Public Member Functions</h2></td></tr>
144
144
  <tr class="separator:ab47ca533c415841ef75456cbad439589 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
145
145
  <tr class="memitem:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a> () const</td></tr>
146
146
  <tr class="separator:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
147
- <tr class="memitem:a88b2086dcebb60bc86bca0fb94f49fca inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
148
- <tr class="separator:a88b2086dcebb60bc86bca0fb94f49fca inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
147
+ <tr class="memitem:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
148
+ <tr class="separator:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
149
149
  </table><table class="memberdecls">
150
150
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
151
151
  Static Public Member Functions</h2></td></tr>
@@ -444,8 +444,8 @@ Additional Inherited Members</h2></td></tr>
444
444
 
445
445
  <p>Reimplemented from <a class="el" href="classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c">SVF::DirectSVFGEdge</a>.</p>
446
446
 
447
- <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00263">263</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
448
- <div class="fragment"><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; {</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; std::string str;</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallDirSVFGEdge CallSite ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6">getCallSiteId</a>() &lt;&lt; <span class="stringliteral">&quot; [&quot;</span>;</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
447
+ <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00272">272</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
448
+ <div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; {</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; std::string str;</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallDirSVFGEdge CallSite ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6">getCallSiteId</a>() &lt;&lt; <span class="stringliteral">&quot; [&quot;</span>;</div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
449
449
  <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
450
450
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
451
451
  <div class="ttc" id="classSVF_1_1CallDirSVFGEdge_html_ae6051f47731b62c456216554f7b7dba6"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6">SVF::CallDirSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdoc">Return callsite ID. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00223">VFGEdge.h:223</a></div></div>
@@ -109,7 +109,7 @@ $(function() {
109
109
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650">makeEdgeFlagWithInvokeID</a>(GEdgeKind k, CallSiteID cs)</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
110
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11">MRVerSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></td><td class="entry"></td></tr>
111
111
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
113
113
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">RetDirVF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
114
114
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">RetIndVF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
115
115
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f">SVFGEdgeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
@@ -151,8 +151,8 @@ Public Member Functions</h2></td></tr>
151
151
  <tr class="separator:ab47ca533c415841ef75456cbad439589 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
152
152
  <tr class="memitem:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a> () const</td></tr>
153
153
  <tr class="separator:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
- <tr class="memitem:a88b2086dcebb60bc86bca0fb94f49fca inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
155
- <tr class="separator:a88b2086dcebb60bc86bca0fb94f49fca inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
+ <tr class="memitem:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
155
+ <tr class="separator:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
156
156
  </table><table class="memberdecls">
157
157
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
158
158
  Static Public Member Functions</h2></td></tr>