svf-tools 1.0.595 → 1.0.596

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 (629) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +5 -5
  4. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/Andersen_8h_source.html +3 -3
  6. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +3 -3
  8. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +8 -8
  9. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +4 -4
  10. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +8 -5
  11. package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
  12. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +18 -16
  13. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +4 -4
  14. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -3
  16. package/SVF-doxygen/html/html/CHG_8cpp.html +1 -1
  17. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -8
  18. package/SVF-doxygen/html/html/CHG_8h.html +1 -1
  19. package/SVF-doxygen/html/html/CHG_8h_source.html +9 -7
  20. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  21. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +7 -7
  22. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +18 -16
  23. package/SVF-doxygen/html/html/ConsG_8h.html +1 -1
  24. package/SVF-doxygen/html/html/ConsG_8h_source.html +8 -6
  25. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
  26. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +15 -13
  28. package/SVF-doxygen/html/html/DCHG_8h.html +1 -1
  29. package/SVF-doxygen/html/html/DCHG_8h_source.html +12 -10
  30. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +8 -8
  33. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
  35. package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +96 -0
  36. package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +102 -0
  37. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +11 -11
  39. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
  41. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +5 -5
  42. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/GenericGraph_8h.html +11 -1
  44. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +127 -114
  45. package/SVF-doxygen/html/html/GraphPrinter_8h.html +2 -4
  46. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +8 -5
  47. package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +2 -1
  48. package/SVF-doxygen/html/html/GraphTraits_8h.html +117 -0
  49. package/SVF-doxygen/html/html/GraphTraits_8h_source.html +91 -0
  50. package/SVF-doxygen/html/html/GraphWriter_8cpp.html +81 -0
  51. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +80 -0
  52. package/SVF-doxygen/html/html/GraphWriter_8h.html +137 -0
  53. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +129 -0
  54. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  55. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +6 -6
  56. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  58. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +9 -7
  59. package/SVF-doxygen/html/html/ICFG_8h.html +1 -1
  60. package/SVF-doxygen/html/html/ICFG_8h_source.html +11 -9
  61. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  62. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +8 -5
  63. package/SVF-doxygen/html/html/IRGraph_8h.html +1 -1
  64. package/SVF-doxygen/html/html/IRGraph_8h_source.html +7 -5
  65. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +4 -3
  66. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +4 -3
  67. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +31 -31
  68. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +28 -28
  69. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +7 -7
  72. package/SVF-doxygen/html/html/MHP_8cpp_source.html +9 -9
  73. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  74. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  75. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +8 -8
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +6 -6
  77. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +17 -14
  78. package/SVF-doxygen/html/html/PTACallGraph_8h.html +1 -1
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +15 -13
  80. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  82. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  83. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +5 -5
  84. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  85. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  86. package/SVF-doxygen/html/html/SCC_8h_source.html +3 -1
  87. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
  88. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +2 -2
  89. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
  90. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -8
  91. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  92. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
  93. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +10 -9
  94. package/SVF-doxygen/html/html/SVFG_8h_source.html +11 -10
  95. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -6
  96. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  97. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
  98. package/SVF-doxygen/html/html/SVFIR_8h_source.html +3 -3
  99. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +3 -3
  100. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +8 -8
  101. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +10 -10
  102. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +7 -7
  105. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +7 -7
  106. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  107. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
  108. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +2 -1
  109. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
  110. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
  111. package/SVF-doxygen/html/html/TCT_8cpp_source.html +18 -16
  112. package/SVF-doxygen/html/html/TCT_8h.html +1 -1
  113. package/SVF-doxygen/html/html/TCT_8h_source.html +19 -17
  114. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +1 -1
  115. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  116. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +6 -6
  117. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  118. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
  119. package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
  120. package/SVF-doxygen/html/html/VFG_8cpp_source.html +10 -8
  121. package/SVF-doxygen/html/html/VFG_8h.html +1 -1
  122. package/SVF-doxygen/html/html/VFG_8h_source.html +11 -9
  123. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  124. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +9 -9
  125. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -2
  126. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
  127. package/SVF-doxygen/html/html/WPASolver_8h_source.html +3 -1
  128. package/SVF-doxygen/html/html/annotated.html +55 -42
  129. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  130. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  131. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +2 -2
  132. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  137. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +25 -25
  138. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +5 -5
  139. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +7 -7
  140. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +5 -5
  141. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +15 -15
  142. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +2 -2
  143. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -4
  145. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -12
  146. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  147. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +3 -3
  148. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +5 -5
  150. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
  151. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -3
  152. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +6 -6
  153. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
  154. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +10 -10
  156. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +10 -9
  157. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
  159. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  160. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  162. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +30 -29
  164. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  165. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  166. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
  167. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +27 -24
  170. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +14 -14
  172. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  174. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
  175. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  176. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
  180. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +2 -2
  181. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  182. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -17
  183. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +15 -15
  184. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
  185. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +2 -2
  189. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +31 -31
  192. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +44 -44
  193. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +96 -97
  194. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  195. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +4 -4
  200. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +16 -15
  201. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  202. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +7 -7
  203. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  205. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +11 -10
  206. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  207. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  215. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +4 -3
  216. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +103 -103
  217. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
  218. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
  220. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +11 -11
  221. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +9 -9
  222. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  225. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +28 -28
  226. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
  228. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -4
  229. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  231. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +8 -8
  232. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  233. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +23 -22
  234. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
  235. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +6 -6
  236. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
  237. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +12 -12
  239. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  240. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  241. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  242. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
  243. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
  244. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  246. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +4 -4
  247. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +11 -11
  248. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +43 -43
  249. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +9 -9
  250. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
  251. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +19 -19
  252. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +3 -3
  253. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +9 -9
  256. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +12 -12
  257. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector-members.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +7 -7
  260. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html +4 -4
  261. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +12 -12
  262. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +4 -4
  263. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +7 -7
  264. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
  265. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
  266. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  267. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +35 -35
  268. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +4 -4
  272. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +4 -4
  273. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  274. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +6 -6
  275. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +4 -4
  276. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  277. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +19 -18
  278. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +13 -13
  279. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  280. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  281. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +32 -32
  283. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +6 -6
  284. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +4 -4
  285. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
  286. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +4 -3
  287. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +4 -4
  288. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +4 -4
  290. package/SVF-doxygen/html/html/classes.html +105 -102
  291. package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +9 -7
  292. package/SVF-doxygen/html/html/classllvm_1_1GraphWriter-members.html +100 -0
  293. package/SVF-doxygen/html/html/classllvm_1_1GraphWriter.html +882 -0
  294. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base-members.html +112 -0
  295. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.html +633 -0
  296. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.png +0 -0
  297. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base-members.html +102 -0
  298. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.html +787 -0
  299. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.png +0 -0
  300. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy-members.html +84 -0
  301. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html +229 -0
  302. package/SVF-doxygen/html/html/classllvm_1_1iterator__range-members.html +87 -0
  303. package/SVF-doxygen/html/html/classllvm_1_1iterator__range.html +342 -0
  304. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter-members.html +112 -0
  305. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.html +322 -0
  306. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.png +0 -0
  307. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator-members.html +113 -0
  308. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.html +343 -0
  309. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.png +0 -0
  310. package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -0
  311. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +4 -0
  312. package/SVF-doxygen/html/html/dir_fa02919a30fec2d2c2d591b4d920d648.html +6 -0
  313. package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -1
  314. package/SVF-doxygen/html/html/files.html +42 -36
  315. package/SVF-doxygen/html/html/functions_a.html +11 -8
  316. package/SVF-doxygen/html/html/functions_b.html +20 -13
  317. package/SVF-doxygen/html/html/functions_c.html +36 -37
  318. package/SVF-doxygen/html/html/functions_d.html +16 -4
  319. package/SVF-doxygen/html/html/functions_e.html +16 -2
  320. package/SVF-doxygen/html/html/functions_eval_b.html +4 -4
  321. package/SVF-doxygen/html/html/functions_eval_i.html +6 -0
  322. package/SVF-doxygen/html/html/functions_f.html +21 -18
  323. package/SVF-doxygen/html/html/functions_func.html +13 -10
  324. package/SVF-doxygen/html/html/functions_func_b.html +3 -2
  325. package/SVF-doxygen/html/html/functions_func_d.html +7 -3
  326. package/SVF-doxygen/html/html/functions_func_e.html +12 -1
  327. package/SVF-doxygen/html/html/functions_func_g.html +54 -22
  328. package/SVF-doxygen/html/html/functions_func_h.html +7 -4
  329. package/SVF-doxygen/html/html/functions_func_i.html +22 -8
  330. package/SVF-doxygen/html/html/functions_func_m.html +3 -0
  331. package/SVF-doxygen/html/html/functions_func_n.html +3 -0
  332. package/SVF-doxygen/html/html/functions_func_o.html +42 -8
  333. package/SVF-doxygen/html/html/functions_func_p.html +7 -1
  334. package/SVF-doxygen/html/html/functions_func_r.html +7 -1
  335. package/SVF-doxygen/html/html/functions_func_w.html +21 -0
  336. package/SVF-doxygen/html/html/functions_g.html +60 -21
  337. package/SVF-doxygen/html/html/functions_h.html +8 -5
  338. package/SVF-doxygen/html/html/functions_i.html +50 -19
  339. package/SVF-doxygen/html/html/functions_l.html +3 -3
  340. package/SVF-doxygen/html/html/functions_m.html +4 -1
  341. package/SVF-doxygen/html/html/functions_n.html +9 -3
  342. package/SVF-doxygen/html/html/functions_o.html +53 -20
  343. package/SVF-doxygen/html/html/functions_p.html +31 -21
  344. package/SVF-doxygen/html/html/functions_r.html +13 -10
  345. package/SVF-doxygen/html/html/functions_rela.html +6 -3
  346. package/SVF-doxygen/html/html/functions_s.html +8 -10
  347. package/SVF-doxygen/html/html/functions_t.html +9 -9
  348. package/SVF-doxygen/html/html/functions_type_b.html +3 -0
  349. package/SVF-doxygen/html/html/functions_type_c.html +4 -3
  350. package/SVF-doxygen/html/html/functions_type_d.html +6 -1
  351. package/SVF-doxygen/html/html/functions_type_g.html +2 -1
  352. package/SVF-doxygen/html/html/functions_type_i.html +2 -1
  353. package/SVF-doxygen/html/html/functions_type_n.html +6 -3
  354. package/SVF-doxygen/html/html/functions_type_p.html +2 -1
  355. package/SVF-doxygen/html/html/functions_type_r.html +2 -1
  356. package/SVF-doxygen/html/html/functions_type_v.html +2 -1
  357. package/SVF-doxygen/html/html/functions_v.html +6 -5
  358. package/SVF-doxygen/html/html/functions_vars_b.html +3 -0
  359. package/SVF-doxygen/html/html/functions_vars_d.html +3 -0
  360. package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
  361. package/SVF-doxygen/html/html/functions_vars_f.html +3 -0
  362. package/SVF-doxygen/html/html/functions_vars_g.html +6 -0
  363. package/SVF-doxygen/html/html/functions_vars_i.html +10 -0
  364. package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
  365. package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
  366. package/SVF-doxygen/html/html/functions_w.html +30 -9
  367. package/SVF-doxygen/html/html/hierarchy.html +444 -397
  368. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  369. package/SVF-doxygen/html/html/iterator_8h.html +123 -0
  370. package/SVF-doxygen/html/html/iterator_8h_source.html +134 -0
  371. package/SVF-doxygen/html/html/iterator__range_8h.html +109 -0
  372. package/SVF-doxygen/html/html/iterator__range_8h_source.html +90 -0
  373. package/SVF-doxygen/html/html/menudata.js +17 -16
  374. package/SVF-doxygen/html/html/namespacellvm.html +488 -11
  375. package/SVF-doxygen/html/html/namespacellvm_1_1DOT.html +107 -0
  376. package/SVF-doxygen/html/html/namespacellvm_1_1GraphProgram.html +122 -0
  377. package/SVF-doxygen/html/html/namespacemembers_c.html +9 -0
  378. package/SVF-doxygen/html/html/namespacemembers_d.html +5 -2
  379. package/SVF-doxygen/html/html/namespacemembers_e.html +3 -0
  380. package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
  381. package/SVF-doxygen/html/html/namespacemembers_eval.html +15 -0
  382. package/SVF-doxygen/html/html/namespacemembers_f.html +3 -0
  383. package/SVF-doxygen/html/html/namespacemembers_func.html +0 -495
  384. package/SVF-doxygen/html/html/namespacemembers_func_b.html +88 -0
  385. package/SVF-doxygen/html/html/namespacemembers_func_c.html +97 -0
  386. package/SVF-doxygen/html/html/namespacemembers_func_d.html +97 -0
  387. package/SVF-doxygen/html/html/namespacemembers_func_e.html +82 -0
  388. package/SVF-doxygen/html/html/namespacemembers_func_f.html +76 -0
  389. package/SVF-doxygen/html/html/namespacemembers_func_g.html +186 -0
  390. package/SVF-doxygen/html/html/namespacemembers_func_h.html +76 -0
  391. package/SVF-doxygen/html/html/namespacemembers_func_i.html +250 -0
  392. package/SVF-doxygen/html/html/namespacemembers_func_m.html +91 -0
  393. package/SVF-doxygen/html/html/namespacemembers_func_n.html +76 -0
  394. package/SVF-doxygen/html/html/namespacemembers_func_o.html +94 -0
  395. package/SVF-doxygen/html/html/namespacemembers_func_p.html +82 -0
  396. package/SVF-doxygen/html/html/namespacemembers_func_r.html +79 -0
  397. package/SVF-doxygen/html/html/namespacemembers_func_s.html +91 -0
  398. package/SVF-doxygen/html/html/namespacemembers_func_t.html +76 -0
  399. package/SVF-doxygen/html/html/namespacemembers_func_v.html +85 -0
  400. package/SVF-doxygen/html/html/namespacemembers_func_w.html +82 -0
  401. package/SVF-doxygen/html/html/namespacemembers_i.html +8 -2
  402. package/SVF-doxygen/html/html/namespacemembers_m.html +12 -0
  403. package/SVF-doxygen/html/html/namespacemembers_n.html +9 -0
  404. package/SVF-doxygen/html/html/namespacemembers_r.html +4 -1
  405. package/SVF-doxygen/html/html/namespacemembers_t.html +3 -0
  406. package/SVF-doxygen/html/html/namespacemembers_type_r.html +3 -0
  407. package/SVF-doxygen/html/html/namespacemembers_v.html +3 -0
  408. package/SVF-doxygen/html/html/namespacemembers_w.html +3 -0
  409. package/SVF-doxygen/html/html/namespaces.html +3 -1
  410. package/SVF-doxygen/html/html/search/all_1.js +1 -0
  411. package/SVF-doxygen/html/html/search/all_10.js +13 -10
  412. package/SVF-doxygen/html/html/search/all_11.js +5 -2
  413. package/SVF-doxygen/html/html/search/all_12.js +4 -4
  414. package/SVF-doxygen/html/html/search/all_13.js +7 -6
  415. package/SVF-doxygen/html/html/search/all_15.js +4 -3
  416. package/SVF-doxygen/html/html/search/all_16.js +9 -2
  417. package/SVF-doxygen/html/html/search/all_2.js +6 -4
  418. package/SVF-doxygen/html/html/search/all_3.js +8 -5
  419. package/SVF-doxygen/html/html/search/all_4.js +9 -2
  420. package/SVF-doxygen/html/html/search/all_5.js +7 -2
  421. package/SVF-doxygen/html/html/search/all_6.js +3 -1
  422. package/SVF-doxygen/html/html/search/all_7.js +51 -7
  423. package/SVF-doxygen/html/html/search/all_8.js +1 -0
  424. package/SVF-doxygen/html/html/search/all_9.js +24 -6
  425. package/SVF-doxygen/html/html/search/all_c.js +4 -2
  426. package/SVF-doxygen/html/html/search/all_d.js +6 -1
  427. package/SVF-doxygen/html/html/search/all_e.js +7 -4
  428. package/SVF-doxygen/html/html/search/all_f.js +17 -13
  429. package/SVF-doxygen/html/html/search/classes_3.js +4 -0
  430. package/SVF-doxygen/html/html/search/classes_6.js +33 -1
  431. package/SVF-doxygen/html/html/search/classes_8.js +11 -1
  432. package/SVF-doxygen/html/html/search/classes_a.js +1 -0
  433. package/SVF-doxygen/html/html/search/classes_d.js +2 -0
  434. package/SVF-doxygen/html/html/search/classes_e.js +1 -0
  435. package/SVF-doxygen/html/html/search/enums_8.js +1 -6
  436. package/SVF-doxygen/html/html/search/enums_9.js +6 -1
  437. package/SVF-doxygen/html/html/search/enums_a.js +1 -4
  438. package/SVF-doxygen/html/html/search/enums_b.js +4 -2
  439. package/SVF-doxygen/html/html/search/enums_c.js +2 -4
  440. package/SVF-doxygen/html/html/search/enums_d.js +4 -1
  441. package/SVF-doxygen/html/html/search/enums_e.html +26 -0
  442. package/SVF-doxygen/html/html/search/enums_e.js +4 -0
  443. package/SVF-doxygen/html/html/search/enumvalues_1.js +3 -3
  444. package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -0
  445. package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -0
  446. package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -0
  447. package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -0
  448. package/SVF-doxygen/html/html/search/enumvalues_8.js +3 -1
  449. package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -0
  450. package/SVF-doxygen/html/html/search/files_3.js +1 -0
  451. package/SVF-doxygen/html/html/search/files_6.js +4 -1
  452. package/SVF-doxygen/html/html/search/files_7.js +3 -1
  453. package/SVF-doxygen/html/html/search/functions_0.js +1 -0
  454. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  455. package/SVF-doxygen/html/html/search/functions_10.js +2 -0
  456. package/SVF-doxygen/html/html/search/functions_14.js +1 -0
  457. package/SVF-doxygen/html/html/search/functions_15.js +7 -0
  458. package/SVF-doxygen/html/html/search/functions_2.js +2 -0
  459. package/SVF-doxygen/html/html/search/functions_3.js +2 -1
  460. package/SVF-doxygen/html/html/search/functions_4.js +6 -2
  461. package/SVF-doxygen/html/html/search/functions_6.js +15 -6
  462. package/SVF-doxygen/html/html/search/functions_7.js +1 -0
  463. package/SVF-doxygen/html/html/search/functions_8.js +9 -3
  464. package/SVF-doxygen/html/html/search/functions_c.js +5 -0
  465. package/SVF-doxygen/html/html/search/functions_d.js +2 -0
  466. package/SVF-doxygen/html/html/search/functions_e.js +14 -8
  467. package/SVF-doxygen/html/html/search/functions_f.js +3 -1
  468. package/SVF-doxygen/html/html/search/namespaces_0.js +2 -0
  469. package/SVF-doxygen/html/html/search/related_9.js +3 -3
  470. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  471. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -0
  472. package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
  473. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  474. package/SVF-doxygen/html/html/search/typedefs_3.js +2 -1
  475. package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
  476. package/SVF-doxygen/html/html/search/typedefs_7.js +1 -1
  477. package/SVF-doxygen/html/html/search/typedefs_c.js +3 -3
  478. package/SVF-doxygen/html/html/search/typedefs_e.js +1 -1
  479. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -1
  480. package/SVF-doxygen/html/html/search/variables_10.js +1 -0
  481. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  482. package/SVF-doxygen/html/html/search/variables_2.js +1 -0
  483. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  484. package/SVF-doxygen/html/html/search/variables_4.js +1 -0
  485. package/SVF-doxygen/html/html/search/variables_5.js +1 -0
  486. package/SVF-doxygen/html/html/search/variables_6.js +1 -0
  487. package/SVF-doxygen/html/html/search/variables_7.js +2 -1
  488. package/SVF-doxygen/html/html/search/variables_9.js +5 -2
  489. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  490. package/SVF-doxygen/html/html/search/variables_f.js +1 -0
  491. package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
  492. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement-members.html +3 -3
  493. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +46 -46
  494. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits-members.html +99 -0
  495. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.html +193 -0
  496. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.png +0 -0
  497. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +22 -4
  498. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +67 -10
  499. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
  500. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +21 -3
  501. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +65 -8
  502. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
  503. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +22 -4
  504. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +72 -12
  505. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
  506. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +23 -5
  507. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +70 -10
  508. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
  509. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +23 -5
  510. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +68 -11
  511. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
  512. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +23 -5
  513. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +68 -11
  514. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
  515. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +24 -6
  516. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +76 -15
  517. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
  518. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +22 -4
  519. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +67 -10
  520. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
  521. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +24 -6
  522. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +73 -12
  523. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
  524. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits-members.html +99 -0
  525. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.html +855 -0
  526. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.png +0 -0
  527. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits-members.html +81 -0
  528. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits.html +116 -0
  529. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
  530. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
  531. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
  532. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
  533. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +12 -2
  534. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
  535. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
  536. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +12 -2
  537. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
  538. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
  539. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +12 -2
  540. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
  541. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
  542. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +12 -2
  543. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
  544. 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-members.html +1 -1
  545. 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 +33 -31
  546. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
  547. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +12 -2
  548. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
  549. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
  550. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +12 -2
  551. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
  552. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
  553. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +12 -2
  554. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
  555. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
  556. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +12 -2
  557. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
  558. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
  559. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +12 -2
  560. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
  561. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +5 -1
  562. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
  563. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
  564. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +10 -0
  565. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
  566. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +5 -1
  567. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
  568. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
  569. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +10 -0
  570. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
  571. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +5 -1
  572. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
  573. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
  574. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +10 -0
  575. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
  576. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +5 -1
  577. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
  578. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
  579. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +10 -0
  580. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
  581. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +2 -2
  582. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +46 -44
  583. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +1 -1
  584. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +38 -34
  585. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
  586. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +10 -0
  587. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
  588. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +5 -1
  589. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
  590. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +5 -1
  591. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
  592. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
  593. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +10 -0
  594. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
  595. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +5 -1
  596. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
  597. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +5 -1
  598. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
  599. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
  600. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +10 -0
  601. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
  602. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
  603. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +10 -0
  604. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
  605. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +5 -1
  606. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
  607. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
  608. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +10 -0
  609. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
  610. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +5 -1
  611. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
  612. package/SVF-doxygen/html/html/structllvm_1_1Inverse-members.html +82 -0
  613. package/SVF-doxygen/html/html/structllvm_1_1Inverse.html +154 -0
  614. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator-members.html +111 -0
  615. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.html +279 -0
  616. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.png +0 -0
  617. package/SVF-doxygen/html/html/svf-ex_8cpp.html +8 -8
  618. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  619. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  620. package/include/Graphs/DOTGraphTraits.h +188 -0
  621. package/include/Graphs/GenericGraph.h +50 -11
  622. package/include/Graphs/GraphPrinter.h +12 -20
  623. package/include/Graphs/GraphTraits.h +150 -0
  624. package/include/Graphs/GraphWriter.h +380 -0
  625. package/include/Util/iterator.h +407 -0
  626. package/include/Util/iterator_range.h +76 -0
  627. package/lib/Graphs/GraphWriter.cpp +53 -0
  628. package/lib/SVF-LLVM/LLVMModule.cpp +1 -0
  629. package/package.json +1 -1
