svf-tools 1.0.310 → 1.0.311

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 (316) hide show
  1. package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +6 -6
  5. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
  7. package/SVF-doxygen/html/html/Andersen_8h_source.html +8 -8
  8. package/SVF-doxygen/html/html/CHG_8cpp.html +1 -1
  9. package/SVF-doxygen/html/html/CHG_8cpp_source.html +9 -9
  10. package/SVF-doxygen/html/html/CHG_8h_source.html +2 -2
  11. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +5 -5
  12. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  14. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +10 -10
  15. package/SVF-doxygen/html/html/ConsG_8h_source.html +5 -5
  16. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
  17. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
  18. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +11 -11
  19. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  20. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  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/DDAPass_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  25. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
  26. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/ExternalPAG_8cpp.html +1 -1
  28. package/SVF-doxygen/html/html/ExternalPAG_8cpp_source.html +8 -8
  29. package/SVF-doxygen/html/html/ExternalPAG_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +8 -8
  31. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +9 -9
  37. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +4 -4
  39. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +82 -81
  40. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -4
  42. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  45. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +6 -6
  46. package/SVF-doxygen/html/html/ICFG_8h_source.html +6 -6
  47. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +4 -4
  48. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
  49. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
  50. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  51. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +4 -4
  52. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +6 -6
  55. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/MHP_8cpp_source.html +13 -13
  57. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  58. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
  61. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
  62. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  63. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  64. package/SVF-doxygen/html/html/MemModel_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +11 -11
  66. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -3
  67. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  68. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +2 -2
  69. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html +15 -15
  71. package/SVF-doxygen/html/html/PAGBuilder_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/PAGEdge_8h_source.html +2 -2
  73. package/SVF-doxygen/html/html/PAGNode_8h_source.html +6 -6
  74. package/SVF-doxygen/html/html/PAG_8cpp_source.html +27 -27
  75. package/SVF-doxygen/html/html/PAG_8h_source.html +17 -17
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +8 -8
  77. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +8 -8
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +2 -2
  80. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +8 -8
  81. package/SVF-doxygen/html/html/PTAType_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +34 -33
  85. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +7 -7
  86. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +11 -11
  87. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +66 -66
  88. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +8 -8
  89. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  90. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +3 -3
  91. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +4 -4
  92. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +10 -10
  94. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -8
  95. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +5 -5
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +9 -9
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +7 -7
  98. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/html/SVFModule_8h.html +3 -0
  100. package/SVF-doxygen/html/html/SVFModule_8h_source.html +53 -46
  101. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  102. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +7 -7
  103. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  105. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  106. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  107. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +11 -11
  108. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +16 -16
  109. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  110. package/SVF-doxygen/html/html/TCT_8h_source.html +10 -10
  111. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +5 -5
  112. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
  113. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  114. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +4 -4
  115. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
  116. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/VFG_8cpp_source.html +6 -6
  118. package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
  119. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  120. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +10 -10
  121. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  122. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  125. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  126. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  127. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  128. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +1 -1
  129. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  130. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  131. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +29 -29
  132. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +4 -4
  135. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +15 -15
  137. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  138. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType.html +2 -2
  139. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +69 -68
  141. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +1 -1
  142. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +25 -25
  144. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  146. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjPN.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjPN.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjPN.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +115 -115
  153. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +15 -15
  154. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +18 -18
  155. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +9 -9
  156. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +20 -20
  159. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  160. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +9 -9
  161. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +4 -4
  162. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1DummyObjPN.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1DummyValPN.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1ExternalPAG.html +8 -8
  166. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +6 -6
  168. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +38 -38
  169. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +20 -20
  170. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +30 -30
  171. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
  172. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  176. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +47 -47
  179. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +58 -57
  180. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +13 -13
  186. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +3 -3
  187. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +6 -6
  189. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  190. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +3 -3
  191. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +17 -17
  197. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1LocObjTypeInfo.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1LocSymTableInfo.html +2 -2
  202. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
  203. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +15 -15
  205. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +17 -17
  206. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +4 -4
  209. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
  210. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  211. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +21 -21
  212. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +5 -5
  213. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +3 -3
  214. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +3 -3
  215. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +2 -2
  216. package/SVF-doxygen/html/html/classSVF_1_1PAG.html +33 -33
  217. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilder.html +21 -21
  218. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  219. package/SVF-doxygen/html/html/classSVF_1_1PAGEdge.html +5 -5
  220. package/SVF-doxygen/html/html/classSVF_1_1PAGNode.html +10 -10
  221. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +15 -15
  222. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +16 -16
  224. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +4 -4
  225. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +15 -15
  226. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +6 -6
  227. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +5 -5
  228. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +10 -10
  229. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html +39 -38
  230. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +153 -116
  231. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
  232. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  233. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
  238. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  239. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +35 -35
  240. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +7 -7
  241. package/SVF-doxygen/html/html/classSVF_1_1SVFModule-members.html +1 -0
  242. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +110 -77
  243. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +3 -3
  244. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +15 -15
  245. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  246. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +7 -7
  247. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
  248. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +66 -65
  251. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +28 -28
  252. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  255. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  256. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
  257. package/SVF-doxygen/html/html/classSVF_1_1TypeSystem.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  260. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +14 -14
  261. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  262. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +2 -2
  263. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  264. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +31 -31
  265. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +8 -8
  266. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +3 -3
  267. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +5 -5
  268. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  269. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  270. package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
  271. package/SVF-doxygen/html/html/functions_c.html +27 -26
  272. package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
  273. package/SVF-doxygen/html/html/functions_func_c.html +11 -10
  274. package/SVF-doxygen/html/html/functions_i.html +3 -3
  275. package/SVF-doxygen/html/html/functions_r.html +1 -1
  276. package/SVF-doxygen/html/html/functions_s.html +12 -12
  277. package/SVF-doxygen/html/html/functions_u.html +3 -3
  278. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  279. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  280. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  281. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  282. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  283. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  284. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  285. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  286. package/SVF-doxygen/html/html/search/all_14.js +2 -2
  287. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  288. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  289. package/SVF-doxygen/html/html/search/all_1b.js +1 -0
  290. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  291. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  292. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  293. package/SVF-doxygen/html/html/search/functions_16.js +1 -0
  294. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  295. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  296. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  297. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  298. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  299. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html +17 -17
  300. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
  301. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +1 -1
  302. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +14 -14
  303. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +20 -20
  304. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +16 -16
  305. package/SVF-doxygen/html/html/svf-ex_8cpp.html +5 -5
  306. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +3 -3
  307. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  308. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  309. package/include/Graphs/GenericGraph.h +5 -8
  310. package/include/MemoryModel/PersistentPointsToCache.h +13 -7
  311. package/include/MemoryModel/PointerAnalysisImpl.h +1 -0
  312. package/include/Util/SVFModule.h +16 -0
  313. package/lib/Graphs/PAG.cpp +3 -10
  314. package/lib/SVF-FE/SymbolTableInfo.cpp +3 -0
  315. package/lib/Util/Options.cpp +2 -2
  316. package/package.json +1 -1