@@ -0,0 +1,188 @@
1
+ //===-- Graphs/DOTGraphTraits.h - Customize .dot output ---*- C++ -*-===//
2
+ //
3
+ // From the LLVM Project with some modifications, under the Apache License v2.0
4
+ // with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.
5
+ // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
+ //
7
+ //===----------------------------------------------------------------------===//
8
+ //
9
+ // This file defines a template class that can be used to customize dot output
10
+ // graphs generated by the GraphWriter.h file. The default implementation of
11
+ // this file will produce a simple, but not very polished graph. By
12
+ // specializing this template, lots of customization opportunities are possible.
13
+ //
14
+ //===----------------------------------------------------------------------===//
15
+
16
+ #ifndef LLVM_SUPPORT_DOTGRAPHTRAITS_H
17
+ #define LLVM_SUPPORT_DOTGRAPHTRAITS_H
18
+
19
+ #include <string>
20
+
21
+ namespace llvm
22
+ {
23
+
24
+ /// DefaultDOTGraphTraits - This class provides the default implementations of
25
+ /// all of the DOTGraphTraits methods. If a specialization does not need to
26
+ /// override all methods here it should inherit so that it can get the default
27
+ /// implementations.
28
+ ///
29
+ struct DefaultDOTGraphTraits
30
+ {
31
+ private:
32
+ bool IsSimple;
33
+
34
+ protected:
35
+ bool isSimple()
36
+ {
37
+ return IsSimple;
38
+ }
39
+
40
+ public:
41
+ explicit DefaultDOTGraphTraits(bool simple=false) : IsSimple (simple) {}
42
+
43
+ /// getGraphName - Return the label for the graph as a whole. Printed at the
44
+ /// top of the graph.
45
+ ///
46
+ template<typename GraphType>
47
+ static std::string getGraphName(const GraphType &)
48
+ {
49
+ return "";
50
+ }
51
+
52
+ /// getGraphProperties - Return any custom properties that should be included
53
+ /// in the top level graph structure for dot.
54
+ ///
55
+ template<typename GraphType>
56
+ static std::string getGraphProperties(const GraphType &)
57
+ {
58
+ return "";
59
+ }
60
+
61
+ /// renderGraphFromBottomUp - If this function returns true, the graph is
62
+ /// emitted bottom-up instead of top-down. This requires graphviz 2.0 to work
63
+ /// though.
64
+ static bool renderGraphFromBottomUp()
65
+ {
66
+ return false;
67
+ }
68
+
69
+ /// isNodeHidden - If the function returns true, the given node is not
70
+ /// displayed in the graph.
71
+ template <typename GraphType>
72
+ static bool isNodeHidden(const void *, const GraphType &)
73
+ {
74
+ return false;
75
+ }
76
+
77
+ /// getNodeLabel - Given a node and a pointer to the top level graph, return
78
+ /// the label to print in the node.
79
+ template<typename GraphType>
80
+ std::string getNodeLabel(const void *, const GraphType &)
81
+ {
82
+ return "";
83
+ }
84
+
85
+ // getNodeIdentifierLabel - Returns a string representing the
86
+ // address or other unique identifier of the node. (Only used if
87
+ // non-empty.)
88
+ template <typename GraphType>
89
+ static std::string getNodeIdentifierLabel(const void *, const GraphType &)
90
+ {
91
+ return "";
92
+ }
93
+
94
+ template<typename GraphType>
95
+ static std::string getNodeDescription(const void *, const GraphType &)
96
+ {
97
+ return "";
98
+ }
99
+
100
+ /// If you want to specify custom node attributes, this is the place to do so
101
+ ///
102
+ template<typename GraphType>
103
+ static std::string getNodeAttributes(const void *,
104
+ const GraphType &)
105
+ {
106
+ return "";
107
+ }
108
+
109
+ /// If you want to override the dot attributes printed for a particular edge,
110
+ /// override this method.
111
+ template<typename EdgeIter, typename GraphType>
112
+ static std::string getEdgeAttributes(const void *, EdgeIter,
113
+ const GraphType &)
114
+ {
115
+ return "";
116
+ }
117
+
118
+ /// getEdgeSourceLabel - If you want to label the edge source itself,
119
+ /// implement this method.
120
+ template<typename EdgeIter>
121
+ static std::string getEdgeSourceLabel(const void *, EdgeIter)
122
+ {
123
+ return "";
124
+ }
125
+
126
+ /// edgeTargetsEdgeSource - This method returns true if this outgoing edge
127
+ /// should actually target another edge source, not a node. If this method is
128
+ /// implemented, getEdgeTarget should be implemented.
129
+ template<typename EdgeIter>
130
+ static bool edgeTargetsEdgeSource(const void *, EdgeIter)
131
+ {
132
+ return false;
133
+ }
134
+
135
+ /// getEdgeTarget - If edgeTargetsEdgeSource returns true, this method is
136
+ /// called to determine which outgoing edge of Node is the target of this
137
+ /// edge.
138
+ template<typename EdgeIter>
139
+ static EdgeIter getEdgeTarget(const void *, EdgeIter I)
140
+ {
141
+ return I;
142
+ }
143
+
144
+ /// hasEdgeDestLabels - If this function returns true, the graph is able
145
+ /// to provide labels for edge destinations.
146
+ static bool hasEdgeDestLabels()
147
+ {
148
+ return false;
149
+ }
150
+
151
+ /// numEdgeDestLabels - If hasEdgeDestLabels, this function returns the
152
+ /// number of incoming edge labels the given node has.
153
+ static unsigned numEdgeDestLabels(const void *)
154
+ {
155
+ return 0;
156
+ }
157
+
158
+ /// getEdgeDestLabel - If hasEdgeDestLabels, this function returns the
159
+ /// incoming edge label with the given index in the given node.
160
+ static std::string getEdgeDestLabel(const void *, unsigned)
161
+ {
162
+ return "";
163
+ }
164
+
165
+ /// addCustomGraphFeatures - If a graph is made up of more than just
166
+ /// straight-forward nodes and edges, this is the place to put all of the
167
+ /// custom stuff necessary. The GraphWriter object, instantiated with your
168
+ /// GraphType is passed in as an argument. You may call arbitrary methods on
169
+ /// it to add things to the output graph.
170
+ ///
171
+ template<typename GraphType, typename GraphWriter>
172
+ static void addCustomGraphFeatures(const GraphType &, GraphWriter &) {}
173
+ };
174
+
175
+
176
+ /// DOTGraphTraits - Template class that can be specialized to customize how
177
+ /// graphs are converted to 'dot' graphs. When specializing, you may inherit
178
+ /// from DefaultDOTGraphTraits if you don't need to override everything.
179
+ ///
180
+ template <typename Ty>
181
+ struct DOTGraphTraits : public DefaultDOTGraphTraits
182
+ {
183
+ DOTGraphTraits (bool simple=false) : DefaultDOTGraphTraits (simple) {}
184
+ };
185
+
186
+ } // End llvm namespace
187
+
188
+ #endif
@@ -31,6 +31,7 @@
31
31
  #define GENERICGRAPH_H_
32
32
 
33
33
  #include "SVFIR/SVFValue.h"
34
+ #include "Util/iterator.h"
34
35
 
35
36
  namespace SVF
36
37
  {
@@ -452,6 +453,44 @@ public:
452
453
  namespace llvm
453
454
  {
454
455
 
456
+ // mapped_iter - This is a simple iterator adapter that causes a function to
457
+ // be applied whenever operator* is invoked on the iterator.
458
+
459
+ template <typename ItTy, typename FuncTy,
460
+ typename FuncReturnTy =
461
+ decltype(std::declval<FuncTy>()(*std::declval<ItTy>()))>
462
+ class mapped_iter
463
+ : public iterator_adaptor_base<
464
+ mapped_iter<ItTy, FuncTy>, ItTy,
465
+ typename std::iterator_traits<ItTy>::iterator_category,
466
+ typename std::remove_reference<FuncReturnTy>::type>
467
+ {
468
+ public:
469
+ mapped_iter(ItTy U, FuncTy F)
470
+ : mapped_iter::iterator_adaptor_base(std::move(U)), F(std::move(F)) {}
471
+
472
+ ItTy getCurrent()
473
+ {
474
+ return this->I;
475
+ }
476
+
477
+ FuncReturnTy operator*() const
478
+ {
479
+ return F(*this->I);
480
+ }
481
+
482
+ private:
483
+ FuncTy F;
484
+ };
485
+
486
+ // map_iter - Provide a convenient way to create mapped_iters, just like
487
+ // make_pair is useful for creating pairs...
488
+ template <class ItTy, class FuncTy>
489
+ inline mapped_iter<ItTy, FuncTy> map_iter(ItTy I, FuncTy F)
490
+ {
491
+ return mapped_iter<ItTy, FuncTy>(std::move(I), std::move(F));
492
+ }
493
+
455
494
  /*!
456
495
  * GraphTraits for nodes
457
496
  */
@@ -466,7 +505,7 @@ template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericNode<NodeTy,E
466
505
  }
467
506
 
468
507
  // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
469
- typedef mapped_iterator<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
508
+ typedef mapped_iter<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
470
509
 
471
510
  static NodeType* getEntryNode(NodeType* pagN)
472
511
  {
@@ -475,19 +514,19 @@ template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericNode<NodeTy,E
475
514
 
476
515
  static inline ChildIteratorType child_begin(const NodeType* N)
477
516
  {
478
- return map_iterator(N->OutEdgeBegin(), &edge_dest);
517
+ return map_iter(N->OutEdgeBegin(), &edge_dest);
479
518
  }
480
519
  static inline ChildIteratorType child_end(const NodeType* N)
481
520
  {
482
- return map_iterator(N->OutEdgeEnd(), &edge_dest);
521
+ return map_iter(N->OutEdgeEnd(), &edge_dest);
483
522
  }
484
523
  static inline ChildIteratorType direct_child_begin(const NodeType *N)
485
524
  {
486
- return map_iterator(N->directOutEdgeBegin(), &edge_dest);
525
+ return map_iter(N->directOutEdgeBegin(), &edge_dest);
487
526
  }
488
527
  static inline ChildIteratorType direct_child_end(const NodeType *N)
489
528
  {
490
- return map_iterator(N->directOutEdgeEnd(), &edge_dest);
529
+ return map_iter(N->directOutEdgeEnd(), &edge_dest);
491
530
  }
492
531
  };
493
532
 
@@ -506,7 +545,7 @@ struct GraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
506
545
  }