package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html CHANGED
@@ -116,7 +116,7 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
116
116
 
117
117
  <p>Write value flow graph into dot file for debugging </p>
118
118
 
119
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01110">1110</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
119
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01103">1103</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
120
120
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
121
121
  <a id="a3101c843232b1f228a9af0e464c2049b"></a>
122
122
  <h2 class="memtitle"><span class="permalink"><a href="#a3101c843232b1f228a9af0e464c2049b">&#9670;&nbsp;</a></span>ChildIteratorType</h2>
@@ -130,7 +130,7 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
130
130
  </table>
131
131
  </div><div class="memdoc">
132
132
 
133
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01114">1114</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
133
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01107">1107</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
134
134
 
135
135
  </div>
136
136
  </div>
@@ -146,7 +146,7 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
146
146
  </table>
147
147
  </div><div class="memdoc">
148
148
 
149
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01113">1113</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
149
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01106">1106</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
150
150
 
151
151
  </div>
152
152
  </div>
@@ -175,8 +175,8 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
175
175
  </table>
176
176
  </div><div class="memdoc">
177
177
 
178
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01115">1115</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
179
- <div class="fragment"><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160; :</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160; DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160; {</div><div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160; }</div></div><!-- fragment -->
178
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01108">1108</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
179
+ <div class="fragment"><div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160; :</div><div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160; DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160; {</div><div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160; }</div></div><!-- fragment -->
180
180
  </div>