507
546
 
508
547
  // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
509
- typedef mapped_iterator<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
548
+ typedef mapped_iter<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
510
549
 
511
550
  static inline NodeType* getEntryNode(Inverse<NodeType* > G)
512
551
  {
@@ -515,11 +554,11 @@ struct GraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
515
554
 
516
555
  static inline ChildIteratorType child_begin(const NodeType* N)
517
556
  {
518
- return map_iterator(N->InEdgeBegin(), &edge_dest);
557
+ return map_iter(N->InEdgeBegin(), &edge_dest);
519
558
  }
520
559
  static inline ChildIteratorType child_end(const NodeType* N)
521
560
  {
522
- return map_iterator(N->InEdgeEnd(), &edge_dest);
561
+ return map_iter(N->InEdgeEnd(), &edge_dest);
523
562
  }
524
563
 
525
564
  static inline unsigned getNodeID(const NodeType* N)
@@ -549,15 +588,15 @@ template<class NodeTy,class EdgeTy> struct GraphTraits<SVF::GenericGraph<NodeTy,
549
588
  }
550
589
 
551
590
  // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
552
- typedef mapped_iterator<typename GenericGraphTy::iterator, decltype(&deref_val)> nodes_iterator;
591
+ typedef mapped_iter<typename GenericGraphTy::iterator, decltype(&deref_val)> nodes_iterator;
553
592
 
554
593
  static nodes_iterator nodes_begin(GenericGraphTy *G)
555
594
  {
556
- return map_iterator(G->begin(), &deref_val);
595
+ return map_iter(G->begin(), &deref_val);
557
596
  }
558
597
  static nodes_iterator nodes_end(GenericGraphTy *G)
559
598
  {
560
- return map_iterator(G->end(), &deref_val);
599
+ return map_iter(G->end(), &deref_val);
561
600
  }
562
601
 
563
602
  static unsigned graphSize(GenericGraphTy* G)
@@ -32,10 +32,8 @@
32
32
  #define INCLUDE_GRAPHS_GRAPHPRINTER_H_
33
33
 
34
34
  #include <system_error>
35
- #include <llvm/Support/ToolOutputFile.h>
36
- #include <llvm/Support/GraphWriter.h> // for graph write
37
- #include <llvm/Support/FileSystem.h> // for file open flag
38
- #include <llvm/ADT/GraphTraits.h>
35
+ #include "Graphs/GraphWriter.h" // for graph write
36
+ #include <fstream>
39
37
 
40
38
  namespace llvm
41
39
  {
@@ -60,24 +58,18 @@ public:
60
58
  {
61
59
  // Filename of the output dot file
62
60
  std::string Filename = GraphName + ".dot";
63
- O << "Writing '" << Filename << "'...";
64
- std::error_code ErrInfo;
65
- llvm::ToolOutputFile F(Filename.c_str(), ErrInfo, llvm::sys::fs::OF_None);
66
-
67
- if (!ErrInfo)
61
+ std::ofstream outFile(Filename);
62
+ if (outFile.fail())
68
63
  {
69
- // dump the ValueFlowGraph here
70
- WriteGraph(F.os(), GT, simple);
71
- F.os().close();
72
- if (!F.os().has_error())
73
- {
74
- O << "\n";
75
- F.keep();
76
- return;
77
- }
64
+ O << " error opening file for writing!\n";
65
+ outFile.close();
66
+ return;
78
67
  }
79
- O << " error opening file for writing!\n";
80
- F.os().clear_error();
68
+
69
+ O << "Writing '" << Filename << "'...";
70
+
71
+ WriteGraph(outFile, GT, simple);
72
+ outFile.close();
81
73
  }
82
74
 
83
75
  /*!
@@ -0,0 +1,150 @@
1
+ //===- llvm/ADT/GraphTraits.h - Graph traits template -----------*- C++ -*-===//
2
+ //
3
+ // From the LLVM Project with some modifications, under the Apache License v2.0
4
+ // with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.
5
+ // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
+ //
7
+ //===----------------------------------------------------------------------===//
8
+ //
9
+ // This file defines the little GraphTraits<X> template class that should be
10
+ // specialized by classes that want to be iteratable by generic graph iterators.
11
+ //
12
+ // This file also defines the marker class Inverse that is used to iterate over
13
+ // graphs in a graph defined, inverse ordering...
14
+ //
15
+ //===----------------------------------------------------------------------===//
16
+
17
+ #ifndef LLVM_ADT_GRAPHTRAITS_H
18
+ #define LLVM_ADT_GRAPHTRAITS_H
19
+
20
+ #include "Util/iterator_range.h"
21
+
22
+ namespace llvm
23
+ {
24
+
25
+ // GraphTraits - This class should be specialized by different graph types...
26
+ // which is why the default version is empty.
27
+ //
28
+ // This template evolved from supporting `BasicBlock` to also later supporting
29
+ // more complex types (e.g. CFG and DomTree).
30
+ //
31
+ // GraphTraits can be used to create a view over a graph interpreting it
32
+ // differently without requiring a copy of the original graph. This could
33
+ // be achieved by carrying more data in NodeRef. See LoopBodyTraits for one
34
+ // example.
35
+ template<class GraphType>
36
+ struct GraphTraits
37
+ {
38
+ // Elements to provide:
39
+
40
+ // typedef NodeRef - Type of Node token in the graph, which should
41
+ // be cheap to copy.
42
+ // typedef ChildIteratorType - Type used to iterate over children in graph,
43
+ // dereference to a NodeRef.
44
+
45
+ // static NodeRef getEntryNode(const GraphType &)
46
+ // Return the entry node of the graph
47
+
48
+ // static ChildIteratorType child_begin(NodeRef)
49
+ // static ChildIteratorType child_end (NodeRef)
50
+ // Return iterators that point to the beginning and ending of the child
51
+ // node list for the specified node.
52
+
53
+ // typedef ...iterator nodes_iterator; - dereference to a NodeRef
54
+ // static nodes_iterator nodes_begin(GraphType *G)
55
+ // static nodes_iterator nodes_end (GraphType *G)
56
+ // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
57
+
58
+ // typedef EdgeRef - Type of Edge token in the graph, which should
59
+ // be cheap to copy.
60
+ // typedef ChildEdgeIteratorType - Type used to iterate over children edges in
61
+ // graph, dereference to a EdgeRef.
62
+
63
+ // static ChildEdgeIteratorType child_edge_begin(NodeRef)
64
+ // static ChildEdgeIteratorType child_edge_end(NodeRef)
65
+ // Return iterators that point to the beginning and ending of the
66
+ // edge list for the given callgraph node.
67
+ //
68
+ // static NodeRef edge_dest(EdgeRef)
69
+ // Return the destination node of an edge.
70
+
71
+ // static unsigned size (GraphType *G)
72
+ // Return total number of nodes in the graph
73
+
74
+ // If anyone tries to use this class without having an appropriate
75
+ // specialization, make an error. If you get this error, it's because you
76
+ // need to include the appropriate specialization of GraphTraits<> for your
77
+ // graph, or you need to define it for a new graph type. Either that or
78
+ // your argument to XXX_begin(...) is unknown or needs to have the proper .h
79
+ // file #include'd.
80
+ using NodeRef = typename GraphType::UnknownGraphTypeError;
81
+ };
82
+
83
+ // Inverse - This class is used as a little marker class to tell the graph
84
+ // iterator to iterate over the graph in a graph defined "Inverse" ordering.
85
+ // Not all graphs define an inverse ordering, and if they do, it depends on
86
+ // the graph exactly what that is. Here's an example of usage with the
87
+ // df_iterator:
88
+ //
89
+ // idf_iterator<Method*> I = idf_begin(M), E = idf_end(M);
90
+ // for (; I != E; ++I) { ... }
91
+ //
92
+ // Which is equivalent to:
93
+ // df_iterator<Inverse<Method*>> I = idf_begin(M), E = idf_end(M);
94
+ // for (; I != E; ++I) { ... }
95
+ //
96
+ template <class GraphType>
97
+ struct Inverse
98
+ {
99
+ const GraphType &Graph;
100
+
101
+ inline Inverse(const GraphType &G) : Graph(G) {}
102
+ };
103
+
104
+ // Provide a partial specialization of GraphTraits so that the inverse of an
105
+ // inverse falls back to the original graph.
106
+ template <class T> struct GraphTraits<Inverse<Inverse<T>>> : GraphTraits<T> {};
107
+
108
+ // Provide iterator ranges for the graph traits nodes and children
109
+ template <class GraphType>
110
+ iterator_range<typename GraphTraits<GraphType>::nodes_iterator>
111
+ nodes(const GraphType &G)
112
+ {
113
+ return make_range(GraphTraits<GraphType>::nodes_begin(G),
114
+ GraphTraits<GraphType>::nodes_end(G));
115
+ }
116
+ template <class GraphType>
117
+ iterator_range<typename GraphTraits<Inverse<GraphType>>::nodes_iterator>
118
+ inverse_nodes(const GraphType &G)
119
+ {
120
+ return make_range(GraphTraits<Inverse<GraphType>>::nodes_begin(G),
121
+ GraphTraits<Inverse<GraphType>>::nodes_end(G));
122
+ }
123
+
124
+ template <class GraphType>
125
+ iterator_range<typename GraphTraits<GraphType>::ChildIteratorType>
126
+ children(const typename GraphTraits<GraphType>::NodeRef &G)
127
+ {
128
+ return make_range(GraphTraits<GraphType>::child_begin(G),
129
+ GraphTraits<GraphType>::child_end(G));
130
+ }
131
+
132
+ template <class GraphType>
133
+ iterator_range<typename GraphTraits<Inverse<GraphType>>::ChildIteratorType>
134
+ inverse_children(const typename GraphTraits<GraphType>::NodeRef &G)
135
+ {
136
+ return make_range(GraphTraits<Inverse<GraphType>>::child_begin(G),
137
+ GraphTraits<Inverse<GraphType>>::child_end(G));
138
+ }
139
+
140
+ template <class GraphType>
141
+ iterator_range<typename GraphTraits<GraphType>::ChildEdgeIteratorType>
142
+ children_edges(const typename GraphTraits<GraphType>::NodeRef &G)
143
+ {
144
+ return make_range(GraphTraits<GraphType>::child_edge_begin(G),
145
+ GraphTraits<GraphType>::child_edge_end(G));
146
+ }
147
+
148
+ } // end namespace llvm
149
+
150
+ #endif // LLVM_ADT_GRAPHTRAITS_H