181
181
  </div>
182
182
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -222,8 +222,8 @@ template&lt;class EdgeIter &gt; </div>
222
222
  </table>
223
223
  </div><div class="memdoc">
224
224
 
225
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01158">1158</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
226
- <div class="fragment"><div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160; {</div><div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01161"></a><span class="lineno"> 1161</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160; <span class="keywordflow">if</span> (SVFUtil::isa&lt;AddrPE&gt;(edge))</div><div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160; {</div><div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160; }</div><div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopyPE&gt;(edge))</div><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160; {</div><div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160; }</div><div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepPE&gt;(edge))</div><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160; {</div><div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160; }</div><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;StorePE&gt;(edge))</div><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160; {</div><div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160; }</div><div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadPE&gt;(edge))</div><div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160; {</div><div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160; }</div><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CmpPE&gt;(edge))</div><div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160; {</div><div class="line"><a name="l01184"></a><span class="lineno"> 1184</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160; }</div><div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;BinaryOPPE&gt;(edge))</div><div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160; {</div><div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160; }</div><div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;UnaryOPPE&gt;(edge))</div><div class="line"><a name="l01191"></a><span class="lineno"> 1191</span>&#160; {</div><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160; }</div><div class="line"><a name="l01194"></a><span class="lineno"> 1194</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDForkPE&gt;(edge))</div><div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>&#160; {</div><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160; }</div><div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDJoinPE&gt;(edge))</div><div class="line"><a name="l01199"></a><span class="lineno"> 1199</span>&#160; {</div><div class="line"><a name="l01200"></a><span class="lineno"> 1200</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>&#160; }</div><div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>&#160; {</div><div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dashed&quot;</span>;</div><div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>&#160; }</div><div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01207"></a><span class="lineno"> 1207</span>&#160; {</div><div class="line"><a name="l01208"></a><span class="lineno"> 1208</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dotted&quot;</span>;</div><div class="line"><a name="l01209"></a><span class="lineno"> 1209</span>&#160; }</div><div class="line"><a name="l01210"></a><span class="lineno"> 1210</span>&#160;</div><div class="line"><a name="l01211"></a><span class="lineno"> 1211</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l01212"></a><span class="lineno"> 1212</span>&#160; <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>(1);</div><div class="line"><a name="l01213"></a><span class="lineno"> 1213</span>&#160; }</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
225
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01151">1151</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
226
+ <div class="fragment"><div class="line"><a name="l01152"></a><span class="lineno"> 1152</span>&#160; {</div><div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160; <span class="keywordflow">if</span> (SVFUtil::isa&lt;AddrPE&gt;(edge))</div><div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>&#160; {</div><div class="line"><a name="l01157"></a><span class="lineno"> 1157</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160; }</div><div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopyPE&gt;(edge))</div><div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>&#160; {</div><div class="line"><a name="l01161"></a><span class="lineno"> 1161</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160; }</div><div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepPE&gt;(edge))</div><div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160; {</div><div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160; }</div><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;StorePE&gt;(edge))</div><div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160; {</div><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160; }</div><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadPE&gt;(edge))</div><div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160; {</div><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160; }</div><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CmpPE&gt;(edge))</div><div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160; {</div><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160; }</div><div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;BinaryOPPE&gt;(edge))</div><div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>&#160; {</div><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160; }</div><div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;UnaryOPPE&gt;(edge))</div><div class="line"><a name="l01184"></a><span class="lineno"> 1184</span>&#160; {</div><div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>&#160; }</div><div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDForkPE&gt;(edge))</div><div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>&#160; {</div><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>&#160; }</div><div class="line"><a name="l01191"></a><span class="lineno"> 1191</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDJoinPE&gt;(edge))</div><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160; {</div><div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01194"></a><span class="lineno"> 1194</span>&#160; }</div><div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160; {</div><div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dashed&quot;</span>;</div><div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>&#160; }</div><div class="line"><a name="l01199"></a><span class="lineno"> 1199</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01200"></a><span class="lineno"> 1200</span>&#160; {</div><div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dotted&quot;</span>;</div><div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160; }</div><div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>&#160;</div><div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>&#160; <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>(1);</div><div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>&#160; }</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
227
227
  <div class="ttc" id="classSVF_1_1PAGEdge_html"><div class="ttname"><a href="classSVF_1_1PAGEdge.html">SVF::PAGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00047">PAGEdge.h:47</a></div></div>
228
228
  <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
229
229
  </div><!-- fragment -->
@@ -265,8 +265,8 @@ template&lt;class EdgeIter &gt; </div>
265
265
  </table>
266
266
  </div><div class="memdoc">
267
267
 
268
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01216">1216</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
269
- <div class="fragment"><div class="line"><a name="l01217"></a><span class="lineno"> 1217</span>&#160; {</div><div class="line"><a name="l01218"></a><span class="lineno"> 1218</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01219"></a><span class="lineno"> 1219</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01220"></a><span class="lineno"> 1220</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>&#160; {</div><div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>&#160; }</div><div class="line"><a name="l01225"></a><span class="lineno"> 1225</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01226"></a><span class="lineno"> 1226</span>&#160; {</div><div class="line"><a name="l01227"></a><span class="lineno"> 1227</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01228"></a><span class="lineno"> 1228</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01229"></a><span class="lineno"> 1229</span>&#160; }</div><div class="line"><a name="l01230"></a><span class="lineno"> 1230</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l01231"></a><span class="lineno"> 1231</span>&#160; }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00613">PAGEdge.h:613</a></div></div>
268
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01209">1209</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
269
+ <div class="fragment"><div class="line"><a name="l01210"></a><span class="lineno"> 1210</span>&#160; {</div><div class="line"><a name="l01211"></a><span class="lineno"> 1211</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01212"></a><span class="lineno"> 1212</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01213"></a><span class="lineno"> 1213</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01214"></a><span class="lineno"> 1214</span>&#160; {</div><div class="line"><a name="l01215"></a><span class="lineno"> 1215</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01216"></a><span class="lineno"> 1216</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01217"></a><span class="lineno"> 1217</span>&#160; }</div><div class="line"><a name="l01218"></a><span class="lineno"> 1218</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01219"></a><span class="lineno"> 1219</span>&#160; {</div><div class="line"><a name="l01220"></a><span class="lineno"> 1220</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>&#160; }</div><div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>&#160; }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00613">PAGEdge.h:613</a></div></div>
270
270
  <div class="ttc" id="classSVF_1_1PAGEdge_html"><div class="ttname"><a href="classSVF_1_1PAGEdge.html">SVF::PAGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00047">PAGEdge.h:47</a></div></div>
271
271
  <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
272
272
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
@@ -301,8 +301,8 @@ template&lt;class EdgeIter &gt; </div>
301
301
 
302
302
  <p>Return name of the graph. </p>
303
303
 
304
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01121">1121</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
305
- <div class="fragment"><div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160; {</div><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160; <span class="keywordflow">return</span> graph-&gt;<a class="code" href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">getGraphName</a>();</div><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAG_html_aa18a51570a397eabffdd613fdb15b4ac"><div class="ttname"><a href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">SVF::PAG::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00891">PAG.h:891</a></div></div>
304
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01114">1114</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
305
+ <div class="fragment"><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160; {</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160; <span class="keywordflow">return</span> graph-&gt;<a class="code" href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">getGraphName</a>();</div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAG_html_aa18a51570a397eabffdd613fdb15b4ac"><div class="ttname"><a href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">SVF::PAG::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00891">PAG.h:891</a></div></div>
306
306
  </div><!-- fragment -->
307
307
  </div>
308
308
  </div>
@@ -340,8 +340,8 @@ template&lt;class EdgeIter &gt; </div>
340
340
  </table>
341
341
  </div><div class="memdoc">
342
342
 
343
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01152">1152</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
344
- <div class="fragment"><div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160; {</div><div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160; <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">getNodeAttrForDotDisplay</a>();</div><div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGNode_html_ace4c68d1187a70f69a9669f0e4e56ea2"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">SVF::PAGNode::getNodeAttrForDotDisplay</a></div><div class="ttdeci">virtual const std::string getNodeAttrForDotDisplay() const</div><div class="ttdoc">Get shape and/or color of node for .dot display. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00054">PAG.cpp:54</a></div></div>
343
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01145">1145</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
344
+ <div class="fragment"><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160; {</div><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160; <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">getNodeAttrForDotDisplay</a>();</div><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGNode_html_ace4c68d1187a70f69a9669f0e4e56ea2"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">SVF::PAGNode::getNodeAttrForDotDisplay</a></div><div class="ttdeci">virtual const std::string getNodeAttrForDotDisplay() const</div><div class="ttdoc">Get shape and/or color of node for .dot display. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00054">PAG.cpp:54</a></div></div>
345
345
  </div><!-- fragment -->
346
346
  </div>
347
347
  </div>
@@ -380,8 +380,8 @@ template&lt;class EdgeIter &gt; </div>
380
380
  </div><div class="memdoc">
381
381
  <p>Return label of a VFG node with two display mode Either you can choose to display the name of the value or the whole instruction </p>
382
382
 
383
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01138">1138</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
384
- <div class="fragment"><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; {</div><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160; std::string str;</div><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160; <span class="comment">// print function info</span></div><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160; <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>())</div><div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>;</div><div class="line"><a name="l01145"></a><span class="lineno"> 1145</span>&#160;</div><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160; rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">toString</a>();</div><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160;</div><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160;</div><div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a2a9a5feb62138307b0b6f901cb5e0e0f"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">SVF::PAGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00046">PAG.cpp:46</a></div></div>
383
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01131">1131</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
384
+ <div class="fragment"><div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160; {</div><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160; std::string str;</div><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; <span class="comment">// print function info</span></div><div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>())</div><div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>;</div><div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160;</div><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">toString</a>();</div><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;</div><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160;</div><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a2a9a5feb62138307b0b6f901cb5e0e0f"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">SVF::PAGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00046">PAG.cpp:46</a></div></div>
385
385
  <div class="ttc" id="classSVF_1_1PAGNode_html_a1697d70ee484569bbd7557cf99b223dc"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">SVF::PAGNode::getFunction</a></div><div class="ttdeci">virtual const Function * getFunction() const</div><div class="ttdoc">Return the function that this PAGNode resides in. Return nullptr if it is a global or constantexpr no...</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00146">PAGNode.h:146</a></div></div>
386
386
  <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>
387
387
  </div><!-- fragment -->
@@ -412,8 +412,8 @@ template&lt;class EdgeIter &gt; </div>
412
412
  </div><div class="memdoc">
413
413
  <p>isNodeHidden - If the function returns true, the given node is not displayed in the graph </p>
414
414
 
415
- <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01131">1131</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
416
- <div class="fragment"><div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160; {</div><div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160; <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">isIsolatedNode</a>();</div><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a36a52b3618e8c1366402ec67507d6979"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">SVF::PAGNode::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the PAG graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01068">PAG.cpp:1068</a></div></div>
415
+ <p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01124">1124</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
416
+ <div class="fragment"><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; {</div><div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160; <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">isIsolatedNode</a>();</div><div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a36a52b3618e8c1366402ec67507d6979"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">SVF::PAGNode::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the PAG graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01061">PAG.cpp:1061</a></div></div>
417
417
  </div><!-- fragment -->
418
418
  </div>
419
419
  </div>
package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html CHANGED
@@ -517,8 +517,8 @@ template&lt;class EdgeIter &gt; </div>
517
517
  <p>isNodeHidden - If the function returns true, the given node is not displayed in the graph </p>
518
518
 
519
519
  <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00771">771</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
520
- <div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno"> 771</span>&#160; {</div><div class="line"><a name="l00772"></a><span class="lineno"> 772</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00773"></a><span class="lineno"> 773</span>&#160; <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().empty() &amp;&amp; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>().empty();</div><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00181">GenericGraph.h:181</a></div></div>
521
- <div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00177">GenericGraph.h:177</a></div></div>
520
+ <div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno"> 771</span>&#160; {</div><div class="line"><a name="l00772"></a><span class="lineno"> 772</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00773"></a><span class="lineno"> 773</span>&#160; <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().empty() &amp;&amp; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>().empty();</div><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00182">GenericGraph.h:182</a></div></div>
521
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00178">GenericGraph.h:178</a></div></div>
522
522
  </div><!-- fragment -->
523
523
  </div>
524
524
  </div>
package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html CHANGED
@@ -333,7 +333,7 @@ template&lt;class EdgeIter &gt; </div>
333
333
  <p>Return function name;. </p>
334
334
 
335
335
  <p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00616">616</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
336
- <div class="fragment"><div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; {</div><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; <span class="keywordflow">return</span> std::to_string(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
336
+ <div class="fragment"><div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; {</div><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; <span class="keywordflow">return</span> std::to_string(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
337
337
  </div><!-- fragment -->
338
338
  </div>
339
339
  </div>
package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html CHANGED
@@ -101,7 +101,7 @@ struct llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt
101
101
 
102
102
  <p>Inverse GraphTraits for node which is used for inverse traversal. </p>
103
103
 
104
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00495">495</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
104
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00492">492</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
105
105
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
106
106
  <a id="a5c8f971fb6ca3682a9a0cd9694edc48b"></a>
107
107
  <h2 class="memtitle"><span class="permalink"><a href="#a5c8f971fb6ca3682a9a0cd9694edc48b">&#9670;&nbsp;</a></span>ChildIteratorType</h2>
@@ -117,7 +117,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
117
117
  </table>
118
118
  </div><div class="memdoc">
119
119
 
120
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00506">506</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
120
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00503">503</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
121
121
 
122
122
  </div>
123
123
  </div>
@@ -135,7 +135,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
135
135
  </table>
136
136
  </div><div class="memdoc">
137
137
 
138
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00498">498</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
138
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00495">495</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
139
139
 
140
140
  </div>
141
141
  </div>
@@ -153,7 +153,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
153
153
  </table>
154
154
  </div><div class="memdoc">
155
155
 
156
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00497">497</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
156
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00494">494</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
157
157
 
158
158
  </div>
159
159
  </div>
@@ -184,8 +184,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
184
184
  </table>
185
185
  </div><div class="memdoc">
186
186
 
187
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00513">513</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
188
- <div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; {</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; }</div></div><!-- fragment -->
187
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00510">510</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
188
+ <div class="fragment"><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; {</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; }</div></div><!-- fragment -->
189
189
  </div>
190
190
  </div>
191
191
  <a id="ab82e90ae6e1f1b39e5c33f9c9a6cfcf9"></a>
@@ -214,8 +214,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
214
214
  </table>
215
215
  </div><div class="memdoc">
216
216
 
217
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00517">517</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
218
- <div class="fragment"><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; {</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; }</div></div><!-- fragment -->
217
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00514">514</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
218
+ <div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; {</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; }</div></div><!-- fragment -->
219
219
  </div>
220
220
  </div>
221
221
  <a id="a1b463e94c43d2966b8d6cf096b3d04cd"></a>
@@ -244,8 +244,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
244
244
  </table>
245
245
  </div><div class="memdoc">
246
246
 
247
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00500">500</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
248
- <div class="fragment"><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; {</div><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; <span class="keywordflow">return</span> E-&gt;getSrcNode();</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; }</div></div><!-- fragment -->
247
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00497">497</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
248
+ <div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; {</div><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; <span class="keywordflow">return</span> E-&gt;getSrcNode();</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div></div><!-- fragment -->
249
249
  </div>
250
250
  </div>
251
251
  <a id="afbe31ee2733b5990ab5b1f8c344fa3e0"></a>
@@ -274,8 +274,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
274
274
  </table>
275
275
  </div><div class="memdoc">
276
276
 
277
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00508">508</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
278
- <div class="fragment"><div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; {</div><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; <span class="keywordflow">return</span> G.Graph;</div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; }</div></div><!-- fragment -->
277
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00505">505</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
278
+ <div class="fragment"><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; {</div><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; <span class="keywordflow">return</span> G.Graph;</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; }</div></div><!-- fragment -->
279
279
  </div>
280
280
  </div>
281
281
  <a id="ac79255244b6b59876be19266ff214afb"></a>
@@ -304,8 +304,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
304
304
  </table>
305
305
  </div><div class="memdoc">
306
306
 
307
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00522">522</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
308
- <div class="fragment"><div class="line"><a name="l00523"></a><span class="lineno"> 523</span>&#160; {</div><div class="line"><a name="l00524"></a><span class="lineno"> 524</span>&#160; <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00525"></a><span class="lineno"> 525</span>&#160; }</div></div><!-- fragment -->
307
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00519">519</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
308
+ <div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; {</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160; <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; }</div></div><!-- fragment -->
309
309
  </div>
310
310
  </div>
311
311
  <hr/>The documentation for this struct was generated from the following file:<ul>
package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html CHANGED
@@ -138,7 +138,7 @@ struct llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</h3
138
138
 
139
139
  <p>GraphTraints </p>
140
140
 
141
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00531">531</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
141
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00528">528</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
142
142
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
143
143
  <a id="a57c4c711251842dd9d969428ba5966f2"></a>
144
144
  <h2 class="memtitle"><span class="permalink"><a href="#a57c4c711251842dd9d969428ba5966f2">&#9670;&nbsp;</a></span>EdgeType</h2>
@@ -154,7 +154,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
154
154
  </table>
155
155
  </div><div class="memdoc">
156
156
 
157
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00535">535</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
157
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00532">532</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
158
158
 
159
159
  </div>
160
160
  </div>
@@ -172,7 +172,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
172
172
  </table>
173
173
  </div><div class="memdoc">
174
174
 
175
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00533">533</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
175
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00530">530</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
176
176
 
177
177
  </div>
178
178
  </div>
@@ -190,7 +190,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
190
190
  </table>
191
191
  </div><div class="memdoc">
192
192
 
193
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00549">549</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
193
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00546">546</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
194
194
 
195
195
  </div>
196
196
  </div>
@@ -208,7 +208,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
208
208
  </table>
209
209
  </div><div class="memdoc">
210
210
 
211
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00534">534</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
211
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00531">531</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
212
212
 
213
213
  </div>
214
214
  </div>
@@ -226,7 +226,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
226
226
  </table>
227
227
  </div><div class="memdoc">
228
228
 
229
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00542">542</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
229
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00539">539</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
230
230
 
231
231
  </div>
232
232
  </div>
@@ -257,8 +257,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
257
257
  </table>
258
258
  </div><div class="memdoc">
259
259
 
260
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00543">543</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
261
- <div class="fragment"><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; {</div><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; <span class="keywordflow">return</span> P.second;</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; }</div></div><!-- fragment -->
260
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00540">540</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
261
+ <div class="fragment"><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; {</div><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; <span class="keywordflow">return</span> P.second;</div><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; }</div></div><!-- fragment -->
262
262
  </div>
263
263
  </div>
264
264
  <a id="a67da52700e19f69ffebf8532944df867"></a>
@@ -287,8 +287,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
287
287
  </table>
288
288
  </div><div class="memdoc">
289
289
 
290
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00537">537</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
291
- <div class="fragment"><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; {</div><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>; <span class="comment">// return null here, maybe later we could create a dummy node</span></div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160; }</div></div><!-- fragment -->
290
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00534">534</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
291
+ <div class="fragment"><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; {</div><div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>; <span class="comment">// return null here, maybe later we could create a dummy node</span></div><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; }</div></div><!-- fragment -->
292
292
  </div>
293
293
  </div>
294
294
  <a id="ad67b19903549bef892b8b059228e4d19"></a>
@@ -327,8 +327,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
327
327
  </table>
328
328
  </div><div class="memdoc">
329
329
 
330
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00569">569</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
331
- <div class="fragment"><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; {</div><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; <span class="keywordflow">return</span> G-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; }</div></div><!-- fragment -->
330
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00566">566</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
331
+ <div class="fragment"><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; {</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; <span class="keywordflow">return</span> G-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; }</div></div><!-- fragment -->
332
332
  </div>
333
333
  </div>
334
334
  <a id="a29ec19f4829cfe458c1eaab47e6fe8c0"></a>
@@ -357,8 +357,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
357
357
  </table>
358
358
  </div><div class="memdoc">
359
359
 
360
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00565">565</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
361
- <div class="fragment"><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; {</div><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; }</div></div><!-- fragment -->
360
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00562">562</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
361
+ <div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; {</div><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; }</div></div><!-- fragment -->
362
362
  </div>
363
363
  </div>
364
364
  <a id="a77e3e3addf59c1d6be1dba89fc3daa0c"></a>
@@ -387,8 +387,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
387
387
  </table>
388
388
  </div><div class="memdoc">
389
389
 
390
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00560">560</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
391
- <div class="fragment"><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>&#160; {</div><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; <span class="keywordflow">return</span> G-&gt;getTotalNodeNum();</div><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; }</div></div><!-- fragment -->
390
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00557">557</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
391
+ <div class="fragment"><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; {</div><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; <span class="keywordflow">return</span> G-&gt;getTotalNodeNum();</div><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; }</div></div><!-- fragment -->
392
392
  </div>
393
393
  </div>
394
394
  <a id="ae71d73a9d9d6f11f96aed422757c00c3"></a>
@@ -417,8 +417,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
417
417
  </table>
418
418
  </div><div class="memdoc">
419
419
 
420
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00551">551</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
421
- <div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; {</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; <span class="keywordflow">return</span> map_iterator(G-&gt;begin(), &amp;deref_val);</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; }</div></div><!-- fragment -->
420
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00548">548</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
421
+ <div class="fragment"><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; {</div><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; <span class="keywordflow">return</span> map_iterator(G-&gt;begin(), &amp;deref_val);</div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; }</div></div><!-- fragment -->
422
422
  </div>
423
423
  </div>
424
424
  <a id="a8397bafa216b209b6bd2bcb20fec4322"></a>
@@ -447,8 +447,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
447
447
  </table>
448
448
  </div><div class="memdoc">
449
449
 
450
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00555">555</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
451
- <div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; {</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; <span class="keywordflow">return</span> map_iterator(G-&gt;end(), &amp;deref_val);</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; }</div></div><!-- fragment -->
450
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00552">552</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
451
+ <div class="fragment"><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; {</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; <span class="keywordflow">return</span> map_iterator(G-&gt;end(), &amp;deref_val);</div><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; }</div></div><!-- fragment -->
452
452
  </div>
453
453
  </div>
454
454
  <hr/>The documentation for this struct was generated from the following file:<ul>